Punt op oneindig
Uit Wikipedia, de vrije encyclopedia
In de projectieve meetkunde wordt het begrip punt op oneindig gehanteerd om twee duidelijk verschillende begrippen uit de "gewone" affiene meetkunde, namelijk punten en richtingen, op dezelfde manier te kunnen behandelen.
Punten kunnen in het oneindige twee verschillende rollen spelen. Ze kunnen worden gebruikt om de projectieve ruimte te construeren aan de hand van begrippen uit de affiene meetkunde. als daarentegen de projectieve ruimte a priori wordt gegeven, door een onafhankelijke constructie of met axiomas, 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. Dat zijn met name alle punten die niet in het oneindige liggen.