Cuádrica

En matemáticas, una cuádrica o superficie cuádrica es una generalización de la noción de cónica del plano a dimensiones superiores. Son superficies en el espacio o hipersuperficies (de dimensión ${\displaystyle n-1}$) en un espacio ${\displaystyle n}$-dimensional definidas como el conjunto de ceros de un polinomio irreducible de grado dos en ${\displaystyle n}$ variables, es decir, por una ecuación de la forma

${\displaystyle P(x_{1},x_{2},...,x_{n})=0}$,

donde P es un polinomio de segundo grado en las coordenadas ${\displaystyle x_{1},x_{2}...x_{n}}$. Cuando el polinomio no es absolutamente irreducible, el conjunto de ceros no se suele considerar una cuádrica, o se denomina cuádrica degenerada o cuádrica reducible.

Cuando no se precisa, es una superficie del espacio tridimensional real usual, en un sistema de coordenadas ortogonal y unitario, y las coordenadas se llaman x, y, z.

Historia

Fueron los matemáticos griegos de la antigüedad quienes iniciaron el estudio de las cuádricas, con el cono (una cuádrica) y sus secciones, que son las cónicas, curvas en un plano bidimensional, aunque no emplearon ecuaciones.

Definición afín y métrica

Una cuádrica afín, o superficie cuádrica afín, es una hipersuperficie n-dimensional correspondiente al conjunto de ceros de un polinomio de grado dos. Las variables del polinomio representan coordenadas en el espacio afín, de forma que el conjunto de puntos de la cuádrica es el conjunto de puntos cuyas coordenadas en una referencia afín prefijada. Si estas coordenadas son ${\displaystyle \{x_{1},x_{2},...,x_{n}\}\,}$, entonces la cuádrica típica en ese espacio se define mediante la ecuación algebraica:

${\displaystyle p(x_{1},\dots ,p_{n})=\sum _{i,j=1}^{n}Q_{i,j}x_{i}x_{j}+\sum _{i=1}^{n}P_{i}x_{i}+R=0}$

donde ${\displaystyle Q}$ es una matriz cuadrada de dimensión ${\displaystyle n\times n}$, ${\displaystyle P}$ es un vector de dimensión ${\displaystyle n}$ y ${\displaystyle R}$ es una constante. Si bien ${\displaystyle Q,P}$ y ${\displaystyle R}$ son por lo general reales o complejos, una cuádrica puede definirse en general sobre cualquier anillo.

Cuádricas del espacio euclídeo

Ecuación cartesiana

Esta sección se centra en las cuádricas del espacio euclídeo real tridimensional. La ecuación cartesiana de una superficie cuádrica de este espacio es de la forma:

${\displaystyle Ax^{2}+By^{2}+Cz^{2}+Dxy+Eyz+Fxz+Gx+Hy+Iz+J=0\,}$,

donde ${\displaystyle A,B,C,D,E,F,G,H,I,J\in \mathbb {R} }$ y al menos uno de los coeficientes ${\displaystyle A,B}$ y ${\displaystyle C}$ es no nulo.

La definición algebraica de las cuádricas incluye casos degenerados que no se corresponden con la intuición geométrica que se tiene de ellas.

Por ejemplo, la ecuación:

${\displaystyle x^{2}+y^{2}+z^{2}+2xy+2yz+2xz=0\ }$

es de segundo grado pero, también se puede escribir como:

${\displaystyle (x+y+z)^{2}=0\ }$

que equivale a:

${\displaystyle x+y+z=0\ }$,

una ecuación de primer grado que corresponde a un plano, superficie que no tiene las propiedades relacionadas con el segundo grado. Generalmente, se descartan todos los polinomios de segundo grado que son cuadrados.

• A menudo, es útil recordar que si la ecuación en su forma cartesiana carece de términos cruzados, i.e., los coeficientes D, E y F son iguales a cero:

${\displaystyle D=0,E=0,F=0}$

entonces los términos lineales para cada variable:

