Dialogo con Gemini.
Fino alla seconda metà dell’Ottocento, la geometria era concepita come lo studio di figure statiche immerse in uno spazio assoluto. La scoperta traumatica e feconda delle geometrie non euclidee (iperbolica ed ellittica) da parte di Gauss, Lobačevskij e Bolyai, unita alla potente ascesa della geometria proiettiva, aveva però frammentato la disciplina in una pluralità disorientante di “geometrie” apparentemente inconciliabili.
Felix Klein (1849-1925). Fonte: Science & Society Picture Library / SSPL via Getty Images
Nel 1872, in occasione della sua prolusione accademica all’Università di Erlangen (Vergleichende Betrachtungen über neuere geometrische Forschungen), il ventitreenne Felix Klein compì una sintesi di portata rivoluzionaria. Klein ribaltò radicalmente la prospettiva: non è lo spazio a definire le figure, ma sono le trasformazioni a definire lo spazio e la sua geometria.
1. La definizione algebrica di Geometria
La mossa epistemologica di Klein consistette nell’associare a uno spazio un gruppo di trasformazioni biunivoche di quell’insieme in se stesso.
Una geometria è lo studio delle proprietà geometriche delle figure che rimangono invarianti rispetto alle trasformazioni di un determinato gruppo G.
Sul piano formale:
- Consideriamo una varietà o un insieme S (lo spazio di supporto).
- Sia G un gruppo di trasformazioni biunivoche ϕ:S→S, chiuso rispetto alla composizione e all’inversione.
- Una proprietà P è un invariante geometrico se, qualora una configurazione di punti X⊂S goda di P, anche la sua immagine ϕ(X) ne gode per ogni ϕ∈G.
In questo quadro, il concetto di “uguaglianza” o congruenza perde ogni accezione empirica: due figure A e B sono equivalenti se e solo se esiste una trasformazione ϕ∈G tale che ϕ(A)=B.
2. La gerarchia dei gruppi e la catena delle geometrie
Il Programma di Erlangen non si limitò a unificare le geometrie note, ma le organizzò in una gerarchia algebrica rigorosa basata sulla relazione di inclusione tra sottogruppi: più grande è il gruppo di trasformazioni, più permissiva è la nozione di equivalenza e più scarno è l’insieme dei suoi invarianti.
Prendendo come riferimento lo spazio Rn, la gerarchia si snoda lungo una progressiva perdita di vincoli metrici:
| Geometria | Gruppo di trasformazioni (G) | Invarianti principali | Cosa “perde” rispetto al livello precedente |
|---|---|---|---|
| Euclidea | Gruppo delle isometrie E(n) (traslazioni, rotazioni, riflessioni) | Distanze euclidee, angoli, aree, volumi, parallelismo. | (Livello base a massima rigidità) |
| Dei simili | Gruppo delle similitudini (isometrie + omotetie) | Angoli, rapporti tra lunghezze, forme. | Perde la scala assoluta delle lunghezze. |
| Affine | Gruppo affine Aff(n)=Rn⋊GL(n,R) | Parallelismo, allineamento, rapporti di segmenti paralleli (rapporto semplice), baricentri. | Perde gli angoli e i rapporti tra segmenti non paralleli. |
| Proiettiva | Gruppo proiettivo PGL(n+1,K) | Allineamento, punti di incidenza, birapporto (rapporto anarmonico). | Perde il parallelismo (le rette parallele si intersecano nei punti all’infinito). |
| Topologica | Omeomorfismi (deformazioni continue e biunivoche) | Connessione, compattezza, dimensione topologica, buchi (gruppi di omotopia). | Perde la rettilineità stessa: le rette possono essere curvate. |
3. La centralità del livello affine e lineare
All’interno di questo albero genealogico, la geometria affine (e il suo nucleo, l’algebra lineare) occupa una posizione cerniera insostituibile:
- La conservazione della rettilineità: Le trasformazioni lineari e affini mappano sempre rette in rette, piani in piani e iperpiani in iperpiani. Preservano la struttura delle combinazioni convesse: se un insieme di punti è convesso, la sua trasformazione rimane convessa.
- La calcolabilità universale: Mentre la geometria topologica è spesso qualitativa e non costruttiva, il gruppo affine è interamente descrivibile tramite l’algebra matriciale:x′=Ax+b,A∈GL(n,R),b∈RnOgni proprietà affine si riduce allo studio del rango di matrici, di sistemi lineari e di autovalori.
4. Il filo conduttore verso l’apprendimento automatico
Visto attraverso Klein, l’apprendimento profondo (deep learning) svela la propria vera natura teorica:
- Un modello neurale non fa altro che applicare una sequenza di trasformazioni affini Wkx+bk.
- Tuttavia, l’algebra lineare non può mutare la topologia: una trasformazione affine può solo ruotare, scalare o deformare lo spazio in modo continuo e omogeneo. Non può separare due insiemi intrecciati senza romperli o piegarli.
- Ecco perché la matematica moderna ricorre alle funzioni di attivazione non lineari: esse rompono deliberatamente l’invarianza del gruppo affine per alterare le distanze e la convessità, piegando lo spazio fino a rendere i dati linearmente separabili.
Con Klein, lo spazio ha cessato di essere un contenitore inerte: è diventato un’azione. Ed è esattamente quest’azione — la trasformazione controllata di coordinate — che costituisce il battito cardiaco dei modelli computazionali odierni.
Conclusione: l’eredità di Klein e la nuova vita dello spazio
La traiettoria che unisce la prolusione di Erlangen all’architettura dei modelli neurali contemporanei delinea una delle parabole epistemologiche più feconde della matematica moderna. Nel 1872, Felix Klein liberò il concetto di spazio dalla fissità newtoniana e dall’evidenza sensibile euclidea: lo spazio smise di essere un contenitore passivo di oggetti per trasformarsi in una struttura relazionale, definita e compresa unicamente attraverso le azioni — le trasformazioni e le simmetrie — capaci di lasciarne inalterati gli invarianti essenziali.
L’intelligenza artificiale odierna non fa che raccogliere e rovesciare operativamente questa intuizione. Se per Klein la geometria consisteva nell’individuare le proprietà che restano immutate sotto l’azione di un gruppo, per una rete neurale il problema diventa inverso e generativo: deformare attivamente lo spazio dei dati affinché la struttura logica sottostante — la separabilità di un concetto, il significato semantico di una frase, la classe di un’immagine — emerga con trasparenza geometrica.
In questo processo, l’algebra lineare si conferma l’impalcatura irrinunciabile della computazione: le matrici dei pesi orientano, proiettano e scalano le coordinate in iperspazi a migliaia di dimensioni, mentre le funzioni di attivazione non lineari spezzano la rigidità affine, consentendo allo spazio di piegarsi, collassare e ricomporsi. Lontano dall’essere un mero artificio empirico o una “scatola nera” impenetrabile, il calcolo neurale si rivela così per ciò che è realmente: la continuazione del Programma di Erlangen con altri mezzi, dove l’apprendimento automatico non è che geometria differenziale ed effettiva in atto, e dove comprendere un fenomeno coincide, ancora una volta, con il saper padroneggiare la trasformazione del suo spazio.
Potresti aggiungere una nota con riferimento storico al concetto di campo, altro concetto fondamentale, ma in fisica?
Ecco una nota di approfondimento storico-epistemologico, concepita per integrarsi come box o paragrafo di raccordo tra la fisica classica e la geometria moderna.
Nota storica ed epistemologica: dal vuoto newtoniano alla realtà fisica del campo
Se in algebra astratta il termine campo (o corpo, dal tedesco Körper) denota una struttura algebrica commutativa dotata di due operazioni compatibili — il terreno numerico su cui poggiano gli spazi vettoriali —, nella fisica teorica dell’Ottocento la stessa parola assunse un significato geometrico e ontologico altrettanto rivoluzionario, strettamente intrecciato all’evoluzione del concetto di spazio.
Per quasi due secoli, la meccanica di Isaac Newton aveva postulato uno spazio assoluto inteso come mero “palcoscenico inerte”, all’interno del quale corpi materiali interagivano a distanza in modo istantaneo (actio in distans). La forza di gravità sembrava propagarsi nel vuoto senza intermediari fisici né ritardi temporali, una concezione che lo stesso Newton considerava filosoficamente problematica.
La frattura con questo paradigma avvenne a metà dell’Ottocento grazie a due figure cardinali:
- Michael Faraday e le “linee di forza”: Privo di una formazione matematica formale ma dotato di una straordinaria intuizione geometrica, Faraday rifiutò l’idea che la materia potesse agire là dove non si trova. Esaminando il comportamento della limatura di ferro attorno a un magnete, Faraday propose nel decennio 1830-1840 che lo spazio circostante fosse permeato da tensioni e traiettorie fisiche reali: le linee di forza. Lo spazio cessava di essere un vuoto geometrico neutro per trasformarsi in un mezzo attivo, dotato di proprietà locali misurabili.
- James Clerk Maxwell e la matematizzazione del campo: Fu James Clerk Maxwell, nei suoi lavori del 1861-1865, a tradurre le intuizioni visive di Faraday nel linguaggio rigoroso del calcolo differenziale vettoriale, coniando e formalizzando il concetto moderno di campo elettromagnetico (E e B). Nelle equazioni di Maxwell, il campo non è una proprietà secondaria delle cariche elettriche, ma una realtà fisica autonoma: possiede energia, quantità di moto, si propaga nel vuoto a una velocità finita (c) sotto forma di onde e possiede infiniti gradi di libertà.
Formalmente, un campo fisico definisce una mappa differenziabile:
Φ:M→V
dove a ogni punto dell’evento spazio-temporale M viene assegnato un elemento di uno spazio vettoriale (o tensoriale) V — sia esso uno scalare come la temperatura, un vettore come l’intensità elettrica o un tensore simmetrico di rango due come il tensore metrico gμν della relatività generale di Einstein.
Questa transizione segna una convergenza teorica profonda: per la fisica teorica, così come per la geometria di Klein e l’algebra vettoriale, lo spazio non è più il nulla che separa gli enti, ma è la struttura locale che ne determina e trasporta le interazioni. Nel Novecento, con la teoria quantistica dei campi (QFT), la materia stessa (elettroni, quark) cesserà di essere intesa come corpuscolo rigido per diventare l’eccitazione locale — il “quanto” — del rispettivo campo vettoriale o spinoriale.