Extending the basis of a T-invariant subspace

  • Thread starter Thread starter Bipolarity
  • Start date Start date
  • Tags Tags
    Basis Subspace
Click For Summary
In the discussion about extending the basis of a T-invariant subspace, it was initially questioned whether the span of an additional set S, when combined with a basis γ of a T-invariant subspace W, would also be T-invariant. The poster attempted to prove this but ultimately concluded that it is false. A counterexample was provided using the vector space R², where a specific linear transformation T was shown to keep W invariant while the span of S was not invariant under T. This illustrates that extending a basis does not guarantee the T-invariance of the new span. The discussion highlights the complexities of linear transformations and their effects on 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.
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

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