Il gruppo SL(n,R)

Messaggioda milos144 » 28/07/2018, 10:51

Il gruppo $SL(n,R)$ é un normale gruppo di $GL(n,R)$
Per provarlo prendiamo un $X in SL(n,R)$ e un $P in GL(n,R)$:
$det(PXP^(−1))=det(P)det(X)det(P)^(−1)=det(X)=1$
Quindi $PXP^(−1) in SL(n,R)$
Fin qui ci siamo.
Domanda: ma se volessi dimostrarlo con le classi laterali é giusto far vedere

$det(PX)=det(XP)=det(P)$
Grazie.
milos144
Junior Member
Junior Member
 
Messaggio: 89 di 487
Iscritto il: 27/09/2014, 16:55

Re: Il gruppo SL(n,R)

Messaggioda killing_buddha » 28/07/2018, 14:14

Beh, no, se vuoi dimostrarlo usando la definizione di sottogruppo normale (e non quella di "normale gruppo", qualsiasi cosa sia quest'ultimo), devi far vedere che per ogni elemento $X$ di $SL(n,R)$, e ogni elemento $P$ di $GL(n,R)$ esiste un $Y$ in $SL(n,R)$ tale che $PX=YP$.
- "Everything in Mathematics that can be categorized, is trivial" (P. J. Freyd), which should be understood as: "category theory is good ideas rather than complicated techniques".
- "I always disliked Analysis" (P. J. Freyd)
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 2699 di 5766
Iscritto il: 03/05/2008, 17:33

Re: Il gruppo SL(n,R)

Messaggioda milos144 » 28/07/2018, 20:06

Grazie per l'aiuto.


Immagine
Secondo il tuo parere puó essere questa la dimostrazione
milos144
Junior Member
Junior Member
 
Messaggio: 91 di 487
Iscritto il: 27/09/2014, 16:55

Re: Il gruppo SL(n,R)

Messaggioda milos144 » 30/07/2018, 14:57

Facciamo vedere che per ogni elemento $X di SL(n,R)$, e ogni elemento $P di GL(n,R) $ esiste un $Y in SL(n,R) $ tale che $PX=YP$
Ho pensato di fare cosí:


Immagine

Qualcuno mi puó dire se va bene? Grazie
milos144
Junior Member
Junior Member
 
Messaggio: 92 di 487
Iscritto il: 27/09/2014, 16:55

Re: Il gruppo SL(n,R)

Messaggioda vict85 » 30/07/2018, 19:55

Non ho capito cosa stai cercando di fare. Se il tuo scopo è dimostrare che \(\mathrm{SL}(n,\mathbb{R}) \lhd \mathrm{GL}(n,\mathbb{R}) \) allora penso che tu ti stia complicando la vita.
La prima cosa da osservare è che lo è quasi per definizione, infatti è \(\displaystyle \mathrm{SL}(n,\mathbb{R}) = \ker \det \). Insomma, ti basta dimostrare che \(\displaystyle \det \) è un omomorfismo di gruppi.
La tua prima dimostrazione stava di fatto utilizzando il fatto che \(det\) è un omomorfismo, quindi stai di fatto ridimostrando che il \(\ker\) di un omomorfismo è sempre normale.
La seconda, se corretta, vale solo per \(n=2\), quindi non risolve il problema iniziale.
vict85
Moderatore
Moderatore
 
Messaggio: 9344 di 19253
Iscritto il: 16/01/2008, 00:13
Località: Berlin

Re: Il gruppo SL(n,R)

Messaggioda milos144 » 30/07/2018, 21:05

Forse mi sto complicando la vita, ma mi piacerebbe vedere come dimostrare che
$SL(n,R)⊲GL(n,R)  $ utilizzando solo il fatto che i laterali destri e i laterali sinistri di $SL(n,R)$ coincidono.
Con le matrici $2×2$ dell'esempio precedente mi é sembrato di si.
Vi chiedo solo di darmi un aiutino per capire.
Grazie
milos144
Junior Member
Junior Member
 
Messaggio: 93 di 487
Iscritto il: 27/09/2014, 16:55

Re: Il gruppo SL(n,R)

Messaggioda vict85 » 31/07/2018, 15:37

Ma come sono fatti questi laterali? Prova a ragionarci.
vict85
Moderatore
Moderatore
 
Messaggio: 9346 di 19253
Iscritto il: 16/01/2008, 00:13
Località: Berlin

Re: Il gruppo SL(n,R)

Messaggioda killing_buddha » 31/07/2018, 17:06

milos144 ha scritto:Facciamo vedere che per ogni elemento $X di SL(n,R)$, e ogni elemento $P di GL(n,R) $ esiste un $Y in SL(n,R) $ tale che $PX=YP$
Ho pensato di fare cosí:
[...]

Questo approccio si può sintetizzare in "sono un ingegnere e voglio che piccoli aghi taglino la carne viva sotto le mie unghie mentre un torturatore mi spruzza del succo di limone negli occhi".

Devi trovare un $Y in SL(n,R) $ tale che $PX=YP$: che ne dici di prendere $PXP^{-1}$, che ci fa il favore di stare in $SL(n,R)$?
- "Everything in Mathematics that can be categorized, is trivial" (P. J. Freyd), which should be understood as: "category theory is good ideas rather than complicated techniques".
- "I always disliked Analysis" (P. J. Freyd)
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 2716 di 5766
Iscritto il: 03/05/2008, 17:33

Re: Il gruppo SL(n,R)

Messaggioda milos144 » 01/08/2018, 14:19

Sicuramente faccio fatica a capire....parto da zero e non frequento alcun corso...
Partiamo da:
il gruppo $SL(n,R) $ é un sottogruppo normale di $GL(n,R)$
Per provarlo prendiamo un $X∈SL(n,R) $ e un $P∈GL(n,R)$:
$det(PXP^(−1))=det(P)det(X)det(P)−1=det(X)=1$
Quindi $PXP^(−1)$ per definizione , $∈SL(n,R)$
Adesso essendo $ PXP^(-1) in SL(n, R)$ , se noi consideriamo i laterali destri e sinistri di $SL(n,R)$
abbiamo che $PX=YP rArr Y=PXP^(-1)$ e questo dimostra che i laterali coincidono.
Cosa ne pensate?
milos144
Junior Member
Junior Member
 
Messaggio: 94 di 487
Iscritto il: 27/09/2014, 16:55

Re: Il gruppo SL(n,R)

Messaggioda killing_buddha » 01/08/2018, 14:48

$Y_{X,P} = PXP^{-1}$ è quell'unica matrice invertibile tale che $PX=YP$. Siccome date $X,P$ puoi sempre trovare $Y$ tale che $PX=YP$ (basta prendere la suddetta $Y_{X,P}$), SL è normale in GL
- "Everything in Mathematics that can be categorized, is trivial" (P. J. Freyd), which should be understood as: "category theory is good ideas rather than complicated techniques".
- "I always disliked Analysis" (P. J. Freyd)
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 2727 di 5766
Iscritto il: 03/05/2008, 17:33


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite