2
$\begingroup$

I have an operator $$T\in \mathcal L(\mathbb{F}^n)$$ defined as $$\ T(x_1, x_2, \ldots, x_n) = (x_1, 2x_2, 3x_2,\ldots, n x_n)$$ $\mathbb{F}$ is either $\mathbb{R}$ or $\mathbb{C}$.

This is from Linear Algebra Done Right, and I'm tasked with finding a) the eigenvectors and values, and b) all the invariant subspaces...


a) I'm pretty sure we have eigenvalue-eigenvector pairs $$1, (1, 0,\ldots,0)\\2,(0,1,\ldots,0)\\\vdots\\ n, (0,0,\ldots,n)$$ found by solving the system of equations for $T(x_1,x_2,\ldots,x_n)=\lambda(x_1,x_2,\ldots,x_n)$.


b) is what I'm having trouble with. I'm inclined to believe it only has linear combinations of the eigenvectors and the obvious ones (like $\{0\}$) as subspaces.

I think that if you have a subspace $W$ and $k$ vectors $$W = \{a_0 v_0 + \ldots + a_k v_k | a_i \in \mathbb{F}, v_i \in W,i=1,\ldots,k\}$$ then its only invariant if there are $v_0,\ldots,v_k$ themselves invariant under $T$?

Because then $$\begin{align}Tw &= a_0 Tv_0 + \ldots + a_k Tv_k\\Tw &= a_0 \lambda_0 v_0+\ldots+a_k \lambda_k v_k\end{align}$$ If it's not, we have a sum involving a vector not in $W$.

Am I on the right track?

$\endgroup$
1

1 Answer 1

4
$\begingroup$

Since all eigenvalues are different then any set of eigenvectors define an invariant subspace. So, there are $2^n$ such invariant subspaces.

$\endgroup$
1
  • 2
    $\begingroup$ How would I know these are all there is though? I am expected to solve this with the bare minimum: distinct eigenvectors are linearly independent, there at most as many values as the dimension of the space (for finite spaces).. but I'm probably not seeing something obvious. $\endgroup$
    – Skurmedel
    Dec 4, 2016 at 9:17

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .