Intereting Posts

When is the formula for the infinite geometric series valid
Left and right ideals of $R=\left\{\bigl(\begin{smallmatrix}a&b\\0&c \end{smallmatrix}\bigr) : a\in\mathbb Z, \ b,c\in\mathbb Q\right\}$
Space of Complex Measures is Banach (proof?)
Find the leading order uniform approximation when the conditions are not $0<x<1$
Find cycles in graphs which do not contain other cycles
Isometries of the sphere $\mathbb{S}^{n}$
First-order logic advantage over second-order logic
Product of the logarithms of primes
Smallest positive integer r such that $8^{17} \equiv r \pmod {97}$
Limit superior of a sequence is equal to the supremum of limit points of the sequence?
How to calculate $\lim \limits_{x \to 0} \frac{x^2 \sin^2x}{x^2-\sin^2x}$ with $\lim \limits_{x \to 0} \frac{\sin x}{x}=1$?
Frechet derivative of shift operator in $l_2$?
Some integral with sine
How prove $\sum_{j=1}^{n}x_{j}\prod_{i=j+1}^{n}(1-x_{i})=1-(1-x_{1})(1-x_{2})\cdots(1-x_{n})$
Time-optimal control to the origin for two first order ODES – Trying to take control as we speak!

Well, I’m studying (engineering-) quantum mechanics dealing with representation theory of Lie algebras. The books I read introduce irreducible representations of $su(2)$ which is heavily related with angular momenta of particles. However the problem is that they merely regard the representations of Lie algebra as matrix Lie algebra without any additional consideration. Though I found Ado’s theorem, stating the existence of faithful representation of every Lie algebra (= existence of matrix Lie algebra isomorphic to original Lie algebra) it is also possible for us to find unfaithful representation of every Lie algebra and I cannot assure the faithfulness of (irreducible) representations of $su(2)$ the books suggest.

It would be better to start with an example.

Consider Lie group $SU(2)$ and its corresponding finite dimensional Lie algebra $su(2)$. I already know that with the basis elements $J_1 ,J_2 , J_3 \in\,su(2)$, $su(2)$ is closed under Lie bracket relation $[J_i,J_j]\,=i\epsilon_{ijk}J_k$.

- Jordan-Chevalley decomposition
- Does the exceptional Lie algebra $\mathfrak{g}_2$ arise from the isometry group of any projective space?
- How to prove that $B^\vee$ is a base for coroots?
- Finding the basis of $\mathfrak{so}(2,2)$ (Lie-Algebra of $SO(2,2)$)
- How does Maurer-Cartan form work
- On surjectivity of exponential map for Lie groups

Here I introduce an algebra representation $\rho$,

$\rho(J_1)\,=\frac{1}{\sqrt{2}}\begin{bmatrix}0 & 1 &0 \\1 & 0 & 1\\0 & 1 & 0\end{bmatrix}$

$\rho(J_2)\,=\frac{1}{\sqrt{2}}\begin{bmatrix}0 & -i &0 \\i & 0 & -i\\0 & i & 0\end{bmatrix}$

$\rho(J_3)\,=\frac{1}{\sqrt{2}}\begin{bmatrix}1 & 0 &0 \\0 & -1 & 0\\0 & 0 & 0\end{bmatrix}$

Clearly, $\rho(J_i)$’s satisfy same Lie bracket relation of $su(2)$ when we treat the bracket as commutator of matrices. Furthermore any element of $su(2)$ expressed by $aJ_1+bJ_2+cJ_3$ (linear combinations of 3 linearly independent vectors) can be mapped to $a\rho(J_1)+b\rho(J_2)+c\rho(J_3)$ (linear combinations of 3 linearly independent matrices).

Then my question is… does this representation $\rho$ ** represent** matrix Lie algebra isomorphic to $su(2)$? At first I noticed that kernel of $\rho$ would be zero vector of $su(2)$ alone so $\rho$ may be faithful…

I cannot understand why the books I read just cope with the result of representations of basis elements of $su(2)$ and treat them as the basis elements of isomorphic matrix Lie algebra. Is it sufficient for us to confirm that certain representation of a Lie algebra mapping the basis elements, $\rho(J_i)$ is one-to-one and $\rho(J_i)$’s are again linearly independent?

- Center of Lie group and Lie algebra
- Radical of a Lie algebra bracket itself
- Spinor Mapping is Surjective
- Is every skew-adjoint matrix a commutator of two self-adjoint matrices
- Decomposing tensor product of lie algebra representations
- Intuitive explanation of Left invariant Vector Field
- Examples of group extension $G/N=Q$ with continuous $G$ and $Q$, but finite $N$
- Are there any good ways to see the universal cover of $GL^{+}(2,\mathbb{R})$?
- $\varphi$ in $\operatorname{Hom}{(S^1, S^1)}$ are of the form $z^n$
- Show that the Lie algebra generated by x, y with relations $ad(x)^2(y) = ad(y)^5(x) = 0$ is infinite dimensional and construct a basis

- Find the limit of $\lim_{n\rightarrow\infty}(\frac{1}{2}+\frac{3}{2^2}+…+\frac{2n-1}{2^n})$
- How to evaluate $\int_1^\infty \frac{1}{z} e^{-\left(\frac{z-1}{b}\right)^{\frac{1}{a}}} dz$?
- Lagrange multiplier question: finding a counterexample.
- Reducibility of polynomials modulo p
- Confused by inductive proof of associative law
- Does an injective endomorphism of a finitely-generated free R-module have nonzero determinant?
- Maximum number of acute triangles
- Trees with explicit formula
- Prove: If $a|m$ and $b|m$ and $\gcd(a,b)=1$ then $ab|m$
- The set of lines in $\mathbb{R}^2$ is a Möbius band?
- Sum of sets of measure zero
- $A\subseteq B\subseteq C$ ring extensions, $A\subseteq C$ finite/finitely-generated $\Rightarrow$ $A\subseteq B$ finite/finitely-generated?
- There are apparently $3072$ ways to draw this flower. But why?
- Is the class of countable posets well-quasi-ordered by embeddability?
- Fourier transform on $1/(x^2+a^2)$