${\displaystyle Gx,Hy,Iz}$

pueden asimilarse a los cuadráticos:

${\displaystyle Ax^{2},By^{2},Cz^{2}}$

mediante el método de completar cuadrados, de modo que sea fácil interpretar la ecuación como una de las formas "normalizadas" que se presentan a continuación, pero "descentrada" o "trasladada" (no centrada en el origen, ${\displaystyle (0,0,0)}$, sino en un punto de coordenadas implícitas en la nueva forma).

Ecuación normalizada

La ecuación normalizada de una cuádrica tridimensional, centrada en el origen (0, 0, 0) de un espacio tridimensional, es de la forma de una de las siguientes:

${\displaystyle {x^{2} \over a^{2}}+{y^{2} \over b^{2}}+\varepsilon _{1}{z^{2} \over c^{2}}+\varepsilon _{2}=0,}$

${\displaystyle {x^{2} \over a^{2}}-{y^{2} \over b^{2}}+\varepsilon _{3}=0,}$

${\displaystyle {x^{2} \over a^{2}}+\varepsilon _{4}=0,}$

${\displaystyle z={x^{2} \over a^{2}}+\varepsilon _{5}{y^{2} \over b^{2}},}$

donde ${\displaystyle a,b,c\in \mathbb {R} }$ y ${\displaystyle \varepsilon _{i}=0,\pm 1}$ para ${\displaystyle i=1,2,4,5}$ y ${\displaystyle \varepsilon _{3}=0,1}$.

El teorema del eje principal demuestra que, para cualquier cuádrica, existe un cambio de coordenadas cartesianas (o, equivalentemente, una transformación euclídea, es decir, que conserva las distancias) que permite que la ecuación de la cuádrica en la nueva referencia sea normalizada. Esta ecuación se llama normalizada porque dos cuádricas tienen la misma forma normalizada si y sólo si hay una transformación euclídea que transforma los puntos de una en los de la otra. Que dos cuádricas tengan la misma forma normalizada es una relación de equivalencia, lo que permite clasificarlas todas según cuál tienen, como se ve a continuación.

Clasificación afín y métrica de las cuádricas

Por medio de traslaciones y rotaciones (transformaciones euclídeas, es decir, que conservan la distancia) cualquier cuádrica se puede transformar en una que tiene su ecuación en forma normalizada, como se ha definido en el apartado anterior. En el espacio euclídeo real tridimensional una cuádrica queda pues totalmente determinada por los coeficientes de su forma normalizada.

Afínmente (es decir, ignorando la noción de distancia), las transformaciones que se pueden usar para transformar una cuádrica en otra son más amplias (no hace falta que conserven la distancia, sólo las alineaciones y razones simples) y por medio de homotecias podemos suponer que todos los coeficientes de las formas normalizadas son ${\displaystyle \pm 1}$. Se obtienen así exactamente 17 opciones, aunque sólo nueve cuádricas "verdaderas": un cono y tres cilindros (llamados habitualmente cuádricas degeneradas) y cinco cuádricas no degeneradas (elipsoides, paraboloides e hiperboloides). El resto son las cuádricas imaginarias, que constan de puntos de coordenadas complejas, (elipsoide imaginario (sin ningún punto real), cilindro imaginario (sin ningún punto real) y cono imaginario (con un único punto real)) y las cuádricas reducibles, que pueden descomponerse en dos planos. De estas últimas hay cinco tipos, dependiendo de si los planos son distintos o no, paralelos o no, y reales o complejos.

La clasificación se muestra en la siguiente tabla:

