Grassmanniana

Da Wikipedia, l'enciclopedia libera.
Tre piani distinti nello spazio, tutti passanti per l'origine. Ciascuno di questi piani è un punto nella grassmanniana.

In matematica, la grassmanniana di uno spazio vettoriale è l'insieme di tutti i suoi sottospazi aventi dimensione fissata . Questo insieme è indicato generalmente con il simbolo

Per la grassmanniana è l'insieme delle rette in , ovvero lo spazio proiettivo

Il nome è legato al matematico tedesco Hermann Grassmann.

Esempi[modifica | modifica wikitesto]

Se è lo spazio euclideo (ad esempio il piano cartesiano oppure lo spazio tridimensionale ) la grassmanniana è l'insieme dei sottospazi di dimensione dello spazio.

Ad esempio,

è l'insieme di tutte le rette nel piano passanti per l'origine, mentre

è l'insieme di tutte le rette nello spazio passanti per l'origine. Inoltre

è l'insieme di tutti i piani nello spazio passanti per l'origine. Poiché ogni piano è ortogonale nello spazio ad un'unica retta (sempre passante per ), c'è una naturale funzione biunivoca

tra le due grassmanniane.

La grassmanniana più semplice che non sia isomorfa ad uno spazio proiettivo è l'insieme dei piani in uno spazio quadridimensionale:

Proprietà[modifica | modifica wikitesto]

Dimensioni[modifica | modifica wikitesto]

Se è uno spazio di dimensione finita su cui è definito un prodotto scalare non degenere, è possibile associare ad ogni sottospazio -dimensionale il suo ortogonale , avente dimensione . In questo modo il prodotto scalare definisce un isomorfismo fra le grassmanniane di dimensione complementare:

L'isomorfismo dipende dal prodotto scalare scelto.

Spazio proiettivo[modifica | modifica wikitesto]

La grassmanniana rappresenta i sottospazi vettoriali di dimensione di . Poiché tali sottospazi sono in naturale corrispondenza biunivoca con i sottospazi proiettivi -dimensionali di , la grassmanniana rappresenta anche i sottospazi proiettivi di uno spazio proiettivo.

La grassmanniana non rappresenta però i sottospazi affini.

Spazio omogeneo[modifica | modifica wikitesto]

La grassmanniana può essere definita nel modo seguente con gli strumenti dell'algebra. Il gruppo generale lineare agisce sui -sottospazi vettoriali di in modo transitivo. Sia lo stabilizzatore di un sottospazio (è un sottogruppo di ). Si può quindi scrivere

Con questa definizione la grassmanniana risulta essere dotata automaticamente di alcune strutture aggiuntive. Se lo spazio vettoriale è reale o complesso, il gruppo è un gruppo di Lie e la grassmanniana è conseguentemente una varietà differenziabile. In particolare, è uno spazio topologico: la topologia concretizza le nozioni di "vicinanza" e "lontananza" fra sottopazi e di "movimento continuo" di sottospazi.

Dalla definizione segue anche che la grassmanniana è uno spazio omogeneo: i suoi punti (cioè i sottospazi) sono moralmente indistinguibili.

Spazio compatto[modifica | modifica wikitesto]

La compattezza della grassmanniana è un fenomeno caratteristico della geometria degli spazi vettoriali e proiettivi. Non è presente in geometria affine, dove è possibile trovare una successione di piani paralleli sempre più lontani (e quindi non convergenti).

Nel caso in cui sia reale o complesso, la grassmanniana è uno spazio topologico. Se ha dimensione finita, la grassmanniana risulta essere uno spazio compatto.

Effettivamente, dopo aver scelto un prodotto scalare per è possibile sostituire il gruppo generale lineare con il gruppo ortogonale , che è compatto. La grassmanniana risulta quindi compatta perché quoziente di un compatto. Nel caso complesso, si sceglie analogamente un prodotto hermitiano e si usa il gruppo unitario.

La compattezza testimonia il fatto seguente: una successione di -sottospazi contiene sempre una sottosuccessione di elementi che convergono ad un preciso sottospazio. Questo fatto è quindi valido sia per i sottospazi vettoriali che per quelli proiettivi. Non è però vera nel caso affine a causa del parallelismo: una successione di piani paralleli sempre più lontani non ha nessuna sottosuccessione convergente.

Voci correlate[modifica | modifica wikitesto]

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