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

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

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

Il nome è legato al matematico tedesco Hermann Grassmann.

EsempiModifica

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

DimensioniModifica

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 proiettivoModifica

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 omogeneoModifica

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 compattoModifica

 
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 correlateModifica

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