Gruppo di Lie

In matematica un gruppo di Lie è un gruppo munito di una struttura di varietà differenziabile compatibile con le operazioni di gruppo. Il termine groupes de Lie venne utilizzato per la prima volta in Francia nel 1893 nella tesi di dottorato di Arthur Tresse in onore del matematico norvegese Sophus Lie, che di Tresse fu uno dei due relatori. ^[1]

Un gruppo di Lie è un gruppo ${\displaystyle G}$ munito di una struttura di varietà differenziabile tale che le operazioni

${\displaystyle G\times G\to G}$

${\displaystyle (a,b)\mapsto a\cdot b}$

e

${\displaystyle G\to G}$

${\displaystyle a\mapsto a^{-1}}$

sono entrambe differenziabili.

Dati due gruppi di Lie ${\displaystyle G}$ e ${\displaystyle H}$, un morfismo di gruppi di Lie è un omomorfismo differenziabile, vale a dire un'applicazione ${\displaystyle f\colon G\to H}$ che sia un omomorfismo per la struttura astratta di gruppo (${\displaystyle f(ab)=f(a)f(b)}$) e un'applicazione differenziabile per la struttura di varietà di ${\displaystyle G}$ e ${\displaystyle H}$.

I gruppi di Lie con i loro morfismi costituiscono una categoria.

I gruppi di Lie possono essere classificati in relazione a diversi generi di proprietà:

• proprietà algebriche: semplice, semisemplice, risolubile, nilpotente, abeliano;
• proprietà di connessione: gruppi connessi o gruppi semplicemente connessi;
• proprietà di compattezza.

Ad ogni gruppo di Lie si può associare un'algebra di Lie che è in grado di esprimere interamente la struttura locale del gruppo. La relazione gruppo - algebra non riguarda invece le caratteristiche globali, come connessione o semplice connessione, diversi gruppi di Lie possono quindi avere la stessa algebra; in particolare, esiste un teorema che stabilisce che due gruppi di Lie finito dimensionali localmente isomorfi hanno algebre di Lie isomorfe, quindi identificabili.

Lo studio delle proprietà e la classificazione delle algebre di Lie è molto più agevole rispetto all'analogo studio dei gruppi, per questo risultano molto utili una serie di teoremi che permettono di mettere in relazione le proprietà delle algebre a quelle dei gruppi corrispondenti. La relazione tra algebre e gruppi di Lie può essere vista come funtore tra categorie.

In particolare, sia ${\displaystyle G}$ un gruppo di Lie e ${\displaystyle f(t)}$ una funzione continua che passi per l'elemento neutro ${\displaystyle u}$ di ${\displaystyle G}$ per cui ${\displaystyle f(0)=u}$.