Cuádricas reales no degeneradas
Elipsoide	${\displaystyle {x^{2} \over a^{2}}+{y^{2} \over b^{2}}+{z^{2} \over c^{2}}=1\,}$
Paraboloide elíptico	${\displaystyle {x^{2} \over a^{2}}+{y^{2} \over b^{2}}-z=0\,}$
Paraboloide hipérbolico	${\displaystyle {x^{2} \over a^{2}}-{y^{2} \over b^{2}}-z=0\,}$
Hiperboloide de una hoja        o    hiperboloide hiperbólico	${\displaystyle {x^{2} \over a^{2}}+{y^{2} \over b^{2}}-{z^{2} \over c^{2}}=1\,}$
Hiperboloide de dos hojas       o hiperboloide elíptico	${\displaystyle {x^{2} \over a^{2}}+{y^{2} \over b^{2}}-{z^{2} \over c^{2}}=-1\,}$

Cuádricas reales degeneradas
Cono elíptico	${\displaystyle {x^{2} \over a^{2}}+{y^{2} \over b^{2}}-{z^{2} \over c^{2}}=0\,}$
Cilindro elíptico	${\displaystyle {x^{2} \over a^{2}}+{y^{2} \over b^{2}}=1\,}$
Cilindro hiperbólico	${\displaystyle {x^{2} \over a^{2}}-{y^{2} \over b^{2}}=1\,}$
Cilindro parabólico	${\displaystyle x^{2}+2ay=0\,}$

Con una definición más general de cuádrica (una que permite considerarlas en un espacio proyectivo general), también existe una clasificación proyectiva en el espacio proyectivo real, donde dos cuádricas son equivalentes si existe una proyectividad entre ellas (una aplicación que respeta la estructura proyectiva). Estas transformaciones son menos restrictivas y muestran que el elipsoide, el hiperboloide de dos hojas y el paraboloide elíptico están de hecho relacionados, igual que el paraboloide hiperbólico y el hiperboloide de una hoja (por ser superficies regladas) y el cono y el cilindro (por ser cuádricas degeneradas). En el espacio proyectivo complejo todas las cuádricas no degeneradas resultan indistinguibles entre sí.

Definición proyectiva

Dado un espacio proyectivo ${\displaystyle \mathbb {P} }$ sobre un espacio vectorial ${\displaystyle E}$ sobre un cuerpo ${\displaystyle \mathbb {K} =\mathbb {R} }$ o ${\displaystyle \mathbb {C} }$, una cuádrica de ${\displaystyle \mathbb {P} }$ se define como un elemento de ${\displaystyle \mathbb {P} ({\mathcal {S}}_{2}(E))}$, esto es, una forma bilineal simétrica no nula definida salvo producto por escalar no nulo. Es decir, ${\displaystyle Q}$ es una cuádrica de ${\displaystyle \mathbb {P} }$ si ${\displaystyle Q=[\varphi ]}$ la clase de equivalencia de ${\displaystyle \varphi \colon E\times E\rightarrow \mathbb {K} }$ forma bilineal simétrica respecto de la relación de equivalencia ${\displaystyle \varphi \sim \psi \Leftrightarrow \varphi =\lambda \psi ,\ \lambda \in \mathbb {K} \setminus \{0\}}$. Nótese que como hay una biyección entre formas bilineales simétricas y formas cuadráticas (ver este último artículo), sería equivalente definir una cuádrica como ${\displaystyle Q=[q]}$, con ${\displaystyle q\colon E\rightarrow \mathbb {K} }$ forma cuadrática con la misma relación de equivalencia.

Conjunto de puntos de la cuádrica

Definimos ahora los puntos de ${\displaystyle Q=[\varphi ]}$ como aquellos ${\displaystyle p=[v]\in \mathbb {P} }$ tales que ${\displaystyle \varphi (v,v)=0}$ (es decir, el conjunto de puntos con un representante que anula la forma cuadrática asociada a ${\displaystyle \varphi }$). Denotaremos el conjunto de puntos de una cuádrica como ${\displaystyle \vert Q\vert }$.

${\displaystyle \vert Q\vert }$ está bien definido.

