Hexagrama
ORÍGENES DE LA GEOMETRÍA PROYECTIVA
EL REDESCUBRIMIENTO DE LA GEOMETR ÍA PURA
En el siglo XVIII se abandonan los métodos sintéticos en los estudios geométricos a
favor de los métodos analíticos, que usaban la geometría de coordenadas. La Geometría
pura se convierte, simplemente, en una interpretación del álgebra o en una guía para
los procesos algebraicos. Así se deduce por ejemplo de comentarios de Leonhard
Euler (1707–1783) en sus obras. Conviene recordar, no obstante, a matemáticos COORDENADAS HOMOGÉNEAS
ingleses como Colin Maclaurin (1698–1746), que siguieron fieles a la tradición
geométrica de Sir Isaac Newton (1642–1721). Fue en en el siglo XIX cuando se La construcción del espacio proyectivo como el conjunto de las rectas (vectoriales) de un
espacio vectorial hizo necesaria la consideración de nuevos sistemas de coordenadas que
produjo el renacimiento de la geometría, a partir del desarrollo de la dualidad y de las
permitieran cierta agilidad y eficacia en los cálculos. Uno de los primeros en utilizar otro tipo
coordenadas homogéneas, que supusieron un gran avance en la consolidación de lo que de coordenadas fue Augustus Ferdinand Möbius (1790 –1868) en su trabajo de 1827 sobre
sería la Geometría Proyectiva propiamente dicha. El catalizador final fue la fuerte el cálculo baricéntrico. Se construyen las coordenadas de un punto en el plano en relación a los
controversia geometría sintética versus geometría analítica. vértices de un triángulo y si estamos en el espacio con relación a un tetraedro. El punto de
coordenadas (1,1,1) es el baricentro de un triángulo, y el punto (1,1,1,1) es el baricentro de un
tetraedro. Estas ideas le permitieron precisar los estudios de la razón doble y de las
colineaciones. Las coordenadas de Möbius de un punto no son únicas, pero sí las razones entre
las coordenadas, con lo cual tienen ya un carácter proyectivo. Karl Wilhelm Feuerbach
(1800–1834) y Étienne Bobillier (1798-1840) publicaron en la misma época resultados
parecidos a los de Möbius.
El paso decisivo lo dio Julius Plücker (1801–1868), que fue quien más eficazmente aplicó
estos métodos a la Geometría Proyectiva. A él debemos las coordenadas homogéneas, que definió A. F. Möbius K. W. Feuerbach J. Plücker
DUALIDAD de dos formas. Primero consideró un triángulo fijo y tomó como coordenadas de un punto P
¿Cuántos planos hay contenidos en un punto? Tantos como puntos pasan por un plano. Y... las distancias a los tres lados de ese triángulo. Más tarde introdujo el caso especial en el que
contrariwise. (Tweedledee en Alicia en el pais de las maravillas, de Lewis Carroll.) uno de los lados del triángulo está situado en la recta del infinito, y así surgieron las coordenadas
homogéneas tal como se conocen actualmente: las coordenadas de un punto P del plano son
La dualidad es un concepto omnipresente en toda la Matemática, pero tal vez sea en (x,y,z), donde
Geometría Proyectiva donde mejor puede ilustrarse su interés. Es un diccionario que permite x = Xz
traducir de un contexto a otro nociones y resultados. Podemos formularla técnicamente como Sir I. Newton L. Euler y = Yz
sigue: y (X,Y) son las coordenadas cartesianas del punto P cuando los ejes de coordenadas son los dos
lados del triángulo que no están en la recta del infinito. Con esto las coodenadas de P no son
únicas, pues (kx,ky,kz) corresponden al mismo punto, siempre que k no sea nulo. Es decir, todos
V = espacio vectorial de dimensión n+1 V* = espacio vectorial dual, formado por las
los puntos de una recta del espacio vectorial pasan a ser el mismo en el plano proyectivo GEOMETRÍA SINTÉTICA VERSUS
aplicaciones lineales h:V→K con valores en
asociado a ese espacio vectorial.
el cuerpo base K GEOMETRÍA ANALÍTICA
P = espacio proyectivo de dimensión n P* = espacio proyectivo dual, formado por Al aplicar esta relación entre las coordenadas cartesianas y las homogéneas a la ecuación de
formado por las rectas vectoriales de V los hiperplanos proyectivos H de P, que se una curva en el plano afín, obtenemos una ecuación homogénea: ésta no es más que la A finales del siglo XVIII se empiezan a oír voces a favor de una vuelta a la geometría
representan mediante una ecuación h=0, que homogeneización de aquella. Esa ecuación homogénea es la de una curva del plano proyectivo, sintética, son las de Garpard Monge (1746–1810) y Lazard Carnot (1753–1823) en la
está determinada salvo proporcionalidad obtenida añadiendo a la curva afín los puntos que resultan al hacer z=0 en la ecuación École Polytechnique. Monge tiene importancia por sus propias contribuciones y de modo
homogénea, es decir, los puntos que tiene en el infinito. especial porque preparó el terreno para el siglo XIX, al transmitir estas ideas con entusiasmo
L = subvariedad proyectiva de P L* = subvariedad proyectiva dual, formada a discípulos suyos tan importantes como el propio Carnot, Charles Dupin (1784–1783),
por todos los hiperplanos H de P que La definición de coordenadas homogéneas permitió a Plücker formalizar muchas ideas
Brianchon, Jean-Baptiste Biot (1744–1862)y Poncelet.
contienen a L. geométricas que sentaban las bases de la naciente Geometría Proyectiva. De hecho, definió
también las coordenadas de rectas del plano, lo cual le permitió considerar con precisión la Se empezó a trabajar en la Geometría Euclídea y también en la Proyectiva partiendo de cero,
dualidad punto–recta del plano proyectivo y zanjar de paso la polémica entre Poncelet y pues los trabajos de Desargues se desconocían. Carnot comenzó “liberando a la
Las dos propiedades fundamentales de esta dualidad son: Gergonne sobre la diferencia entre polaridad asociada a una cónica y dualidad general. geometría de los jeroglíficos del análisis” y para ello recurrió a métodos puramente
•dim(L)+dim(L*)=n-1. geométricos en sus demostraciones.
En 1831, Plücker amplió sus estudios al espacio proyectivo y dio coordenadas a las rectas del
•Si L contiene a M, entonces L* está contenida en M*. espacio, aportando de este modo ideas esenciales para los estudios de lo que luego serían las Poncelet fue quien dio el impulso definitivo en el renacimiento de la geometría pura. Fue
grassmannianas. el primero en considerar la Geometría Proyectiva como una nueva rama de las matemáticas
En el plano proyectivo, una recta tiene por dual un haz de rectas, que se identifica con su con objetivos y métodos propios. Distinguió entre las propiedades que son proyectivas y las
punto base, y se obtiene lo siguiente: que no. Y en cuanto a los métodos recuperó los de Desargues y Pascal y utilizó también
las llamadas transformaciones proyectivas.
Una vez se conoce el diccionario entre variedades y variedades duales, se cumple el
En la primera mitad del siglo XIX se estableció una gran controversia entre geómetras
El punto m está en la recta l, La recta m* dual del punto m denominado Principio de dualidad, según el cual una proposición relativa a variedades
proyectivas es cierta si y sólo si es cierta su dual. Este principio fue establecido inicialmente sintéticos y geómetras analíticos. Las objeciones que se ponían a la geometría analítica eran del
en el plano proyectivo P contiene al punto l* dual de la recta l,
en el plano proyectivo dual P* tipo siguiente:
por Jean-Victor Poncelet (1788–1867), pero ligado a la noción de polaridad respecto de
l una cónica dada, que ya hemos descrito anteriormente. •¿Es realmente geometría? Los métodos son puramente algebraicos y los resultados
m* también, con lo que se olvida el significado geométrico.
•Se pierde la conexión entre el punto de partida y el de llegada en el proceso de
Las rectas tangentes a una cónica C forman la cónica dual C*
pequeños pasos algebraicos cuyo significado geométrico no es claro.
m l* ⊕
•El método geométrico puro es más simple e intuitivo en sus demostraciones.
•La geometría es la verdad acerca del mundo real; sin embargo el análisis y el álgebra
no son verdades en sí mismas.
La geometría analítica tiene, sin embargo, la ventaja de la potencia por la generalidad de su
método, pues todos los problemas se resuelven por procedimientos uniformes, mientras que
en la geometría sintética cada problema depende de la figura particular considerada.
J.-V. Poncelet G. Monge
Representantes de los sintéticos fueron Poncelet, Jacob Steiner (1796–1863) y
Chasles. Representantes de los analíticos serían Möbius y Plücker y Gergonne.
Los puntos p,q y r Las rectas p*,q* y r* son concurrentes
están alineados La rivalidad tuvo momentos de gran tensión, como por ejemplo cuando Steiner amenazó a
q*
p r*
los editores de la prestigiosa revista Journal für die reine und angewandte Mathematik (Crelle)
con no publicar más en ella si continuaba admitiendo los trabajos de Plücker.
p*
Después de esta fase, en la que hay también otras figuras reseñables, como Arthur Cayley
q l*
(1821–1895), George Salmon (1819–1904) y James Joseph Sylvester (1814–1897),
⊕
geómetras analíticos ingleses, la Geometría Proyectiva entró en una etapa de madurez cuyo
Tal vez uno de los ejemplos más bellos de dualidad sea el denominado Teorema de Brianchon, nombre clave fue von Staudt, que mostró cómo la Geometría Proyectiva engloba a la
r que es el enunciado dual del Teorema de Pascal. En efecto, utilizando la dualidad asociada a Geometría Euclídea. Ya más tardíamente pero en el siglo XIX aún, Félix Klein (1849–1925)
l una cónica, Julien Brianchon (1785–1864) demostró lo siguiente: completó la obra de Staudt mediante la teoría de los grupos de transformaciones en su famoso
“Programa de Erlanger”.
Teorema de Brianchon L. Carnot
Si se circunscribe un
hexágono a una cónica, las
Los puntos p,q y r están Las rectas p*,q* y r* están diagonales que unen vértices
en posición general en posición general
opuestos son concurrentes en
m* un punto.
p l*
⊕ ⊕
p*
l m
r*
q*
q r
⊕ n*
n
El Principio de dualidad general, formulado como antes, pero independientemente de la
polaridad respecto de una cónica, se debe a Joseph-Diez Gergonne (1771-1859). J. Steiner A. Cayley G. Salmon F. Klein
María Emilia Alonso • Departamento de Álgebra, UCM
Proyectos UCM de Innovación Educativa María Cruz del Amo • IES Miguel Servet, Madrid
Facultad de Ciencias Matemáticas Raquel Mallavibarrena • Departamento de Álgebra, UCM
2002 Isabel Pinto • IES La Fuensanta, Córdoba
Jesús M. Ruiz • Departamento de Geometría y Topología, UCM