Question about Invariant Subspaces.

444 Views Asked by At

The original question was as follows. Define $T\in\mathcal{L}(F^n)$ by $$T(x_1,x_2,x_3,\cdots,x_n)=(x_1,2x_2,3x_3,\cdots,nx_n).$$(a) Find all eigenvalues and eigenvectors of $T.$

(b) Find all invariant subspaces of $T$.

Part (a) is easy, for which the answer is for each $\lambda=n$, we have an eigenvector of $(0,\cdots,a_i,\cdots,0)$ where $a_i$ is at $i^{th}$ position in the list.

But I need help in verification of my proof in Part (b). Here is my proof:

Proof: Since we have $n$ eigenvectors and each of the eigenvectors can form an invariant subspaces under $T$, where the invariant subspaces corresponding to each eigenvector is denoted by $U_1,\cdots,U_n$. By theorem, we know the sum of the invariant subspaces is still invariant under T. Hence $U_1+\cdots+U_n$ is invariant under $T$. But $U_1,\cdots,U_n$ actually forms a basis of $F^n$ (since the eigenvectors are actually standard basis of $F^n$) Hence we can conclude that the set of any linear combinations of $u_1+\cdots+u_n$ for each $u_j\in U_j$ is the invariant subspaces of $T$. In other words, $span(u_1+\cdots+u_n)$ is the invariant subspaces of $T$.

Am I correct with this proof?

1

There are 1 best solutions below

8
On BEST ANSWER

No. The invariant subspace are those subspaces $U$ of $F^n$ such that $T(U)\subset U$. In your case, the invariant subspaces are those subspaces of $F^n$ of the type $\langle S\rangle$, where $S$ is a subset of the standard basis. In particular, there are $2^n$ invariant subspaces (one of which is $\{0\}$ and another of which is $F^n$; these two are always invariant). But, if $\{e_1,\ldots,e_n\}$ is the standard basis, every space $Fe_j$ is invariant; this provides $n$ invariant subspaces. And every space $Fe_j\oplus Fe_k$, with $j\neq k$ is invariant too; this provides $\frac{n(n-1)}2$ invariant subspaces. And so on…