En la definición de punto de una cuádrica hemos tomado representantes tanto del punto como de la cuádrica. Tenemos que ver que la condición de la definición (${\displaystyle \varphi (v,v)}$) es independiente de la elección de estos. Sean ${\displaystyle v,\varphi }$ representantes de ${\displaystyle p,Q}$ respectivamente y ${\displaystyle \lambda v,\mu \varphi ,\ \ \lambda ,\mu \in \mathbb {K} \setminus \{0\}}$ otros representantes. Entonces, ${\displaystyle (\mu \varphi )(\lambda v,\lambda v)=\mu \lambda ^{2}\varphi (v,v)=0}$ si y sólo si ${\displaystyle \varphi (v,v)=0}$, por lo que está bien definido. ${\displaystyle \quad \square }$

Es importante notar que hemos definido una cuádrica como un elemento de ${\displaystyle \mathbb {P} ({\mathcal {S}}_{2}(E))}$, y no como su conjunto de puntos, pues puede haber cuádricas con el mismo conjunto de puntos que sean distintas. Por ejemplo, en ${\displaystyle \mathbb {P} (\mathbb {R} )}$, podemos tomar las formas cuadráticas ${\displaystyle q_{1},q_{2}}$ de ${\displaystyle \mathbb {R} ^{2}}$ que en la base canónica (por ejemplo) tienen la siguiente forma: ${\displaystyle q_{1}((x,y))=x^{2}+y^{2},\ \ q_{2}((x,y))=x^{2}+2y^{2}}$. Las dos cuádricas son distintas (toman valores distintos en ${\displaystyle (0,1)}$, por ejemplo), por lo que las cuádricas ${\displaystyle Q_{1}=[\varphi _{1}],Q_{2}=[\varphi _{2}]}$ definidas por sus formas bilineales simétricas asociadas son iguales. Sin embargo, tienen el mismo conjunto de puntos (vacío):${\displaystyle \vert Q_{1}\vert =\{p=[(x,y)]\in \mathbb {P} :x^{2}+y^{2}=0\}=\emptyset =\{p=[(x,y)]\in \mathbb {P} :x^{2}+2y^{2}=0\}=\vert Q_{2}\vert }$.

Matriz de una cuádrica en una referencia

Dada una cuádrica ${\displaystyle Q=[\varphi ]}$ de ${\displaystyle \mathbb {P} }$ y una referencia proyectiva ${\displaystyle \Delta }$ con base adaptada ${\displaystyle e}$ (ver referencia proyectiva), definimos la matriz de ${\displaystyle Q}$ en referencia ${\displaystyle \Delta }$ a la matriz definida salvo producto por escalar siguiente:

${\displaystyle M_{\Delta }(Q)=[M_{e}(\varphi )]}$,

con ${\displaystyle M_{e}(\varphi )}$ la matriz asociada a ${\displaystyle \varphi }$ en base ${\displaystyle e}$ (ver Forma bilineal § Matriz asociada).

Un punto ${\displaystyle p=[x]\in \mathbb {P} }$ pertenece a ${\displaystyle \vert Q\vert }$ si y sólo si ${\displaystyle X^{\mathsf {T}}\lambda M_{e}(\varphi )X=0}$, con ${\displaystyle X}$ el vector de componentes de ${\displaystyle x}$ en base ${\displaystyle e}$, sea cual sea ${\displaystyle \lambda \in \mathbb {K} \setminus \{0\}}$:

${\displaystyle p=[x]\in \vert Q\vert \Leftrightarrow \varphi (x,x)=0\Leftrightarrow X^{\mathsf {T}}M_{e}(\varphi )X=0\Leftrightarrow X^{\mathsf {T}}\lambda M_{e}(\varphi )X=0}$.

Por tanto, la matriz de ${\displaystyle Q}$ en referencia ${\displaystyle \Delta }$ nos da una herramienta para trabajar con ${\displaystyle Q}$ en coordenadas respecto a ${\displaystyle \Delta }$: tenemos una ecuación que satisface cualquier tupla de coordenadas homogéneas de un punto de ${\displaystyle \vert Q\vert }$.

Imagen de una cuádrica por una proyectividad

