Functii definite pe GL(2,R)

Post Reply
Liviu Ornea
-
Posts: 123
Joined: Sun Sep 30, 2007 8:48 pm
Contact:

Functii definite pe GL(2,R)

Post by Liviu Ornea »

Sa se gaseasca toate functiile neconstante \( f: \rm{GL}(2,\mathbb{R})\rightarrow R \) care satisfac proprietatea \( f(A)=f(B) \Rightarrow f(UAV)=f(UBV) \) pentru orice \( U,V\in \rm{GL}(2,\mathbb{R}). \)

Observatie. Conditia e mai slaba decit "\( f \) morfism". E clar ca orice functie de forma \( g\circ \det \), cu \( g \) injectiva e buna; intrebarea este daca exista solutii (de preferat diferentiabile) care nu factorizeaza prin \( \det \). Problema nu-mi apartine, mi-a dat-o un prieten caruia ii e lene sa scrie singur...
L.O.
User avatar
Dragos Fratila
Newton
Posts: 313
Joined: Thu Oct 04, 2007 10:04 pm

Post by Dragos Fratila »

Cred ca toate factorizeaza prin det. Demonstratia nu e a mea, ci a unui prieten (Michael Groechenig) caruia i-am zis problema:

Lucram pe \( G:=GL(n)^+ \)(det-ul pozitiv) momentan.

1. Consideram \( H = f^{-1}(f(I_n)) \). Avem o actiune tranzitiva a lui \( G\times G \) pe fibrele lui \( f \) (i.e. \( G\times G \) permuta tranzitiv fibrele lui \( f \)). Intr-un punct diferentiala lui \( f \) trebuie sa fie surjectiva si deci fibra deasupra acelui punct are codimensiune 1. Din tranzitivitatea actiunii rezulta ca toate fibrele au codimensiune 1. Asadar \( H \) este un subgrup Lie (din T. Cartan) al lui \( G \) de codimensiune 1.

2. H este normal. Intr-adevar, fie A in H si B in G. Atunci \( f(BAB^{-1}) = f(BI_nB^{-1})=f(I_n) \).

3. Algebra Lie a lui H este de codimensiune 1 in \( Lie(G)=gl(n) \) si este si ideal pentru ca H este normal. Asadar \( Lie(H)=sl(n) \) si prin urmare \( H=SL(n) \).

4. Fie A si B cu det(A)=det(B)=c. Atunci \( f(Ac^{-1})=f(Bc^{-1}) \) si din conditia din enunt inmultind la stanga cu \( U=cI_n \) rezulta ca \( f(A)=f(B) \).

5. Fie acum \( A \in GL(n) \) si \( c=\det(A) \). Avem ca \( f(Ac^{-1})=f(I_n) \) de unde rezulta ca \( f(A) = f(cI_n) \), i.e. \( f(A)=g(\det(A)) \) pentru orice \( A \in GL(n) \), unde \( g \) este o functie \( \mathbb{R}\to\mathbb{R} \).
"Greu la deal cu boii mici..."
Post Reply

Return to “Algebra liniara”