Fully reducible rep-invariant subspace

  • Context: Graduate 
  • Thread starter Thread starter ChrisVer
  • Start date Start date
  • Tags Tags
    Subspace
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
Messages
3,372
Reaction score
465
How could I show that a representation [itex]D[/itex] is fully reducible if and only if for every invariant subspace [itex]V_{1} \in V[/itex] then also [itex]V_{1}^{T}[/itex] (meaning orthogonal to V1) is also invariant?
http://www.crystallography.fr/mathcryst/pdf/nancy2010/Souvignier_irrep_syllabus.pdf
(Lemma 1.6.4)
in fact I don't understand the inaffected scalar product it mentions...
 
Last edited by a moderator:
Physics news on Phys.org
It's OK I think I came into the answer...
if we take [itex]v \in V_{1}[/itex] and [itex]w \in V_{1}^{T}[/itex]
then [itex]<v,w>=0[/itex]
but v doesn't change subspace under the action of the repr
[itex]<D(g)v, w>=0= <v,D^{t}(g) w>=<v,D(g^{-1}) w>=<v,D(g) w>[/itex]
However this needs the unitarity for the [itex]g^{-1}[/itex] step