Supongamos que tenemos dos espacios proyectivos ${\displaystyle \mathbb {P} ,\mathbb {P} '}$ definidos sobre espacios vectoriales ${\displaystyle E,E'}$ sobre un mismo cuerpo ${\displaystyle \mathbb {K} }$ y una proyectividad ${\displaystyle f=[\alpha ]\colon \mathbb {P} \rightarrow \mathbb {P} '}$. Dada una cuádrica ${\displaystyle Q=[\varphi ]}$ de ${\displaystyle \mathbb {P} }$ queremos definir una cuádrica ${\displaystyle f(Q)}$ de ${\displaystyle \mathbb {P} '}$ que se pueda interpretar como su imagen por ${\displaystyle f}$. Como una cuádrica no es un conjunto de puntos, no podemos definir la imagen de ${\displaystyle Q}$ como se suele hacer para conjuntos (tomando el conjunto de imágenes del conjunto original).

Lo que se hace en este caso es observar que, como ${\displaystyle \varphi \colon E\times E\rightarrow \mathbb {K} }$ es una forma bilineal simétrica y ${\displaystyle \alpha \colon E\rightarrow E'}$ es un isomorfismo (una aplicación lineal biyectiva), la aplicación ${\displaystyle \psi =\varphi \circ (\alpha ^{-1}\times \alpha ^{-1})\colon E'\times E'{\overset {\alpha ^{-1}\times \alpha ^{-1}}{\longrightarrow }}E\times E{\overset {\varphi }{\longrightarrow }}\mathbb {K} }$ definida como ${\displaystyle \psi (x',y')=\varphi (\alpha ^{-1}(x'),\alpha ^{-1}(y'))}$ es una forma bilineal simétrica de ${\displaystyle E'}$. Entonces, definimos la imagen de ${\displaystyle Q=[\varphi ]}$ por ${\displaystyle f=[\alpha ]}$ como la cuádrica ${\displaystyle f(Q):=[\psi ]=[\varphi \circ (\alpha ^{-1}\times \alpha ^{-1})]}$.

Observamos que esta definición respeta la definición de imagen de un conjunto cuando observamos la imagen de ${\displaystyle \vert Q\vert }$:

${\displaystyle p\in \vert Q\vert \Leftrightarrow f(p)\in \vert f(Q)\vert }$

Basta aplicar las definiciones observando que por definición de ${\displaystyle \psi =\varphi \circ (\alpha ^{-1}\times \alpha ^{-1})}$ tenemos que ${\displaystyle \varphi =\psi \circ (\alpha \times \alpha )}$: ${\displaystyle p=[x]\in \vert Q\vert \Leftrightarrow \varphi (x,x)=0\Leftrightarrow \psi (\alpha (x),\alpha (x))=0\Leftrightarrow [\alpha (x)]\in \vert [\psi ]\vert \Leftrightarrow f(p)\in \vert f(Q)\vert \quad \square }$

Vemos cómo se comportan las matrices de las cuádricas respecto de la toma de imágenes.

${\displaystyle (1)}$ Sean ${\displaystyle \Delta ,\Delta '}$ referencias proyectivas de ${\displaystyle \mathbb {P} ,\mathbb {P} '}$ con bases adaptadas ${\displaystyle e,e'}$, respectivamente. Entonces, ${\displaystyle M_{\Delta '}(f(Q))=M_{\Delta '\Delta }(f^{-1})^{\mathsf {T}}M_{\Delta }(Q)M_{\Delta '\Delta }(f^{-1})}$

