Extending the basis of a T-invariant subspace

  • Thread starter Bipolarity
  • Start date
  • #1
775
1

Main Question or Discussion Point

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:

Answers and Replies

  • #2
Erland
Science Advisor
738
136
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.
 

Related Threads on Extending the basis of a T-invariant subspace

  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
3
Views
8K
  • Last Post
Replies
4
Views
5K
  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
6
Views
5K
  • Last Post
Replies
3
Views
3K
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
7
Views
5K
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
8
Views
3K
Top