Espacio geométrico obtenido al identificar múltiplos escalares no nulos en un espacio vectorial: los puntos corresponden a subespacios lineales de dimensión uno, de modo que rectas paralelas en un modelo afín se encuentran en puntos en el infinito; se describe frecuentemente con coordenadas homogéneas.

Principio

El espacio proyectivo P^n sobre un campo es el cociente (V\{0})/∼ con v∼λv para escalares λ ≠ 0; las relaciones de incidencia se uniformizan (toda par de rectas distintas se intersecta), y la dualidad entre puntos e hiperplanos es una característica organizadora clave.

Demostración

El plano proyectivo real RP^2 surge de R^3 tomando todas las rectas que pasan por el origen como puntos de RP^2; las coordenadas homogéneas [x:y:z] codifican un punto e identifican múltiplos escalares, de modo que rectas afines paralelas se intersectan en un punto con z=0.

Aplicación incorrecta

Confundir el espacio proyectivo con el plano afín e ignorar los puntos en el infinito conduce a errores al razonar sobre intersecciones de rectas paralelas o al aplicar nociones métricas euclidianas que no son invariantes proyectivamente.

Consecuencia

Pasar al espacio proyectivo elimina los casos especiales relativos al paralelismo, permite potentes teoremas de dualidad y compactifica el espacio afín preservando relaciones de incidencia, lo que es central en geometría algebraica.

Inversión

Lo invertido es un espacio afín o euclidiano donde se eliminan los puntos en el infinito y el paralelismo es una relación distinta; retroceder hace perder el carácter compactificado y la uniformidad de incidencias del modelo proyectivo.

Límite

El espacio proyectivo requiere un campo subyacente (o anillo de división) para la identificación escalar; excluye nociones métricas y no distingue la escala de coordenadas homogéneas. Cocientes singulares o identificaciones no lineales quedan fuera de la definición.

Tensión semántica

Existe tensión entre la perspectiva proyectiva y la afín: la geometría proyectiva prioriza la incidencia y el cociente de escala, mientras que la visión afín/euclidiana enfatiza distancias y orígenes; son complementarias pero no intercambiables.

Síntesis

El espacio proyectivo es la geometría de cociente por escala en la que las direcciones pasan a ser puntos en el infinito y las relaciones de incidencia son globalmente uniformes: unifica casos de paralelismo, habilita la dualidad y sirve como compactificación natural para la geometría algebraica y sintética.