Sia invece ${\displaystyle T(G)}$ lo spazio tangente a ${\displaystyle G}$ in ${\displaystyle u}$ che corrisponde, utilizzando la nozione di derivata, a ${\displaystyle f'(0)}$.

Si può dimostrare che ${\displaystyle T(G)}$ è, su ${\displaystyle \mathbb {R} }$, uno spazio vettoriale.

Ora, ponendo ${\displaystyle \varepsilon \in \mathbb {R} }$ e ${\displaystyle \varepsilon }$ positivo piccolo a piacere si potrà scrivere, sviluppando in serie di Taylor al prim'ordine:

${\displaystyle f(\varepsilon )\approx u+\varepsilon f'(0)}$.

Sia ora ${\displaystyle \varepsilon =t/n}$. Se ${\displaystyle n}$ tende all'infinito,

${\displaystyle f(\varepsilon )^{n}\approx \left(u+{\frac {tf'(0)}{n}}\right)^{n}\approx e^{tf'(0)}}$.

Nella relazione precedente si è fatto uso del limite notevole che definisce la funzione esponenziale.

Allora esiste una mappa da ${\displaystyle \mathbb {R} \times T(G)}$ a ${\displaystyle G}$ e gli elementi di ${\displaystyle T(G)}$ sono quelli dell'algebra di Lie associata a ${\displaystyle G}$.

Per esempio, si consideri il gruppo ${\displaystyle SO(2)}$, il cui generico elemento può essere scritto come

${\displaystyle {\begin{bmatrix}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \end{bmatrix}}}$

Eseguendo la derivata e calcolandola in zero si ha

${\displaystyle {\begin{bmatrix}0&-1\\1&0\end{bmatrix}}}$

Gli elementi ottenuti moltiplicando tale matrice per qualunque reale ${\displaystyle k}$ sono i componenti l'algebra di Lie ${\displaystyle {\mathfrak {so}}(2)}$ e corrispondono ai numeri immaginari puri ${\displaystyle ik}$.^[2]

I gruppi di Lie reali si possono definire come varietà topologiche munite delle operazioni di gruppo continuo. L'equivalenza di questa definizione con quella data sopra costituisce una interpretazione del quinto problema di Hilbert (si veda però anche congettura di Hilbert-Smith).

Un preciso enunciato su tale equivalenza è il seguente:
Se G è una varietà topologica munita delle operazioni di gruppo continuo, allora esiste esattamente una struttura differenziabile su G che fa di esso un gruppo di Lie secondo la definizione data inizialmente.

Questo teorema è stato dimostrato da Andrew Gleason, Deane Montgomery e Leo Zippin negli anni 1950.

Come conseguenza si possono definire i gruppi di Lie ricorrendo alle funzioni lisce: questo è l'approccio ora prevalente nei testi introduttivi ai gruppi di Lie.

• (EN) Jean Dieudonné (1977): Treatise on Analysis. Volume V: Compact Lie Groups and Semisimple Lie Groups, Academic Press, ISBN 0-12-215505-X.
• (EN) Nicolas Bourbaki (1989): Elements of Mathematics. Lie groups and Lie algebras, Springer, ISBN 3-540-50218-1.
• (EN) John Frank Adams, Lectures on Lie Groups, Chicago Lectures in Mathematics, Chicago, Univ. of Chicago Press, 1969, ISBN 0-226-00527-5.
• (EN) Lie Groups. Representation Theory and Symmetric Spaces Wolfgang Ziller, Vorlesung 2010.

• Formula di Baker-Campbell-Hausdorff
• Gruppo di tipo Lie
• Rappresentazioni dei gruppi di Lie
• Sophus Lie
• Tavola dei gruppi di Lie
• Equazione differenziale

• Wikimedia Commons contiene immagini o altri file su gruppo di Lie

• Lie, gruppo di, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) Lie group, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Eric W. Weisstein, Gruppo di Lie, su MathWorld, Wolfram Research.
• (EN) Gruppo di Lie, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.

V · D · M Topologia
Concetti di Topologia generale	Spazio topologico · Base · Prebase · Ricoprimento · Assiomi di chiusura di Kuratowski · Invariante topologico · Relazione di finezza · Partizione dell'unità · Proprietà dell'intersezione finita Sottoinsiemi Intervallo · Aperto · Intorno · Chiuso · Insieme localmente chiuso · Insieme chiuso-aperto · Parte interna · Chiusura · Frontiera · Insieme derivato · Insieme limite · Insieme perfetto · Insieme denso · Insieme mai denso Punti Punto isolato · Punto di accumulazione · Punto di aderenza Funzioni Funzione continua · Omeomorfismo · Funzione aperta · Funzione chiusa · Funzione propria · Contrazione · Retrazione · Germe di funzione · Funzione a supporto compatto Successioni Limite · Limite di una successione · Successione · Rete · Convergenza · Successione di Cauchy Teoremi Teorema di Weierstrass · Heine-Borel · Tichonov · Lemma del tubo · Urysohn · Tietze · Baire · Brouwer · punto fisso · Teorema di Borsuk · Teorema di Borsuk-Ulam · Teorema della curva di Jordan · Teorema della mappa di Riemann Applicazioni pratiche Topologia dello spazio-tempo · Teoria quantistica dei campi topologica · K-teoria ritorta · Topologia di rete · Controllo della topologia · Topologia molecolare
Spazi topologici	Topologie classiche Topologia banale · Spazio di Sierpiński · Cofinita · Topologia della semicontinuità inferiore · di Zariski · Euclidea · del limite inferiore o di Sorgenfrey · Discreta · Topologia degli interi equispaziati · Insieme reale esteso · Topologia di ordine · Piano di Moore · Topologia p-adica Costruzioni topologiche Topologia prodotto · Topologia di sottospazio · Topologia quoziente · Compattificazione (di Alexandrov · di Stone-Čech) · Cono · Bouquet · Rosa · Sospensione Topologie in Analisi funzionale Spazio funzionale · Topologia iniziale o debole · Topologia operatoriale · Topologia finale o forte · Topologia di Mackey · Topologia polare · Topologie operatoriali debole e forte Altri oggetti topologici Sfera · Palla · Toro · Corpo con manici · Bottiglia di Klein · Bottiglia di Klein solida · Anello · Nastro di Möbius · Retta proiettiva · Piano proiettivo · Superficie di Riemann · Nodo · Nodo torico · Link Frattali Insieme di Cantor · Spazio di Cantor · Polvere di Cantor · Spugna di Menger · Sfera di Alexander · Curva di Peano · Laghi di Wada Strutture miste Spazio vettoriale topologico · Gruppo topologico · Gruppo di Lie · Spazio uniforme · Algebra di Borel
Proprietà degli spazi topologici	Numerabilità Assioma di numerabilità · Spazio primo-numerabile · Spazio separabile · Spazio sequenziale Separazione Assioma di separazione · Spazio T0 · Spazio T1 · Spazio di Hausdorff · Spazio regolare · Spazio di Tichonov · Spazio normale Compattezza Spazio compatto · Spazio paracompatto · Spazio localmente compatto · Spazio di Lindelöf · Sottospazio relativamente compatto · Immersione compatta Connessione Spazio connesso · Spazio semplicemente connesso Metrizzabilità Spazio metrico · Spazio metrico completo · Spazio metrizzabile · Spazio ultrametrico · Spazio pseudometrico · Spazio polacco · Spazio normato · Spazio totalmente limitato Altre proprietà Spazio di Baire · Spazio topologico noetheriano · Spazio omogeneo · Orientazione
Topologia differenziale	Varietà (differenziabile · parallelizzabile · 3-varietà · 3-varietà irriducibile) · Atlante · Diffeomorfismo (locale · di Anosov) · Immersione · Curva · Superficie · Campo vettoriale · Fibrato (principale · vettoriale · Varietà fibrata) · Fibrato tangente · Spazio tangente · Fibrazione di Hopf · Varietà con bordo · Teorema dell'intorno tubolare · Somma connessa · Teorema di Kneser-Milnor · Congettura di geometrizzazione di Thurston · Cobordismo · Dimensione topologica · Topologia in dimensione bassa · Chirurgia di Dehn · Trasversalità · Eversione della sfera · Teoria delle foliazioni · Decomposizione JSJ
Topologia algebrica	Fondamenti Spazio semplicemente connesso · Gruppo fondamentale Omotopia Arco · Nerbo · Omotopia · Gruppi di omotopia Omologia e coomologia Omologia · Omologia singolare · Omologia ciclica · Algebra omologica · Coomologia di De Rham · Categoria abeliana Sollevamento Sollevamento · Teorema del sollevamento dell'omotopia · Teorema di unicità del sollevamento · Teorema di Van Kampen Topologia algebrica avanzata Grado topologico · Indice di avvolgimento · Indice di un campo vettoriale · Rivestimento · Numero di Betti · Successione di Mayer-Vietoris · Successione esatta · Successione spettrale · Complesso simpliciale · Complesso di celle · Complesso di catene · Schema simpliciale Superfici Caratteristica di Eulero · Formula di Eulero per i poliedri · Genere · Taglio · Superficie incompressibile · Classificazione delle superfici · Mapping class group · Teorema della palla pelosa · Teorema di Poincaré-Hopf · Congettura di Poincaré · Congettura di Hodge
Topologi di rilievo	Henri Poincaré · Felix Hausdorff · Georg Cantor · Eduard Čech · John Milnor · Pierre Samuel · Norman Steenrod · René Thom · Samuel Eilenberg · Andrej Nikolaevič Kolmogorov · Stephen Smale · Michael Atiyah · William Thurston · Marston Morse · Luitzen Brouwer

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica