1
$\begingroup$

I need to prove this:

Let $V$ be a vector space. If $T\in L(V,V)$ is diagonalizable, then $V=\ker (T)\bigoplus \mathrm{Im}(T)$.

Well, if $T$ is a diagonalizable operator then there exists a basis $\beta=\{v_1,\dots,v_n\}$ for which matrix of $T$ is diagonal. Let the eigenvalues be $\lambda_1,\dots\lambda_n$ so $T(v_1)=\lambda_1v_1$ $\dots$ $T(v_n)=\lambda_nv_n$ and let $v\in\ker (T)\cap \mathrm{Im}(T)$ be arbitrary. Then $T(v)=0$ and $v=\sum_{i=1}^{n}c_iv_i$ so $0=\sum_{i=1}^{n}T(c_iv_i)$ so $\sum_{i=1}^{n}c_i\lambda_iv_i=0$ so $c_i\lambda_i=0$, what can I conclude later?

  • 3
    @busman: You are confused. There is no inner product defined on $V$, and if there were, kernel and image would not need to be orthogonal. Here the question is just that (in this particular case) they must be complementary subspaces.2012-10-27

2 Answers 2

2

Do you know this fact?

$T$ is diagonalizable if and only if $V=E_{\lambda_1} \oplus \cdots \oplus E_{\lambda_k}$ where $\lambda_1,\dots,\lambda_k$ are the distinct eigenvalues of $T$ and each $E_{\lambda_i}$ is the eigenspace of $\lambda_i$.

Which eigenspace(s) in the above decomposition correspond to $\ker(T)$? Which eigenspace(s) above correspond to $\mbox{im}(T)$? Can you prove it?

Edit: Write $V=E_0 \oplus E_{\mu_1} \oplus \cdots \oplus E_{\mu_k}\tag{*}$ where $E_0$ is the eigenspace for the eigenvalue 0 (so $E_0=\{0\}$ if $T$ has trivial kernel) and $\mu_1,\dots,\mu_k$ are the nonzero eigenvalues. Obviously $E_0 = \ker(T)$, so we have to show that $\mbox{im}(T)=E_{\mu_1} \oplus \cdots \oplus E_{\mu_k}.$ If $v \in \mbox{im}(T)$ then $v = T(v_0 + v_1 + \cdots + v_k)$ where $v_0 \in \ker(T)$ and $v_i \in E_{\mu_i}$ for $i>0$, by (*) above. So $v=Tv_1+\cdots+Tv_k=\mu_1v_1+\cdots+\mu_kv_k \in E_{\mu_1} \oplus \cdots \oplus E_{\mu_k}.$ Conversely, if $v=v_1 + \cdots + v_k$ where $v_i \in E_{\mu_i}$ then $v = T(\mu_1^{-1}v_1+\cdots+\mu_k^{-1}v_k),$ so $v\in\mbox{im}(T)$.

  • 1
    @Flute: See edit.2012-10-27
0

Hint: $\ker T$ is nothing else than the eigenspace for the eigenvalue $0$ if such an eigenvalue exists. And if it doesn't exist, then $\ker T=\{0\}$ and $T$ is invertible.