Loading AI tools
Da Wikipedia, l'enciclopedia libera
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 .
Un modello di piano proiettivo può essere definito matematicamente in vari modi che forniscono strutture isomorfe.
Un modello di piano proiettivo si ha considerando la sfera immersa nello spazio euclideo tridimensionale in cui
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
È 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.
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
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:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.