Grassmanniana
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Secretsharing-3-point.png/220px-Secretsharing-3-point.png)
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]![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/20/Planes_parallel.svg/220px-Planes_parallel.svg.png)
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]Collegamenti esterni
[modifica | modifica wikitesto]- (EN) Eric W. Weisstein, Grassmanniana, su MathWorld, Wolfram Research.
- (EN) Grassmanniana, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.