This question is continuation to the previous post. The lie algebra of $ \mathfrak{so(3)} $ is real Lie-algebra and hence, $ L_{\pm} = L_1 \pm i L_2 $ don't belong to $ \mathfrak{so(3)} $.

However, when constructing a representation for $\mathfrak{so(3)} $, one uses these operators and take them to be endomorphisms (operators) defined on some vector space $V$. Let $\left|lm \right> \in V $,then

$$ L_3\left|lm \right> = m \left|lm \right> \;\;\;\;\; L_{\pm}\left|lm \right> = C_{\pm}\left|l(m\pm1) \right> $$

Now, how do we justify these two things ? If $L_{\pm} \notin \mathfrak{so(3)}$, then how is this kind of a construction of the representation possible ?

I belive similar is the case with $\mathfrak{su(n)}$ algebras, where the group is semi simple and algebra is defined over a real LVS.

This post imported from StackExchange Physics at 2014-04-13 14:49 (UCT), posted by SE-user user35952