Algebra di lie di un gruppo di lie

Messaggioda MementoMori » 08/09/2018, 09:41

Salve ragazzi, vi posto il testo su cui sto studiando e ho diversi dubbi:

Immagine

Come si potrebbe dimostrare il punto 3) non essendo F un omomorfismo di gruppi? In base semplicemente alla definizione data 2 righe sopra?
" Si piange perché si è tristi. Per esempio, io piango perché gli altri sono stupidi e questo mi rende triste. "
Avatar utente
MementoMori
Average Member
Average Member
 
Messaggio: 358 di 761
Iscritto il: 09/09/2015, 18:56

Re: Algebra di lie di un gruppo di lie

Messaggioda killing_buddha » 08/09/2018, 11:07

Per dimostrare 3 non ti serve che $F$ sia un omomorfismo di gruppi; la tesi corrisponde a mostrare che è un omomorfismo di algebre di Lie. La dimostrazione mi sembra fatta nel testo, cosa non capisci?
- "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: 2814 di 5766
Iscritto il: 03/05/2008, 17:33

Re: Algebra di lie di un gruppo di lie

Messaggioda MementoMori » 08/09/2018, 11:24

Cioè il l'insieme di tutti i campi vettoriali è un'algebra di lie. Se F è un diffeomorfismo (quindi omeomorfismo differenziabile con inversa differenziabile) possiamo ricavare qualcosa su F_* X ?
" Si piange perché si è tristi. Per esempio, io piango perché gli altri sono stupidi e questo mi rende triste. "
Avatar utente
MementoMori
Average Member
Average Member
 
Messaggio: 359 di 761
Iscritto il: 09/09/2015, 18:56

Re: Algebra di lie di un gruppo di lie

Messaggioda killing_buddha » 08/09/2018, 11:36

La corrispondenza che manda $F : G\to G$ in $F_*$, definita tra i suoi spazi tangenti, è evidentemente funtoriale (resta da stabilire con che codominio), e questo ti dice che $F_*$ è un isomorfismo perché lo era $F$.

Ti resta da vedere che $F_*$ commuta con le parentesi di Lie, credo siano solo dei conti con la definizione dat aappena sopra.
- "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: 2815 di 5766
Iscritto il: 03/05/2008, 17:33

Re: Algebra di lie di un gruppo di lie

Messaggioda MementoMori » 08/09/2018, 11:40

Ma non abbiamo studiato i funtori (questo è un corso di geometria II per fisici)
" Si piange perché si è tristi. Per esempio, io piango perché gli altri sono stupidi e questo mi rende triste. "
Avatar utente
MementoMori
Average Member
Average Member
 
Messaggio: 360 di 761
Iscritto il: 09/09/2015, 18:56

Re: Algebra di lie di un gruppo di lie

Messaggioda killing_buddha » 08/09/2018, 12:25

Significa semplicemente che $(F\circ H)_* = F_* \circ H_*$ e che $(id_G)* = id_{TG}$. Questo implica che se $F$ è un isomorfismo, tale è anche $F_*$.
- "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: 2816 di 5766
Iscritto il: 03/05/2008, 17:33

Re: Algebra di lie di un gruppo di lie

Messaggioda MementoMori » 13/09/2018, 17:55

Si ho capito grazie
" Si piange perché si è tristi. Per esempio, io piango perché gli altri sono stupidi e questo mi rende triste. "
Avatar utente
MementoMori
Average Member
Average Member
 
Messaggio: 363 di 761
Iscritto il: 09/09/2015, 18:56

Re: Algebra di lie di un gruppo di li

Messaggioda MementoMori » 15/09/2018, 15:53

Voglio ancora chiederti una cosa perchè non mi è chiaro ciò

Il differenziale l’abbiamo definito così

Immagine



Immagine

Il prodotto di campi vettoriali così:


Immagine


Io sto cercando di dimostrarlo così



Immagine

Ha senso?
" Si piange perché si è tristi. Per esempio, io piango perché gli altri sono stupidi e questo mi rende triste. "
Avatar utente
MementoMori
Average Member
Average Member
 
Messaggio: 368 di 761
Iscritto il: 09/09/2015, 18:56

Re: Algebra di lie di un gruppo di lie

Messaggioda killing_buddha » 15/09/2018, 16:07

Cosa stai cercando di dimostrare?
- "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: 2841 di 5766
Iscritto il: 03/05/2008, 17:33

Re: Algebra di lie di un gruppo di lie

Messaggioda MementoMori » 15/09/2018, 16:28

Il punto 3 presente sul primo foglio con quello che ho studiato dal testo riportato
" Si piange perché si è tristi. Per esempio, io piango perché gli altri sono stupidi e questo mi rende triste. "
Avatar utente
MementoMori
Average Member
Average Member
 
Messaggio: 369 di 761
Iscritto il: 09/09/2015, 18:56

Prossimo

Torna a Geometria e algebra lineare

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite