Section II.7.1

The norm and functions of a linear operator

[10/70%]
Show
LaTeX
Problem II.7.1.1

Verify that

dim⁡sl(n,K)=n2−1,dim⁡so(n,K)=n(n−1)/2,dim⁡su(n)=n2−1\operatorname {dim} \mathfrak {s l}(n, \mathfrak {K})=n^{2}-1, \quad \operatorname {dim} \mathfrak {s o}(n, \mathfrak {K})=n(n-1) / 2, \quad \operatorname {dim} \mathfrak {s u}(n)=n^{2}-1.

?
Problem II.7.1.2

Construct an isomorphism of the groups U(1)U(1) and SO(2,R)S O(2, \mathbb {R}).

?
Problem II.7.1.3

The following matrices over C\mathbb {C} are called Pauli matrices:

σ0=∥1001∥,σ1=∥0110∥,σ2=∥0−ii0∥,σ3=∥100−1∥. \sigma _{0}=\left\Vert \begin{smallmatrix} 1 & 0 \\ 0 & 1 \end{smallmatrix}\right\Vert , \quad \sigma _{1}=\left\Vert \begin{smallmatrix} 0 & 1 \\ 1 & 0 \end{smallmatrix}\right\Vert , \quad \sigma _{2}=\left\Vert \begin{smallmatrix} 0 & -i \\ i & 0 \end{smallmatrix}\right\Vert , \quad \sigma _{3}=\left\Vert \begin{smallmatrix} 1 & 0 \\ 0 & -1 \end{smallmatrix}\right\Vert .

Let us set

T1=12iσ1,T2=−12iσ2,T3=12iσ3 T_{1}=\frac{1}{2} i \sigma _{1}, \quad T_{2}=-\frac{1}{2} i \sigma _{2}, \quad T_{3}=\frac{1}{2} i \sigma _{3}

Obviously,

⟨T1,T2,T3⟩C=sl(2)⟨T1,T2,T3⟩R=su(2) \begin{aligned} \left\langle T_{1}, T_{2}, T_{3}\right\rangle _{\mathbb {C}} & =\mathfrak {s l}(2) \\ \left\langle T_{1}, T_{2}, T_{3}\right\rangle _{\mathbb {R}} & =\mathfrak {s u}(2) \end{aligned}

Verify that

[T1,T2]=T3,[T3,T1]=T2,[T2,T3]=T1 \left[T_{1}, T_{2}\right]=T_{3}, \quad \left[T_{3}, T_{1}\right]=T_{2}, \quad \left[T_{2}, T_{3}\right]=T_{1}
?
Problem II.7.1.4

Establish an isomorphism of the Lie algebras so(3,R)\mathfrak {s o}(3, \mathbb {R}) and su(2)\mathfrak {s u}(2) with the Lie algebra of vectors in three-dimensional Euclidean space with respect to the vector product.

?
Problem II.7.1.5

Prove that if A,BA, B are n×nn \times n matrices and det⁡B≠0\operatorname {det} B \neq 0, then

exp⁡(B−1AB)=B−1(exp⁡A)B \exp \left(B^{-1} A B\right)=B^{-1}(\exp A) B
?
Problem II.7.1.6

Find exp⁡A\exp A for the matrix

A=∥1111∥. A=\left\Vert \begin{smallmatrix} 1 & 1 \\ 1 & 1 \end{smallmatrix}\right\Vert .
?
Problem II.7.1.7

Prove that every unitary operator A\mathcal{A} can be represented in the form A=eiB\mathcal{A}=e^{i \mathcal{B}}, where B\mathcal{B} is a Hermitian operator.

?
Problem II.7.1.8

Prove that ∥AB∥=∥B∥\left\| \mathcal{A B}\right\| =\left\| \mathcal{B}\right\| if A\mathcal{A} is unitary and B\mathcal{B} an arbitrary linear operator.

?
Problem II.7.1.9

Prove that ∥Ak∥=∥A∥k,k=1,2,3,…\left\| \mathcal{A}^{k}\right\| =\left\| \mathcal{A}\right\|^{k}, k=1,2,3, \ldots, for every normal operator A\mathcal{A}.

?
Problem II.7.1.10

Prove that lim⁡k→∞Ak=O⟺r(A)<1\lim_{k \rightarrow \infty } \mathcal{A}^{k}=\mathcal{O} \Longleftrightarrow r(\mathcal{A})<1.

?