Documentos de Académico
Documentos de Profesional
Documentos de Cultura
AFIN DE CONICAS
Y CUADRICAS
G. SERRANO SOTELO
1.
1
g00 g01 . . . g0n
. =0 ,
locus de C = (1, x1 , . . . , xn ) H : 1 x1 . . . xn
.. . .
..
...
..
.
.
.
xn
gn0 gn1 . . . gnn
de donde resulta
g11 x21 + + gnn x2n + 2(g12 x1 x2 + + gn1n xn1 xn ) + 2(g01 x1 + + g0n xn ) + g00 = 0 .
Observacion 1.2. La parte cuadratica, g11 x21 + +gnn x2n +2(g12 x1 x2 + +gn1n xn1 xn ),
de esta ecuacion se corresponde con la matriz de la restriccion de la metrica T2 al
hiperplano del infinito E ,
g11 . . . g1n
..
T2|E = ... . . .
.
gn1 . . . gnn
1
G. Serrano Sotelo
Ejemplo 1.3.
1 3 2
H = {(1, x, y)} R3 , C = {T2 } , G = 3 1 1
2
1 2
1 3 2
locus de C 1 x y 3 1 1 x = 0
2
1 2
y
0 1 1
1 2
3
H = {(1, x, y, z)} R4 , C = {T2 } , G =
1
3 1
0
0
2
0 1 1 0
1
x
1 2
3
0
= 0
locus de C 1 x y z
1
3 1 2 y
0
0
2 1
z
0
0
2
1
1
0
0
1
0
0
0 1 0
0 , (b) 0 1/a2
0 , (c) 1 0
0 ,
(a) 0 1/a2
2
2
0
0
1/b
0
0
1/b
0
0 1/p
son no singulares.
2.
drica
Centros de una cua
E
, es una recta, luego e0 es un generador de ella pues es ortogonal a E , y como
e0
/ E esta recta e0 corta a H en un u
nico punto, c = e0 H, que es el centro de
la cuadrica.
Corolario 2.3. Si C = {T2 } es una cuadrica irreducible con centro existe una base
{e0 , e1 , . . . , en } de E en la que las coordenadas del centro son
Adj g10
Adj gn0
c = 1,
,...,
,
Adj g00
Adj g00
donde G = (gij ) es la matriz, respecto de esa base, de una metrica representante de C .
define el centro, E
= e0 , y {e1 , . . . , en } una base de E , la ecuacion implcita de
E es x0 = 0, luego su subespacio incidente esta generado por la forma lineal de
coordenadas en la base dual = (1, 0, . . . , 0).
Adj g10
Adj gn0
c = 1,
, ,
),
|G |
|G |
= |G | es el detreminante de la restriccion de G a E .
3.
Definici
on 3.2. Dos cuadricas C = {T2 } y C = {T2 } de H son afnmente equivaf
Teorema 3.3. Si dos cuadricas C = {T2 } y C = {T2 } de H son afnmente equivalentes, tienen iguales sus rangos, ndices, rangos en el infinito e ndices en el infinito,
r = r , i = i ;
r = r
, i = i .
a un automorfismo E
E cuyo morfismo inducido T2 (E ) T2 (E ) transforma
G. Serrano Sotelo
Demostraremos que el recproco de este teorema tambien es cierto. Para ello obtendremos primero las ecuaciones reducidas afines de las cuadricas.
4.
4.1.
dricas
Ecuaciones reducidas afines de las cua
... 0
T2 (e0 , e0 ) 0 . . .
...
0
1
..
..
.
.
..
..
.
.
.
..
..
.
0
0
0
1
..
..
..
i = i
1
..
.
1
1
..
.
1
0
..
.
0
de la que se deducen las relaciones entre los rangos e ndices de la cuadrica y los de
su restriccion al infinito, que dan los dos casos siguientes
i = i , si p q
r = r + 1 ,
r = r + 1 ,
i = i + 1 , si p > q
Los n
umeros p y q son respectivamente el n
umero de races positivas y el n
umero de
races negativas de la ecuacion secular de la restriccion de la metrica al hiperplano del
infinito E .
En ambos casos, la ecuacion reducida afn de la cuadrica es
x21 + + x2p x2p+1 x2p+q = 1
4.2.
y v E E , T2 (v, e1 ) = = 0
La matriz de la restriccion de la metrica T2 al plano v, e1 , T2|v,e1 =
, es
0
no singular y de ndice uno. Por tanto, v, e1 define un plano hiperbolico y es posible
seleccionar otra base {e0 , e1 } de este plano en la que la matriz de la restriccion es
0 1
.
1 0
Elijiendo ahora una base reducida {e2 , . . . , en } para la metrica restriccion T2 |e0 ,e1
se obtiene una base {e0 , e1 , e2 , . . . , en } de E en la que la matriz de T2 es
G. Serrano Sotelo
...
0 1
1 0
1
.
..
.
.
.
..
.
.
..
...
...
..
.
1
0
..
Esto permite obtener la siguiente relacion entre los rangos e ndices de la cuadrica y
los de su restriccion al infinito
r = r + 2 ,
i = i + 1
donde los n
umeros p y q son respectivamente el n
umero de races positivas y el
n
umero de races negativas de la ecuacion secular de la restriccion de la metrica al
hiperplano del infinito E .
5.
n afn
Clasificacio
De las ecuaciones reducidas afines del apartado anterior se sigue que si dos cuadricas
tienen iguales sus rangos, ndices, rangos en el infinito e ndices en el infinito son
afnmente equivalentes. Combinando este resultado con el teorema ?? obtenemos el
teorema de clasificacion.
Teorema 5.1. La condicion necesaria y suficiente para que dos cuadricas C = {T2 } y
C = {T2 } de H sean afnmente equivalentes es que tengan iguales sus rangos, ndices,
rangos en el infinito e ndices en el infinito,
r = r , i = i ;
r = r
, i = i .
Clasificaci
on afn de c
onicas en H R3 .
5.1.
r
r i \i
1
3 (Irreducibles)
1
Par de rectas
reales
no paralelas
Hiperbola
x2 y 2 = 1
x2 y 2 = 0
2
0
Par de rectas
imaginarias
no paralelas
x2 + y 2 = 0
Elipse
Elipse
real
imaginaria
x2 + y 2 = 1 x2 + y 2 = 1
Par
abola
y 2 = 2x
Recta real
x=0
Conjunto
vaco
Plano
afn
1
2 3
1
1
1 1 ; G =
G= 2
1 1
3 1 1
Calculemos el n
umero de races nulas r0 , el n
umero de races positivas r+ y el n
umero
de races negativas r de la ecuacion secular de la metrica T2 y de la metrica T2 |E
p(x) = |xI G| = x3 3x2 11x + 1 , r0 (p(x)) = 0 , r+ (p(x)) = 2 , r (p(x)) = 1
p (x) = |xI G | = x2 2x , r0 (p (x)) = 1 , r+ (p (x)) = 1 , r (p (x)) = 0
Luego los rangos y los ndices de T2 y de su restriccion al infinito son
r = 3, i = 1;
r = 1 , i = 0
0 1 0
Por tanto, es una c
onica irreducible sin centro de matriz reducida 1 0 0 y
0
0 1
2
ecuaci
on reducida afn y 2x = 0, esto es, una Par
abola.
(b)
3 1 2
2
G = 1 1
2 2
4
G =
1 2
2 4
G. Serrano Sotelo
p (x) = |xI G | = x2 5x , r0 (p (x)) = 1 , r+ (p (x)) = 1 , r (p (x)) = 0
Los rangos y los ndices de la metrica T2 y de su restriccion al infinito son
r = 2, i = 1;
r = 1 , i = 0
1
Es una c
onica degenerada con centro, de matriz reducida 0
0
2
reducida afn x 1 = 0, que representa una Par de rectas reales
0 0
1 0 y ecuacion
0 0
y paralelas.
Ejemplo 5.3. Calcular el centro, los ejes principales y la ecuacion reducida metrica de la curva
de grado dos del plano real de ecuaci
on
3x2 + 3y 2 2xy + 2x 4y + 1 = 0
Soluci
on.
Sea G la matriz de una metrica T2 representante de la conica en H R3 y G su restriccion
al infinito.
1
1 2
3 1
1
3 1
G=
; G =
1 3
2 1 3
|xI G| = x3 7x2 + 9x + 3 ;
Se tiene
|xI G | = (x 2)(x 4)
r = 3
i = 1
C
onica irreducible con centro: x2 + y 2 = 1 (Elipse real )
r = 2
i = 0
1 5
(a) Centro de la elipse= , )
8 8
Por el Corolario ??,
Adj g10 Adj g20
1 5
c = 1,
,
) = (1, , )
|G |
|G |
8 8
T2 (c, c) 0 0
3
0
2 0 , con T2 (c, c) =
8
0
0 4
Luego la ecuaci
on reducida metrica de la elipse es
x
2
y2
+
= 1,
3/16 3/32
donde x
y y son las coordenadas asociadas a la base {u1 , u2 }.
(d ) Ecuaciones de la transformaci
on afn efectuada para pasar del sistema de referencia
inicial en H, en el que las coordenadas son {x, y}, al sistema de referencia de origen
c y ejes las rectas c + u1 , c + u2 , respecto del que las coordenadas son {
x, y}.
SiB representa
la matriz del cambio de base realizado en E , esto es B =
1 1 1
= (x + y 48 )
x
x
x
1/5
2
=B
+
=
1
y
y
5/8
y = (x y + 68 )
2
(e) Los ejes principales de la elipse son las rectas c+u1 , c+u2 de ecuaciones respectivas
6
4
y = 0 x y + = 0 ; x
=0x+y =0
8
8
(f ) Las medidas sobre los semiejes, a y b, la excentricidad y los focos F y F de la elipse,
respecto del sistema de referencia inicial, son
3
3
a=
; b=
16
32
c
3
2
= Excentricidad = =
c = a 2 b2 =
32
a
2
3
3
1
3+5
F = (
, 0) = F = (
,
)
32
8
8
3
31 3+5
F = (
, 0) = F = (
,
)
32
8
8
Ejemplo 5.4. Calcular el vertice, los ejes principales, la ecuacion reducida metrica, el foco y
la directriz de la par
abola del ejemplo ??
x2 2xy + y 2 + 4x 6y + 1 = 0
Soluci
on.
Sean G y G como en el ejemplo anterior.
1
2 3
1 1
G= 2
3 1 1
G =
1 1
1 1
0 0
|xI G | = x(x 2) Forma diagonal
=2
0 2
1
ker G x y = 0 v1 = (0, 1, 1)
2
1
ker(G 2I) x + y = 0 v2 = (0, 1, 1)
2
31 11
(b) Vertice de la par
abola V = ( , )
8
8
El vector e que define el vertice est
a en H, luego sus coordenadas son de a forma
e = (1, x, y), y verifica las condiciones T2 (e, e) = 0 , T2 (e, v1 ) = y T2 (e, v2 ) = 0 .
10
G. Serrano Sotelo
T2 (e, e) = 0 x2 2xy + y 2 + 4x 6y + 1 = 0
31
11
31 11
x= , y=
= e = (1, , )
8
8
8
8
T2 (e, v2 ) = 0 5 + 2x 2y = 0
(c) En la base {e, v1 , v2 } la matriz de T2 es
0
T2 (e, v1 ) 0
1
T2 (e, v1 )
0
0 , con T2 (e, v1 ) = ,
2
0
0
2
1
luego la ecuaci
on reducida metrica de la parabola es y2 = x
, donde x
y y son las
2
coordenadas asociadas a la base {v1 , v2 }.
(d ) Ecuaciones de la transformaci
on afn efectuada para pasar del sistema de referencia
inicial en H, en el que las coordenadas son {x, y}, al sistema de referencia de origen
e y ejes las rectas e + v1 , e + v2 , respecto del que las coordenadas son {
x, y}.
SiB representa
la
matriz
del
cambio
de
base
realizado
en
E
,
esto
es B =
1 1 1
= (x + y + 21
x
4 )
x
x
31/5
2
=B
+
=
1
y
y
11/8
y = (x y + 10
4 )
2
(e) Los ejes principales de la par
abola son las rectas e + v1 , e + v2 de ecuaciones
respectivas
10
21
Eje de simetra y = 0 x y +
=0 ; x
=0x+y+
=0
4
4
(f ) Calculemos por u
ltimo el foco F y la directriz d de la parabola, respecto de las
coordenadas iniciales x e y.
1
Comparando la ecuaci
on reducida metrica y2 = x
con y2 = 2px
x, resulta que
2
1
p = y las coordenadas del foco y la ecuacion de la directriz son (p/2, 0) y
2 2
x
= p/2.
En las coordenadas iniciales se tiene
30 10
F = ( , ) ; d x + y + 5 = 0
8
8
Clasificaci
on afn de cu
adricas en H R4 .
5.2.
11
Clasificacion afn de conicas y cuadricas
Paraboloide
reglado
y 2 z 2 2x = 0
4 (Irreducibles)
1
Paraboloide
no reglado
y 2 + z 2 2x = 0
Elipsoide
Elipsoide
real
imaginario
x2 + y 2 + z 2 = 1 x2 + y 2 + z 2 = 1
Hiperboloide
Hiperboloide
reglado
no reglado
x2 y 2 + z 2 = 1 x2 y 2 z 2 = 1
5.2 Clasificaci
on afn de cu
adricas en H R4
r
r i \i
11
Cilindro
imaginario
x2 + y 2 = 1
Cono
imaginario
x2 + y 2 + z 2 = 0
3 (Conos y Cilindros)
1
Cono real
x2 y 2 + z 2 = 0
Cilindro
hiperb
olico
x2 y 2 = 1
Cilindro
elptico
x2 + y 2 = 1
Cilindro
parab
olico
y 2 2x = 0
Par planos
reales
no paralelos
x2 y 2 = 0
Par planos
reales
paralelos
x2 = 1
Plano real
x=0
Par planos
imaginarios
no paralelos
x2 + y 2 = 0
Par planos
imaginarios
paralelos
x2 = 1
Espacio
afn
Par planos
reales
coincidentes
x2 = 0
Conjunto
vaco
12
G. Serrano Sotelo
3 0
0
0
2 1 1
0
2 1 1
G=
0 1 0 1 ; G = 1 0 1
1 1 2
0
1 1 2
r = 3 , i = 1
1 0 0
0 1 0
Es una cu
adrica irreducible con centro, de matriz reducida
0 0 1
0 0 0
ecuaci
on reducida afn x2 y 2 + z 2 = 1. Luego es un Hiperboloide reglado.
Calculemos su centro
Adj g10 Adj g20 Adj g30
,
,
) = (1, 0, 0, 0) ,
c = 1,
|G |
|G |
|G |
0
0
y
0
1
5
1
G=
2
3
1 2 3
0 0 2
0 2 0
2 0 0
0 0 2
= 0 2 0
2 0 0
r = 3 , i = 1
0 0 0 0
0 1 0 0
Es una cu
adrica degenerada con centro, de matriz reducida
0 0 1 0 y ecua0 0 0 1
2
2
2
cion reducida afn x y + z = 0, que representa una Superficie c
onica real.
13
Ejercicios.
x2 y 2 + 2xy 6x + 4y + 3 = 0
x2 + y 2 z 2 + 2xz 2x + 1 = 0 ,
14
G. Serrano Sotelo