Punt op oneindig

In de projectieve meetkunde wordt het begrip punt op oneindig gehanteerd om een eenvormige behandeling te kunnen geven aan twee duidelijk verschillende begrippen uit de "gewone" affiene meetkunde, namelijk punten en richtingen.

Als dusdanig kunnen punten op oneindig twee verschillende rollen spelen in een meetkundige verhandeling. Enerzijds kunnen ze gebruikt worden om de projectieve ruimte te construeren aan de hand van begrippen uit de affiene meetkunde; als daarentegen de projectieve ruimte a priori gegeven wordt (door een onafhankelijke constructie of axiomatisch), dan levert de willekeurige keuze van één projectief hypervlak, genaamd de "verzameling der punten op oneindig", de affiene ruimte op als deelruimte van de projectieve ruimte - met name, alle punten die niet op oneindig liggen.

Voorbeeld van definitie

Zij $\pi$ de verzameling van alle punten van het Euclidische vlak. Zij $\rho$ de verzameling van alle richtingen. We herinneren eraan dat een richting bestaat uit alle rechten die met een gegeven rechte evenwijdig lopen.

Definieer het projectieve vlak $\overline\pi$ als de vereniging $\pi\cup\rho,$ met de volgende meetkundige structuur. De rechten in $\overline\pi$ zijn ofwel een rechte in $\pi,$ uitgebreid met het singleton dat haar eigen richting bevat, ofwel $\rho$ zelf, die we de rechte op oneindig dopen.

Men gaat gemakkelijk na dat in dit model van het projectieve vlak de volgende incidentieregels gelden:

1. Door elk paar punten gaat precies één rechte
2. Elk paar rechten snijdt in precies één punt

Door richtingen op te vatten als bijzondere gevallen van punten, ontdoet men zich van de bijzondere onderlinge stand "evenwijdige rechten". Een groot aantal stellingen zijn daardoor eenvoudiger te formuleren.

Topologie

In de topologie is geen algemeen geldige notie van evenwijdigheid beschikbaar. Toch bestaan er constructies om aan een gegeven topologische ruimte punten toe te voegen, met als resultaat een nieuwe topologische ruimte die niet langer bijzondere regels "op oneindig" moet hanteren. Dergelijke constructies heten meestal compactificatie omdat de nieuwe, eenvoudigere ruimte topologisch compact is.