Cuádricas

Antonio F. Costa
UNED

1. Cuádricas

1.1. Cuádricas

Una cuádrica (C, [ϕ]) en un espacio proyectivo P(E) es un conjunto

[ϕ] de formas no nulas proporcionales a una forma bilineal simétrica
ϕ : E × E → K. Al conjunto Cϕ = {[u] ∈ P(E) : ϕ(u, u) = 0} se le
denomina imagen de la cuádrica, por abuso a veces también llamaremos
cuádrica a la imagen de la cuádrica.
Obsérvese que Cϕ = Cρϕ , para ρ ̸= 0.

1.2. Matriz de una cuádrica

R referencia proyectiva y B la base asociada a R.  
x0
Sea M (ϕ, B) la matriz de ϕ respecto a B, es decir si x =  ...  ,
  xn
y0

y = ...  son las coordenadas de dos vectores u y v entonces:
yn
 t  
x0 y0
ϕ(u, v) =  ...  M (ϕ, B)  ...  = xt M (ϕ, B)y
xn yn
Si ϕ es simétrica M (ϕ, B) es una matriz simétrica.
C es el conjunto de puntos de P(E) cuyas coordenadas homogéneas
(x0 : ... : xn ) verifican:
xt M (ϕ, B)x = 0

1
  
x0
donde x =  ... .
xn
La expresión xt M (ϕ, B)x = 0 es la ecuación de la cuádrica y ρM (ϕ, B)
son sus matrices.

1.3. Cuádricas regulares

Una cuádrica (C, [ϕ]) es regular si la forma ϕ es regular.
Analíticamente:
det M (ϕ, B) ̸= 0.
1.4. Ecuaciones canónicas de las cuádricas en espa-
cios proyectivos reales
Toda cuádrica (C, [ϕ]) en un espacio proyectivo real de dimensión n
admite una ecuación de la forma:
x20 + ... + x2p−1 − x2p − ... − x2r−1 = 0
donde 0 ≤ p ≤ r ≤ n.
- r es el rango de ϕ y p es la signatura o índice de positividad de ϕ.

1.5. Actuación de las homografías sobre las cuádri-

cas
Sea eh : P(E) → P(E) una homografía inducida por una aplicación
lineal (automorfismo) h : E → E y (C, [ϕ]) una cuádrica.
Vamos a definir la acción de e
h sobre (C, [ϕ]) de modo que la imagen
de la cuádrica transformada sea la imagen por e h de la imagen C de
(C, [ϕ]). Como tenemos:
e
h(C) = e h{[u] : ϕ(u, u) = 0} =
{e
h[u] : ϕ(u, u) = 0} = {[w] : ϕ(h−1 (w), h−1 (w)) = 0},
se justifica la siguiente definición:
La transformada de (C, [ϕ]) por e h es la cuádrica (e
h(C), [ϕ◦(h−1 , h−1 )]),
donde
ϕ ◦ (h−1 , h−1 )(u, v) = ϕ(h−1 (u), h−1 (v)).

Analíticamente: si H es la matriz de h y xt M (ϕ, B)x = 0 es ecuación

de la cuádrica C, entonces:
xt (H −1 )t M (ϕ, B)H −1 x = 0
es ecuación de la cuádrica transformada.

2
1.6. Equivalencia de cuádricas
Una cuádrica (C, [ϕ]) es proyectivamente equivalente a (C ′ , [ϕ′ ]) si
existe una homografía que transforma una en la otra.
Equivalentemente: existe un isomorfismo h de E de modo que ϕ(u, v) =
′
ρϕ (h(u), h(v)), para u, v ∈ E.
Analíticamente si existen referencias proyectivas R y R′ de modo que
la ecuación de C respecto a R coincide con la ecuación de C ′ respecto a
R′ .

1.7. Teorema de clasificación

Dadas dos cuádricas en un espacio proyectivo sobre R, (C, [ϕ]) y
(C , [ϕ′ ]), de modo que ϕ y ϕ′ tienen rangos r y r′ y signaturas p y p′ ,
′

