1
$\begingroup$

I am required to prove the following Theorem howver despite thinking about the problem for some time i have not been able to come up with a dignified solution.

Could you please provide some hints to get me going, please do not present the complete solution.

Theorem. Given that $V$ is a finite dimensional vector space and $T$ is a linear operator on $V$ such that given any subspace of $V$ say $U$ with $\dim U = \dim V-1$ is invariant under $T$ then $T$ is a scalar multiple of the identity operator.

$\endgroup$
  • $\begingroup$ @астонвіллаолофмэллбэрг My Apologies. Correction has been made $\endgroup$ – Atif Farooq Feb 21 '18 at 12:54
  • $\begingroup$ Is it clear that $T$ is injective or surjective from the given information? Think about it. $\endgroup$ – астон вілла олоф мэллбэрг Feb 21 '18 at 12:55
  • $\begingroup$ One way to start this would be to observe that the hypothesis implies that the dual $T^* : V^* \to V^*$ maps every element to a multiple of itself. Then, it's enough to show that the dilation factor is the same for every element, as the dual of $\lambda \operatorname{id}_{V^*}$ is $\lambda \operatorname{id}_V$ for a scalar $\lambda$. $\endgroup$ – Travis Feb 21 '18 at 12:56
  • $\begingroup$ Let's simplify: suppose you have a linear transformation on 3-space, $ x \mapsto Mx$ and every plane is invariant. Can you say anything about $M$? $\endgroup$ – John Hughes Feb 21 '18 at 12:57
1
$\begingroup$

The case $\dim V\le 1$ is trivial. Suppose $\dim V\ge2$ and consider a basis $\{v_1,v_2,\dots,v_n\}$ of $V$.

Consider $T(v_1)=\alpha_1v_1+\alpha_2v_2+\alpha_3v_3+\dots+\alpha_nv_n$; by assumption, $\langle v_1,v_3,\dots,v_n\rangle$ is $T$-invariant, so $\alpha_2=0$.

Similarly, $\langle v_1,v_2,v_4,\dots,v_n\rangle$ is $T$-invariant, so $\alpha_3=0$ and, doing the same for the other vectors, $T(v_1)=\alpha_1v_1$.

On the other hand, $v_1$ can be any nonzero vector of $V$. Thus every nonzero vector of $V$ is an eigenvector.

The conclusion should now be easy.

$\endgroup$
0
$\begingroup$

It might be easier for you to handle the dual problem. Assume $W$ is a finite dimensional vector space and $S \colon W \rightarrow W$ is a linear operator such that each $0 \neq w \in W$ is an eigenvector of $S$. Show that $S$ is a scalar multiple of the identity.

How is this related to your problem? Take $W = V^{*}$ and $S = T^{*}$. Given a linear functional $0 \neq \varphi \in W^{*}$, the subspace $U = \ker \varphi$ has codimension one and so by assumption it is $T$-invariant which means that if $u \in U$ (so that $\varphi(u) = 0$) then $Tu \in U$ so $\varphi(Tu) = T^{*}(\varphi)(u) = 0$ so we have $U = \ker(\varphi) \subseteq \ker T^{*}(\varphi)$. This implies that $T^{*}(\varphi)$ must be a multiple of $\varphi$ so that $\varphi$ is an eigenvector of $T^{*}$.

Now, how to approach the dual problem? The assumption implies that $Sw = \lambda(w) w$ for all $w \in W$ and some $\lambda \colon W \setminus \{ 0_W \} \rightarrow \mathbb{F}$. By linearity, we have

$$ S(cw) = \lambda(cw) (cw) = cS(w) = c\lambda(w) w, \\ S(w + w') = \lambda(w + w')(w + w') = S(w) + S(w') = \lambda(w)w + \lambda(w')w'. $$

Try to use those identities to deduce that $\lambda$ must actually be constant.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.