Académique Documents
Professionnel Documents
Culture Documents
Ejercicio 1.1. Sea M un subconjunto de un espacio proyectivo P(E ) . Demostrar que M es una variedad
proyectiva si, y sólo si, para dos puntos cualquiera a, b M el subespacio V p (a, b ) está contenido en M .
Solución:
Supongamos que M P(L ) P(E ) es una variedad proyectiva, donde L E es su subespacio vectorial
subyacente, y sean a, b M tales que a [u ], b [v ] , con u, v L . Tenemos que
V p (a, b ) P( u v : , ) P(L ) M
Supongamos ahora que para dos puntos cualquiera a, b M el subespacio V p (a, b ) está contenido en M.
Sea L v E : [v ] M . Por tanto, sean a, b M tales que a [u ], b [v ] , con u, v L . Tenemos que
V p (a, b ) M . Por tanto
M v E : [v ] M (L 0 ) P(L )
Solución:
V p (A, B, C ) P(A B C )
V p (B, C ) P(B C )
Por tanto,
Ejercicio 1.3. Demostrar que si a0, , ar son puntos de un espacio proyectivo, entonces
dim V p (a 0 , , a r ) r si, y sólo si, a i V p (a 0 , , a r1 ) , para 1 i r .
Solución:
Por tanto, dim( 0 b 0 rbr : i ) r 1 . De aquí deducimos que los vectores b 0 , , br son
linealmente independientes.
Razonemos ahora por reducción al absurdo. Supongamos que para cierto i, 0 i r se tiene que
ai V p (a 0 , , a i1 )
Por tanto, b i 0 b 0 i1 b i1 para ciertos 0 , , i1 no todos nulos, y esto contradice que los
vectores b 0 , , b n son linealmente independientes. Por lo tanto, tenemos que a i V p (a 0 , , a i1 ) , para
1 i r.
Sea t max i : i 0 . Obsérvese que t 1 , pues es absurdo que t 0 , pues entonces el vector b 0 sería
nulo. Por tanto, tenemos que
0 t1
bt b0 b t1
t t
resultando que
por tanto
Ejercicio 1.4. Demostrar que si H 1 , , H r son hiperplanos de un espacio proyectivo n -dimensional, donde
n r , entonces H 1 Hr .
Solución:
Sea E el espacio vectorial subyacente del espacio proyectivo. Tenemos entonces que dim E n 1 . Para
cada H i , 1 i r , sea E i el subespacio vectorial de E tal que H i P(E i ) . Sabemos que dim E i n
para todo i . Por tanto, si B es una base del espacio vectorial E , cada E i está definido por una única
ecuación con respecto a dicha base:
Ei a i1 x 1 a i2 x 2 a i,r1 x r1 0
Por tanto, tenemos que E 1 E r está definido por el sistema de ecuaciones obtenido con las r
ecuaciones de los subespacios vectoriales E i . Por tanto, tenemos que
a 11 x 1 a 12 x 2 a 1,r1 x r1 0
a 21 x 1 a 22 x 2 a 2,r1 x r1 0
E1 Er
a r1 x 1 a r2 x 2 a r,r1 x r1 0
Y tenemos que
a 11 a 12 a 1,r1 a 11 a 12 a 1,r1
a 21 a 22 a 2,r1 a 21 a 22 a 2,r1
dim(E 1 E r ) dim E rg n 1 rg n1r r1r1
a r1 a r2 a r,r1 a r1 a r2 a r,r1