Projectieve lijn

Uit Wikipedia, de vrije encyclopedie
Naar navigatie springen Naar zoeken springen

In de projectieve meetkunde, een deelgebied van de wiskunde, is een projectieve lijn een eendimensionale projectieve ruimte. De projectieve lijn over een veld K, aangeduid door , kan worden gedefinieerd als een verzameling van eendimensionale deelruimten van de tweedimensionale vectorruimte K2.

Als spreken we van de reële projectieve lijn.

Reële projectieve lijn[bewerken]

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

Een punt van kan worden gepresenteerd door homogene coördinaten (de lijn in door de oorsprong en het punt ). Hierbij zijn en twee reële getallen, niet beide nul. Met bijvoorbeeld wordt hetzelfde punt aangeduid. 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 toegepast, 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[bewerken]

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.