Projectieve lijn
In de projectieve meetkunde, een deelgebied van de wiskunde, is een projectieve lijn een eendimensionale projectieve ruimte. De projectieve lijn over een lichaam/veld , aangeduid door , wordt gedefinieerd als een verzameling van eendimensionale deelruimten van de tweedimensionale vectorruimte .

Voor het geval  spreekt men van de reële projectieve lijn. De complexe projectieve lijn heet ook de riemann-sfeer.

Reële projectieve lijn
De reële projectieve lijn kan worden opgevat als de verzameling  van lijnen door de oorsprong van . Elke van deze "lijnen" is een element ("punt") van de reële projectieve lijn.

Een punt van  kan voorgesteld worden door homogene coördinaten , de lijn in  door de oorsprong en een ander punt , bestaande uit de veelvouden van . Als  kan het punt worden geïdentificeerd met het reële getal , en anders met  (punt op oneindig), zonder onderscheid tussen  en .

De gewone rekenkundige bewerkingen kunnen ook in  worden uitgevoerd, met de volgende aanvullingen en beperkingen:

Geschreven in homogene coördinaten worden de bewerkingen (met de voorwaarde dat de uitkomst niet [0 : 0] wordt, wat correspondeert met de bovengenoemde beperkingen):

Correspondentie tussen richtingen en getallen
Hierboven werd de lijn in  door de oorsprong en het punt  geïdentificeerd met het reële getal  of . Dit correspondeert met de -coördinaat van het snijpunt van de lijn met de lijn ,  of  als het evenwijdige lijnen zijn. Bij het kiezen van een andere lijn dan  (ook weer een lijn die niet door de oorsprong gaat) en een willekeurige oorsprong op die lijn kunnen we punten van de projectieve lijn (lijnen in  door de oorsprong) op een andere manier laten corresponderen met getallen, op basis van plus of min de afstand van het snijpunt tot de gekozen oorsprong van de lijn, en weer  als het evenwijdige lijnen zijn. (In plaats van het kiezen van een lijn en een oorsprong en het nemen van de afstand kunnen we ook alleen de richting en oorsprong kiezen, en de (lineaire) schaal van de getallen op die lijn.) Door deze keuzes, die corresponderen met drie vrijheidsgraden, kan elk drietal verschillende punten op de projectieve lijn elk drietal verschillende coördinaten worden toegekend. Bijvoorbeeld 0, 1 en  door de lijn evenwijdig te kiezen aan een van de richtingen, de oorsprong te kiezen in het ene snijpunt en de schaal en positieve richting zo te kiezen dat het andere snijpunt de waarde 1 heeft.

De afbeelding (coördinatentransformatie) die op bovengenoemde wijze de coördinaatwaarden van de projectieve lijn (dus de waarden, inclusief , toegekend aan de lijnen in  door de oorsprong) overvoert in andere, is van de vorm

,
waarbij  reële getallen zijn met , en delen door nul oneindig geeft, en  de waarde  geeft.

Deze functies heten homografische functies of lineair-fractionele transformaties. De dubbelverhouding van elk viertal van waarden  is onder deze transformaties invariant.

Projectieve meetkunde