Extending the basis of a T-invariant subspace

  • Context: Graduate 
  • Thread starter Thread starter Bipolarity
  • Start date Start date
  • Tags Tags
    Basis Subspace
Click For Summary
SUMMARY

The discussion centers on the properties of T-invariant subspaces in the context of linear maps on finite-dimensional vector spaces. Specifically, it examines whether the span of a set S, when extended from a basis γ of a T-invariant subspace W, remains T-invariant. The conclusion reached is that span(S) is not necessarily T-invariant, supported by a counterexample involving the linear map T on the standard basis of R². The example demonstrates that while W is T-invariant, span(S) fails to maintain this property.

PREREQUISITES
  • Understanding of linear maps and vector spaces
  • Familiarity with the concept of T-invariant subspaces
  • Knowledge of basis extension in vector spaces
  • Ability to construct and analyze counterexamples in linear algebra
NEXT STEPS
  • Study the properties of T-invariant subspaces in linear algebra
  • Explore the concept of basis extension in finite-dimensional vector spaces
  • Learn about linear transformations and their effects on subspaces
  • Investigate counterexamples in linear algebra to strengthen proof techniques
USEFUL FOR

Mathematics students, particularly those studying linear algebra, educators teaching vector space theory, and researchers exploring properties of linear maps and subspaces.

Bipolarity
Messages
773
Reaction score
2
Let ##T: V → V ## be a linear map on a finite-dimensional vector space ##V##.
Let ##W## be a T-invariant subspace of ##V##.
Let ##γ## be a basis for ##W##.

Then we can extend ##γ## to ##γ \cup S##, a basis for ##V##, where ##γ \cap S = ∅ ##, so that ## W \bigoplus span(S) = V ##.

My question:
Is ##span(S)## a T-invariant subspace of ##V##?

I've been trying to prove it is, but am not sure. I would like some assistance, so I know where I might steer my proof. Thanks!

EDIT: Never mind just solved it. It's false!

BiP
 
Last edited:
Physics news on Phys.org
This is not true. As a simple counterexample, let ##V=\Bbb R^2##, and let (##\bf e_1,e_2##) be the standard basis in ##\Bbb R^2##, and let ##W=span\{\bf e_1\}##, and let ##T## be defined by its action on the basis vectors: ##T(\bf e_1\rm)=\it T(\bf e_2\rm)=\bf e_1##. Then, ##W## is ##T##-invariant, and we can take ##S=\{\bf e_2\it\}##, and it satisfies your assumptions, but ##span \,S## is not ##T##-invariant.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
3
Views
2K