In matematica il piano proiettivo è un'estensione del piano euclideo a cui viene aggiunta una "retta impropria" posizionata idealmente all'infinito e in modo da circoscriverlo. Esteso in questo modo il piano diventa uno spazio compatto in cui anche le rette tra loro parallele si incontrano in un unico punto e tale punto di intersezione è idealmente collocato sulla "retta impropria". La retta impropria può essere visualizzata come la retta che si vede all'orizzonte quando un piano (euclideo) viene rappresentato in prospettiva oppure può essere pensata come una circonferenza infinitamente lontana che circonda tutto il piano euclideo e i cui punti antipodali sono identificati in maniera tale che le rette parallele ad una stessa direzione abbiano tutte un unico punto di intersezione su di essa.

Il piano proiettivo reale è lo spazio di linee in R3 passante per l'origine. È una varietà differenziabile non orientabile 2-dimensionale, vale a dire una superficie che non può essere immersa senza auto-intersecarsi. Essa ha caratteristica di Eulero pari a 1 e quindi genere unitario.

In matematica il piano proiettivo si indica con P2 o .

Modelli matematici

modifica

Un modello di piano proiettivo può essere definito matematicamente in vari modi che forniscono strutture isomorfe.

Sfera quozientata

modifica

Un modello di piano proiettivo si ha considerando la sfera   immersa nello spazio euclideo tridimensionale in cui

  • definiamo punti proiettivi del piano proiettivo le coppie di punti antipodali sulla sfera.
  • definiamo rette proiettive del piano proiettivo tutti i cerchi massimi che giacciono sulla sfera (la definizione è consistente con la precedente poiché un cerchio massimo contiene l'antipodale di ogni suo punto).

Questo equivale a considerare sulla sfera la relazione di equivalenza ~ che identifica i punti antipodali:

 

e definire il piano proiettivo come lo spazio topologico quoziente

 
 
La sorgente di luce disposta al centro della sfera proietta il piano proiettivo su un piano mandando rette proiettive generiche in rette e mandando all'infinito la retta proiettiva parallela al piano.

È possibile definire una applicazione che manda il piano proiettivo   privato di una retta nel piano euclideo in modo tale da mandare rette proiettive in rette euclidee. A tale scopo consideriamo nello spazio tridimensionale il piano   tangente alla sfera   nel "polo sud". Possiamo associare alle coppie di punti antipodali sulla sfera (che sono punti del piano proiettivo) un punto del piano   individuato dall'intersezione del piano con la retta congiungente i due punti antipodali. Intuitivamente è come se stessimo guardando l'ombra prodotta sul piano da questa coppia di punti quando una sorgente di luce disposta nel centro della sfera. I cerchi massimi sulla sfera (corrispondenti a rette proiettive) vengono mandate tutte in rette sul piano  .

Questa applicazione manda tutti i punti del piano proiettivo sul piano   fatta eccezione per i punti appartenenti al cerchio massimo parallelo al piano (che in qualche senso vengono mandati all'infinito). Se omettiamo tale cerchio dal dominio l'applicazione così definita è una corrispondenza biunivoca che fa corrispondere rette del piano a rette proiettive sul piano proiettivo. Questa costruzione spiega in che modo il piano proiettivo possa essere visto come un'estensione del piano euclideo.

Coordinate omogenee

modifica
  Lo stesso argomento in dettaglio: Coordinate omogenee.

Una coppia di punti antipodali sulla sfera   individua univocamente una retta nello spazio tridimensionale passante per l'origine. Tale retta può essere individuata da equazioni parametriche della forma:

 
 
 

dove i coefficienti   e   non sono tutti nulli, e dalla famiglia di infinite equazioni che si ottengono moltiplicando tutti i coefficienti per uno stesso fattore non nullo.

Questo significa che il piano proiettivo può essere rappresentato da terne di coefficienti   non nulle identificando tra loro le terne che differiscono per una costante di proporzionalità. Questo equivale a considerare l'insieme quoziente di   rispetto alla relazione di equivalenza

 

L'insieme quoziente   individua un sistema di coordinate per il piano proiettivo che vengono chiamate coordinate omogenee.

La classe di equivalenza della terna   viene indicata con la scrittura

 

Proprietà topologiche

modifica

La topologia naturale per il piano proiettivo P2 definito come una sfera quozientata si ha considerando la topologia quoziente della sfera rispetto alla relazione di equivalenza in essa definita.

 

Lo stesso spazio topologico (a meno di omeomorfismi) può essere ottenuto considerando un quadrato e incollando i lati opposti nei versi indicati in figura (ossia identificando tra loro punti antipodali rispetto al centro del quadrato).

Il piano proiettivo ha le seguenti proprietà topologiche:

Voci correlate

modifica

Altri progetti

modifica

Collegamenti esterni

modifica


Controllo di autoritàGND (DE4175884-5
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica