Plano proyectivo

El plano proyectivo es el conjunto estudiado por la geometría proyectiva. Surge en geometría euclidiana al añadir a un plano un punto por cada familia de rectas paralelas (es decir, uno por cada par de direcciones opuestas). Los puntos así añadidos reciben el nombre de puntos del infinito, y su introducción unifica y simplifica mucho los enunciados de la geometría. Por ejemplo, la afirmación que dice que dos rectas de un plano se cortan en un único punto o son paralelas, en el plano proyectivo se enuncia: Dos rectas siempre se cortan en un único punto.