Section II.2.3

Invariant subspaces and eigenvectors

[10/80%]
Show
LaTeX
Problem II.2.3.1

Let {Ai∣1⩽i⩽m−1}\left\{ A_{i} \mid 1 \leqslant i \leqslant m-1\right\} be an orthogonal system of idempotent matrices (see the remark at the end of item 1). Show that A2=A,AAi=AiA=AiA^{2}=A, A A_{i}=A_{i} A=A_{i}, 1⩽i⩽m−11 \leqslant i \leqslant m-1 for A=A1+A2+…+Am−1A=A_{1}+A_{2}+\ldots +A_{m-1}, and that if one sets Am=E−AA_{m}=E-A, then {Ai∣1⩽i⩽m}\left\{ A_{i} \mid 1 \leqslant i \leqslant m\right\} is a complete orthogonal system.

?
Problem II.2.3.2

Let D:Mn(K)→Mn(K)\mathcal{D}: M_{n}(\mathfrak {K}) \rightarrow M_{n}(\mathfrak {K}) be a linear operator on the space of square matrices, not identically equal to O\mathcal{O}, possessing the multiplicativity property:

D(AB)=D(A)D(B) \mathcal{D}(A B)=\mathcal{D}(A) \mathcal{D}(B)

for all A,B∈Mn(K)A, B \in M_{n}(\mathfrak {K}). Prove that then D=fC\mathcal{D}=f_{C} for some nonsingular n×nn \times n matrix CC (see Exercise 3 from § 1).

?
Problem II.2.3.3

Let A:V→V\mathcal{A}: V \rightarrow V be a linear operator such that Im⁡Ap=Im⁡Ap+1\operatorname {Im} \mathcal{A}^{p}=\operatorname {Im} \mathcal{A}^{p+1} for some natural number pp. Prove that in this case V=Ker⁡Ap⊕Im⁡ApV=\operatorname {Ker} \mathcal{A}^{p} \oplus \operatorname {Im} \mathcal{A}^{p} is a direct sum of two A\mathcal{A}-invariant subspaces.

?
Problem II.2.3.4

Prove that if the linear operators E,A,A2,…,An−1\mathcal{E}, \mathcal{A}, \mathcal{A}^{2}, \ldots , \mathcal{A}^{n-1}, acting on a vector space VV of dimension nn, are linearly independent, then there exists a vector v∈V\mathbf{v} \in V such that

V=⟨v,Av,A2v,…,An−1v⟩ V= \left\langle \mathbf{v}, \mathcal{A} \mathbf{v}, \mathcal{A}^{2} \mathbf{v}, \ldots , \mathcal{A}^{n-1} \mathbf{v}\right\rangle

(in this case one says that VV is cyclic).

?
Problem II.2.3.5

Let AA be a real n×nn \times n matrix with no real eigenvalues, so that, in particular, nn is even and AA is invertible. Show that there exists a real matrix BB such that AB=BAA B=B A and B2=−EB^{2}=-E, where EE is the identity matrix (D. Đoković).

?
Problem II.2.3.6

Prove that for any A,B∈Mn(R)A, B \in M_{n}(\mathbb {R}) the characteristic polynomials of the matrices ABA B and BAB A coincide.

?
Problem II.2.3.7

Find the characteristic roots of the "cyclic" matrix

A=∥a0a1a2a2a0a1a1a2a0∥ A=\left\Vert \begin{smallmatrix} a_{0} & a_{1} & a_{2} \\ a_{2} & a_{0} & a_{1} \\ a_{1} & a_{2} & a_{0} \end{smallmatrix}\right\Vert

using the easily verified relation

A=a0E+a1B+a2B2,B=∥010001100∥ A=a_{0} E+a_{1} B+a_{2} B^{2}, \quad B=\left\Vert \begin{smallmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 1 & 0 & 0 \end{smallmatrix}\right\Vert
?
Problem II.2.3.8

Prove that the space SMag⁡n(Q)\operatorname {SMag}_{n}(\mathbb {Q}) of semi-magic squares (see Example 8 from § 1, Ch. 1) is a Q\mathbb {Q}-subalgebra of Mn(Q)M_{n}(\mathbb {Q}).

?
Problem II.2.3.9

Let A,B∈Mn(K)A, B \in M_{n}(\mathfrak {K}), char⁡K≠2\operatorname {char} \mathfrak {K} \neq 2. We write B∼AB \sim A if B=DAB=D A, where D=diag⁡(θ1,…,θn),θi=±1D=\operatorname {diag}\left(\theta_{1}, \ldots , \theta_{n}\right), \theta_{i}= \pm 1. It is obvious that ∼\sim is an equivalence relation. If S(A)S(A) is the equivalence class with representative AA, then Card⁡S(A)⩽2n\operatorname {Card} S(A) \leqslant 2^{n}.

Prove that at least one of the matrices in S(A)S(A) does not have the eigenvalue 1.

?
Problem II.2.3.10

Let A\mathcal{A} be a linear operator on an nn-dimensional vector space VV. Show that

A2=A⟺rank⁡A+rank⁡(E−A)=n. \mathcal{A}^{2}=\mathcal{A} \Longleftrightarrow \operatorname {rank} \mathcal{A}+\operatorname {rank}(\mathcal{E}-\mathcal{A})=n.
?