las cuádricas son equivalentes si y solo si:

r = r′ , p = p′ o bien r = r′ y p = r′ − p′

Signatura proyectiva s = |p − (r − p)|.

Dos cuádricas son equivalentes si y solo si tienen el mismo rango y
la misma signatura proyectiva.

2. Cuádricas afines

2.1. Cuádricas afines

Una cuádrica (C, [φ]) en un espacio afín X es:

- el conjunto [φ] de las aplicaciones proporcionales, no nulas, a una
aplicación (forma biafín) ϕ : X × X → K:
 
1
 y1 
φ(p, q) = [1, x1 , ..., xn ] A  
 ... 
yn

donde (x1 , ..., xn ), (y1 , ..., yn ) son las coordenadas de p, q respecto a un

sistema de referencia cartesiano R de X y A = (aij )0≤i,j≤n es una matriz
−
→
simétrica. Supondremos además que la submatriz A = (aij )1≤i,j≤n de
A no es nula.
- al conjunto C = {p ∈ X : φ(p, p) = 0} se le llama la imagen de la
cuádrica.

3
2.2. Matriz de una cuádrica afín
R referencia cartesiana de X.
 
1
 x1 
[1, x1 , ..., xn ] A  
 ...  = 0
xn
donde (x1 , ..., xn ) son las coordenadas de un punto respecto a R

2.3. Cuádricas proyectivas asociadas a una cuádrica

afín
R = (O; B) referencia cartesiana de X. Sea (C, [φ]) una cuádrica afín.
Completación proyectiva: (C, e [φ]),
b es la cuádrica proyectiva definida
por la forma bilineal simétrica:

