MHB Show that φ(v)=λv for a vector v and a coefficient λ

mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hey! 😊

Let $\mathbb{K}$ be a field, $1\leq n\in \mathbb{N}$ and let $V$ be a $\mathbb{K}$-vector space with $\dim_{\mathbb{R}}V=n$. Let $\phi :V\rightarrow V$ be a linear map.

The following two statements are equivalent:

- There is a basis $B$ of $V$ such that $M_B(\phi)$ is an upper triangular matrix.

- There are subspaces $U_1, \ldots , U_n\leq_{\mathbb{K}}V$ such that $U_i\subset U_{i+1}$ and $U_i$ is $\phi$-invariant.

Let $\phi$ satisfy the above properties. Then show that there is $0\neq v\in V$ and a $\lambda\in \mathbb{K}$ such that $\phi (v)=\lambda v$.

For that I have done the following:

We consider the subspace $U_1$. Since $U_1$ is $\phi$-invariant, it follows for $v\in U_1\subset V$ that $\phi (v)=\lambda v$, with $\lambda\in \mathbb{K}$.

Is that correct and complete? :unsure:
 
Physics news on Phys.org
mathmari said:
Hey! 😊

Let $\mathbb{K}$ be a field, $1\leq n\in \mathbb{N}$ and let $V$ be a $\mathbb{K}$-vector space with $\dim_{\mathbb{R}}V=n$. Let $\phi :V\rightarrow V$ be a linear map.

The following two statements are equivalent:

- There is a basis $B$ of $V$ such that $M_B(\phi)$ is an upper triangular matrix.

- There are subspaces $U_1, \ldots , U_n\leq_{\mathbb{K}}V$ such that $U_i\subset U_{i+1}$ and $U_i$ is $\phi$-invariant.

Let $\phi$ satisfy the above properties. Then show that there is $0\neq v\in V$ and a $\lambda\in \mathbb{K}$ such that $\phi (v)=\lambda v$.

For that I have done the following:

We consider the subspace $U_1$. Since $U_1$ is $\phi$-invariant, it follows for $v\in U_1\subset V$ that $\phi (v)=\lambda v$, with $\lambda\in \mathbb{K}$.

Is that correct and complete? :unsure:
The two statements that you have mentioned are equivalent provided you assume that $U_1$ is not the trivial subsspace and the containments $U_i\subseteq U_{i+1}$ are strict.

With this, you, in your argument, need to mention $U_1$ is necessarily one dimensional (do you see why) and that $v$ can be chosen to be nonzero.
 
Thread 'How to define a vector field?'
Hello! In one book I saw that function ##V## of 3 variables ##V_x, V_y, V_z## (vector field in 3D) can be decomposed in a Taylor series without higher-order terms (partial derivative of second power and higher) at point ##(0,0,0)## such way: I think so: higher-order terms can be neglected because partial derivative of second power and higher are equal to 0. Is this true? And how to define vector field correctly for this case? (In the book I found nothing and my attempt was wrong...

Similar threads

  • · Replies 39 ·
2
Replies
39
Views
3K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 24 ·
Replies
24
Views
2K
Replies
3
Views
3K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K