Ver el código de «Cuádrica»

En [[matemáticas]], una '''cuádrica''' o '''superficie''' '''cuádrica''' es una generalización de la noción de [[Sección cónica|cónica]] del plano a dimensiones superiores. Son [[Superficie (matemática)|superficies]] en el espacio o [[Hipersuperficie|hipersuperficies]] (de dimensión <math>n-1</math>) en un espacio <math>n</math>-dimensional definidas como el [[Raíz de una función|conjunto de ceros]] de un [[polinomio irreducible]] de [[Grado (polinomio)|grado]] dos en <math>n</math> variables, es decir, por una [[ecuación]] de la forma 

<math>P(x_1,x_2, ..., x_n) = 0 </math>, 

donde P es un [[polinomio]] de segundo grado en las coordenadas <math>x_1, x_2 ... x_n </math>. Cuando el polinomio no es [[Irreducibilidad absoluta|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 [[número real|real]] usual, en un sistema de coordenadas ortogonal y unitario, y las coordenadas se llaman ''x'', ''y'', ''z''. 

[[Archivo:Hyperb1N.png|thumb|Hiperboloide de una hoja.]]

== Historia ==

Fueron los matemáticos griegos de la antigüedad quienes iniciaron el estudio de las cuádricas, con el [[cono (geometría)|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 [[Raíz de una función|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 <math>\{x_1, x_2, ..., x_n\}\,</math>, entonces la cuádrica típica en ese espacio se define mediante la [[ecuación]] algebraica: 

:<math> 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 </math>

donde <math>Q</math> es una [[matriz cuadrada]] de dimensión <math>n\times n</math>, <math>P</math> es un [[Vector (física)|vector]] de dimensión <math>n</math> y <math>R</math> es una constante. Si bien <math>Q,P</math> y <math>R</math> son por lo general [[Número real|reales]] o [[Número complejo|complejos]], una cuádrica puede definirse en general sobre cualquier [[Anillo (matemática)|anillo]].

== Cuádricas del espacio euclídeo ==

=== Ecuación cartesiana ===
Esta sección se centra en las cuádricas del [[espacio euclídeo]] [[Número real|real]] [[tridimensional]]. La ecuación cartesiana de una superficie cuádrica de este espacio es de la forma:
:<math>Ax^2 + By^2 + Cz^2 + Dxy + Eyz + Fxz + Gx + Hy + Iz + J = 0 \,</math>,
:donde <math>A,B,C,D,E,F,G,H,I,J\in \mathbb{R}</math> y al menos uno de los coeficientes <math>A,B</math> y <math>C</math> 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: 
:<div style="vertical-align:+15%;display:inline;"><math>x^2 + y^2 + z^2 +2xy + 2yz + 2xz = 0 \ </math></div> 
es de segundo grado pero, también se puede escribir como: 
:<div style="vertical-align:+15%;display:inline;"> <math>(x+y+z)^2 = 0 \ </math></div> 
que equivale a: 
:<math>x + y + z = 0 \ </math>, 
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.
<!-- In general, the locus of zeros of a set of [[polynomial]]s is known as an [[algebraic variety]], and is studied in the branch of [[algebraic geometry]]. -->

* 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:

:<math>D=0, E=0, F=0</math>
entonces los términos lineales para cada variable:
:<math>Gx, Hy, Iz</math>
pueden asimilarse a los cuadráticos:
:<math>Ax^2, By^2, Cz^2</math>
mediante el método de [[completar el cuadrado|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, <math>(0,0,0)</math>, 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:

:<math>  {x^2 \over a^2} + {y^2 \over b^2} +\varepsilon_1 {z^2 \over c^2} +\varepsilon_2 = 0, </math>
:<math> {x^2 \over a^2} - {y^2 \over b^2}  + \varepsilon_3=0,</math>
:<math>{x^2 \over a^2}  + \varepsilon_4 =0,</math>
:<math>z={x^2 \over a^2} +\varepsilon_5 {y^2 \over b^2}, </math>
donde <math>a,b,c\in \mathbb{R}</math> y <math>\varepsilon_i=0,\pm 1</math> para <math>i=1,2,4,5</math> y <math>\varepsilon_3=0,1</math>.

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 solo si|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. 

[[Transformación afín|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 [[Razón simple|razones simples]]) y por medio de [[Homotecia|homotecias]] podemos suponer que todos los coeficientes de las formas normalizadas son <math>\pm 1</math>. 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 ([[Elipsoide|elipsoides]], [[Paraboloide|paraboloides]] e [[Hiperboloide|hiperboloides]]). El resto son las cuádricas imaginarias, que constan de puntos de coordenadas [[Número complejo|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:
{| class="wikitable" style="background-color: white; margin: 1em auto 1em auto"
! colspan="3" style="background-color: white;" |Cuádricas reales no degeneradas
|-
|&nbsp; &nbsp;[[Elipsoide]]
|<math>{x^2 \over a^2} + {y^2 \over b^2} + {z^2 \over c^2} = 1 \,</math>
|[[File:Ellipsoid_Quadric.png|vínculo=https://en.wikipedia.org/wiki/File:Ellipsoid_Quadric.png|166x166px]]
|-
|&nbsp; &nbsp; [[Paraboloide|Paraboloide elíptico]]
|<math>{x^2 \over a^2} + {y^2 \over b^2} - z = 0 \,</math>
|[[File:Paraboloid_Quadric.Png|vínculo=https://en.wikipedia.org/wiki/File:Paraboloid_Quadric.Png|166x166px]]
|-
|&nbsp; &nbsp;[[Paraboloide|Paraboloide hipérbolico]]
|<math>{x^2 \over a^2} - {y^2 \over b^2} - z = 0  \,</math>
|[[File:Hyperbolic_Paraboloid_Quadric.png|vínculo=https://en.wikipedia.org/wiki/File:Hyperbolic_Paraboloid_Quadric.png|166x166px]]
|-
|&nbsp; [[Hiperboloide|Hiperboloide de una hoja]]&nbsp;
&nbsp; &nbsp;&nbsp; &nbsp;o
&nbsp; &nbsp;hiperboloide hiperbólico
|<math>{x^2 \over a^2} + {y^2 \over b^2} - {z^2 \over c^2} = 1 \,</math>
|[[File:Hyperboloid_Of_One_Sheet_Quadric.png|vínculo=https://en.wikipedia.org/wiki/File:Hyperboloid_Of_One_Sheet_Quadric.png|163x163px]]
|-
|&nbsp; &nbsp;[[Hiperboloide|Hiperboloide de dos hojas]] 
&nbsp; &nbsp;&nbsp; &nbsp;o hiperboloide elíptico
|<math>{x^2 \over a^2} + {y^2 \over b^2} - {z^2 \over c^2} = - 1 \,</math>
|[[File:Hyperboloid_Of_Two_Sheets_Quadric.png|vínculo=https://en.wikipedia.org/wiki/File:Hyperboloid_Of_Two_Sheets_Quadric.png|163x163px]]
|}
{| class="wikitable" style="background-color: white; margin: 1em auto 1em auto"
! colspan="3" style="background-color: white;" |Cuádricas reales degeneradas
|-
|&nbsp; &nbsp; Cono elíptico
|<math>{x^2 \over a^2} + {y^2 \over b^2} - {z^2 \over c^2} = 0 \,</math>
|[[File:Elliptical_Cone_Quadric.Png|vínculo=https://en.wikipedia.org/wiki/File:Elliptical_Cone_Quadric.Png|166x166px]]
|-
|&nbsp; &nbsp; Cilindro elíptico
|<math>{x^2 \over a^2} + {y^2 \over b^2} = 1 \,</math>
|[[File:Elliptic_Cylinder_Quadric.png|vínculo=https://en.wikipedia.org/wiki/File:Elliptic_Cylinder_Quadric.png|166x166px]]
|-
|&nbsp; &nbsp;Cilindro hiperbólico
|<math>{x^2 \over a^2} - {y^2 \over b^2} = 1 \,</math>
|[[File:Hyperbolic_Cylinder_Quadric.png|vínculo=https://en.wikipedia.org/wiki/File:Hyperbolic_Cylinder_Quadric.png|166x166px]]
|-
|&nbsp; &nbsp; Cilindro parabólico
|<math>x^2 + 2ay = 0 \,</math>
|[[File:Parabolic_Cylinder_Quadric.png|vínculo=https://en.wikipedia.org/wiki/File:Parabolic_Cylinder_Quadric.png|166x166px]]
|}


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

=== Conjunto de puntos de la cuádrica ===
Definimos ahora los '''puntos de''' <math>Q=[\varphi]</math> como aquellos <math>p=[v]\in\mathbb{P}</math> tales que <math>\varphi(v,v)=0</math> (es decir, el conjunto de puntos con un representante que anula la forma cuadrática asociada a <math>\varphi</math>). Denotaremos el conjunto de puntos de una cuádrica como <math>\vert Q\vert</math>.
{{Demostración|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 (<math> \varphi(v,v) </math>) es independiente de la elección de estos.

Sean <math> v, \varphi </math> representantes de <math> p, Q </math> respectivamente y <math> \lambda v, \mu \varphi, \ \ \lambda, \mu\in\mathbb{K}\setminus\{0\} </math> otros representantes. Entonces,

<math> (\mu\varphi)(\lambda v, \lambda v)=\mu\lambda^2\varphi(v,v)= 0 </math>

si y sólo si <math> \varphi(v,v)=0 </math>, por lo que está bien definido. <math>\quad\square </math>|título=<math>\vert Q\vert </math> está bien definido.}}
Es importante notar que hemos definido una cuádrica como un elemento de <math>\mathbb{P}(\mathcal{S}_2(E))</math>, y no como su conjunto de puntos, pues puede haber cuádricas con el mismo conjunto de puntos que sean distintas. Por ejemplo, en <math>\mathbb{P}(\mathbb{R})</math>, podemos tomar las formas cuadráticas <math>q_1,q_2</math> de <math>\mathbb{R}^2</math> que en la base canónica (por ejemplo) tienen la siguiente forma: <math>q_1((x,y))=x^2+y^2, \ \ q_2((x,y))=x^2+2y^2</math>. Las dos cuádricas son distintas (toman valores distintos en <math>(0,1)</math>, por ejemplo), por lo que las cuádricas <math>Q_1=[\varphi_1],Q_2=[\varphi_2]</math> definidas por sus formas bilineales simétricas asociadas son iguales. Sin embargo, tienen el mismo conjunto de puntos (vacío):<math>\vert Q_1\vert=\{p=[(x,y)]\in\mathbb{P}:x^2+y^2=0\}=\empty=\{p=[(x,y)]\in\mathbb{P}:x^2+2y^2=0\}=\vert Q_2 \vert</math>.

=== Matriz de una cuádrica en una referencia ===
Dada una cuádrica <math>Q=[\varphi]</math> de <math>\mathbb{P}</math> y una [[referencia proyectiva]] <math>\Delta</math> con base adaptada <math>e</math> (ver [[referencia proyectiva]]), definimos la '''matriz de''' <math>Q</math> '''en referencia''' <math>\Delta</math> a la [[Matriz (matemática)|matriz]] definida salvo producto por escalar siguiente:

<math>M_\Delta(Q)=[M_e(\varphi)]</math>,

con <math>M_e(\varphi)</math> la matriz asociada a <math>\varphi</math> en base <math>e</math> (ver [[Forma bilineal|Forma bilineal § Matriz asociada]]). 

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

<math>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</math>.

Por tanto, la matriz de <math>Q</math> en referencia <math>\Delta</math> nos da una herramienta para trabajar con <math>Q</math> en coordenadas respecto a <math>\Delta</math>: tenemos una ecuación que satisface cualquier tupla de [[Referencia proyectiva|coordenadas homogéneas]] de un punto de <math>\vert Q\vert</math>.

=== Imagen de una cuádrica por una proyectividad ===
Supongamos que tenemos dos espacios proyectivos <math>\mathbb{P}, \mathbb{P}'</math> definidos sobre espacios vectoriales <math>E,E'</math> sobre un mismo cuerpo <math>\mathbb{K}</math> y una [[Homografía (geometría)|proyectividad]] <math>f=[\alpha]\colon \mathbb{P}\rightarrow\mathbb{P}'</math>. Dada una cuádrica <math>Q=[\varphi]</math> de <math>\mathbb{P}</math> queremos definir una cuádrica <math>f(Q)</math> de <math>\mathbb{P}'</math> que se pueda interpretar como su imagen por <math>f</math>. Como una cuádrica ''no'' es un conjunto de puntos, no podemos definir la imagen de <math>Q</math> 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 <math>\varphi\colon E \times E\rightarrow\mathbb{K}</math> es una forma bilineal simétrica y <math>\alpha \colon E\rightarrow E'</math> es un [[isomorfismo]] (una [[aplicación lineal]] [[Función biyectiva|biyectiva]]), la aplicación <math>\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}</math> definida como <math>\psi(x',y')=\varphi(\alpha^{-1}(x'),\alpha^{-1}(y'))</math> es una forma bilineal simétrica de <math>E'</math>. Entonces, definimos la '''imagen de''' <math>Q=[\varphi]</math> '''por''' <math>f=[\alpha]</math> como la cuádrica <math>f(Q):=[\psi]=[\varphi\circ(\alpha^{-1} \times\alpha^{-1})]</math>.

Observamos que esta definición respeta la definición de imagen de un conjunto cuando observamos la imagen de <math>\vert Q\vert</math>:
{{Demostración|Basta aplicar las definiciones observando que por definición de <math>\psi=\varphi\circ(\alpha^{-1}\times \alpha^{-1}) </math> tenemos que <math> \varphi= \psi\circ(\alpha\times\alpha) </math>:

<math>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</math>|título=<math> p\in\vert Q\vert\Leftrightarrow f(p)\in\vert f(Q)\vert</math>}}
Vemos cómo se comportan las [[Cuádrica#Matriz de una cuádrica en una referencia|matrices de las cuádricas]] respecto de la toma de imágenes.
{{Demostración|Basta ver que <math> M_{e'}(\psi)=M_{e'e}(\alpha^{-1})^\mathsf{T}M_{e}(Q)M_{e'e}(\alpha^{-1}) </math>.

Escribimos <math>A=M_e(\varphi), \ B=M_{e'}(\psi), \ M=M_{ee'}(\alpha)</math>, por lo que <math> M_{e'e}(\alpha^{-1})=M^{-1}</math>. Lo que tenemos que ver se traduce entonces a que <math> B=M^{-1}AM^{-1}</math>.

Sean <math> x,y\in\mathbb{P}, \ \ x'=\alpha(x), y'=\alpha(y)\in\mathbb{P}'</math>. Sean <math> X,Y, X',Y' </math> las coordenadas de cada uno en bases <math> e, e'</math>. Tenemos que <math> X'=MX, Y'=MY </math>. Ahora, 

<math> (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' </math>,

y esto para cualquier par <math> X', Y' </math>. Tomando los vectores de la base canónica obtenemos de lo anterior que los elementos de la matriz <math> B </math> son los mismos que los de la matriz <math>(M^{-1})^\mathsf{T}AM^{-1} </math>, que es lo que queríamos. <math> \quad\square</math>|título=<math> (1) </math> Sean <math>\Delta , \Delta' </math>  referencias proyectivas de <math>\mathbb{P},\mathbb{P}'</math> con bases adaptadas <math>e,e'</math>, respectivamente. Entonces, 

<math> M_{\Delta'}(f(Q))=M_{\Delta'\Delta}(f^{-1})^\mathsf{T}M_{\Delta}(Q)M_{\Delta'\Delta}(f^{-1}) </math>}}
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:
{{Demostración|Es inmediato a partir de <math> (1) </math> y de que <math> M_{\alpha(e),e}(\alpha^{-1})=\operatorname{Id}\quad \square</math>|título=<math> (2) </math> Sean <math> f\colon\mathbb{P}\rightarrow\mathbb{P} </math> una proyectividad, <math> \Delta </math> una referencia proyectiva con <math> e </math> base adaptada. 

Entonces, <math> M_{f(\Delta)}(f(Q))=M_\Delta(Q) </math>}}

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

Como estas matrices son matrices de [[Forma cuadrática|formas cuadráticas]] (no nulas y salvo producto por escalar no nulo), si nos centramos en los casos <math>\mathbb{K}=\mathbb{R}</math> o <math>\mathbb{C}</math>, podemos remitirnos a la clasificación de estas (ver [[Forma cuadrática|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 <math>D(1,\overset{r}{\dots},1,0,\dots,0)</math>, con <math>r=0,\dots,n</math>, y <math>n</math> la dimensión del espacio vectorial <math>E</math>. Al proyectivizar estas matrices, no consideramos la matriz nula y consideramos equivalentes las matrices que difieren sólo por el producto por un escalar. Por tanto, las matrices a considerar son <math>[D(1,\overset{r}{\dots},1,0,\dots,0)],\ r=1,\dots n</math>, con <math>n=\dim E=\dim\mathbb{P}+1</math>.

En el [[plano proyectivo]] complejo <math>\mathbb{P}^2(\mathbb{C})=\mathbb{P}(\mathbb{C}^3)</math>, por tanto, hay tres clases de cuádricas (cónicas) equivalentes a las de matrices <math>[D(1,1,1)],[D(1,1,0)],[D(1,0,0)]</math> según si <math>r=3,2,1</math>. Para <math>r=3</math> tiene ecuación equivalente a <math>x_0^2+x_1^2+x_2^2=0</math> y se confunden la elipse, la parábola y la hipérbola y se denomina cuádrica no degenerada; para <math>r=2</math> tiene ecuación equivalente a <math>x_0^2+x_1^2=0\Leftrightarrow (x_0+ix_1)(x_0-ix_1)=0</math> y determina dos rectas, y para <math>r=1</math> tiene ecuación equivalente a <math>x_0^2=0\Leftrightarrow x_0= 0</math> 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 <math>[D(1,1,1,1)],[D(1,1,1,0)],[D(1,1,0,0)],[D(1,0,0,0)]</math> según si <math>r=1,2,3,4</math>. Para <math>r=4</math> se denomina no degenerada y se confunden todas las cuádricas que afínmente denominamos no degeneradas; para <math>r=3</math> se denomina cono y se corresponde con los distintos conos y cilindros afines; para <math>r=2</math> son un par de planos distintos que se cortan en una recta real, y para <math>r=1</math> 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 <math>D(1,\overset{i_+}{\dots},1,-1,\overset{i_-}{\dots},-1,0,\dots,0)</math>. Como las matrices de las cuádricas están determinadas salvo producto por escalar, podemos suponer que <math>i_-\leq i_+</math> (multiplicando por -1). Identificamos cada clase con el par <math>(r,i)=(i_++i_-,i_-)</math>, en el que <math>r=1,\dots n, \ \ i= 0, \dots, \lfloor \tfrac{r}{2}  \rfloor</math> (<math>r\neq 0 </math> 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 <math>(r,i)</math>):

* <math>(3,0)</math>: <math>x_0^2+x_1^2+x_2^2=0</math> en alguna referencia. No degenerada imaginaria. No tiene ningún punto real.
* <math>(3,1)</math>: <math>x_0^2+x_1^2-x_2^2=0</math> 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 [[Plano proyectivo real|recta del infinito]]).
* <math>(2,0)</math>: <math>x_0^2+x_1^2=0</math> en alguna referencia. Dos rectas imaginarias <math>x_0+ix_1=0</math> y <math>x_0-ix_1=0</math> que se cortan en el punto real <math>[0:0:1]</math>.
* <math>(2,1)</math>: <math>x_0^2-x_1^2=0</math> en alguna referencia. Dos rectas reales <math>x_0+x_1=0</math> y <math>x_0-x_1=0</math>.
* <math>(1,0)</math>: <math>x_0^2=0</math> en alguna referencia. Una sola recta (doble) real <math>x_0=0</math>.

==== 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:

* <math>(4,0)</math>: <math>x_0^2+x_1^2+x_2^2+x_3^2=0</math> en alguna referencia. No degenerada imaginaria. No tiene ningún punto real.
* <math>(4,1)</math>: <math>x_0^2+x_1^2+x_2^2-x_3^2=0</math> 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 [[Espacio proyectivo|planos del infinito]].
* <math>(4,2)</math>: <math>x_0^2+x_1^2-x_2^2-x_3^2=0</math> 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.
* <math>(3,0)</math>: <math>x_0^2+x_1^2+x_2^2=0</math> en alguna referencia. Cono imaginario. Tiene un punto real <math>[0:0:0:1]</math>.
* <math>(3,1)</math>: <math>x_0^2+x_1^2-x_2^2=0</math> en alguna referencia. Cono real.
* <math>(2,0)</math>: <math>x_0^2+x_1^2=0</math> en alguna referencia. Dos planos imaginarios <math>x_0+ix_1=0</math> y <math>x_0-ix_1=0</math> que se cortan en la recta real <math>[0:0:1:0]\vee[0:0:0:1]</math>.
* <math>(2,1)</math>: <math>x_0^2-x_1^2=0</math> en alguna referencia. Dos planos reales <math>x_0+x_1=0</math> y <math>x_0-x_1=0</math>.
* <math>(1,0)</math>: <math>x_0^2=0</math> en alguna referencia. Un solo plano (doble) real <math>x_0=0</math>.

== Véase también ==
* [[Cónica]]

== Enlaces externos ==

* [http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Cuadricas/marco_cuadricas.htm Cuádricas, en wmatem.eis.uva.es]
{{EL|Cuádrica}}

== Referencias ==

* {{Ref libro|apellidos=Casas-Alvero|nombre=Eduardo|título=Analytic Projective Geometry|año=2014|editorial=European Mathematical Society|isbn=978-3-03719-138-5}}
{{ORDENAR:Cuadrica}}

{{Control de autoridades}}

[[Categoría:Cuádricas| ]]
[[Categoría:Geometría proyectiva]]