Show deg of minimal poly = dimension of V

  • Context: MHB 
  • Thread starter Thread starter catsarebad
  • Start date Start date
  • Tags Tags
    Dimension
Click For Summary
SUMMARY

The discussion establishes that for a finite-dimensional vector space V, if C_x spans V for some non-zero vector x, then the degree of the minimal polynomial u_L associated with the linear operator L on V equals the dimension of V. The argument hinges on the linear dependence of the set {x, L(x), ..., L^m(x)} and the properties of minimal polynomials. Specifically, it concludes that deg(u_L) ≤ dim(V) and demonstrates that the set is linearly independent, leading to the conclusion that deg(u_L) = dim(V).

PREREQUISITES
  • Understanding of linear operators and their properties in finite-dimensional vector spaces.
  • Familiarity with the concept of minimal polynomials in linear algebra.
  • Knowledge of linear independence and dependence of vectors.
  • Basic grasp of polynomial functions and their application in linear transformations.
NEXT STEPS
  • Study the properties of minimal polynomials in linear algebra.
  • Learn about the Jordan canonical form and its relation to linear operators.
  • Explore the concept of linear independence in greater depth.
  • Investigate the relationship between eigenvalues, eigenvectors, and minimal polynomials.
USEFUL FOR

This discussion is beneficial for students and professionals in mathematics, particularly those focusing on linear algebra, as well as educators teaching concepts related to vector spaces and linear transformations.

catsarebad
Messages
69
Reaction score
0
if V = C_x for some x belongs to V then show

deg(u_L) = dim(V)

here,

L: V -> V linear operator on finite dimensional vector space

C_x = span {x, L(x), L^2(x),....}

u_L = minimal polynomial

my thought:

since C_x = V, it spans V. if it spans v, then degree of minimal poly that we somehow obtain from L should be dim(V). i dunno.

i can't figure out how to connect C_x and L with minimal poly.
 
Physics news on Phys.org
If $C_x = V$ for some $x$ (such an $x$ is clearly non-zero), then consider the smallest $m$ for which:

$\{x,Lx,\dots,L^mx\}$ is linearly dependent.

By the definition of linearly dependent, this means we have $c_0,c_1\dots,c_m$ not all 0 with:

$c_0x + c_1Lx +\cdots + c_mL^mx = 0$.

By the minimality of $m$, $c_m \neq 0$.

Thus $L$ satisfies the polynomial (since $x$ is non-zero):

$p(x) = c_0 + c_1x + \cdots + c_mx^m$

Therefore (since $p(L) = 0$) we conclude that $\mu_L|p$.

But if $L^mx$ is a linear combination of $\{x,Lx,...,L^{m-1}x\}$ then any higher power of $L$ is likewise a linear combination of these (you may want to supply an inductive proof of this..up to you).

Thus $V$ = span($C_x$) = span($\{x,Lx,...,L^{m-1}x\}$).

and we have $m = $ dim$(V)$.

The above shows that deg($\mu_L$) $\leq$ dim($V$).

Now argue that $\{x,Lx,...,L^{m-1}x\}$ is linearly independent, to show that:

deg($\mu_L$) $> m - 1$.
 

Similar threads

Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
15
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K