b x, yb) = xt Ay
φ(b
   
x0 y0
donde xb =  ... , yb =  ... .
xn yn
Cuádrica del infinito: (C∞ , [− →φ ]) es la cuádrica proyectiva definida
por la forma:
−
→ −
→
φ (−
→
x ,−
→y ) = xt A y
   
x1 y1
−
→ −
→
donde x = ... , x = ... .
  
xn yn
2.4. Cuádricas afines y cuádricas proyectivas aso-
ciadas
Las imágenes de las cuádricas asociadas a una cuádrica afín verifican:

e∩X
C=C
e ∩ X∞
C∞ = C
e = C ∪ C∞
C

2.5. Actuación de los isomorfismos afines sobre las

cuádricas
Sea h : X → X un automorfismo afín y (C, [φ]) una cuádrica.
La transformada de (C, [φ]) por h es la cuádrica (h(C), [φ◦(h−1 , h−1 )]).

4
 Analíticamente si H es la matriz de h y xt Ax = 0 es la ecuación de
la cuádrica, entonces:

xt (H −1 )t AH −1 x = 0

2.6. Equivalencia de cuádricas

Una cuádrica afín (C, [φ]) es afinmente equivalente a otra cuádrica
afín (C ′ , [φ′ ]) si existe un automorfismo afín que transforma una en la
otra.
Equivalentemente: existe un automorfismo afín h de X de modo que
φ(p, q) = φ′ (h(p), h(q)), para p, q ∈ X.
Analíticamente si existen sistemas de referencia cartesianos R y R′
de modo que la ecuación de C respecto a R coincide con la ecuación de
C ′ respecto a R′ .

2.7. Teorema de clasificación

Dadas dos cuádricas afines (C, [φ]) y (C ′ , [φ′ ]) en un espacio afín real.
Las cuádricas son equivalentes si y solo si
1. las completaciones proyectivas (C,e [φ])
b y (C f′ , [φb′ ]) son proyectiva-
mente equivalentes y
−
→
2. las cuádricas del infinito (C∞ , [−
→
φ ]) y (C∞ ′
, [ φ′ ]) son proyectiva-
mente equivalentes.

Este teorema reduce el problema de la clasificación de cuádricas afines

al de cuádricas proyectivas. Vamos a ver como se aplica en dimensiones
2 y 3.
En primer lugar hemos de estudiar las clasificaciones proyectivas:

3. Cónicas
3.1. Cónicas
Cónicas = cuádricas en el plano.
R referencia proyectiva y B la base asociada a R.
 
y0

ϕ(x, y) = [x0 , x1 , x2 ]M y1 
yn
M matriz simétrica 3 × 3.
Suponemos que el rango es 1 ≤ r ≤ 3 y la signatura es 0 ≤ p ≤ r.

5
3.2. Clasificación proyectiva

Cónicas regulares:

r = 3, p = 3 o p = 0, ecuación canónica x20 + x21 + x22 = 0. Cónica

vacía.

r = 3, p = 2 o p = 1, ecuación canónica x20 + x21 − x22 = 0. Cónica

regular no vacía.

Cónicas no regulares:

r = 2, p = 2 o p = 0, ecuación canónica x20 + x21 = 0. Punto doble.

r = 2, p = 1, ecuación canónica x20 − x21 = 0. Par de rectas.

r = 1, p = 1 o 0, ecuación canónica x20 = 0. Recta doble.

3.3. Cuádricas de la recta proyectiva real

 
y
ϕ(x, y) = [x0 , x1 ]M 0
y1
M matriz simétrica 2 × 2.

r = 2, p = 2 o p = 0, ecuación canónica x20 + x21 = 0. Vacía.

r = 2, p = 1, ecuación canónica x20 − x21 = 0. Par de puntos.

r = 1, p = 1 o 0, ecuación canónica x20 = 0. Punto doble.

3.4. Clasificación de las cónicas regulares afines no

vacías

En todos los casos la completación proyectiva es una cónica proyec-

tiva regular no vacía.

Cuádrica del infinito: vacía. x21 + x22 − 1 = 0. Elipse.

Cuádrica del infinito: par de puntos. x21 − x22 − 1 = 0. Hipérbola.
Cuádrica del infinito: punto doble. x21 + 2x2 = 0. Parábola.

6
4. Cuádricas del espacio tridimensional
4.1. Cuádricas del espacio proyectivo
R referencia proyectiva y B la base asociada a R.
 
y0
 y1 
ϕ(x, y) = [x0 , x1 , x2 , x3 ]M  
 y2 
y3
M matriz simétrica 4 × 4.
Suponemos que el rango es 1 ≤ r ≤ 4 y la signatura es 0 ≤ p ≤ r.

4.2. Clasificación proyectiva

Cuádricas regulares:

r = 4, p = 4 o p = 0, ecuación canónica x20 + x21 + x22 + x23 = 0.

Cuádrica vacía.

r = 4, p = 3 o p = 1, ecuación canónica x20 + x21 + x22 − x23 = 0.

Cuádrica elíptica.

r = 4, p = 2, ecuación canónica x20 + x21 − x22 − x23 = 0. Cuádrica

hiperbólica.

Cuádricas no regulares:
Punto doble, cono, recta doble, par de planos, plano doble.

4.3. Clasificación de las cuádricas regulares afines

no vacías

1. Completación proyectiva es cuádrica elíptica:

Cónica del infinito: vacía. Ecuación canónica: x21 + x22 + x23 − 1 = 0.

Elipsoide.

Cónica del infinito: cónica regular no vacía. Ecuación canónica:

x21 + x22 − x23 + 1 = 0. Hiperboloide elíptico.

Cónica del infinito: punto doble. x21 + x22 + 2x3 = 0. Paraboloide

elíptico.

2. Completación proyectiva es cuádrica hiperbólica:

7
 Figura 1: Elipsoide

Cónica del infinito: cónica regular no vacía. Ecuación canónica:

x21 + x22 − x23 − 1 = 0. Hiperboloide hiperbólico.

Cónica del infinito: par de rectas. Ecuación canónica: x21 − x22 +

2x3 = 0. Paraboloide hiperbólico.

8
Figura 2: Hiperboloide elíptico

Figura 3: Paraboloide elíptico

9
Figura 4: Hiperboloide hiperbólico

Figura 5: Paraboloide hiperbólico

10