# Generalized Eigenspaces

• Apr 1st 2011, 10:55 AM
h2osprey
Generalized Eigenspaces
Let $V = W_1 \oplus W_2, \phi: V \rightarrow V$a linear map. Prove that $V(\lambda)^+ = W_1(\lambda)^+ \oplus W_2(\lambda)^+.

$
Injectivity is easy enough, but I can't seem to prove $V(\lambda)^+ = W_1(\lambda)^+ + W_2(\lambda)^+$ without assuming that $W_1, W_2$ are $\phi-$stable. Am I missing something here, or is this assumption required for the implication to hold?
• Apr 1st 2011, 01:08 PM
Drexel28
Quote:

Originally Posted by h2osprey
Let $V = W_1 \oplus W_2, \phi: V \rightarrow V$a linear map. Prove that $V(\lambda)^+ = W_1(\lambda)^+ \oplus W_2(\lambda)^+.

$
Injectivity is easy enough, but I can't seem to prove $V(\lambda)^+ = W_1(\lambda)^+ + W_2(\lambda)^+$ without assuming that $W_1, W_2$ are $\phi-$stable. Am I missing something here, or is this assumption required for the implication to hold?

You need to define some things here friend. Presumably $S(\lambda)$ is the eigenspace of the eigenvalue $\lambda$? What does the $^+$ mean?
• Apr 1st 2011, 01:44 PM
h2osprey
Whoops my bad. $V(\lambda)^+$ is defined as the generalized eigenspace of the eigenvalue $\lambda$, i.e. $V(\lambda)^+ := \{v \in V | (\phi - \lambda .Id)^n (v)= 0$ for some $n \in \mathbb{N}\}$