Basta ver que ${\displaystyle M_{e'}(\psi )=M_{e'e}(\alpha ^{-1})^{\mathsf {T}}M_{e}(Q)M_{e'e}(\alpha ^{-1})}$. Escribimos ${\displaystyle A=M_{e}(\varphi ),\ B=M_{e'}(\psi ),\ M=M_{ee'}(\alpha )}$, por lo que ${\displaystyle M_{e'e}(\alpha ^{-1})=M^{-1}}$. Lo que tenemos que ver se traduce entonces a que ${\displaystyle B=M^{-1}AM^{-1}}$. Sean ${\displaystyle x,y\in \mathbb {P} ,\ \ x'=\alpha (x),y'=\alpha (y)\in \mathbb {P} '}$. Sean ${\displaystyle X,Y,X',Y'}$ las coordenadas de cada uno en bases ${\displaystyle e,e'}$. Tenemos que ${\displaystyle X'=MX,Y'=MY}$. Ahora, ${\displaystyle (X')^{\mathsf {T}}BY'=\psi (\alpha (x),\alpha (y))=\varphi (x,y)=X^{\mathsf {T}}AY=(M^{-1}X)^{\mathsf {T}}A(M^{-1}Y)=(X')^{\mathsf {T}}(M^{-1})^{\mathsf {T}}AM^{-1}Y'}$, y esto para cualquier par ${\displaystyle X',Y'}$. Tomando los vectores de la base canónica obtenemos de lo anterior que los elementos de la matriz ${\displaystyle B}$ son los mismos que los de la matriz ${\displaystyle (M^{-1})^{\mathsf {T}}AM^{-1}}$, que es lo que queríamos. ${\displaystyle \quad \square }$

Es sencillo comprobar que la imagen por una proyectividad de los puntos de una referencia proyectiva vuelven a ser una referencia proyectiva y que la imagen de la base adaptada es base adaptada de la referencia imagen. Sabiendo esto, el enunciado siguiente está bien definido:

${\displaystyle (2)}$ Sean ${\displaystyle f\colon \mathbb {P} \rightarrow \mathbb {P} }$ una proyectividad, ${\displaystyle \Delta }$ una referencia proyectiva con ${\displaystyle e}$ base adaptada. Entonces, ${\displaystyle M_{f(\Delta )}(f(Q))=M_{\Delta }(Q)}$

Es inmediato a partir de ${\displaystyle (1)}$ y de que ${\displaystyle M_{\alpha (e),e}(\alpha ^{-1})=\operatorname {Id} \quad \square }$

Clasificación de cuádricas

Se dice que dos cuádricas ${\displaystyle Q=[\varphi ],Q'=[\varphi ']}$ de un mismo espacio proyectivo ${\displaystyle \mathbb {P} }$ son equivalentes (${\displaystyle Q\sim Q'}$) si existe una proyectividad que transforma una en la otra. Es decir, ${\displaystyle Q\sim Q'\Leftrightarrow \exists f\colon \mathbb {P} \rightarrow \mathbb {P} {\text{ tal que }}Q'=f(Q)}$. Se puede ver que esto es una relación de equivalencia. Por el resultado ${\displaystyle (2)}$ del apartado anterior, esto es equivalente a que existan dos referencias proyectivas en que las dos cuádricas tengan la misma matriz, es decir, que existan ${\displaystyle \Delta ,\Delta '}$ tales que ${\displaystyle M_{\Delta '}(Q')=M_{\Delta }(Q)}$.

Como estas matrices son matrices de formas cuadráticas (no nulas salvo producto por escalar no nulo), si nos centramos en los casos ${\displaystyle \mathbb {K} =\mathbb {R} }$ o ${\displaystyle \mathbb {C} }$, podemos remitirnos a la clasificación de estas (ver Forma cuadrática § Equivalencia de formas cuadráticas) para clasificar las cuádricas.

A continuación se describen las clasificaciones de las cuádricas en los planos y espacios proyectivos reales y complejos, es decir, se da una lista cerrada de cuádricas tal que cualquier otra cuádrica se puede transformar en una y sólo una de la lista por proyectividades.

Clasificación de cónicas en el plano proyectivo complejo

Sabemos que toda matriz de una forma cuadrática compleja es equivalente a una y sólo una matriz diagonal de la forma ${\displaystyle D(1,{\overset {r}{\dots }},1,0,\dots ,0)}$, con ${\displaystyle r=0,\dots ,n}$, ${\displaystyle n}$ la dimensión del espacio vectorial ${\displaystyle E}$. Al proyectivizar estas matrices, no consideramos la matriz nula y consideramos equivalentes las matrices que difieran sólo en el producto por un escalar. Por tanto, las matrices a considerar son ${\displaystyle [D(1,{\overset {r}{\dots }},1,0,\dots ,0)],\ r=1,\dots n}$, con ${\displaystyle n=\dim E=\dim \mathbb {P} +1}$.

En el plano proyectivo complejo ${\displaystyle \mathbb {P} ^{2}(\mathbb {C} )=\mathbb {P} (\mathbb {C} ^{3})}$, por tanto, hay tres clases de cuádricas (cónicas) equivalentes a las de matrices ${\displaystyle [D(1,1,1)],[D(1,1,0)],[D(1,0,0)]}$ según si ${\displaystyle r=3,2,1}$. Para ${\displaystyle r=3}$ tiene ecuación equivalente a ${\displaystyle x_{0}^{2}+x_{1}^{2}+x_{2}^{2}=0}$ y se confunden la elipse, la parábola y la hipérbola y se denomina cuádrica no degenerada; para ${\displaystyle r=2}$ tiene ecuación equivalente a ${\displaystyle x_{0}^{2}+x_{1}^{2}=0\Leftrightarrow (x_{0}+ix_{1})(x_{0}-ix_{1})=0}$ y determina dos rectas, y para ${\displaystyle r=1}$ tiene ecuación equivalente a ${\displaystyle x_{0}^{2}=0\Leftrightarrow x_{0}=0}$ y determina una sola recta (doble).

Clasificación de cuádricas en el espacio proyectivo complejo

Igual que en el caso anterior, en el espacio proyectivo complejo hay cuatro clases cuádricas equivalentes a las de matrices ${\displaystyle [D(1,1,1,1)],[D(1,1,1,0)],[D(1,1,0,0)],[D(1,0,0,0)]}$ según si ${\displaystyle r=1,2,3,4}$. Para ${\displaystyle r=4}$ se denomina no degenerada y se confunden todas las cuádricas que afínmente denominamos no degeneradas; para ${\displaystyle r=3}$ se denomina cono y se corresponde con los distintos conos y cilindros afines; para ${\displaystyle r=2}$ son un par de planos distintos que se cortan en una recta real, y para ${\displaystyle r=1}$ es un solo plano (doble).

Clasificación de cónicas en el plano proyectivo real

Por la clasificación de formas cuadráticas reales, todas son equivalentes a una y sólo una de matriz de la forma ${\displaystyle D(1,{\overset {i_{+}}{\dots }},1,-1,{\overset {i_{-}}{\dots }},-1,0,\dots ,0)}$. Como las matrices de las cuádricas están determinadas salvo producto por escalar, podemos suponer que ${\displaystyle i_{-}\leq i_{+}}$ (multiplicando por -1). Identificamos cada clase con el par ${\displaystyle (r,i)=(i_{+}+i_{-},i_{-})}$, en el que ${\displaystyle r=1,\dots n,\ \ i=0,\dots ,\lfloor {\tfrac {r}{2}}\rfloor }$(${\displaystyle r\neq 0}$ porque la forma cuadrática nula no define una cuádrica).

Por tanto, en el plano proyectivo real toda cuádrica (cónica) es equivalente a una y sólo una de las siguientes cinco (el par de la izquiera es ${\displaystyle (r,i)}$):

• ${\displaystyle (3,0)}$: ${\displaystyle x_{0}^{2}+x_{1}^{2}+x_{2}^{2}=0}$ en alguna referencia. No degenerada imaginaria. No tiene ningún punto real.
• ${\displaystyle (3,1)}$: ${\displaystyle x_{0}^{2}+x_{1}^{2}-x_{2}^{2}=0}$ en alguna referencia. No degenerada real. Aquí se confunden la elipse, la parábola y la hipérbola reales (surgen al tomar distintas rectas como la recta del infinito).
• ${\displaystyle (2,0)}$: ${\displaystyle x_{0}^{2}+x_{1}^{2}=0}$ en alguna referencia. Dos rectas imaginarias ${\displaystyle x_{0}+ix_{1}=0}$ y ${\displaystyle x_{0}-ix_{1}=0}$ que se cortan en el punto real ${\displaystyle [0:0:1]}$.
• ${\displaystyle (2,1)}$: ${\displaystyle x_{0}^{2}-x_{1}^{2}=0}$ en alguna referencia. Dos rectas reales ${\displaystyle x_{0}+x_{1}=0}$ y ${\displaystyle x_{0}-x_{1}=0}$.
• ${\displaystyle (1,0)}$: ${\displaystyle x_{0}^{2}=0}$ en alguna referencia. Una sola recta (doble) real ${\displaystyle x_{0}=0}$.

Clasificación de cuádricas en el espacio proyectivo real

Igual que en el apartado anterior, toda cuádrica del espacio proyectivo real es equivalente a una de las siguientes ocho:

• ${\displaystyle (4,0)}$: ${\displaystyle x_{0}^{2}+x_{1}^{2}+x_{2}^{2}+x_{3}^{2}=0}$ en alguna referencia. No degenerada imaginaria. No tiene ningún punto real.
• ${\displaystyle (4,1)}$: ${\displaystyle x_{0}^{2}+x_{1}^{2}+x_{2}^{2}-x_{3}^{2}=0}$ en alguna referencia. No degenerada, no reglada (no contienen totalmente ninguna recta). Aquí se confunden el elipsoide, el hiperboloide de dos hojas y el paraboloide elíptico del espacio afín, que surgen al considerar distintos planos del infinito.
• ${\displaystyle (4,2)}$: ${\displaystyle x_{0}^{2}+x_{1}^{2}-x_{2}^{2}-x_{3}^{2}=0}$ en alguna referencia. No degenerada, reglada (contiene totalmente alguna recta). Aquí se confunden el hiperboloide de una hoja y el paraboloide elíptico que, como antes, surgen al tomar distintos planos del infinito.
• ${\displaystyle (3,0)}$: ${\displaystyle x_{0}^{2}+x_{1}^{2}+x_{2}^{2}=0}$ en alguna referencia. Cono imaginario. Tiene un punto real ${\displaystyle [0:0:0:1]}$.
• ${\displaystyle (3,1)}$: ${\displaystyle x_{0}^{2}+x_{1}^{2}-x_{2}^{2}=0}$ en alguna referencia. Cono real.
• ${\displaystyle (2,0)}$: ${\displaystyle x_{0}^{2}+x_{1}^{2}=0}$ en alguna referencia. Dos planos imaginarios ${\displaystyle x_{0}+ix_{1}=0}$ y ${\displaystyle x_{0}-ix_{1}=0}$ que se cortan en la recta real ${\displaystyle [0:0:1:0]\vee [0:0:0:1]}$.
• ${\displaystyle (2,1)}$: ${\displaystyle x_{0}^{2}-x_{1}^{2}=0}$ en alguna referencia. Dos planos reales ${\displaystyle x_{0}+x_{1}=0}$ y ${\displaystyle x_{0}-x_{1}=0}$.
• ${\displaystyle (1,0)}$: ${\displaystyle x_{0}^{2}=0}$ en alguna referencia. Un solo plano (doble) real ${\displaystyle x_{0}=0}$.

Véase también

• Cónica

Enlaces externos

• Cuádricas, en wmatem.eis.uva.es
• El contenido de este artículo incorpora material de una entrada de la Enciclopedia Libre Universal, publicada en español bajo la licencia Creative Commons Compartir-Igual 3.0.

Referencias

• Casas-Alvero, Eduardo (2014). Analytic Projective Geometry. European Mathematical Society. ISBN 978-3-03719-138-5.