Geo04 05 Artal

Enrique Artal Bartolo CURSO 04-05
ndice general
1. Geometra afn 1.1. Espacio afn . . . . . . . . . . . . . . . . . 1.2. Subespacios anes . . . . . . . . . . . . . 1.3. Anidades y aplicaciones anes . . . . . . 1.4. Razn simple y coordenadas baricntricas 1.5. Ms sobre aplicaciones anes y anidades 2. Espacios proyectivos 2.1. Recta proyectiva . . . . . . . . . . . . . . 2.2. El plano ampliado . . . . . . . . . . . . . 2.3. Denicin general de espacios proyectivos 2.4. Homografas y aplicaciones proyectivas . . 2.5. Referencias proyectivas y razn doble . . . 2.6. Relacin afn-proyectivo . . . . . . . . . . 2.7. Dualidad proyectiva . . . . . . . . . . . . 1 1 5 10 16 20 25 25 30 32 35 37 41 49 53 53 56 58 61 64 66
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
3. Cnicas y cudricas 3.1. Formas bilineales simtricas y cudricas . . . 3.2. Transformacin polo-polar . . . . . . . . . . . 3.3. Cnicas proyectivas no degeneradas no vacas 3.4. Cnicas anes . . . . . . . . . . . . . . . . . . 3.5. Cudricas anes en A3 . . . . . . . . . . . . . R 3.6. Haces de cnicas . . . . . . . . . . . . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
Captulo 1
Geometra afn
1.1. Espacio afn
Consideremos R el cuerpo de los nmeros reales y que habitualmente identicamos como la recta real. Una de las propiedades intuitivas de la recta es su isotropa; sin embargo, R cuenta con dos puntos distinguidos: 0 y 1. Ejemplo 1.1.1. Consideremos el siguiente objeto que procede del lgebra lineal: H := {(x, y) R2 | x + y = 0}. Se trata de la solucin de un sistema lineal homogneo. Por tanto, se trata de un subespacio vectorial de dimensin 1. Sabemos que admite una solucin que depende de un parmetro x = t, y = t. Esto se puede enunciar de otra manera: la aplicacin f : R H dada por f (t) := (t, t), t R, es una biyeccin. Recordemos que R tambin tiene estructura de espacio vectorial y es inmediato comprobar que f es un isomorsmo lineal. Podramos estar tentados de identicar R y H mediante f ; esto tendra sentido si f fuera el nico isomorsmo lineal entre R y H. Una base de R como espacio vectorial es {1}; como f es un isomorsmo, {f (1) = (1, 1)} es una base de H. Sin embargo {1} no es la nica base de R; si t R , {t} es base de R. Por tanto, existe un nico isomorsmo lineal ft : R H tal que ft (t) = (1, 1). Es fcil, comprobar, que si x R, ft (x) = (t1 x, t1 x). De hecho es fcil comprobar que {ft }tR es la familia de todos los isomorsmos de R en H. As, hay demasiadas maneras de identicar H con R. Nos interesa ver cul es la diferencia entre todas ellas. Consideremos la aplicacin t := ft1 f . H f d ft d t E R. R Estas aplicaciones completan todos los automorsmos lineales de R. Es fcil comprobar que t (x) := tx. De aqu extraemos varias consecuencias: 1
CAPTULO 1. GEOMETRA AFN 0 sigue siendo un elemento distinguido, pero 1 no lo es. Supongamos que quisiramos asociar un nmero real que exprese v1 v2 , con v1 , v2 H. Una forma de hacerlo es considerar ai := f 1 (vi ), i = 1, 2, y denir v1 v2 = a1 a2 . Como f solo es un isomorsmo, esto se podra haber hecho a partir de ft1 (vi ) = t (ai ) = tai , y obtendramos v1 v2 = t2 a1 a2 . Esto no funciona. Sin embargo, si el mismo razonamiento lo hacemos con v1 , v2 = 0, entonces el resultado v2 a1 a2 no depende de la eleccin de ft . Ntese que {v2 } es base de H y que se tiene la igualdad v1 = v1 v2 , lo que demuestra tambin que esta divisin tiene sentido. v2
Ejemplo 1.1.2. Consideremos ahora: L := {(x, y) R2 | x + y = 1}. Se trata de la solucin de un sistema lineal no homogneo y su solucin (que existe) carece por el momento de estructura. Sabemos que se puede expresar mediante un parmetro x = t, y = 1 t. Tenemos pues una biyeccin g : R L dada por f (t) := (t, 1 t), t R. Podemos identicar R y L mediante g. La construccin de g tambin proviene del lgebra lineal: En primer lugar hemos elegido una solucin particular (0, 1) de L. Podramos haber elegido (a, 1 a), a R. En segundo lugar hemos sumado esa solucin a cualquier solucin del sistema homogneo asociado, cuya solucin es H. Los vectores de H se parametrizan mediante f , pero tambin podramos haber elegido ft , t R . Es decir, tenemos una familia de biyecciones ga,t : R L, (a, t) R R , tal que ga,t (x) = (a + t1 x, 1 a t1 x). Son todas las que se obtienen a partir de los mtodos clsicos del lgebra lineal. Las distintas maneras de identicar L con R se diferencian mediante una biyeccin a,t := 1 gt g. L g d gt d a,t E R. R Es fcil comprobar que t (x) := t(x a). De aqu extraemos varias consecuencias: Con estas aplicaciones, R ya no tiene elementos distinguidos. Si queremos buscar un proceso que asocie un nmero real bien denido, este puede ser P3 P1 1 (vi ), i = 1, 2, 3, podemos denir P2 P1 , donde P1 , P2 , P3 L, P1 = P2 . Si ai := g 1 P3 P1 a3 a1 = a2 a1 . Si lo hacemos a partir de ga,t (Pi ) = a,t (ai ) = t(ai a), el resultado P2 P1 no vara. Por otra parte, aunque L no tiene estructura, es fcil ver:
1.1. ESPACIO AFN P L y v H = P + v L. P, Q L = Q P H.
Vamos a denir el concepto de espacio afn de manera abstracta, en cualquier dimensin. Se podra hacer par cualquier cuerpo k (Q, C, Fp , con p primo), pero jaremos las ideas con k = R. En su momento sealaremos cundo el tomar otro cuerpo cambia las cosas. Denicin 1.1.3. Sea V un R-espacio vectorial. Un espacio afn de espacio director V es un par (A, ) donde A es un conjunto y : A V A es una aplicacin llamada traslacin tal que, si denotamos (P, v) := P + v, P A, v V , se tiene: (a) P A, v, w V , P + (v + w) = (P + v) + w; (b) P A, P + 0 = P ; (c) P, Q A, !v V tal que P + v = Q. Denotaremos v := Q P v := P Q. Nota 1.1.4. Sea (A, ) un espacio afn de espacio director V . Si no hay lugar a confusin diremos habitualmente A espacio afn. Si queremos poner en evidencia cul es el cuerpo, diremos que A es un k-espacio afn. El espacio director V de A se denotar A. Denotaremos tambin, dado P A, P : V A, la aplicacin tal que P (v) := P + v. Ejercicio 1.1. Demuestra que P es biyectiva y que si Q A, entonces 1 (Q) = P Q = P QP . Esta biyeccin nos identica el espacio afn con el espacio vectorial una vez que hemos jado un origen. Ejemplo 1.1.5. Veamos algunos ejemplos de espacios anes. (i) El Ejemplo 1.1.2, con A := L y V := H. En general, podemos considerar como A el conjunto de soluciones de un sistema lineal no homogneo compatible y como V el conjunto de soluciones del sistema homogneo asociado. (ii) Sea V un espacio vectorial. La aplicacin suma : V V V , (v, w) := v + w, induce en V una estructura natural de espacio afn sobre V . (iii) Un caso particular del anterior es Rn , n N. Este espacio se denomina habitualmente An . Con esta notacin queremos sealar que podemos cambiar el origen de posicin. R Nota 1.1.6. Vamos a expresar las propiedades (a), (b) y (c) de la denicin 1.1.3 de una forma ms geomtrica. Sean P, Q, R A, A espacio afn. Se tiene: (1) P + P Q = Q. (2) P Q + QR = P R. En efecto, R = P + P R y P + (P Q + QR) = (P + P Q) + QR = Q + QR = R. (3) P Q + QP = 0, P P = 0.
4 (4) P (Q + v) = P Q + v, (P + v)Q = P Q v.
CAPTULO 1. GEOMETRA AFN
(5) Si denotamos P v := P + (v) es fcil ver que Q = P + (v + w) Q w = P + v. Vamos a generalizar el ejemplo 1.1.2. Proposicin 1.1.7. Sean V, W espacios vectoriales y sea : V W una aplicacin lineal. Denotemos H := ker y sea w Im W . Sea A := 1 (w). Mediante la aplicacin suma, A es un espacio afn sobre H. Demostracin. Sea v H y sea P A; es decir, (v) = 0 y (P ) = w. Por tanto, (P + v) = w y P +v A. Por tanto, : AV A, (P, v) := P +v, est bien denida. Las propiedades (a) y (b) de la denicin 1.1.3 son inmediatas. Vamos a vericar (c). Sean P, Q A. Basta comprobar que v := Q P H lo que es inmediato. Denicin 1.1.8. La dimensin de un espacio afn es la dimensin vectorial del espacio vectorial asociado. Los espacios anes de dimensin 1 se llaman rectas y los de dimensin 2 se llaman planos. Nota 1.1.9. Sea A un espacio afn de espacio director V de dimensin n. Sea P A y sea n v1 , . . . , vn una base de V . Entonces A = {P + j=1 ti vi | t1 , . . . , tn R}. En particular, si n = 1, y tomamos P, Q A, P = Q, entonces P Q da lugar a una base de V y A = {P +tP Q | t R}. La igualdad general proviene de la eleccin de P , la utilizacin de P : V A y de la eleccin de de una base de V . Observemos que si elegimos otro punto Q A, tenemos una biyeccin 1 P : V V . Si v V , Q 1 P (v) = 1 (P (v)) = 1 (P + v) = Q(P + v) = v P Q. Q Q Q Es decir, al comparar ambas identicaciones, obtenemos una traslacin en V .
1.2. SUBESPACIOS AFINES
1.2.
Subespacios anes
Como en el caso de espacios vectoriales, en los espacios anes tambin hay nocin de subespacio afn. Para ello utilizamos la forma de obtener las soluciones de una ecuacin lineal no homognea. Denicin 1.2.1. Sea A un espacio afn y sea = S A. Diremos que S es un subespacio afn de A si existe un subespacio vectorial H A de forma que para algn P S se tiene que S = P (H), es decir, S = P + H = {P + v | v H}. Nota 1.2.2. Sea S un subespacio afn de A y sean P S, H subespacio de A tal que S = P + H. Entonces, si Q S, se tiene que S = Q + H. Recordemos que QP H. En efecto, R S v H R = P + v = Q + QP + v w H R = Q + w R Q + H.
Por ello, tiene sentido la denicin siguiente. Denicin 1.2.3. Sea S un subespacio afn de un espacio afn A. Al nico subespacio vectorial S de A que cumple que P S, S = P + S se le llama subespacio director de S. La dimensin de S es la de S. Los subespacios de dimensin 0, 1, 2 se llaman puntos, rectas, planos, respectivamente. La codimensin es la diferencia de dimensiones con el espacio afn que lo contiene. Los subespacios de codimensin 1 se llaman hiperplanos. Ejemplo 1.2.4. El ejemplo ms importante de subespacio afn son las rectas. En este caso a los vectores que engendran el subespacio director se les llama vectores directores de la recta. En el caso de A2 , las rectas son los subconjuntos con las siguientes ecuaciones: R ax + by + 1 = 0, (a, b) R2 \ {(0, 0)}. ax + y = 0, a R. x = 0. Nota 1.2.5. Sea S un subespacio afn de un espacio afn A y sea P S. Entonces, S = 1 (S) = {P Q A | Q S}. P Ejercicio 1.2. Sea A un espacio afn y sea S un subconjunto no vaco. Dado P S deno temos H P := {P Q V | Q S}. Demostrar que S es subespacio afn si y solo si H P es subespacio vectorial. Ejercicio 1.3. Los subespacios anes son espacios anes. Es ms, la propiedad de ser subespacio afn es transitiva. Ejercicio 1.4. Sea A un espacio afn y sean S1 , S2 A subespacios anes. Entonces: (1) S1 S2 si y solo si S1 S2 = y S1 S2 .
(2) Si S1 S2 y dim S1 = dim S2 < entonces S1 = S2 . Este resultado es esencial en geometra afn. Proposicin 1.2.6. Por dos puntos distintos P y Q de un espacio afn pasa exactamente una recta denotada (P, Q). Ejercicio 1.5. Demuestra la Proposicin 1.2.6. Teorema 1.2.7. Sea A un espacio afn, y sea = S A. Entonces, S es subespacio afn si y solo si P, Q S, P = Q, (P, Q) S. Demostracin. La direccin es sencilla. Sean P, Q S, P = Q. Entonces, S = P + S y v := P Q S. Por tanto, (P, Q) = {P + tv | t R} S. Pasemos ahora a la direccin . Como S es no vaco elegimos P S. Segn hemos visto en el Ejercicio 1.2, basta que veamos que H = {P Q A | Q S} es subespacio vectorial de A; si es as, se trata del subespacio director de S. Para ello, Sea v H y sea t R. Si v = 0, tv = 0, por lo que como P = P + 0, entonces, 0 H. Supongamos ahora que v = 0. Como v H se tiene que Q := P + v S y Q = P . Por hiptesis la recta que une P y Q est contenida en S. Es decir, t R, P + tv S, y por tanto tv H. Sean v, w H. Por el apartado anterior podemos suponer que v, w son linealmente independientes. Denotemos Q := P + v y R := P + w. Por hiptesis, Q, R S y Q = R, por lo que la recta L que pasa por P y Q es un subconjunto de S. Observemos que QR = w v; tenemos que T := Q + wv S. Tenemos 2 T =Q+ Por tanto,
v+w 2
wv wv v+w =P +v+ =P + . 2 2 2
H y por el apartado anterior tenemos que v + w H.
Nota 1.2.8. Este resultado sigue siendo cierto si cambiamos R por un cuerpo de caracterstica distinta de 2. Ejemplo 1.2.9. Estudiemos cmo se representan los subespacios de An los subespacios R tienen varias posibles representaciones. Sea S = P + H un subespacio afn de dimensin k de An . Supongamos que P = R (x0 , . . . , x0 ). Hay varias formas de representar el subespacio vectorial H. Si nos damos una n 1 base v1 , . . . , vk H tal que vi = (xi , . . . , xi ), i = 1, . . . , k, entonces (y1 , . . . , yn ) S si y solo n 1 si existen 1 , . . . , k R tales que
k
yj = x0 + j
i=1
i xi , j
j = 1, . . . , n.
1.2. SUBESPACIOS AFINES Esta expresin se llama ecuacin paramtrica de S. Supongamos que H es la solucin de la ecuacin homognea a11 x1 . . . al1 x1 + ... .. . + ... + a1n xn . . . + aln xn = = 0 . . . 0.
Recordemos que k es igual a n l donde l es el rango de la matriz de coecientes de la ecuacin. Sea bj = aj1 x0 + + ajn x0 , j = 1, . . . , l. Entonces, S es el conjunto de soluciones n 1 de a11 x1 + . . . + a1n xn = b1 . . . .. . . . . . . . al1 x1 + . . . + aln xn = bl . Proposicin 1.2.10. Sea A un espacio afn y sean Si , i I, subespacios anes no disjuntos. Entonces S := iI Si es subespacio afn. Demostracin. Sea P S; denotemos H :=
iI
Si . Entonces, S = P + H.
Denicin 1.2.11. Sea A un espacio afn y sean S1 , S2 dos subespacios anes de A. Diremos que son paralelos si hay alguna inclusin entre S1 y S2 . Nota 1.2.12. Por el Ejercicio 1.4(1), si dos subespacios anes son paralelos, o bien son disjuntos o bien uno de ellos est incluido en el otro. Denicin 1.2.13. Sea A un espacio afn y sean S1 , S2 dos subespacios anes de A. Diremos que se cruzan si son disjuntos y no paralelos. Diremos que se cruzan estrictamente si adems S1 S2 = {0} Ejercicio 1.6. Sea A un plano afn y sean L1 , L2 dos rectas distintas de A. Demuestra que si L1 , L2 no son paralelas, entonces L1 L2 es un nico punto, y que si son paralelas entonces L1 L2 = . Denicin 1.2.14. Sea A un espacio afn y sea = A A. El subespacio afn (A) engendrado por A es el menor subespacio afn que contiene a A (i.e., la interseccin de todos los subespacios anes que contienen a A); su subespacio director se denota (A). Si A = {P1 , . . . , Pk } es nito, denotaremos (A) = (P1 , . . . , Pk ). Ms en general, si S1 , . . . , Sr son subespacios anes, denotaremos (S1 Sr ) = (S1 , . . . , Sr ). Ejercicio 1.7. Sea A un espacio afn de dimensin 3 y sean L1 , L2 dos rectas distintas de A. Caracteriza las posibles posiciones relativas en funcin de su interseccin y del subespacio que engendran. Vamos a estudiar la relacin entre dimensin, interseccin y subespacio engendrado por. Lema 1.2.15. Sea A un espacio afn y sean S1 , S2 subespacios anes. Si Pi Si , i = 1, 2, entonces (S1 , S2 ) = S1 + S2 + R P1 P2 .
Demostracin. Denotaremos H al subespacio suma de la derecha de la igualdad. Sea T un subespacio afn tal que S1 , S2 T . Es claro que S1 , S2 T . Adems, como P1 , P2 T , se tiene que P1 P2 T . Por tanto H T y por denicin de (S1 , S2 ), tenemos que H (S1 , S2 ). Sea U := P1 + H. Veamos que S1 , S2 U . Si Q S1 , entonces, P1 Q S1 H, por lo que Q U . Si Q S2 , entonces, P2 Q S2 , por lo que P1 Q = P1 P2 + P2 Q H, es decir, Q U . Deducimos que (S1 , S2 ) U y (S1 , S2 ) U . Lema 1.2.16. Sea A un espacio afn y sean S1 , S2 subespacios anes. Entonces (S1 , S2 ) = S1 + S2 S1 S2 = . Demostracin. Si S1 S2 = , sea P S1 S2 . Si elegimos P1 = P2 = P , entonces, se sigue de Lema 1.2.15. Si (S1 , S2 ) = S1 + S2 , tenemos que P1 P2 S1 + S2 . Sean vi Si , i = 1, 2, tales que P1 P2 = v1 + v2 . Por tanto, P2 = P1 + P1 P2 = P1 + v1 + v2 . Es decir, P2 v2 = P1 + v1 S1 S2 . Estos dos sencillos lemas nos permiten enunciar resultados sobre posicin relativa y dimensin. Proposicin 1.2.17. Sea A un espacio afn y sean S1 , S2 subespacios anes de dimensin nita. Entonces (a) Si S1 S2 = , dim (S1 , S2 ) + dim S1 S2 = dim S1 + dim S2 . (b) Si S1 S2 = , dim (S1 , S2 ) + dim S1 S2 = dim S1 + dim S2 + 1. Demostracin. El caso (a) es una consecuencia del Lema 1.2.16 y de la frmula de dimensiones para subespacios vectoriales. Lo mismo se aplica para el caso (b), teniendo en cuenta que por los dos lemas 1.2.15 y 1.2.16 se tiene que (S1 , S2 ) = (S1 + S2 ) R P1 P2 con P1 P2 = 0. Corolario 1.2.18. Sea A un espacio afn de dimensin nita y sean S1 , S2 subespacios anes distintos. Entonces: (1) Si S1 + S2 = A, entonces S1 S2 = . (2) Si S1 , S2 son paralelos y S1 S2 = , entonces dim (S1 , S2 ) = mx{dim S1 , dim S2 } + 1. a (3) Si S1 , S2 se cruzan estrictamente, entonces dim (S1 , S2 ) = dim S1 + dim S2 + 1. Demostracin. Para el caso (1), por el Lema 1.2.16 tenemos que (S1 , S2 ) S1 + S2 = A, por lo que aplicando el Lema 1.2.15 se tiene el resultado. Para los casos (2) y (3), aplicamos la Proposicin 1.2.17(b). Ejercicio 1.8. Resuelve los Ejercicios 1.5, 1.6 y 1.7, utilizando los resultados anteriores.
1.2. SUBESPACIOS AFINES
Corolario 1.2.19. Sean A espacio afn, P0 , . . . , Pk A. Entonces, dim (P0 , P1 , . . . , Pk ) k. De hecho (P0 , P1 , . . . , Pk ) = k P0 P1 , . . . , P0 Pk . Demostracin. Se demuestra por induccin sobre k. Si k = 0, el resultado es inmediato. Supongamos que es cierto hasta k 1. Como (P0 , P1 , . . . , Pk ) = ((P0 , P1 , . . . , Pk1 ), Pk ), se tiene dim (P0 , P1 , . . . , Pk ) dim (P0 , P1 , . . . , Pk1 ) + 1. En efecto, si Pk (P0 , P1 , . . . , Pk1 ), es obvio; si Pk (P0 , P1 , . . . , Pk1 ), como son / paralelos, se tiene, por el Corolario 1.2.18(2), la igualdad. La hiptesis de induccin da el primer resultado. El segundo resultado se prueba fcilmente. Corolario 1.2.20. Sea A un espacio afn y sea S un subespacio afn de dimensin k. Entonces, existen P0 , P1 . . . , Pk S tal que (P0 , P1 , . . . , Pk ) = S. Demostracin. Como S es no vaco, elegimos arbitrariamente P0 S. Si dim S = 0, ya est; si no, podemos elegir P1 S \ (P0 ). Por el Corolario 1.2.18(3), dim (P0 , P1 ) = 1. / Inductivamente, llegamos al resultado.
10
1.3.
Anidades y aplicaciones anes
En esta seccin nos vamos a ocupar de las aplicaciones que funcionan bien entre espacios anes. Antes de tratar el caso general, vamos a considerar las biyecciones. Parece natural pedir que las aplicaciones interesantes respeten el concepto de subespacio afn. Por razones tcnicas supondremos que no estamos con rectas anes. Mientras no indiquemos lo contrario los siguientes resultados son vlidos si k es un cuerpo de caracterstica distinta de 2. Denicin 1.3.1. Sean A1 , A2 espacios anes de dimensin mayor que 1. Diremos que una aplicacin biyectiva : A1 A2 es una anidad si S (resp. T ) subespacio afn de A1 (resp. A2 ) se tiene que (S) (resp. 1 (T )) es subespacio afn de A2 (resp. A1 ). Ejemplo 1.3.2. Comenzamos con ejemplos sencillos de anidades. (a) Sea A un espacio afn y sea P A. Consideremos A como espacio afn. Por denicin de subespacio afn, es inmediato que P : A A es una anidad. (b) Sea V un espacio vectorial (visto como espacio afn) y sea v V . La traslacin v : V V , v (w) := v + w, es una anidad. (c) Sean V, W espacios vectoriales de la misma dimensin y sea : V W un isomorsmo lineal. Entonces es una anidad. (d) La identidad de un espacio afn es una anidad. La composicin de anidades es anidad y la inversa de una anidad tambin lo es. Vamos a ver propiedades sencillas de las anidades. Lema 1.3.3. Sea : A1 A2 una anidad entre espacios anes de dimensin nita (> 1). Sea S un subespacio afn de A1 . Entonces dim S = dim (S). Demostracin. Sea k := dim S. Por el Lema 1.2.20, existen P0 , P1 , . . . , Pk S tales que S = (P0 , P1 , . . . , Pk ). Denotemos Qi := (Pi ), i = 0, 1, . . . , k. Como (S) es un subespacio afn de A2 que contiene a Qi , i = 0, 1, . . . , k, tenemos que T := (Q0 , Q1 , . . . , Qk ) (S). Como Pi 1 (T ), i = 0, 1, . . . , k, tenemos que S = (P0 , P1 , . . . , Pk ) 1 (T ) S, de donde deducimos que T = (S). En particular, utilizando el Corolario 1.2.19, que dim S = k dim (S). Como 1 tambin es anidad, deducimos que dim S dim (S), lo que nos da el resultado. Lema 1.3.4. Sea : A1 A2 una anidad entre espacios anes de dimensin nita (> 1). Sean L1 , L2 rectas paralelas de A1 . Entonces (L1 ), (L2 ) son rectas paralelas de A2 . Demostracin. Podemos suponer que L1 = L2 . Por tanto, son disjuntas y lo mismo ocurre para (L1 ), (L2 ). Sea := (L1 , L2 ); por el Corolario 1.2.18(2), tenemos dim = 2. Aplicando el Lema 1.3.3, deducimos que () tambin es un plano. Como (L1 ), (L2 ) son rectas disjuntas en un plano, son paralelas.
1.3. AFINIDADES Y APLICACIONES AFINES
11
Como consecuencia de estos resultados, vamos a ver que se puede relajar enormemente las condiciones de la denicin de anidad. Teorema 1.3.5. Sea : A1 A2 una aplicacin biyectiva entre espacios anes de dimensin nita (> 1). Entonces es anidad si y solo si L recta de A1 , se tiene que (L) es una recta de A2 . Demostracin. La implicacin se deduce de la denicin y del Lema 1.3.3. Estudiemos la otra implicacin. Veamos en primer lugar que la aplicacin 1 posee la misma propiedad. Sea M una recta de A2 ; elegimos dos puntos distintos Q1 , Q2 M , por lo que M = (Q1 , Q2 ). Sea Pi := 1 (Qi ), i = 1, 2 y denotemos L := (P1 , P2 ), recta de A1 . Por hiptesis, (L) es una recta de A2 ; como Q1 , Q2 (L), tenemos que M = (Q1 , Q2 ) (L). Como ambas son rectas, utilizando el Ejercicio 1.4(2), tenemos la igualdad y deducimos que la preimagen de una recta es una recta. Sea ahora S un subespacio afn de A1 . Sean Q1 , Q2 (S), Q1 = Q2 . Denotemos Pi := 1 (Qi ), i = 1, 2; tenemos que P1 , P2 S. Por tanto, (P1 , P2 ) S. Por hiptesis, (Q1 , Q2 ) = ((P1 , P2 )) (S). Por el Teorema 1.2.7, hemos visto que (S) es subespacio afn de A2 . Como 1 cumple la misma propiedad, es una anidad. Aunque se haya simplicado la forma de vericar que una biyeccin es una anidad, todava no tenemos criterios efectivos para caracterizar las anidades. Nota 1.3.6. Sea : A1 A2 una anidad, 1 < dim A1 , A2 < . Sea P A1 , Q := (P ). Consideremos el diagrama: A1 A2 Q P A1 A2 . La aplicacin P := 1 P es una aplicacin A1 A2 tal que Q P (0) = 1 ((P (0))) = 1 ((P )) = 1 (Q) = 0. Q Q Q Como es composicin de anidades, se trata de una anidad. Para comprender las anidades, basta estudiar las anidades entre espacios vectoriales que respeten los elementos neutros. Lema 1.3.7. Sean V, W espacios vectoriales de dimensin nita mayor que 1. Sea : V W una anidad tal que (0) = 0. Sean v1 , v2 V vectores linealmente independientes. Entonces, (v1 + v2 ) = (v1 ) + (v2 ). Demostracin. Denotemos Li := (0, vi ), i = 1, 2. Se trata de dos rectas no paralelas de V que se cortan en el origen. Sea M1 la recta paralela a L1 y que pasa por v2 ; denotaremos M2 la recta paralela a L2 y que pasa por v1 . Observemos que M1 = {v2 + tv1 | t R} y M2 = {v1 + tv2 | t R}. Son dos rectas no paralelas con un punto de interseccin v1 + v2 , ver Figura 1.1; la construccin de este paralelogramo nos da un mtodo geomtrico para construir la suma.
Lema 1.3.9. Sean V, W espacios vectoriales de dimensin nita mayor que 1. Sea : V W una anidad tal que (0) = 0. Sean v1 , v2 V ; entonces, (v1 + v2 ) = (v1 ) + (v2 ).
Lema 1.3.8. Sean V, W espacios vectoriales de dimensin nita mayor que 1. Sea : V W una anidad tal que (0) = 0. Si v V , entonces, (v) = (v).
12
Aplicando los Lemas 1.3.7 y 1.3.8 obtenemos el resultado. y deducimos el resultado.
Demostracin. Por el Lema 1.3.7, podemos suponer que v1 , v2 son linealmente dependientes. Adems podemos suponer que v1 , v2 = 0. Por el Lema 1.3.8, tambin podemos suponer que v1 + v2 = 0. Elegimos w linealmente independiente con v1 y aplicando de nuevo el Lema 1.3.7 a los pares de vectores subrayados, obtenemos:
Lema 1.3.10. Sean V, W espacios vectoriales de dimensin nita mayor que 1. Sea : V W una anidad tal que (0) = 0. Sean v V y t Q; entonces, (tv) = t(v). Nos estamos acercando a demostrar que las aplicaciones que estamos estudiando son lineales. Veamos un nuevo paso.

v2 L2 v1
y deducimos el resultado.
Demostracin. Podemos suponer que v = 0. Sea w linealmente independiente con v. Entonces, aplicando el Lema 1.3.7 a los pares de vectores subrayados, obtenemos:
(v1 + v2 ) = (v1 + v2 + w + (w)) = (v1 + w + v2 ) + (w) = (v1 + w) + (v2 ) + (w). Al pasar a W tenemos que (Li ) = (0, (vi )), i = 1, 2. Por el Lema 1.3.4, tenemos que (M1 ) es la recta paralela a (L1 ) que pasa por (v2 ) y (M2 ) es la recta paralela a (L2 ) que pasa por (v1 ). Por el mtodo del paralelogramo, (M1 ) (M2 ) = {(v1 ) + (v2 )}. Por otra parte, (M1 )(M2 ) = (M1 M2 ) = {(v1 +v2 )}, por lo que se tiene el resultado. (w) = (w + v + (v)) = (w + v) + (v) = (w) + (v) + (v) M1 0v2 = v2 Figura 1.1: Paralelogramo 0 0v1 = v1 CAPTULO 1. GEOMETRA AFN v1 + v2 = M1 M2 L1 M2
13
Demostracin. Para que el resultado no sea trivial, podemos suponer que v = 0. El resultado es trivialmente cierto para t = 0, 1; para t = 1 es consecuencia del Lema 1.3.8. Si t Z>0 , entonces (tv) = (v) + + (v) = t(v)
t veces
por lo que el resultado tambin se cumple. Aplicando el Lema 1.3.8 se obtiene la igualdad para t Z<0 . Por tanto, el resultado es cierto si t Z. Si t Z>0 , entonces (v) = 1 v + + t
t veces
1 v t
= t
1 v t
por lo que el resultado es cierto para 1 . Por n, si t = t (tv) = n lo que da el resultado. 1 v m = n 1 v m
n m,
n Z, m Z > 0, se tiene: n (v) = t(v), m
Para probar la linealidad, todava nos queda estudiar lo que pasa al multiplicar por un escalar irracional. Fijemos V, W espacios vectoriales de dimensin nita mayor que 1 y : V W una anidad tal que (0) = 0. Si v V \ {0} y t R, denimos v (t) como el nico escalar tal que (tv) = v (t)(v). Acabamos de ver en el Lema 1.3.10, que v (t) = t, si t Q. Lema 1.3.11. Con las hiptesis anteriores, v es independiente de v y se denota . Demostracin. Escojamos u, v V linealmente independientes. Sea t R . Sea L1 := (u, v) y sea Lt := (tu, tv). Como vectores directores de estas rectas, podemos tomar vu y t(vu). Como son linealmente dependientes, las rectas L1 y Lt son paralelas. Este proceso relaciona el paralelismo de rectas y el producto por un escalar.
Figura 1.2: Producto y paralelismo
Por el Lema 1.3.4, las rectas (L1 ), (Lt ) son paralelas. Por otra parte, estas rectas son (L1 ) = ((u), (v)) y (Lt ) = ((tu), (tv)) = (u (t)(u), v (t)(v)). Como vectores

tv vu u
tvtu = t(vu) tu
14
directores de estas rectas podemos tomar (v) (u) y v (t)(v) u (t)(u). Estos vectores son linealmente dependientes, es decir, v (t) = u (t). Si u, v son linealmente dependientes, tomando como pivote un vector linealmente independiente con ellos, obtenemos tambin la igualdad. Lema 1.3.12. Con las hiptesis anteriores, (t+s) = (t)+(s), (ts) = (t)(s), t, s R. Demostracin. Sea v V \ {0}. La primera igualdad es consecuencia del Lema 1.3.9. Para el producto, (ts)(v) = (tsv) = (t)(sv) = (t)(s)(v). Como (v) = 0, se tiene el resultado. Para continuar, necesitamos un resultado auxiliar. Observemos que por el enunciado (uso de la relacin de orden) no ser vlido en cuerpos arbitrarios. Lema 1.3.13. Con las hiptesis anteriores, si t < s, (t) < (s). Demostracin. Por el Lema 1.3.12, basta que veamos que si t > 0, (t) > 0. En efecto, si t > 0, 2 (t) = ( t ) = ( t)2 > 0.
Lema 1.3.14. Con las hiptesis anteriores, t R, (t) = t. Demostracin. Supongamos que para algn t R, (t) = t. Multiplicando eventualmente por 1, podemos suponer que t < (t). Sea r Q tal que t < r < (t). Por el Lema 1.3.13, tenemos que (t) < (r) = r, lo que da contradiccin. Hemos demostrado el teorema siguiente. Teorema 1.3.15. Sean V, W espacios vectoriales de dimensin nita mayor que 1. Sea : V W una anidad tal que (0) = 0. Entonces es lineal. Corolario 1.3.16. Si existe una anidad entre dos espacios anes de dimensin nita, estos deben tener la misma dimensin. Demostracin. Por la Nota 1.3.6, la anidad induce una aplicacin biyectiva entre los espacios directores. Por el Teorema 1.3.15 esta aplicacin es lineal, por lo que las dimensiones coinciden. Ejercicio 1.9. Consideremos la aplicacin : C2 C2 dada por (x, y) := (, y ). Demuesx 2 tra que es una anidad de AC que respeta el origen, pero que no es lineal. Fijado un punto en el espacio de partida, hemos asociado en la Nota 1.3.6 a cualquier anidad una aplicacin que ha resultado ser un isomorsmo lineal, por el Teorema 1.3.15. Veremos que no depende del punto elegido en un contexto ms general.
15
Proposicin 1.3.17. Sean A1 , A2 espacios anes y sea : A1 A2 una aplicacin. Dado P A1 , denotamos P := 1 ) P : A1 A2 . Si existe P A1 tal que P es lineal, (P entonces P = Q , Q A1 . Demostracin. Sea P A1 tal que P es lineal. Sea R A1 . Observemos que P (P R) = 1 ) (R) = (P )(R). (P De la misma forma, si Q A1 , Q (QR) = (Q)(R). Por tanto, Q (QR) = (Q)(R) = (P )(R) (P )(Q) = P (P R) P (P Q). Por linealidad, Q (QR) = P (P R P Q) = P (QR).
Estos resultados nos van a permitir dar una denicin de aplicacin afn (sin exigir biyectividad) que en el caso biyectivo de dimensin mayor que 1, extiende la Denicin 1.3.1 de anidad. Denicin 1.3.18. Sean A1 , A2 espacios anes y : A1 A2 una aplicacin. Diremos que es una aplicacin afn (anidad si es biyectiva) si existe una aplicacin lineal : A1 A2 (llamada aplicacin lineal directora) tal que P A1 se tiene P = (P ) . Por la Proposicin 1.3.17, basta encontrar dicha aplicacin para un P A1 . Ejemplo 1.3.19. Vamos a estudiar todas las anidades : A1 A1 . Sea a := (0). R Siguiendo la Denicin 1.3.18, tenemos que : R R es una isomorsmo lineal, es decir, existe b R tal que (t) = bt, t R. Como = a 1 , y a es la traslacin por a, 0 tenemos que (t) = bt + a. La siguiente proposicin es sencilla. Proposicin 1.3.20. Sean V, W espacios vectoriales y sea : V W una aplicacin afn. Entonces existen : V W lineal y w W tal que (v) = (v) + w, v V .
16
1.4.
Razn simple y coordenadas baricntricas
Fijemos una recta afn L que puede ser abstracta o subespacio de un espacio afn. Denicin 1.4.1. Sean P0 , P1 , P2 L, P0 = P1 . Llamaremos razn simple al nico escalar t =: (P0 , P1 , P2 ) R tal que P0 P2 = tP0 P1 . Esta denicin se aplica en general a tres puntos alineados de un espacio afn cualquiera. Ejemplo 1.4.2. Consideremos la recta A1 . Sean t0 , t1 , t2 R A1 tres puntos distintos. R R Entonces t2 t 0 (t0 , t1 , t2 ) = . t1 t 0 En general, para una recta L, si P L y v L \ {0}, se tiene t = (P, P + v, P + tv). Nota 1.4.3. Veamos el efecto de una permutacin sobre la razn simple. Sea t := (P0 , P1 , P2 ), P0 , P1 , P2 tres puntos alineados. Recordemos que P0 P2 = tP0 P1 . 1 Por tanto, (P0 , P2 , P1 ) = . Por otra parte, t P1 P2 = P0 P2 P0 P1 = (t 1)P0 P1 = (1 t)P1 P0 . Por tanto, (P1 , P0 , P2 ) = 1 t. Deducimos que (P1 , P2 , P0 ) = (P2 , P0 , P1 ) = 1 Finalmente, t . t1 Nota 1.4.4. Dados dos puntos P0 , P1 A, A espacio afn, la recta L que pasa por P0 y P1 se divide en tres partes: (P2 , P1 , P0 ) = La semirrecta r0 de origen P0 que no contiene a P1 , r0 := {P0 + tv | t 0}, v := P0 P1 . El segmento [P0 , P1 ] de extremos P0 , P1 , [P0 , P1 ] := {P0 + tv | 0 t 1}. La semirrecta r1 de origen P1 que no contiene a P0 , r1 := {P0 + tv | t 1}. Es decir, si P = P0 , P1 est en L se tiene: < 0 si P r0 , (P0 , P1 , P ) (0, 1) si P [P0 , P1 ], >1 si P r1 . Teorema 1.4.5 (Teorema de Thales). Sea un plano afn y sean L0 , L1 , L2 tres rectas paralelas de , L0 = L1 . Sea M una recta no paralela a las anteriores y sean PiM := Li M . M M M Entonces la razn simple (P0 , P1 , P2 ) no depende de M y dene la razn simple de las tres rectas. 1 t1 = . t t 1 . Adems, 1t
1.4. RAZN SIMPLE Y COORDENADAS BARICNTRICAS
17
Denicin 1.4.6. Sea A un espacio afn. Diremos que k + 1 puntos P0 , P1 ,. . . ,Pk , son afnmente independientes si (P0 , P1 , . . . , Pk ) es subespacio afn de dimensin k. Diremos que se trata de una referencia afn si (P0 , P1 , . . . , Pk ) = A; en tal caso, dim A = k. Proposicin 1.4.7. Sea A un espacio afn. Sean P0 , P1 , . . . , Pk A. Entonces, los pun tos son afnmente independientes si y solo si los vectores P0 P1 , . . . , P0 Pk son linealmente independientes. Demostracin. Es consecuencia del Corolario 1.2.19. Proposicin 1.4.8. Un espacio afn A de dimensin nita posee referencias anes. Demostracin. Es consecuencia del Corolario 1.2.20. Fijemos un espacio afn de dimensin n junto con una referencia afn P0 , P1 , . . . , Pn , es decir, P0 P1 , . . . , P0 Pn forman una base de A. Dado P A podemos considerar el vector n P0 P A. Sabemos que existen nicos tP , . . . , tP R tales que P0 P = j=1 tP P0 Pj . n 1 j Ejercicio 1.10. Demuestra que la aplicacin P 0 : Rn (t1 , . . . , tn ) P es una anidad. Esta anidad se ha obtenido jando P0 como primer elemento de la referencia afn. Veamos qu pasa si jamos P1 . En esta situacin: P1 P =P0 P P0 P1 =(tP 1)P0 P1 + 1 =(1 tP )P1 P0 + 1
n n
P0 +
A tj P0 Pj
j=1
(tP , . . . , tP ). n 1
tP P0 Pj j tP (P1 Pj P1 P0 ) j
n
j=2 n
j=2
=(1
j=1
tP )P1 P0 ) + j
tP P1 Pj . j
j=2
Si denotamos tP := 1 0
n P j=1 tj ,
es fcil ver que hemos visto que i = 0, 1, . . . , n se tiene:

n
Pi P =
t P Pi Pj , j
tP = 1. j
j=0
j=0
Vamos a generalizar este resultado.
18
Proposicin 1.4.9. Con las notaciones anteriores, Q A se tiene: QP =

n
tP QPj . j
n P j=0 tj
j=0
Demostracin. El punto clave es la igualdad QP =P0 P P0 Q

n
= 1:
=
j=0 n
tP P0 Pj j
tP P0 Q j
j=0
=
j=0 n
tP (P0 Pj P0 Q) j tP QPj . j
=
j=0
Con los argumentos de la proposicin 1.4.9 se demuestra lo siguiente. Proposicin-Denicin 1.4.10. Sean P, P1 , . . . , Pk A y sean t1 , . . . , tk R tal que k j=1 tj = 1. Las condiciones siguientes son equivalentes: 1. Existe Q A tal que QP =
k
tj QPj .
(1.1)
j=1
2.
Para todo Q A se cumple la ecuacin (1.1).

k j=1 tj Pj .
Diremos que P es combinacin afn de P1 , . . . , Pk y lo denotaremos P = Nota 1.4.11. Esta notacin cumple las siguientes propiedades:
Tiene buenas propiedades aritmticas. Ms concretamente, sean Pij A, i = 1, . . . , rj , rj j = 1, . . . , l. Consideremos escalares tj R tales que i=1 tj = 1, j = 1, . . . , l. Denotei i rj l mos Qj := k=1 tj Pij , j = 1, . . . , l. Sean tambin s1 , . . . , sl R tales que j=1 sj = 1. i Entonces,
l l rj
sj Qj =
j=1 j=1 i=1
sj tj Pij . i
Supongamos que A = V es un espacio vectorial con la estructura afn estndar. Entonk k ces, la expresin j=1 tj Pj , con j=1 tj = 1, es a priori ambigua, segn utilicemos la suma en V o esta notacin. Es inmediato comprobar que ambas interpretaciones dan lugar al misma resultado.
1.4. RAZN SIMPLE Y COORDENADAS BARICNTRICAS
19
Denicin 1.4.12. Sea A un espacio afn de dimensin nita y sea P0 , P1 , . . . , Pn una referencia afn. Las coordenadas baricntricas de P A es la nica (n + 1)-tupla (t0 , t1 , . . . , tn ) n n Rn+1 tal que j=0 tj = 1 y j=0 tj Pj = P . Nota 1.4.13. Sea A un espacio afn. Sean P1 , . . . , Pk A. Entonces, si P A: (a) P (P1 , . . . , Pk ) si y solo si P es combinacin afn de P1 , . . . , Pk . (b) Si adems los puntos son afnmente independientes los coecientes son nicos y se trata de las coordenadas baricntricas de P en funcin de P1 , . . . , Pk . Denicin 1.4.14. Sean P1 , . . . , Pk A. El baricentro del conjunto de puntos es 1 (P1 + + Pk ). k Si k = 2, el baricentro se llama punto medio. Proposicin 1.4.15. El baricentro de P1 , . . . , Pk A es el nico punto P (P1 , . . . , Pk ) tal que P P1 + + P Pk = 0. Ejemplo 1.4.16. Sea A un plano afn y sea P0 , P1 , P2 A una referencia afn. Consideremos Q0 , Q1 , Q2 A tales que Qj := tj P0 + sj P1 + rj P2 , tj + sj + rj = 1, j = 1, 2, 3. Es fcil ver que Q0 , Q1 , Q2 estn alineados si y solo si t0 t1 t2 s0 s1 s2 = 0. r0 r1 r2 Ejemplo 1.4.17. Veamos la relacin que hay entre combinaciones anes y razn simple. Sean A un espacio afn y sean P, Q A, P = Q. Denotaremos L := (P, Q). Sabemos que si R L si y solo si es combinacin afn de P y Q. Sea R L y sean , R tales que R = P + Q (con + = 1). Entonces, = (P, Q, R), ya que P R = P Q. Por el mismo tipo de argumentos, = (Q, P, R). Ejercicio 1.11. Con la notacin del Ejemplo 1.4.17, demuestra las igualdades (R, P, Q) = , (R, Q, P ) = , 1 = (P, R, Q) y 1 = (Q, R, P ).
20
1.5.
Ms sobre aplicaciones anes y anidades
Proposicin 1.5.1. Sean A1 , A2 espacios anes, dim A1 = n y sea : A1 A2 una aplicacin afn. Sea P0 , P1 , . . . , Pn referencia afn de A1 . Entonces: (1) La aplicacin respeta combinaciones anes. (2) La aplicacin est determinada por las imgenes de P0 , P1 , . . . , Pn . (3) Se trata de una anidad si y solo si (P0 ), (P1 ), . . . , (Pn ) es referencia afn de A2 . Demostracin. Sea P A1 tal que P = n tenemos QP = j=0 tj QPj , por lo que (Q)(P ) = (QP ) =
n j=0 tj (Pj ) n n j=0 tj Pj , n j=0 tj
= 1. Dado cualquier Q A1 ,
tj (QPj ) =
tj (Q)(Pj ),
j=0
j=0
es decir, (P ) =
y hemos demostrado (1), (2) y (3).
Nota 1.5.2. Recordemos que si P, Q, R son puntos alineados y t = (P, Q, R) entonces R = (1 t)P + tQ. Por tanto, si : A1 A2 es una anidad y P, Q, R A1 estn alineados, P = Q, se tiene que (P, Q, R) = ((P ), (Q), (R)). Sea : A1 A2 una aplicacin afn, dim A1 = n, dim A2 = m. Fijemos referencias lineales P0 , P1 , . . . , Pn de A1 y Q0 , Q1 , . . . , Qn de A2 . Como en el caso lineal, la aplicacin viene determinada por una matriz A Mat((m + 1) (n + 1); R), donde las columnas representan las coordenadas baricntricas de las imgenes de los puntos Pi en la referencia afn Q0 , Q1 , . . . , Qn . De hecho, basta considerar solo las m ltimas las, ya que la primera est completamente determinada. Esta ltima ser la matriz que consideremos como asociada a y las referencias anes jadas. Ejemplo 1.5.3. Consideremos : An Am . Estas aplicaciones vienen dadas por: R R X V + AX, A Mat(m n; R), V Rm Mat(m 1; R), X Rn Mat(n 1; R).
Denotemos A = (A1 | | An ), Ai Mat(m 1; R)Fijemos en ambos espacios anes las referencias anes estndar, dadas por el origen de coordenadas y los elementos de las bases cannicas. En este caso, la matriz que determina es (V | A1 + V | | An + V ) Mat(m (n + 1); R). El caso ms importante que nos ocupa es el de las anidades de un espacio afn en s mismo. Lo podemos interpretar como diccionarios que respetan las propiedades anes. Tambin se pueden interpretar como matrices, utilizando en ambos lados la misma referencia afn. Como todo espacio afn de dimensin nita es isomorfo a un espacio afn estndar An R basta que estudiemos las anidades de An , en el cual utilizaremos habitualmente la referencia R afn cannica.
1.5. MS SOBRE APLICACIONES AFINES Y AFINIDADES
21
Proposicin 1.5.4. Sea P0 , P1 . . . , Pn una referencia afn de An . La nica anidad : An R R An que enva la referencia afn estndar sobre esta referencia es de la forma X AX + P0 R donde A = (P1 P0 | | Pn P0 ). Demostracin. La demostracin es inmediata. Ejercicio 1.12. Estudia todas las anidades de An que dejan jo el origen. Cmo son las R que dejan jo otro punto P An ? R Ejercicio 1.13. Estudia todas las anidades de A2 que dejan ja la recta y = 0. Cmo R encontraras las que dejan ja cualquier otra recta? Fijemos ahora el plano afn A2 y vamos a considerar el siguiente problema de clasicacin: R Encontrar todas las familias ordenadas Cn de n rectas distintas salvo accin de las anidades de A2 . De manera ms explcita; consideremos An el conjunto de n-tuplas de rectas distintas. R Diremos que dos n-tuplas son equivalentes si hay una anidad que lleve una a la otra. Esto dene una relacin de equivalencia y queremos entender el conjunto cociente. Es decir, encontrar un subconjunto Cn An tal que cualquier elemento de Cn se puede llevar a una y solo una de las familias de Cn mediante una anidad. Adems queremos saber cmo encontrar dicho elemento. Por ejemplo, si n = 1 veamos que podemos tomar C1 = {(L1 )} donde L1 es la recta de ecuacin y = 0. En efecto, sea L una recta de A2 ; si P L, tomando la traslacin por R P enviamos L a una recta que pasa por el origen. Por tanto, podemos suponer que L pasa por el origen. Sea ahora v := ( a ) un vector director de L. Sea A una matriz inversible cuyo b primera columna sea v; por ejemplo, A = a b . Consideremos la anidad denida por la b a matriz A1 ; es inmediato ver que enva L a L1 . Para n = 2, tenemos al menos dos casos: que las rectas sean paralelas o no. Lema 1.5.5. Sean M1 , M2 dos rectas paralelas distintas de A2 . Entonces, existe una anidad R que las lleva a y = 0 e y = 1. Demostracin. Por el caso n = 1, podemos suponer que M1 = L1 . Como queremos conservar la primera recta, solo podemos trabajar con anidades que la dejen globalmente ja. Estas son las de la forma: (x) y
ax+by+u dy
a, b, d, u R, ad = 0.
(1.2)
Como M2 es paralela a y = 0 tendr como ecuacin y = v, v = 0. Si tomamos una anidad (1.2) con d = v 1 , tenemos el resultado. Nota 1.5.6. Si utilizamos la Proposicin 1.5.4, podemos dar una demostracin directa. Basta que busquemos una referencia afn P0 , P1 , P2 de A2 y consideremos la anidad que la enR va sobre la referencia estndar ( 0 ) , ( 1 ) , ( 0 ). Por ejemplo, en este caso basta tomar una 0 0 1 referencia afn con P0 , P1 L1 y P2 L2 . Lema 1.5.7. Sean M1 , M2 dos rectas no paralelas de A2 . Entonces, existe una anidad que R las lleva a y = 0 y x = 0.
22
Demostracin. Por el caso n = 1, podemos suponer que M1 = L1 y solo tenemos derecho a usar las anidades de (1.2). El punto de interseccin M1 M2 es de la forma (v, 0), v R. Tomando a = 1, u = v, obtenemos una anidad que respeta M1 y que lleva el punto de interseccin a (0, 0). Por tanto, podemos suponer que M1 M2 es el origen. Trabajemos ahora con las anidades de (1.2) que jan el origen, es decir, aquellas en las que u = 0. Como M1 y M2 no son paralelas existe un vector director de M2 de la forma ( ). 1 La anidad de ecuacin ( x ) xy y y lleva M2 a x = 0. Tambin se puede demostrar con el mtodo de la Nota 1.5.6. Tomamos P0 = L1 L2 y Pi Li , i = 1, 2. Hemos probado que podemos tomar C2 := {(y = 0, y = 1), (y = 0, x = 0)}. Un par de rectas distintas se enva sobre el primer (resp. segundo) elemento de C2 si y solo si son paralelas (resp. se cortan). Pasemos al caso n = 3. A priori, tenemos como casos posibles que las tres rectas sean paralelas, que lo sean dos (y la tercera no), que sean no paralelas y no concurrentes o que sean concurrentes. Estudiaremos cada caso utilizando los obtenido en C2 . Lema 1.5.8. Sean M1 , M2 , M3 tres rectas distintas y paralelas de A2 . Entonces, existe un R nico t R \ {0, 1} tal que hay una anidad que las lleva a y = 0, y = 1 e y = t. Demostracin. Podemos suponer por el Lema 1.5.5 que M1 , M2 tienen como ecuaciones y = 0, y = 1. Observemos que las anidades que respetan estas dos rectas son: (x) y
ax+by+u y
b, u R, a R .
(1.3)
La ecuacin de la recta M3 debe de ser y = t, con t R\{0, 1}. Cualquiera de estas anidades deja M3 ja, por lo que se tiene el resultado. Nota 1.5.9. Con el Teorema de Thales 1.4.5 hemos denido la razn simple de tres rectas paralelas. Observemos que en el enunciado del Lema 1.5.8, t = (M1 , M2 , M3 ) Lema 1.5.10. Sean M1 , M2 , M3 tres rectas distintas de A2 tal que las dos primeras son R paralelas y la ltima no lo es. Entonces, existe una anidad que las lleva a y = 0, y = 1 y x = 0. Demostracin. De nuevo, por el Lema 1.5.5 suponemos que M1 , M2 tienen como ecuaciones y = 0, y = 1 y solo nos jamos en anidades (1.3). Si M1 M3 = ( v ), v R, utilizando como 0 en el Lema 1.5.7 una anidad en la que a = 1 y u = v, podemos suponer que M1 M3 es el origen. Las anidades (1.2) que dejan jo el origen son aquellas en las que v = 0 y son las que usaremos a partir de ahora. Tenemos adems que M2 M3 = ( w ), con w R. Tomando una anidad en la que a = 1 1 y b = w, enviamos este punto al punto ( 0 ), por lo que M3 se enva a la recta de ecuacin 1 x = 0. Con el mtodo de la Nota 1.5.6, tomamos P0 = L1 L3 , P1 L1 y P2 = L2 L3 .
1.5. MS SOBRE APLICACIONES AFINES Y AFINIDADES
23
Lema 1.5.11. Sean M1 , M2 , M3 tres rectas distintas de A2 no paralelas y no concurrentes. R Entonces, existe una anidad que las lleva a y = 0, x = 0 y x + y = 1. Demostracin. Por el Lema 1.5.7, podemos suponer que las dos primeras son y = 0, x = 0. Es fcil ver que las anidades que respetan estas rectas son: ( x ) ( ax ) , y dy a, d R . (1.4)
Es inmediato que podemos tomar una anidad que haga que los puntos de corte de M3 con las anteriores sean los puntos ( 1 ) y ( 0 ), con lo que se tiene el resultado. 0 1 Con el mtodo de la Nota 1.5.6, tomamos P0 = L1 L2 , P1 = L1 L3 y P2 = L2 L3 . Lema 1.5.12. Sean M1 , M2 , M3 tres rectas distintas y concurrentes de A2 . Entonces, existe R una anidad que las lleva a y = 0, x = 0 y x + y = 0. Demostracin. De nuevo, por el Lema 1.5.7, podemos suponer que las dos primeras son y = 0, x = 0. Nos restringimos a las anidades (1.4). La ecuacin de M2 debe de ser del tipo x + by = 0, con b R . Es inmediato encontrar una anidad que nos lleva a las ecuaciones del enunciado. Resumiendo, si At = {y = t}, B = {x = 0}, Dt = {x + y = t}, entonces C3 :={(L0 , L1 , Lt ) | t R \ {0, 1}} {(L0 , L1 , B), (L0 , B, L1 ), (B, L0 , L1 )} {(L0 , B, D1 ), (L0 , B, D0 )} nos da todas las ternas de rectas salvo anidad. Para los casos de cuatro rectas, vamos a estudiar solamente cuando son concurrentes. Lema 1.5.13. Sean M1 , M2 , M3 , M4 cuatro rectas distintas y concurrentes de A2 . Entonces, R existe un nico t R \ {0, 1} tal que hay una anidad que las lleva a y = 0, x = 0, x + y = 0 y x + ty = 0. Demostracin. Basta aplicar el Lema 1.5.12, y que las nicas anidades que respetan esas rectas son las homotecias de centro el origen, que tambin respetan la cuarta recta. Ejercicio 1.14. Encuentra un conjunto C4 y explica cmo se puede saber a qu elemento de C4 es equivalente un elemento dado de A4 .
Captulo 2
Espacios proyectivos
2.1. Recta proyectiva
Fijemos un plano afn A (normalmente pensaremos en A2 ) y un punto P A (normalR mente el origen de coordenadas). Vamos a trabajar con el haz de rectas de A que pasan por P y que denotaremos P. En el Teorema de Thales 1.4.5, hemos denido la razn simple de tres rectas paralelas de un plano. Veamos si tiene sentido plantearse el valor de la razn simple de tres rectas de P. Fijemos L0 , L1 , L2 P, dos a dos distintos. Sea M una recta de A que no es paralela a ninguna de las tres y tal que P A. Denotemos QM := M Li , i = 0, 1, 2. Queremos ver / i M M M M cmo t := (Q0 , Q1 , Q2 ) depende de M . N M QM 2 v1 L2 QN 2 QN 1 QM 1
v2 P
Figura 2.1: Razones simples de tres rectas
Sean M, N dos rectas tales que P M N y tales que M, N / Li ; mantenemos las N M notaciones anteriores. Denotemos vi := P Qi , wi := P Qi , i = 0, 1, 2. Sabemos lo siguiente: v1 , v2 es base de A (y tambin w1 , w2 ). En efecto, ya que son vectores directores de rectas concurrentes y distintas, luego no paralelas. Existen si R tales que wi = si vi , i = 0, 1, 2. En efecto, vi , wi son vectores direccio25

w0 QM 0

L1 L0
QN 0
26 nales de las rectas Li .
CAPTULO 2. ESPACIOS PROYECTIVOS
Teniendo en cuenta la accin de las permutaciones sobre las razones simples, tenemos tM tM 1 1 que QM = M QM , se tiene que v0 = M v2 ; de la QM + v1 + 0 1 M 2 t 1 1t t 1 1 tM N t 1 w2 . misma forma, w0 = N w1 + t 1 1 tN Por tanto, s0 tM tN s1 tN s0 1 s2 v2 = N w2 = N v2 . v1 + w1 + v1 + M 1 M N t 1t t 1 1t t 1 1 tN Por la independencia lineal, tenemos obtenemos s0 tM M 1 t tM = = s1 tN , N 1 t s2 s0 = . Eliminando s0 , M 1t 1 tN
s1 N t . (2.1) s2 Nota 2.1.1. Supongamos que las rectas M y N fueran paralelas. Entonces, s2 v2 s1 v1 = w2 w1 y v2 v1 son linealmente dependientes, por lo que deducimos que s2 = s1 y tM = tN . Recprocamente, si tM = tN entonces M y N son paralelas. Por tanto, no es posible denir la razn simple de tres elementos de P. Sin embargo, el resultado anterior nos dice que no todo est perdido ya que si jamos los dos ltimos puntos y variamos el primero, el factor de proporcionalidad es el mismo. Denicin 2.1.2. Sean L1 , L2 , L3 , L4 P distintos. Denotaremos razn doble de estos cuatro puntos al cociente de razones simples siguiente. Sea M una recta, M P, no paralela a / ninguna de las cuatro y sean PiM := M Li . Entonces: (L1 , L2 , L3 , L4 ) :=
M M M (P2 , P3 , P4 ) . M M M (P1 , P3 , P4 )
De manera anloga se dene la razn doble de cuatro puntos alineados. Nota 2.1.3. Observemos que como la razn simple se respeta por anidades, tambin ocurre lo mismo con la razn doble. Veamos que de hecho, la razn doble se puede ver como una razn simple. Proposicin 2.1.4. Sean L1 , L2 , L3 , L4 P distintos y sea N una recta paralela a L1 . Entonces, si PiN = Li N , i = 2, 3, 4, entonces
N N N (L1 , L2 , L3 , L4 ) := (P2 , P3 , P4 ).
Demostracin. Consideremos adems una recta M como en la Denicin 2.1.2 y mantenemos N M la notacin. Podemos elegir M de manera que P2 = P2 . N M Denotemos vi := P Pi , i = 1, . . . , 4, wi := P Pi , i = 2, . . . , 4. Sabemos que v2 = w2 y M M que existen s3 , s4 R tales que wi = si vi . Denotemos ti := (PiM , P3 , P4 ), i = 1, 2. Sabemos que se tiene 1 ti vi = v3 + v4 , i = 1, 2. ti 1 1 ti
2.1. RECTA PROYECTIVA L4

27
M P4
L3
N N P4 P3

M P3

L2 N L1
Figura 2.2: Razn simple y razn doble
Si j = 3, 4, tenemos que wj w2 = sj vj v2 es linealmente dependiente con v1 , es decir, los vectores t1 1 1 1 t2 t2 v3 + )v3 v3 + (s4 v4 , (s3 v4 , )v4 , t1 1 1 t1 t2 1 1 t2 t2 1 1 t2 son dos a dos linealmente dependientes lo que nos permite concluir: s3 = t 2 t1 , t2 1 s4 = t2 t 1 . t1 (t2 1)
Por ltimo, expresemos w2 en funcin de w3 , w4 : w2 = v2 = t2 1 t2 t1 v3 + v4 = w3 w4 t2 1 1 t2 t2 t 1 t2 t1 t2 = (L1 , L2 , L3 , L4 ). t1
N N N Por el Ejercicio 1.11, (P2 , P3 , P4 ) =
Dada una recta afn, tenemos anidades que la identican con R A1 . El haz P se puede R identicar como una recta afn con un punto extra. Si denotamos P1 := R {}, podemos identicar P1 y P como sigue. Fijemos una recta M que no pase por P . En esta recta, jamos Q M y v M \ {0}. Denimos una aplicacin Q,v : P1 P dada por: Q,v (t) := (P, Q + tv), Q,v () := M ,
donde M es la nica recta de P paralela a M . Esta aplicacin respeta razones dobles ya que (salvo para ) es la composicin de una anidad entre A1 y M (que respeta razones simples, R luego tambin las dobles) y de una aplicacin entre M y P (que respeta razones dobles segn la Denicin 2.1.2). Adems, 1 (L) = (Q, Q + v, M L) si L Q,v M, 1 (LM ) = . Q,v
Podemos considerar estas aplicaciones como parametrizaciones de P; queremos estudiar los posibles cambios de parmetros. Es decir, si tenemos dos rectas M, N tales que P M N / y escogemos Q M , v M \ {0}, R N , w N \ {0}, queremos estudiar la aplicacin := 1 Q,v : P1 P1 . R,w

M N P2 = P2 M P1
28
Ejercicio 2.1. Demuestra que si M = N entonces, es una anidad, es decir, () = y existen a R , b R tales que (t) = at + b, si t R. Ejercicio 2.2. Demuestra que si M Ejercicio 2.1. N entonces se tiene el mismo resultado que en el
Veamos ahora qu ocurre si M y N no son paralelas. En primer lugar, calcularemos para una eleccin particular de puntos y vectores. Denotemos M y N las correspondientes rectas paralelas que pasan por P . Denotemos Q := M N y R := N M y S := M N . Sean v := QS, w := RS, vectores directores de M y N respectivamente. Como tenemos un paralelogramo, se tiene que v = P R y w = QS. Vamos a estudiar := 1 Q,v : P1 P1 . R,w Es inmediato comprobar que (1) = 1, (0) = y () = 0. M
Figura 2.3: Cambio de parmetro
Sea t R \ {0, 1}. Denotaremos Qt := Q + tv M ; consideremos la recta Q,v (t) = (P, Qt ) y sea Rt := N (P, Qt ). Recordemos que (t) = (R, S, Rt ). Para calcularlo, podemos expresar Rt como combinacin afn de R y S, es decir, Rt = (1 (t))R + (t)S. Vamos a calcular esta combinacin afn utilizando una combinacin lineal basada en P . Como P R = v y P S = v + w, tenemos que P Rt = (1 (t))P R + (t)P S = (1 (t))v + (t)(v + w) = v + (t)w. Por construccin, Pt = (1 t)Q + tS, es decir, P Pt = (1 t)P Q + tP S = (1 t)w + t(v + w) = tv + w. Por otra parte, P Rt y P Pt son linealmente dependientes. Deducimos que (t) = t1 ; llamaremos a esta aplicacin inversin. Si hubiramos hecho una eleccin cualquiera de puntos y vectores en N y M , aplicando el Ejercicio 2.1, la aplicacin es una composicin de una anidad, de una inversin y de otra anidad. Estas aplicaciones y las anidades se pueden escribir siempre de la forma t at + b , ct + d ad bc = 0. (2.2)
" " !! "" "" !" " !! " !!!!!!! " " " " " " " !" !" ! " " "" !"! !"!"!"!"!"!"!" !"!"!!"!"!"!"!!"!"! !"!"! " " " " " " " !!!!!!! "! "! !! " " " " " " " " " !! !"!"!"!"!"!"!"!"!" "!"!"!" !" "" !! !!!!!!!!! !" !" """""""""""" " "" !!!!!!!!! "!"!"!"!"!"! "!"! !!!!!!!!! " " " " " " " " !!"!!"!!"! !"! !" " " " " " " " " " "" " " !" ! ! ! ! ! ! ! ! ! ! !"!" " !"" !"" " !"" " !"" !"" !"" !"" !"" " "!!! ! "!"! !!!!!!!!! !! """""""""""" " !!!!!!!!! !"!!"!!"! !"! !!!!!!!! " " " " " " " " !"!"!" !" " " !"!" !" " " " " " " " " !! !!"!"!"!"!"!"!"!" ""!!"!"!!!!! " "!"! !!!! ! !! " """""""""""" " !!"!!!!"!!!"!!!!!! !"! " " " " " " " " !!!!!!!! !""!"!""!""!"!"!"!"!" " !"" !"" !!"!!!!"!!!"!!!!!! !"! !!"!!" """"""""" "" !"!"!"!"!"!"!"!"!" "!"""!""!"""""" !" !!!!!!!!! !! "" !"!"!"!"!"!" !"!"
R w v v+w Q P w M
Qt

Rt N
2.1. RECTA PROYECTIVA
29
Notacin 2.1.5. Identicaremos estas frmulas con aplicaciones P1 P1 de manera que si c = 0, tomaremos , y si c = 0, tomaremos d , a . c c Si consideramos A1 P1 , entonces la razn doble de cuatro puntos distintos del innito R t1 , . . . , t4 R es: (t2 , t3 , t4 ) t 4 t2 t 3 t 1 (t1 , t2 , t3 , t4 ) = = . (t1 , t3 , t4 ) t 3 t2 t 4 t 1 Ejercicio 2.3. Demuestra que toda aplicacin como en (2.2) es composicin de anidades e inversiones (t t1 ). Observa adems que basta tomar ad bc = 1. Como las biyecciones que hemos establecido entre P1 y P respetan razones dobles cuando estas tienen sentido. Utilizando la Proposicin 2.1.4, podemos dar una frmula en el caso de que t1 = . Ejercicio 2.4. Demuestra que si denimos (, t1 , t2 , t3 ) := (t1 , t2 , t3 ), las aplicaciones Q,v respetan estas razones dobles. Para el ejercicio siguiente es til considerar que toda razn doble se puede expresar como una razn simple. Ejercicio 2.5. Demuestra que (L1 , L2 , L3 , L4 ) = (L3 , L4 , L1 , L2 ) y deduce que si t es una razn doble de cuatro rectas, entonces, los valores de las razones dobles permutadas son t 1 t, t1 , 1 t, 1t , t1 , t1 . t Podemos usar este ejercicio, para dar las frmulas apropiadas para la razn doble cuando no aparece en primer lugar. Ejercicio 2.6. Sean t1 , t2 , t3 R distintos. Denotemos r := (t1 , t2 , t3 ). Demuestra las igualdades (t2 , t3 , , t1 ) = r, (t2 , t3 , t1 , ) = r1 , (t2 , , t3 , t1 ) = 1 r. Ejercicio 2.7. Demuestra que la nica aplicacin P1 P1 que ja 0, 1, y que respeta la razn doble es la identidad. Deduce que toda aplicacin P1 P1 que respeta la razn doble es como en (2.2).
30
2.2.
El plano ampliado
Consideremos un plano afn cualquiera A (por ejemplo, A2 ). Denotaremos L el conjunto R de rectas anes en A. En este conjunto establecemos la siguiente relacin de equivalencia: L1 L2 si y solo si L1 L2 . Denotaremos L al conjunto cociente de L por esta relacin de equivalencia; como dos rectas son paralelas si y solo si sus subespacios directores coinciden, podemos identicar L con el conjunto de subespacios vectoriales de dimensin 1 de A. Denicin 2.2.1. Llamaremos plano ampliado de A a A := A L . Si L L , diremos que L es su punto del innito. Una recta ampliada de A es o bien L (recta del innito) o := L {L}, L L . Denotaremos L el conjunto de rectas ampliadas. bien L Ejercicio 2.8. Sea P A y consideremos el haz PP de rectas que pasan por P como en 2.1. Encuentra una biyeccin entre PP y L . La justicacin de la denicin de plano ampliado es la siguiente. Proposicin 2.2.2. Sean P, Q A, P = Q. Entonces, existe una nica recta ampliada que los contiene. Anlogamente, dos rectas ampliadas distintas se cortan en un nico punto. Demostracin. Supongamos en primer lugar que P, Q A. En ese caso, sea L := (P, Q); es claro que L los contiene y que es la nica. Si P A y Q L , sea L la nica recta tal que P L y Q = L. Es inmediato ver que L es la nica recta ampliada que contiene a P y Q. Si P, Q L esta es la nica recta ampliada que los contiene. Consideremos ahora dos rectas ampliadas distintas. Si ambas son rectas ampliadas de rectas anes, sern de la forma L, M , con L = M rectas anes. Si L M , entonces L M tiene un nico punto, que es tambin el nico elemento de L M . Si L M , entonces L M = y L M = {L} = {M }. Si una de las rectas es L y la otra es de la forma L, L = {L}. entonces L Consideremos ahora una espacio afn A3 de dimensin 3 y sea P A3 . Como en 2.1, denotaremos P el haz de rectas anes de A3 que pasan por P . Sea A un plano afn de A3 tal que P A. Consideremos la aplicacin : A P denida como sigue: / Si Q A, entonces (Q) = (P, Q). Si Q L , entonces (Q) es la nica recta L que pasa por P y tal que L = Q. Para calcular 1 , tenemos tambin dos casos: Si L P no es paralela a A, entonces 1 (L) = L A. Si L es paralela a A, entonces 1 (L) = L L . Vamos a ver que podemos anar un poco ms con las propiedades de estas biyecciones. Denicin 2.2.3. Una recta proyectiva de P es el subhaz PS P de las rectas que pasan por P y que estn contenidas en un plano afn S que pasa por P .
2.2. EL PLANO AMPLIADO
31
Proposicin 2.2.4. La biyeccin induce una biyeccin de las rectas ampliadas de A en las rectas proyectivas de P. Demostracin. Sea L una recta afn de A. Consideremos L la recta ampliada que dene. Sea 3 S := (P, L); se trata de un plano afn de A . Es inmediato comprobar que (L) = PS . Denotemos AP el plano afn que pasa por P y que es paralelo a A. Entonces, es fcil ver que (L ) = PAP . Anlogamente se ve que la preimagen de una recta proyectiva es una recta ampliada. Veamos un ejemplo concreto. Consideremos A3 = A3 , P = 0 y A = {z = 1}. Para R denotar los elementos de P (resp. L ), tenemos en cuenta que son los subespacios vectoriales de dimensin 1 de R3 (resp. A = {z = 0}). Un subespacio vectorial engendrado por un vector t (x, y, z) no nulo lo denotaremos [x : y : z]; observemos que [x : y : z] = [tx : ty : tz], t R . Tenemos: (x, y, 1) = [x : y : 1] para los elementos de A. ([x : y : 0]) = [x : y : 0]. Si z = 0, 1 ([x : y : z]) = x y , ,1 . z z
32
2.3.
Denicin general de espacios proyectivos
Los haces de rectas nos dan la pista sobre la siguiente denicin. Sea V un espacio vectorial de dimensin n + 1. Denicin 2.3.1. El espacio proyectivo sobre V es P(V ) := {H V | H subespacio vectorial de V, dim H = 1}. Es decir, el conjunto de las rectas que pasan por el origen. Diremos que P(V ) es un espacio proyectivo de dimensin n. Si P es un espacio proyectivo tal que P = P(V ), denotaremos V(P) =: V . Los espacios proyectivos de dimensin 0 se llaman puntos, los de dimensin 1 rectas proyectivas y los de dimensin 2, planos proyectivos. Notemos que dim = 1. Tenemos una aplicacin cannica p : V \ {0} P(V ); dado v V \ {0}, denotaremos p(v) := [v]. Ejemplo 2.3.2. El primer ejemplo de espacio proyectivo es Pn := P(Rn+1 ). Dado un vector no nulo (t0 , t1 , . . . , tn ) Rn+1 \ {0}, denotaremos p(t0 , t1 , . . . , tn ) = [t0 : t1 : : tn ]. Acabamos de denir las coordenadas homogneas, que no dependen de multiplicar todas las entradas por una constante comn. Ejemplo 2.3.3. Vamos a concretar el ejemplo anterior en el caso particular n = 1. Sea [t0 : t1 ] P1 tal que t0 = 0; observemos que no tiene sentido pedir que t0 tenga un valor concreto, pero s que ese valor sea o no nulo. Se tiene [t0 : t1 ] = [1 : t1 ]. t0
t1 Si denotamos t := t0 , entonces t est bien denido. Observemos que todos los puntos de P1 cumplen esta condicin salvo los de la forma [0 : t1 ] (t1 = 0), que son todos iguales a [0 : 1]. Es tradicional considerar P1 = R {}, donde t R se identica con [1 : t] y [0 : 1] se identica con , con lo que somos coherentes con la notacin de 2.1.
Ejemplo 2.3.4. El ejemplo anterior se puede generalizar a Pn . Sea [t0 : t1 : : tn ] Pn tal que t0 = 0. Todos estos puntos se pueden escribir de la forma [1 : s1 : : sn ], y (s1 , . . . , sn ) est bien denido. Los puntos que cumplen t0 = 0, son de la forma [0 : t1 : : tn ] donde las coordenadas homogneas [t1 : : tn ] estn bien denidas. En este caso, Pn = Rn Pn1 . Sea P un espacio proyectivo de dimensin n, V := V(P). Sea H un subespacio vectorial de V de dimensin k + 1, k n. Observemos que P(H) es un espacio proyectivo de dimensin k y que de forma natural P(H) P(V ). Se tiene, por ejemplo, p(H \ {0}) = P(H).
2.3. DEFINICIN GENERAL DE ESPACIOS PROYECTIVOS
33
Denicin 2.3.5. Con las notaciones anteriores, P(H) es subespacio proyectivo de dimensin k de P. Si S := P(H) es un subespacio proyectivo de P denotaremos H := V(S). La codimensin de un subespacio proyectivo es la del subespacio vectorial asociado. Los subespacios de codimensin 1 se llaman hiperplanos proyectivos. Nota 2.3.6. Para los puntos de un espacio proyectivo, tenemos P = V(P ); usaremos una notacin o la otra segn convenga. Propiedades 2.3.7. Veamos algunas propiedades sencillas de los subespacios proyectivos. (i) La interseccin de subespacios proyectivos es un subespacio proyectivo. En efecto, basta observar que si {Si }iI es una familia de subespacios proyectivos de P entonces iI Si = P( iI V(Si )). (ii) S T V(S) V(T ). (iii) S = T S T y dim S = dim T . Como en el caso afn, podemos denir el subespacio engendrado por un subconjunto. Denicin 2.3.8. Sea P un espacio proyectivo y sea A P subconjunto. El subespacio proyectivo engendrado por A es el menor subespacio proyectivo (A) que contiene a A. Si S1 , . . . , Sr P son subespacios proyectivos, diremos que (S1 , . . . , Sr ) := (S1 Sr ) es el subespacio engendrado por S1 , . . . , Sr . Si tenemos que recalcar el carcter proyectivo, denotaremos P . Propiedades 2.3.9. Veamos algunas propiedades de esta nueva denicin. (i) Sean A B P; entonces (A) (B). Si S es subespacio proyectivo, (S) = S. (ii) Sean S, T P subespacios proyectivos. Entonces V((S, T )) = V(S) + V(T ) (el mismo resultado es cierto para una cantidad cualquiera de subespacios proyectivos). Demostracin. Como S, T (S, T ), tenemos que V(S), V(T ) V((S, T )), es decir, V(S) + V(T ) V((S, T )). Adems S, T P(V(S) + V(T )), por lo que (S, T ) P(V(S) + V(T )) y tenemos la otra inclusin. (iii) Sean S, T P subespacios proyectivos. Entonces dim (S, T ) + dim(S T ) = dim S + dim T . Una consecuencia inmediata de la Propiedad 2.3.9(iii) es uno de los teoremas fundamentales de la Geometra proyectiva. Teorema 2.3.10. Sea P un plano proyectivo. Sean L, L dos rectas proyectivas distintas de P. Entonces L L es un punto. De la misma forma, si P es de dimensin n, L es una recta y H es un hiperplano tal que L H, entonces L H es un punto.
34
Es posible caracterizar los subespacios proyectivos como en el caso afn (en este caso el resultado es cierto para cualquier cuerpo, no como en el Teorema 1.2.7). Proposicin 2.3.11. Sea S P un subconjunto. Entonces, S es subespacio proyectivo si y solo si dados P, Q S distintos, S contiene las recta (P, Q). Demostracin. Denotemos V := V(P). La implicacin ) es trivial. Veamos ahora ). Sea H := {v V | P S tal que v P } {0}. Basta probar que H es subespacio vectorial de V . Sea v H y t R; por denicin, tv H. Sean ahora v, w H; el nico caso en el que no es trivial ver que v +w H es cuando v, w son linealmente independientes. Sean P := [v] y Q := [w]; se trata de dos puntos distintos de S. Como P(R v, w ) = (P, Q) S, tenemos que [v + w] S, es decir, v + w H. Ejemplo 2.3.12. Estudiemos los subespacios proyectivos de Pn . Sea S Pn un subespacio proyectivo y sea H := V(S) Rn+1 subespacio vectorial. Los elementos de H son las (n + 1)-tuplas (x0 , x1 , . . . , xn ) Rn+1 tales que a10 x0 . . . al0 x0 +a11 x1 +al1 x1 + .. . + ... ... + a1n xn . . . + aln xn = . . . = 0 (2.3) 0.
De la misma forma los elementos de S son los elementos de coordenadas homogneas [x0 : x1 : : xn ] Pn que cumplen el sistema 2.3. Observemos que por tratarse de ecuaciones homogneas, el resultado no depende del representante de [x0 : x1 : : xn ] elegido. Ejemplo 2.3.13. Terminamos con ejemplos que generalizan lo presentado en 2.1 y 2.2. Sea A un espacio afn de dimensin n y sea P A. Hay una biyeccin natural entre el haz de rectas P por P y P(A), lo que conere a P una estructura de espacio proyectivo de dimensin n 1. Ejercicio 2.9. Sea P un espacio afn de dimensin n y sea P P. Utilizando espacios vectoriales cocientes encuentra una estructura de espacio proyectivo de dimensin n 1 al haz de rectas que pasan por P . Si S es un subespacio de codimensin 2 haz lo mismo con el conjunto de hiperplanos que contienen a S (en este caso la estructura ser de recta proyectiva).
2.4. HOMOGRAFAS Y APLICACIONES PROYECTIVAS
35
2.4.
Homografas y aplicaciones proyectivas
Denicin 2.4.1. Una homografa es una biyeccin : P1 P2 entre espacios proyectivos de dimensin mayor que 1 tal que tanto ella como su inversa respetan subespacios proyectivos. Ejemplo 2.4.2. Sean P1 , P2 espacios proyectivos de la misma dimensin (nita). Sea Vi := V(Pi ), i = 1, 2 y sea : V1 V2 un isomorsmo lineal. Si H V1 es un subespacio vectorial de dimensin 1, entonces (H) es un subespacio de dimensin 1 de V2 . Es fcil ver que induce una homografa : V1 V2 . Es inmediato comprobar que t da lugar a si t R . En particular, podemos construir homografas Pn Pn que estn asociadas a matrices A GL(n + 1; R), de manera que matrices proporcionales dan lugar a la misma homografa. Nota 2.4.3. Como en el caso afn, se demuestra que todas las homografas son como las del Ejemplo 2.4.2; omitiremos la prueba de este resultado que se puede hacer utilizando el caso afn, ver Teorema 1.3.15. Tambin en este caso el resultado deja de ser cierto para cuerpos arbitrarios. En la nueva concepcin de homografa permitimos tambin la dimensin 1. Veamos uno de los resultados que se utilizan para probar el resultado anunciado. Lema 2.4.4. Sea : P1 P2 una biyeccin que respeta rectas entre espacios proyectivos de dimensin n > 1. Entonces enva hiperplanos a hiperplanos. Demostracin. Sea S P1 un hiperplano. Por la Proposicin 2.3.11, sabemos que (S) es un subespacio proyectivo de P2 . Si consideramos un punto P S, sabemos que (S, P ) = P1 . / Es fcil comprobar que ((S), (P )) = P2 ; como (S) = P2 se tiene que (S) es un hiperplano. Debido a la Nota 2.4.3, podemos denir el concepto de aplicacin proyectiva. Sean P1 , P2 espacios proyectivos, y sean Vi := V(Pi ), i = 1, 2. Consideremos : V1 V2 aplicacin lineal no idnticamente nula. Esta aplicacin induce por restriccin | : V1 \ ker V2 \ {0} que a su vez induce una aplicacin : P1 \ P(ker ) P2 . A veces denotaremos estas aplicaciones como : P1 P2 para indicar que el dominio no es todo P1 . Si es inyectiva entonces tambin lo es y est denida en todo punto. Denicin 2.4.5. Con la notacin anterior, se llama aplicacin proyectiva. El subespacio P(ker ) se llama el centro de la aplicacin y la aplicacin es una aplicacin lineal asociada a . Ejemplo 2.4.6. Sea P := [1 : 0 : 0] P2 y sea L la recta proyectiva de ecuacin x0 = 0. Vamos a denir la proyeccin de centro P sobre L. Consideremos la aplicacin : R3 L denida por (x0 , x1 , x2 ) = (0, x1 , x2 ). La aplicacin : P2 L est bien denida salvo en P . La imagen de un punto Q se obtiene como sigue: Considerar la recta (P, Q) y su interseccin con L, que ser la imagen. Generalicemos este ejemplo.
36
Denicin 2.4.7. Sea P un espacio proyectivo, P P y S P un hiperplano tal que P S. La proyeccin de centro P sobre S es la aplicacin proyectiva : P / S denida como sigue: dado Q P \ {P }, consideremos (P, Q) la recta que contiene P, Q; entonces (Q) := (P, Q) S. Ejercicio 2.10. Demuestra que estas proyecciones son efectivamente aplicaciones proyectivas. Propiedades 2.4.8. Las siguientes propiedades son inmediatas: (i) La composicin de aplicaciones proyectivas es proyectiva siempre y cuando la composicin de las aplicaciones lineales asociadas no sea nula. (ii) La identidad es proyectiva (iii) La inversa de una aplicacin proyectiva biyectiva es proyectiva (y es una homografa). (iv) Sean 1 , 2 : V W dos aplicaciones lineales no nulas. Entonces, 1 = 2 si y solo si existe t R tal que 1 (v) = t2 (v), v V . Demostracin. Solo ) es no trivial. Como los centros coinciden, entonces ker 1 = ker 2 =: H. Consideremos el espacio vectorial cociente V /H. Fijemos un elemento V /H no nulo. Sabemos que = v + H con v V \ H. Como [1 (v)] = [2 (v)] sabemos que existe nico tv R tal que 1 (v) = tv 2 (v). Es fcil ver que tv no depende del representante v de que hemos escogido y se denota t . Consideremos , V /H linealmente dependientes y no nulos; es inmediato que t = t . Si son linealmente independientes, escojamos v, w H tales que = v + H, = w + H. Observemos que 1 (v) y 2 (w) son linealmente independientes. T Sea := (v + w) + H. Como t 2 (v) + t 2 (w) = t 2 (v + w) = 1 (v + w) = 1 (v) + 1 (w) = t 2 (v) + t 2 (w) deducimos t = t = t .
2.5. REFERENCIAS PROYECTIVAS Y RAZN DOBLE
37
2.5.
Referencias proyectivas y razn doble
Denicin 2.5.1. Sea P un espacio proyectivo de dimensin n. Una familia (P0 , P1 , . . . , Pr ) de puntos de P se dice proyectivamente independiente si dim (P0 , P1 , . . . , Pr ) = r. Nota 2.5.2. La condicin de independencia proyectiva de los puntos es equivalente a dim(P0 + P1 + + Pr ) = r + 1. La primera idea que generaliza lo realizado en los casos lineal y afn es llamar referencia proyectiva a una familia de n + 1 puntos (P0 , P1 , . . . , Pn ) de P, n = dim P, que sean proyectivamente independientes. Elijamos vi Pi \ {0}, i = 0, 1, . . . , n. Sabemos que existe un nico isomorsmo lineal : Rn+1 V(P) tal que (ei ) = vi , con e0 , e1 , . . . , en base cannica. Este isomorsmo induce una homografa : Pn P tal que verica: [0 : :
lugar i
: : 0] Pi .
(2.4)
Sin embargo es fcil observar que no es el nico. Lema 2.5.3. Una aplicacin proyectiva verica (2.4) si y solo si proviene de un isomorsmo lineal Rn+1 V(P) tal que ei ti vi , con ti = 0, i = 0, 1, . . . , n. Es ms, la anterior aplicacin es igual a si y solo si t0 = t1 = = tn . Sea U := [v0 + v1 + + vn ]; es fcil ver que ([1 : : 1]) = U caracteriza la aplicacin entre aquellas que cumplen (2.4). Esto justica la siguiente denicin. Denicin 2.5.4. Sea P un espacio proyectivo de dimensin n. Una referencia proyectiva es una familia de n + 2 puntos (P0 , P1 , . . . , Pn ; U ) de P tales cualesquiera n + 1 de ellos son proyectivamente independientes; el ltimo punto se llama punto unidad. Dada una referencia proyectiva (P0 , P1 , . . . , Pn ; U ) de P, podemos escoger una familia de vectores v0 , v1 , . . . , vn , u V(P) tales que Pi = [vi ], i = 0, 1, . . . , n, U = [u], de muchas n maneras posibles. Observemos que u = j=0 sj vj . La condicin de referencia proyectiva implica que s0 , s1 , . . . , sn = 0. Si cambiamos vi por vi := si vi , i = 0, 1, . . . , n. Entonces n u = i=0 vi . Por tanto, es posible pues elegir v0 , v1 , . . . , vn V(P) tales que Pi = [vi ], n i = 0, 1, . . . , n, U = [ i=0 vi ], razn por la que llamamos a U el punto unidad de la referencia. Denicin 2.5.5. Dada una referencia proyectiva (P0 , P1 , . . . , Pn ; U ) de P, se dice que una base (v0 , v1 , . . . , vn ) es base adaptada a la referencia proyectiva si Pi = [vi ], 0 i n y U = [v0 + v1 + + vn ]. Nota 2.5.6. Es fcil ver que dos bases adaptadas a la misma referencia proyectiva son proporcionales. Dado P P, queremos asociarles algn tipo de coordenadas. Elegimos v V n tal que P = [v]. Por la condicin de referencia sabemos que v = j=0 tj vj para nicos t0 , t1 , . . . , tn R no todos nulos. El objetivo es asociar estos escalares como coordenadas. El problema estriba en que las diferentes elecciones de v0 , v1 , . . . , vn , v dan lugar a diferentes valores. Si elegimos tv en lugar de v, para algn t R , las coordenadas se multiplican por t, lo que sugiere que podemos considerar coordenadas homogneas [t0 : t1 : : tn ]. El cambio de base adaptada no inuye en las coordenadas homogneas.
38
n n n Denicin 2.5.7. La referencia proyectiva estndar (P0 , P1 , . . . , Pn ; U n ) de Pn es la que tiene como base asociada la cannica. Es decir,
Pjn = [0 : : 0 :
lugar j
: 0 : : 0],
j = 0, 1, . . . , n,
U n = [1 : 1 : : 1].
Teorema 2.5.8. Sea P un espacio proyectivo de dimensin n. Entonces P es proyectivamente isomorfo a Pn . Es ms, dada una referencia proyectiva (P0 , P1 , . . . , Pn , U ) de P, existe una nica homografa : P Pn tal que (Pj ) = Pjn , j = 0, 1, . . . , n y (U ) = U n . Demostracin. Sea V(P) =: V . Fijemos v0 , v1 , . . . , vn , u tal que u = v0 + v1 + + vn . Consideremos el isomorsmo lineal : V Rn+1 tal que (vi ) = ei , i = 0, 1, . . . , n. La homografa asociada a es la buscada. Nota 2.5.9. Una vez que jamos una referencia proyectiva (P0 , P1 , . . . , Pn , U ) de P, si P P, entonces (P ) son las coordenadas homogneas de P en dicha referencia. Corolario 2.5.10. Sea P un espacio proyectivo de dimensin n y sea S un hiperplano. Entonces existe una homografa de P en Pn que enva S al hiperplano de ecuacin x0 = 0. Proposicin 2.5.11. Sean 1 , 2 : P1 P2 dos homografas que coinciden en una referencia proyectiva. Entonces 1 = 2 . Corolario 2.5.12. Dos homografas de una recta proyectiva en otra que coincidan en tres puntos distintos son iguales. Ejemplo 2.5.13. Consideremos dos rectas distintas L1 , L2 P, P plano proyectivo. Sea P P \ (L1 L2 ). La proyeccin de centro P dene una homografa P : L1 L2 que deja Q := L1 L2 jo. Esta aplicacin se llama perspectividad. Proposicin 2.5.14. Consideremos dos rectas distintas L1 , L2 P, P plano proyectivo. Sea : L1 L2 una homografa que deja jo Q. Entonces es una perspectividad. P L1 R1 Q R2 S1 S2 L2
Figura 2.4: Perspectividad
Demostracin. Sean R1 , S1 L1 \ {Q} distintos. Denotemos R2 := (R1 ) y S2 := (R2 ). Es claro que R1 = R2 y S1 = S2 , por ser L1 = L2 . Las rectas (R1 , R2 ) y (S1 , S2 ) son distintas. Sea P (R1 , R2 ) (S1 , S2 ). Entonces y la perspectividad que dene P coinciden en Q, R1 , S1 , y por el Corolario 2.5.12 son iguales.
2.5. REFERENCIAS PROYECTIVAS Y RAZN DOBLE
39
Proposicin 2.5.15. Sean L, M dos rectas distintas de un plano proyectivo P y sea : L M una homografa. Entonces, si no es perspectividad, entonces es composicin de dos perspectividades. P2 P1 O Q2 R Q1 N Figura 2.5: Composicin de perspectividades M L
Demostracin. Sea O := L M y sean P1 L, Q1 M tales que (P1 ) = O, (O) = Q1 . Consideremos la recta N := (P1 , Q1 ) (P1 = Q1 por no ser una perspectividad). Sea P2 L, P2 = O, P1 y sea Q2 := (P2 ) M . Sea R := N (P2 , Q2 ). Denotemos : L N la perspectividad de centro Q2 y : N M la de centro Q2 . Entonces, ( )(O) = (Q1 ) = Q1 . ( )(P1 ) = (P1 ) = O. ( )(P2 ) = (R) = Q2 . Por tanto, = . Ejercicio 2.11. Sea P un plano proyectivo, L recta de P. Demuestra que toda homografa : L L distinta de la identidad es producto de dos o tres perspectividades. Demuestra que si lo es de dos tiene uno o dos puntos jos. Identiquemos P1 con R {} como en el Ejemplo 2.3.3. Vamos a estudiar las automorsb mos proyectivos de P1 . Sea A := a d GL(2; R) la matriz que determina un autormosmo c lineal : R2 R2 . El automorsmo : P1 P1 asociado verica ([x0 : x1 ]) = [ax0 + bx1 : cx0 + dx1 ]. Con la identicacin t =
x1 x0 ,
lo podemos escribir siguiendo la Notacin 2.1.5: (t) = cx0 + dx1 c + dt = . ax0 + bx1 a + bt
Sea P una recta proyectiva y sean P0 , P1 , P2 , P3 P cuatro puntos distintos. En particular (P0 , P1 , P2 ) es una referencia proyectiva (ya que dos puntos distintos engendran la recta). Consideremos la nica homografa P0 ,P1 ,P2 : P P1 tal que P0 ,P1 ,P2 (P0 ) = , P0 ,P1 ,P2 (P1 ) = 0, P0 ,P1 ,P2 (P2 ) = 1. Denicin 2.5.16. La razn doble de P0 , P1 , P2 , P3 es (P0 , P1 , P2 , P3 ) := P0 ,P1 ,P2 (P3 ).
40
Este concepto extiende el estudiado en 2.1. Terminamos con un resultado sencillo pero importante. Teorema 2.5.17. Sea : P1 P2 una homografa. Entonces respeta las rectas y la razn doble de cualesquiera cuatro puntos alineados. En el caso de razones simples, haba un caso especial, cuando el valor era 1 (o 21 despus de permutar). Tambin ocurre para las razones dobles. Denicin 2.5.18. Sean P1 , . . . , P4 cuatro puntos alineados en un espacio proyectivo P. Diremos que son una cuaterna armnica si (P1 , P2 , P3 , P4 ) = 1.
2.6. RELACIN AFN-PROYECTIVO
41
2.6.
Relacin afn-proyectivo
En esta seccin vamos a generalizar 2.2 y los Ejemplos 2.3.3 y 2.3.4. Sea P un espacio proyectivo de dimensin n ( Pn ); denotaremos V := V(P) ( Rn+1 ). Fijemos un hiperplano H P ( {x0 = 0}) y sea H := V(H ), subespacio vectorial de V de dimensin n. Consideraremos tambin un hiperplano afn Z V tal que Z = H y H = Z ( {x0 = 1}). Proposicin 2.6.1. La aplicacin Z : Z P\H dada por Z (v) := [v] es una biyeccin.
Z (v0 )
Z (v1 )
v0
v1
V(SZ ) = R S H=Z S 0
Figura 2.6: Inclusin del plano afn en el proyectivo
Demostracin. La aplicacin est bien denida ya que 0 Z. En efecto, por una parte, si / v Z engendra un subespacio vectorial de dimensin 1. Adems Z H = , por lo que [v] H . / Es fcil comprobar que 1 : P \ H Z est denida por 1 (P ) := P Z; en efecto, Z Z tenemos la interseccin de una recta afn y un hiperplano no paralelos, lo que da lugar a un punto. Es inmediato comprobar que es la aplicacin inversa. Propiedades 2.6.2. Esta aplicacin se comporta bien con respecto a subespacios. (i) Sea S Z un subespacio afn. Entonces, existe un subespacio proyectivo SZ P (no contenido en H ) de la misma dimensin tal que Z (S) = SZ \ H . De hecho, V(SZ ) es el subespacio vectorial engendrado por Z. Es de dimensin dim S + 1 y cualquier referencia proyectiva de Z da lugar a una base de V(SZ ). Adems, SZ H = P(S). Demostracin. Sea J := R Z y tomemos v0 , v1 , . . . , vr una referencia afn de Z, r = dim Z. Como combinaciones anes y lineales coinciden en espacios vectoriales, J est
42
CAPTULO 2. ESPACIOS PROYECTIVOS engendrado por v0 , v1 , . . . , vr . Es decir, SZ est engendrado por v0 y por v1 v0 , . . . , v0 ; como estos ltimos forman una base de S H, tenemos que J = R v0 + S. Como v0 H la suma es directa y dim J = r + 1. Es inmediato comprobar que Z (S) = / P(J) \ H . Para la ltima igualdad basta tener en cuenta que J H = S.
(ii) Si S P es un subespacio proyectivo no contenido en H , entonces 1 (S) = V(S)Z Z es un subespacio afn de Z de la misma dimensin y V(SH ) es su subespacio director. (iii) Si S1 , S2 Z son subespacios anes, entonces (S1 , S2 )Z = P ((S1 )Z , (S2 )Z ). (iv) Si S1 , S2 Z son subespacios anes no paralelos, entonces (S1 S2 )Z = (S1 )Z (S2 )Z . (v) Si S1 , S2 Z son subespacios anes paralelos (sin inclusiones), entonces (S1 S2 )Z = P(S1 ) P(S2 ) H . Nota 2.6.3. Identicndolo con Z, podemos considerar P \ H como un espacio afn de dimensin n. Adems, H se identica con P(Z). Dos rectas distintas L, L de Z son paralelas si y solo si las rectas proyectivas LZ y LZ se cortan en H . Vamos a ver estos resultados en coordenadas, usando el ejemplo cannico propuesto al principio de la seccin. Identicaremos Z con An mediante la anidad j : An Z dada por R R j(x1 , . . . , xn ) = (1, x1 , . . . , xn ). Denicin 2.6.4. La proyectivizacin del espacio afn estndar An es la aplicacin p j : R An Pn . Identicaremos An con su imagen por p j y Pn1 con H . R R Ejemplo 2.6.5. Consideremos un subespacio afn S de An . Sus ecuaciones sern del tipo: R a11 x1 . . . al1 x1 + ... .. . + ... + a1n xn . . . + aln xn = b1 . . . = bl .
(2.5)
Entonces, las ecuaciones homogneas del subespacio proyectivo S Pn inducido por S son: a11 x1 . . . al1 x1 + ... .. . + ... + a1n xn . . . + aln xn = b1 x0 . . . = bl x0 .
En efecto, las coordenadas homogneas que son solucin de esta ecuacin son de dos tipos. Si x0 = 0, podemos tomar x0 = 1 y obtenemos S; si x0 = 0, obtenemos las soluciones del sistema homogneo asociado a (2.5), es decir, obtenemos P(S). Este proceso se llama homogeneizacin de las ecuaciones y proyectivizacin de S; el proceso inverso es el de deshomogeneizacin. Observemos que S \ S = S H y hemos visto que est formado precisamente por las direcciones de rectas contenidas en S, es decir, es P(S) Pn1 .
43
Como hemos visto hay una ntima relacin entre geometra proyectiva y afn. Esta relacin se traduce como sigue para razones dobles y simples. El resultado es trivial. En 2.1, hemos denido la razn doble de cuatro puntos alineados en un espacio afn y la razn doble de cuatro rectas concurrentes de un plano afn. Por otra parte, la Denicin 2.5.16 se reere a la razn doble de cuatro puntos de una recta proyectiva. Todas estas deniciones coinciden. Es ms, la Proposicin 2.1.4 y la relacin entre espacio afn y espacio proyectivo nos permiten enunciar el siguiente resultado. Proposicin 2.6.6. Sea P un espacio proyectivo y sea S un hiperplano. Consideremos la estructura afn de P\S. Sea L una recta proyectiva no contenida en S; denotemos el nico punto de L S. Sean P0 , P1 , P2 L \ {}. Entonces, (, P0 , P1 , P2 ) = (P0 , P1 , P2 ). Nota 2.6.7. Sean P1 , P2 espacios proyectivos (de dimensin n > 1) y sea : P1 P2 una homografa. Sea S1 un hiperplano de P1 y sea S2 := (S1 ), hiperplano de S2 . Escogemos hiperplanos anes Zi V(Pi ), 0 Zi , Zi = V(Si ), i = 1, 2. Sea la aplicacin denida por / el diagrama conmutativo (2.6): P1 \ S 1 P2 \ S 2 1 Z1 Z2 Z1
|
(2.6)
Z2
Como es una biyeccin que respeta subespacios anes, se trata de una anidad. Consideremos homografas (como en el Ejemplo 2.4.2) Pi Pn que envan Si al hiperplano H de ecuacin x0 = 0. Esto nos permite reemplazar por una homografa Pn Pn que ja H . En el diagrama (2.6) tomamos como Z1 = Z2 el hiperplano de ecuacin x0 = 1 identicado mediante j con An . R Es decir, existen V Rn , A GL(n; R), tal que si Xn Rn Mat(n 1; R), entonces, (Xn ) = V + AXn . Para mantener los vectores columnas, cuando consideremos coordenadas homogneas, consideraremos vectores columnas X entre corchetes [X]. x Vamos a calcular de un elemento [X] := X0 , x0 = 0, Xn Rn . Tenemos: n ([X]) = 0 X . A (2.7) Si x0 = 0, utilizando que conserva subespacios proyectivos y que el punto se puede poner como interseccin de una recta con H vemos que la frmula (2.7) es cierta siempre. Esto tiene dos consecuencias importantes: x0 Xn =
1 x0 Xn
V +
1 x0 AXn
x0 = x0 V + AXn
1 V
La frmula (2.7) permite homogeneizar y deshomogeneizar aplicaciones. Demuestra que las homografas de la Denicin 2.4.1 son como las del Ejemplo 2.4.2.
44
La utilidad de la relacin entre la geometra afn y proyectiva se visualiza en el siguiente razonamiento. Consideremos un resultado en geometra proyectiva plana. Elijamos en ese enunciado una recta L que consideraremos la recta del innito; traducimos el resultado proyectivo al afn cambiando dos rectas se cortan en L por dos rectas son paralelas. La ventaja es que es equivalente demostrar el resultado proyectivo o cualquiera de sus variantes anes. Consideremos el teorema de Desargues: Teorema de Desargues 2.6.8. Sean dos tringulos ABC, A B C , (es decir, dos ternas de puntos no alineados) tales que las rectas (A, A ), (B, B ) y (C, C ) se cortan en un punto O; suponemos que los siete puntos son distintos. Entonces, los puntos P := (A, B) (A , B ), Q := (B, C) (B , C ) y R := (C, A) (C , A ) son colineales.
A B O B
C Q
Figura 2.7: Conguracin desarguesiana
Demostracin. Sea 1 : (A, A ) (B, B ) la perspectividad de centro P . Sea 2 :
45
(B, B ) (C, C ) la perspectividad de centro Q. Sea := 2 1 : (A, A ) (C, C ); es una homografa que ja O por lo que tambin es una perspectividad. Es fcil ver que R es el centro de . Sean X := (P, Q) (A, A ), Y := (P, Q) (B, B ), Z := (P, Q) (C, C ); es fcil ver que 1 (X) = Y , 2 (Y ) = Z, por lo que (X) = Z. Deducimos que R, X, Z estn alineados, pero (X, Z) = (P, Q), por que P, Q, R estn alineados. Enunciemos una versin afn: Teorema 2.6.9. Sean dos tringulos ABC, A B C , tales que las rectas (A, A ), (B, B ) y (C, C ) se cortan en un punto O, todos los puntos distintos (en un plano afn A). Supongamos que (A, B) y (A , B ) son paralelas; (B, C) y (B , C ) son paralelas. Entonces (C, A) y (C , A ) son paralelas. Demostracin. Los puntos O, A, B forman una referencia afn, por lo que mediante una anidad podemos suponer que A = A2 , O es el origen, A = ( 1 ), B = ( 0 ). As C := ( u ), v 0 1 R u + v, uv = 0. La condicin de puntos alineados implica que A := ( a ), B := ( 0 ), C := ( cu ), abc = 0. cv 0 b Como las rectas (A, B) y (A , B ) son paralelas, tenemos que a = b. Es fcil ver que al ser (A, C) y (A , C ) paralelas, se tiene que b = c, por lo que (B, C) y (B , C ) son paralelas. Veamos otro importante teorema clsico de la geometra proyectiva. Teorema de Pappus 2.6.10. Sea P un plano proyectivo. Sean L, L P dos rectas distintas, O := L L . Sean A, B, C L y A , B , C L dos ternas de puntos distintos y distintos de O. Sean P := (A, B ) (A , B), Q := (B, C ) (B , C) y R := (C , A) (C, A ). Entonces P, Q, R son colineales. Demostracin. Sea L := (P, R); denotemos A = (A, A ) L y B = (B, B ) L . Sea tambin O := L L . Consideremos las perspectividades A : L L y A : L L . Sea := A A . Tenemos: (A) = A (A ) = A . (B) = A (P ) = B . (C) = A (R) = C . (O) = A (O ) = O . Denotemos ahora Q := (B , C) L y C := (B, Q) L . Consideremos B : L L , B : L L y := B B . Tenemos:
46 (A) = B (P ) = A . (B) = B (B ) = B . (C) = B (Q) = C . (O) = B (O ) = O .
Como y coinciden en tres puntos distintos, son iguales, por lo que C = C , lo que implica que Q = Q y tenemos el resultado. C Q P R L A B C Figura 2.8: Teorema de Pappus
B A L
Vamos a enunciar una versin afn de este resultado en la que L se considera la recta del innito. Teorema 2.6.11. Sea A un plano afn y sean L A una rect. Sean A, B, C L tres puntos distintos y construyamos las siguientes rectas: L1 , L1 , rectas paralelas distintas de L y tales que B L1 , C L1 . C B C B L2 , L2 , rectas paralelas distintas de L y no paralelas a las anteriores y tales que A L2 , A C A C L2 . C L3 , L3 , rectas paralelas distintas de L y no paralelas a las anteriores y tales que A B A L3 , B L3 . B A Sean P := L2 L1 , Q := L3 L2 y R := L3 L1 . Entonces P, Q, R son colineales. A B B C A C Demostracin. Vamos a tomar como sistema de referencia afn A, B, P . Por tanto, suponemos que A = A2 , A = ( 0 ), B = ( 1 ), P := ( 0 ). 0 0 1 R c Deducimos que C = ( 0 ), c = 0, 1. Como L1 = (B, P ), su ecuacin es x + y = 1, por lo B que la ecuacin de L1 es x + y = c. Adems, L2 = (A, P ) por lo que su ecuacin es x = 0. C A Por tanto, L2 tiene como ecuacin x = c. Consideremos L3 , L3 ; podemos suponer que la C A B ecuacin de L3 es x + uy = 0, con u = 0, 1, por lo que la de L3 es x + uy = 1. A B uc 1u c Por tanto Q = 1c y R = y los tres puntos estn alineados. c u
1u
Terminamos esta seccin con una forma geomtrica de encontrar cuaternas armnicas.
47
Teorema 2.6.12. Sea P un plano proyectivo. Sean A, B, C tres puntos alineados distintos, L := (A, B). Consideremos dos rectas L1 , L2 (resp. M1 , M2 ) que se cortan en A (resp. B) distintas entre s y distintas de L y tales que L1 M1 , L2 M2 y C son alineados. Sea D := (L1 M2 , L2 M1 ) L. Entonces, A, B, C, D forman una cuaterna armnica.
X21
X11
L1
L2 M2
M1
Figura 2.9: Cuadriltero y cuaterna armnica
Demostracin. Denotemos Xij := Li Mj . Escogemos L2 como recta del innito. En el plano afn que nos queda, tomamos B, C, X11 como referencia afn. Es decir, trabajamos en A2 con R B = ( 0 ), C = ( 1 ), X11 = ( 0 ). 0 0 1 Como L tiene ecuacin y = 0, A es el punto del innito de las rectas horizontales, L1 es la recta de ecuacin y = 1 y M1 la de ecuacin x = 0. Obtenemos que el punto X21 es el punto del innito de las rectas verticales. Sea N1 := (X11 , C), cuya ecuacin es x + y = 1. Como esta recta pasa por X22 , este es su punto del innito. Por tanto, la recta M2 tiene ecuacin x + y = 0. Es decir, X12 = 1 . 1 La recta (X12 , X21 ) tiene ecuacin x = 1, por lo que D = 1 y obtenemos el 0 resultado. M1 L1 X12 C D B M2 Figura 2.10: Versin afn del cuadriltero L X11

X22
X12 L
2.7. DUALIDAD PROYECTIVA
49
2.7.
Dualidad proyectiva
En esta seccin vamos a generalizar una propiedad importante del plano proyectivo: podemos intercambiar los conceptos de punto y recta, invirtiendo las inclusiones y reemplazando intersecciones por subespacios engendrados. Sea P un espacio proyectivo de dimensin n. Denotemos V := V(P), espacio vectorial de dimensin n + 1. Consideremos el conjunto de hiperplanos de P; si S es un hiperplano de P entonces H := V(S) es un hiperplano vectorial de V . De hecho, mediante esta relacin el conjunto de hiperplanos proyectivos de V est e biyeccin natural con el conjunto de los hiperplanos vectoriales de V . Un hiperplano vectorial H es el ncleo de una forma lineal V \ {0}, V es el espacio vectorial dual de V ; adems dos formas (no nulas) tienen como ncleo el mismo hiperplano si y solo si dieren por el producto por un escalar no nulo. Es decir: Denicin 2.7.1. Sea P un espacio proyectivo. El dual de P es el conjunto P de los hiperplanos proyectivos de P; se identica de forma natural con P(V ), donde V := V(P). Vamos a recordar las propiedades principales de los espacios vectoriales duales. Propiedades 2.7.2. Sea V un espacio vectorial de dimensin n + 1 y sea V su espacio vectorial dual. (1) Los espacios vectoriales son isomorfos. Los isomorsmos se pueden construir como sigue. Sea v0 , . . . , vn una base de V ; entonces V tiene una base v0 , . . . , vn , llamada base dual de la anterior dada por vi (vj ) := ij , i, j = 0, . . . , n. El isomorsmo enva una base a la otra y depende de la base elegida. (2) El bidual (V ) se identica de forma natural con V (un vector v V dene una forma lineal V R mediante la evaluacin en v). Este hecho permitir simplicar muchas demostraciones. (3) Sea H un subespacio vectorial de dimensin k + 1. Denimos H := { V | H ker }. Se trata de un subespacio vectorial de V de dimensin nk. Utilizando (2) se demuestra que si J es un subespacio de V de dimensin k + 1, entonces J :=
J
ker ,
es un subespacio dimensional de V de dimensin n k. Es fcil ver que (H ) = H y que si H1 H2 entonces H1 H2 . (4) Si H1 , H2 V son subespacios vectoriales de V , entonces (H1 H2 ) = H1 + H2 . De nuevo, por (2) tenemos que (H1 + H2 ) = H1 H2 .
50
(5) Si f : V W es una aplicacin lineal, podemos denir f : W V tal que W , f () = f V . Se tiene que (1V ) = 1V y si se pueden componer f, g lineales, entonces (g f ) = f g . Adems, (f ) = f . (6) Como en Rn tenemos una base especial, la base cannica, podemos identicar (Rn ) Rn , mediante la base dual de la base cannica. Con esta identicacin, si una aplicacin lineal Rn Rm est denida por una matriz A Mat(m n; R), entonces su aplicacin dual lo est por t A Mat(n m; R). Vamos a traducir estas propiedades vectoriales a propiedades proyectivas. Ejemplo 2.7.3. El dual de Pn es P((Rn+1 ) ) y por la Propiedad 2.7.2(6) se identica otra vez a Pn . Veamos cmo se hace de forma prctica. Consideremos un hiperplano S Pn de ecuacin v0 x0 + v1 x1 + + vn xn = 0 donde (v0 , v1 , . . . , vn ) = 0 y est bien denido salvo producto por un escalar. Mediante la identicacin anterior S Pn Pn se corresponde con las coordenadas homogneas [v0 : v1 : : vn ], llamadas coordenadas plckerianas de S. Veamos las propiedades ms importantes de la dualidad. Propiedades 2.7.4. Sea P un espacio proyectivo de dimensin n. (1) Por la Propiedad 2.7.2(1), P y P son isomorfos. (2) Por la Propiedad 2.7.2(2), P = P. (3) Por la Propiedad 2.7.2(3), si S es un subespacio proyectivo de dimensin k de P entonces, llamaremos subespacio dual de S a S := P(V(S) ), subespacio proyectivo de P de dimensin n k 1; anlogamente se dene el dual de un subespacio de P. Adems, (S ) = S y si S1 S2 entonces S1 S2 . (4) Por la Propiedad 2.7.2(4), si S1 , S2 son subespacios proyectivos de P entonces, (S1 S2 ) = (S1 , S2 ) y (S1 , S2 ) = S1 S2 . Ejemplo 2.7.5. Sea P := [x0 : x1 : : xn ] Pn . Su dual P es un hiperplano de Pn cuya ecuacin para las coordenadas plckerianas es: x0 v0 + x1 v1 + + xn vn = 0. Ejercicio 2.12. Sea S := (P1 , . . . , Pr ) Pn subespacio proyectivo. Encontrar ecuaciones de S en coordenadas plckerianas. Ejemplo 2.7.6. Mediante la dualidad, si H es un hiperplano de P tenemos que H es el punto P determinado por el hiperplano; usaremos en este caso indistintamente la notacin H y H segn convenga (al identicar los puntos del dual con los hiperplanos de P). Si P P, su dual es un hiperplano P de P cuyos elementos son los hiperplanos que pasan por P . Si S es un subespacio proyectivo de codimensin 2, S es una recta en P cuyos elementos son los hiperplanos que contienen a S y se llama haz de hiperplanos de centro S.
2.7. DUALIDAD PROYECTIVA
51
Proposicin 2.7.7. Sean S1 , . . . , S4 cuatro hiperplanos distintos de un espacio proyectivo P que forman parte de un haz de centro S P subespacio proyectivo de codimensin 2 (es decir, S1 , . . . , S4 estn alineados en P). Sea L una recta de P tal que L S = . Entonces L Si , i = 1, . . . , 4, y si denotamos Pi := L Si se tiene (S1 , S2 , S3 , S4 ) = (P1 , P2 , P3 , P4 ). Demostracin. Vamos a construir una aplicacin : S L como sigue. Recordemos que S es una recta de P. Sea A S ; por denicin A = T donde T P es un hiperplano que contiene a S. Como L S = tenemos que L T ya que en caso contrario tendramos que L es una recta de T y S un hiperplano, por lo que se deberan cortar. Sea P el nico punto de L T . Entonces, (A) := P . Basta comprobar que es una homografa. Sea V := V(P) y sea H := V(L); es un subespacio de dimensin 2. Sea J := V(S ) V ; tambin es un subespacio vectorial de dimensin 2. La condicin L S = signica que J, |H 0. Sean v, w vectores de una base de H. Denimos : J H tal que si J, () := (w)v (v)w. Es fcil ver que es un isomorsmo lineal que da lugar a . Ahora utilizaremos la Propiedad 2.7.2(5) para la siguiente denicin. Denicin 2.7.8. Sea : P1 P2 una homografa, producida por un isomorsmo lineal . La homografa dual : P2 P1 de es la producida por (es fcil ver que no depende de ). Nota 2.7.9. La dual de la identidad es la identidad. La dual de una composicin es la composicin de las duales en orden inverso. La dual de la dual es la misma aplicacin. Ejemplo 2.7.10. Una homografa : Pn Pn est determinada por una matriz A GL(n + 1; R) (sirve tambin cualquier tA, t R ). Su dual est determinada por t A. Proposicin 2.7.11. Sea : P1 P2 una homografa. Entonces, si S P2 es un subespacio proyectivo, entonces ( 1 (S)) = (S ). Ms concretamente, si S es un hiperplano de P2 , (S) = 1 (S). Demostracin. Vamos a probar solo la segunda armacin (que implica la primera). Denotemos Vi := V(Pi ), i = 1, 2. Fijemos un isomorsmo lineal : V1 V2 que d lugar a . Sea S un hiperplano de P2 y sea V2 tal que ker = V(S). Por denicin, (S) = P(ker ) y basta comprobar que ker = 1 (ker ). Las Propiedades 2.7.2 dan la pista sobre un hecho muy til. Sea P una propiedad de un espacio proyectivo de dimensin n que involucre dimensiones, contenidos, intersecciones y subespacios engendrados por subespacios proyectivos. Consideremos esa misma propiedad en el espacio dual. Al considerar la operacin , podemos traducir la propiedad P en una nueva propiedad P donde habr ocurrido lo siguiente: La dimensin de los subespacios ser reemplazada por la codimensin 1.
52 Las inclusiones cambiarn de direccin.
Las intersecciones se cambiarn por subespacios engendrados por y viceversa. Denicin 2.7.12. La propiedad P as denida se llama la propiedad dual de P. Si una propiedad (invariante por homografas) es vlida en cualquier espacio proyectivo de dimensin n, por la Propiedad 2.7.2(1) tambin ser cierta en P. Enunciamos este principio. Principio de dualidad 2.7.13. Sea P una propiedad del espacio proyectivo que involucre contenidos, intersecciones y subespacios engendradas por subespacios proyectivos. Entonces, la propiedad dual P tambin es cierta. Ejemplo 2.7.14. Veamos algunos ejemplos. La propiedad dual en el plano proyectivo de por dos puntos distintos pasa una nica recta es dos rectas distintas se cortan en exactamente un punto. La propiedad dual en el plano proyectivo de tres puntos estn alineados es tres rectas son concurrentes. Ejercicio 2.13. Demostrar que tres planos en un espacio proyectivo de dimensin tres tienen interseccin no vaca. Cul es la propiedad dual? Veamos un ejemplo de cmo funciona la dualidad a partir del teorema de Desargues. Teorema 2.7.15. Sea P un plano proyectivo. Consideremos en P seis puntos distintos A, B, C, A , B , C . Denotemos L := (A, B), M := (A, C), N := (B, C), L := (A , B ), M := (A , C ), N := (B , C ). Supongamos que son seis rectas distintas. Sean P := L L , Q := M M , R := N N . Entonces, P, Q, R son colineales si y solo si (A, A ), (B, B ), (C, C ) son concurrentes. Demostracin. Supongamos que existe O (A, A ) (B, B ) (C, C ). Las condiciones anteriores implican que es distinto de todos los puntos anteriores. Una implicacin es el Teorema 2.6.8. La recproca es la dual y se aplica el Principio de dualidad 2.7.13. Ejemplo 2.7.16. Sea : P P una homografa entre espacios proyectivos de dimensin n. Sea : V V el automorsmo lineal asociado, V := V(P). Es inmediato ver que P es punto jo de si y solo si P V(P ) est contenido en un subespacio propio de . Como la estructura de subespacios propios depende esencialmente de la forma de Jordan del automorsmo, por el Ejemplo 2.7.10 y la Proposicin 2.7.11 hay una biyeccin entre puntos jos e hiperplanos jos. Adems si hay un subespacio proyectivo de dimensin k de puntos jos, hay tambin un subespacio de dimensin n k 1 globalmente jo y tal que todos los subespacios que lo contienen son globalmente jos. Veamos en la siguiente tabla una clasicacin de las homografas del plano proyectivo.
Captulo 3
Cnicas y cudricas
3.1. Formas bilineales simtricas y cudricas
Fijemos V un espacio vectorial de dimensin n + 1. Sea : V V R una forma bilineal simtrica (no idnticamente nula). Recordemos que est determinada por la forma cuadrtica asociada q : V R, q(v) := (v, v). Una forma bilineal es no degenerada si v V \ {0} existe w V tal que (v, w) = 0. Veamos otra interpretacin; la forma bilineal determina una aplicacin lineal : V V , donde si v V , entonces, (v) : V R est denida por (v)(w) := (v, w), w V . As la forma bilineal es no degenerada si y solo si es un isomorsmo; en general, se dene el ncleo de como ker := ker . Sea v0 , . . . , vn una base de V ; la matriz de en la base es A := ((vi , vj ))0i,jn ; como la forma es simtrica, A es una matriz simtrica. Si v, w V tienen coordenadas X, Y Rn+1 Mat((n + 1) 1; R) en la base, entonces (v, w) = t XAY . Tenemos que es no degenerada si y solo si A es inversible. Ejercicio 3.1. La matriz de en la base v0 , . . . , vn de V y en su base dual de V es A. Sea H V un subespacio vectorial de V . El subespacio ortogonal de H con respecto a es H := {w V | (v, w) = 0, v H}. Ejercicio 3.2. Si H es subespacio vectorial de V entonces H = (H) . Deducimos que si es no degenerada, entonces dim H + dim H = n + 1. Adems, H H = {0} si y solo si |H es no degenerada. En tal caso V = H H . Un vector v V es istropo si q(v) = 0; observemos que si v = 0 es istropo entonces q|[v] 0. Denicin 3.1.1. La cudrica asociada a es C := {[v] P(V ) | q([v]) = 0}. Se trata tambin de la cudrica asociada a t, t R . Si n = 2, la llamaremos cnica. 53
54
CAPTULO 3. CNICAS Y CUDRICAS
Ejemplo 3.1.2. Consideremos V = Rn+1 y sea una forma bilineal dada por una matriz simtrica A := {aij }0i,jn = 0. Se tiene n C = [x0 : : xn ] Pn aij xi xj = 0 .
i,j=0
Como es un polinomio homogneo de grado 2, la nulidad de la expresin no depende del representante de las coordenadas homogneas elegido. Nota 3.1.3. Ms adelante veremos que estamos interesados en el polinomio ms que en el propio lugar de ceros. Terminamos recordando la Ley de Inercia de Sylvester. Teorema 3.1.4. Existe una base w0 , . . . , wn de V tal que la matriz de en esta base es diagonal y en la diagonal solo hay 1, 1, 0. Es ms, para cualquier base con la misma propiedad, la cantidad de 1, 1, 0 es la misma. Nota 3.1.5. Dicho de otro modo, existe un isomorsmo : Rn+1 V tal que la matriz asociada (en la base cannica) a 1 : Rn+1 Rn+1 R, 1 (X, Y ) := ((X), (Y )), es como en el Teorema 3.1.4 Nota 3.1.6. Recordemos que una forma bilineal simtrica se dice denida positiva (resp. denida negativa, resp. semidenida positiva, resp. semidenida negativa, resp. indenida) si v V \ {0} q(v) > 0 (resp. < 0, resp. 0, resp. 0, resp. nada de lo anterior). Por el Teorema 3.1.4, si tomamos una matriz diagonal con 1, 0 en la diagonal, tendremos que es denida positiva (resp. negativa) si solo 1 (resp. 1) aparece en la diagonal. Ser semidenida positiva (resp. negativa) si solo 0, 1 (resp. 0, 1) aparece en la diagonal, mientras que en el resto de los casos es indenida. La consecuencia es el siguiente teorema. La diferencia en el enunciado proviene de que podemos reemplazar por y la cudrica no cambia. Teorema 3.1.7. Sea C una cudrica en P. Entonces existe una homografa P Pn que lleva C a una cudrica en Pn denida por un polinomio
a1 a+b1
x2 j
j=0 j=a
x2 ; j
los valores a, b estn bien denidos (salvo intercambio de b, a). Una forma de llegar a esta expresin es utilizar el mtodo de completar cuadrados. Ejemplo 3.1.8. En la recta proyectiva hay tres tipos de cudricas denidos por las ecuaciones x2 x2 = 0 (dos puntos), x2 + x2 = 0 (vaca) y x2 = 0 (punto doble). Las dos primeras son 0 1 0 0 1 no degeneradas. Ejemplo 3.1.9. En el plano proyectivo nos encontramos con ms tipos de cnicas:
3.1. FORMAS BILINEALES SIMTRICAS Y CUDRICAS 1. x2 + x2 + x2 = 0, cnica no degenerada vaca. 0 1 2 2. x2 + x2 x2 = 0, cnica no degenerada no vaca. 0 1 2 3. x2 + x2 = 0, punto. 0 1 4. x2 x2 = 0, par de rectas. 0 1 5. x2 = 0, recta doble. 0
55
Teorema 3.1.10. Sea C una cnica de P2 y sea L una recta de P2 . Entonces, C L consta de 0, 1, 2 o toda la recta (este ltimo caso solo puede ocurrir si C es degenerada). Demostracin. Sea la forma bilineal asociada. Supongamos en primer lugar que L C, es decir, V(L) ker . Consideramos una base de R3 donde los dos primeros vectores son de V(L). Obtenemos que es degenerada. Si L C, entonces |V(L) no es idnticamente nula. Observemos que C L es la cudrica asociada a |V(L) por lo que el resultado se sigue del Ejemplo 3.1.8. Ejercicio 3.3. Demuestra el mismo resultado del Teorema 3.1.10 si la ecuacin de la cnica 2 2 C es i,j=0 aij xi xj y la de L es i=0 bi xi = 0.
56
3.2.
Transformacin polo-polar
Sea P un plano proyectivo, y consideremos una cudrica C P no degenerada y asociada a una forma bilineal simtrica de V := V(P). Denicin 3.2.1. La transformacin polo-polar asociada a C es un par de aplicaciones T : P P, T : P P tales que si P P, entonces T (P ) := P(P ) P y si S P, entonces, T (S) := (V(S)) . Diremos que T (P ) es la polar de P y que T (S) es el polo de S. La denicin es correcta por ser no degenerada. Vamos a estudiar propiedades de esta aplicacin y a ver cmo se comporta en coordenadas. Ejemplo 3.2.2. Tomemos Pn y una forma bilineal asociada a una matriz simtrica A. Consideremos un vector no nulo X Rn+1 que engendra P Pn . Entonces, P = {Y Rn+1 | t XAY = 0}. Es decir, las coordenadas de una forma lineal que dene P en la base dual de la base cannica vienen dadas por AX; es decir, en coordenadas plckerianas T (P ) = [AX]. Consideremos ahora un hiperplano S P; supongamos que [U ], con U Rn+1 \ {0} son las coordenadas plckerianas de S, es decir, S = {Y Rn+1 | t U Y = 0}. Un vector X es ortogonal a S si t XAY = 0, Y S. En particular, A1 U es ortogonal a S. Por tanto, T (S) = [A1 U ]. Propiedades 3.2.3. La transformacin polo-polar cumple siP P y S P2 : (a) T (T (P )) = P , T (T (S)) = S. (b) P S si y solo si T (S) T (P ). (c) P C P T (P ). En tal caso, T (P ) se llama el hiperplano tangente a C por P . (d) S es tangente a la cnica si y solo si T (S) S. En tal caso T (S) es el punto de tangencia. Demostracin. Son consecuencias inmediatas de las frmulas del Ejemplo 3.2.2. En el caso de cnicas, podemos dar una visin ms geomtrica de los resultados. Proposicin 3.2.4. Si C es una cnica no degenerada, entonces: (i) Supongamos que por P podemos trazar dos tangentes. Entonces, T (P ) es la recta que une los dos puntos de tangencia. (ii) Supongamos que L es una recta que corta a la cnica en dos puntos. Entonces T (L) es el punto de interseccin de las rectas tangentes a los dos puntos. Demostracin. Supongamos que L1 , L2 son rectas distintas tangentes a C tal que P L1 L2 . Entonces, T (L1 ), T (L2 ) T (P ) por la Propiedad 3.2.3(b); hemos demostrado (i). Anlogamente, se prueba (ii).
3.2. TRANSFORMACIN POLO-POLAR
57
Ejercicio 3.4. Sea C una cudrica no degenerada de P y sea la forma bilineal asociada. Demuestra que un hiperplano S es tangente a C si y solo si |V(S) es degenerada; en tal caso ker |V(S) es de dimensin 1 y es el punto de tangencia. Ejercicio 3.5. Sea C una cudrica no degenerada y no vaca en P3 . Calcula el tipo de C S si S es un plano tangente a C. La dualidad se aplica tambin a las cudricas no degeneradas. Recordemos que una forma bilineal simtrica no degenerada sobre un espacio vectorial V est determinada por un isomorsmo lineal : V V . Como (V ) = V , tenemos que existe una forma bilineal simtrica no degenerada sobre V tal que ( ) = ( )1 . Denicin 3.2.5. La cudrica dual C de una cudrica no degenerada C es la cudrica de P asociada a . Proposicin 3.2.6. Sea C P una cudrica no degenerada. Entonces, P C T (P ) C. Demostracin. Fijemos una base de V := V(P) y la base dual. Si A es la matriz de en la base jada, A1 es la matriz de en la base dual. Si usamos las bases para identicar P y Pn , sea P P y sea X Rn+1 tal que P = R X . Recordemos que las coordenadas plckerianas de T (P ) vienen dadas por [U ], con U = AX. Entonces, P C t XAX = 0 t (A1 U )A(A1 U ) = 0 t U A1 U = 0 T (P ) C.
Este resultado nos permite dualizar las cudricas. El dual de una cudrica no degenerada es una cudrica y la pertenencia de puntos se intercambia con la tangencia de hiperplanos. Ejercicio 3.6. Enuncia el Teorema de Brianchon que es el dual del Teorema de Pascal.
58
3.3.
Cnicas proyectivas no degeneradas no vacas
Consideremos una cnica no degenerada y no vaca C P. No es difcil ver que proviene de una forma bilineal no degenerada e indenida. Sea P C y sea L una recta tal que P L. Vamos a denir una biyeccin entre P,L : C L como sigue. Sea Q C; supongamos / primero que Q = P . Consideremos la recta (P, Q); como es distinta de L, podemos denir P,L (Q) := L (P, Q). Denimos P,L (P ) := L T (P ); est bien denida ya que P T (P ). 1 Si R L, entonces consideremos la recta (P, R); si (P, R) = T (P ) entonces P,L (R) = P . Si son distintas, (R, P ) corta a C en al menos un punto. Como no es T (P ), lo hace en otro 1 punto, por lo que P,L (R) = (R, P ) (C \ {P }).
1 Si escogemos otra recta distinta M , entonces P,M P,L es la perspectividad de centro P entre L y M y es por tanto una homografa.
Veamos ahora qu ocurre si elegimos puntos distintos en la cnica. Consideremos dos puntos P, Q C, P = Q. Consideremos U := T (P ) T (Q) = T ((P, Q)); U (P, Q) = / T (U ) por no estar en la curva. Elegimos un punto O C para que (O, P, Q; U ) formen una referencia proyectiva. Esto nos permite suponer que estamos en P2 y que O = [1 : 0 : 0], P = [0 : 1 : 0], Q = [0 : 0 : 1] y U = [1 : 1 : 1]. Consideremos coordenadas homogneas [x : y : z]. los anteriores. R P M U R R L T (P ) C O
Q T (Q)
Figura 3.1: Cnicas y perspectividades
Como O, P, Q C, la ecuacin asociada a C ser de la forma xy + xz + yz = 0, , , = 0. La matriz A de la forma bilineal es (multiplicando por 2 la ecuacin): 0 A = 0 . 0
Por tanto, T (P ) tiene ecuacin x + z = 0 y T (Q) tiene ecuacin x + y = 0. Como T (P ) = (P, U ), tiene ecuacin xz = 0; de la misma manera, T (Q) tiene ecuacin xy = 0. Por tanto, = = , por lo que podemos tomar como ecuacin de C: xy + xz yz = 0.
3.3. CNICAS PROYECTIVAS NO DEGENERADAS NO VACAS
59
Como recta L elegimos (O, Q), de ecuacin y = 0 y como recta M elegimos (O, P ), 1 de ecuacin z = 0. Queremos calcular Q,M P,L : L M . Es inmediato comprobar que A 1 se queda jo por esta aplicacin. Por denicin, P,L (Q) = Q y al aplicarle Q,M obtenemos T (Q) M = U . Sea ahora R L \ {O, Q}; tendr ecuaciones homogneas [1 : 0 : ], con R . 1 Calculemos P,L (R); se trata de la interseccin de (P, R) con C. Esta recta tiene ecuacin x z = 0. Si reemplazamos en la ecuacin de C obtenemos: 0 = xy + x2 xy = x((1 )y + x).
1 Deducimos que R := P,L (R) = [( 1) : : ( 1)]. Queremos ver ahora quin es Q,M (R ); la recta (Q, R ) tiene ecuacin x ( 1)y = 0, por lo que R := Q,M (R ) = 1 [( 1) : : 0]. Es inmediato ver que U, R, R estn alineados, por lo que Q,M P,L es la perspectividad de centro U . En particular, hemos probado el resultado siguiente.
Teorema 3.3.1. Sea C P una cnica no degenerada no vaca en un plano proyectivo P. 1 Sean P, Q C y sean L, M P dos rectas tales que P L, Q M . Entonces, Q,M P,L : / / L M es una proyectividad. En particular, si P, Q, R, S C son distintos, y O C, entonces ((O, P ), (O, Q), (O, R), (O, S)) no depende de O y se puede denir la razn doble (P, Q, R, S). Veremos dichas cnicas como rectas proyectivas y P,L como homografas. Veamos una consecuencia importante de este resultado. Teorema de Pascal 3.3.2. Sea P un plano proyectivo y sea C una cnica no degenerada y no vaca. Sean A, B, C, A , B , C C seis puntos distintos. Entonces, los puntos P := (A, B ) (A , B), Q = (A, C ) (A , C), R = (B, C ) (B , C) estn alineados.
C B A R C
Q P
A B
Figura 3.2: Teorema de Pascal
60
1 Demostracin. Sea L := (P, Q); consideramos las homografas de C dadas por := A,L 1 A ,L y := B,L B ,L . Es fcil ver que (A) = (A) = A , (B) = (B) = B , (C) = C y (C) = C , que se obtiene como sigue. Sea R := (B , C) L y sea C := (B, R ); basta probar que C = C para obtener el resultado. Es decir, basta ver = . Se trata de una homografa que coincide en dos puntos. Si C L = , es fcil ver que cualquier elemento de la interseccin es jo, por lo que = . Si la interseccin es vaca, tenemos que pasar este problema a C donde la interseccin es no vaca.
3.4. CNICAS AFINES
61
3.4.
Cnicas anes
Consideremos el plano afn estndar A2 ; denotaremos (x, y) sus coordenadas. R Denicin 3.4.1. Una cnica afn es la solucin de una ecuacin de grado 2 en x, y. Nota 3.4.2. Como en el caso proyectivo, a veces prestaremos ms atencin a la ecuacin que al lugar de ceros. Recordemos que podemos ver el plano afn como el complementario de una recta en el plano proyectivo, mediante la inclusin A2 P2 dada por (x, y) [1 : x : y]. Sea R f (x0 , x1 , x2 ) = 0 la ecuacin de una cnica C en P2 . Supongamos que x0 no divide a f (x0 , x1 , x2 ); entonces, f (1, x, y) es un polinomio de grado 2 en x, y; su lugar de ceros Caf es la anizacin de C. Recprocamente, si C es una cnica afn denida por g(x, y) = 0, entonces, x1 x2 x2 g( x0 , x0 ) es un polinomio homogneo no nulo de grado 2 y dene por tanto una cnica 0 proyectiva C que se llama la proyectivizacin de C. Como el conjunto de anidades de A2 R coincide con el conjunto de proyectividades de P2 que jan la recta del innito x0 = 0, para estudiar la clasicacin de las cnicas salvo anidad, podemos estudiar la de los pares de cnica C y recta L proyectivas (L C) salvo proyectividad. Las cnicas proyectivas estn asociadas a las ternas (1, 0, 0), (1, 1, 0), (1, 1, 0), (1, 1, 1) y (1, 1, 1). El modo de trabajar ser el mismo en todos los casos. Considereramos un par (C, L) de recta y cnica en P2 tal que L C; sea la forma bilineal simtrica de R3 asociada a C, y sea H := V(L) el plano vectorial de R3 asociado a L. Estudiaremos la cnica afn en trmino de y |H . Comencemos con el caso (1, 0, 0); sabemos que toda cnica de este tipo es proyectivamente equivalente a x2 = 0. Solo hay dos posiciones relativas posibles de C y L, pero en una de ellas 0 hay inclusin. Proposicin 3.4.3. Toda cnica afn asociada a (1, 0, 0) se transforma mediante una anidad en la de ecuacin x2 = 0 (recta doble). Demostracin. En este caso la cnica es una recta doble y L debe de ser distinta a ella. Podemos encontrar una proyectividad que enve C a x2 = 0 y L a x0 = 0 y obtenemos el 1 resultado. En el caso (1, 1, 0) el lugar de ceros es un nico punto y solo hay dos posiciones relativas (que el punto est en la recta o no). Proposicin 3.4.4. Toda cnica afn asociada a (1, 1, 0) se transforma mediante una anidad en la de ecuacin x2 +1 = 0 (cnica degenerada vaca) o en la de ecuacin x2 +y 2 = 0 (cnica reducida a un punto). Demostracin. Supongamos primero que el punto no est en la cnica. Eso quiere decir que |H es no degenerada, por lo que es de tipo (1, 1). En particular la recta vectorial H es el ncleo de . Si tomamos como base de R3 una que comience con un vector de H y
62
aadimos una base de H en la que la matriz de |H sea la identidad, tenemos que L es x0 = 0 y C tiene ecuacin x2 + x2 = 0. 1 2 Supongamos ahora que lo est. Entonces H ker = 0. Escogemos como base de R3 una en la que el primer vector est en H \ ker y los dems forman una base de H tal que el primero no est en ker . Tenemos que L es x0 = 0 y C tiene ecuacin x2 + x2 = 0. 0 1 En el caso (1, 1, 0) el lugar de ceros son dos rectas distintas y solo hay dos posiciones relativas (que el punto de interseccin est en la recta o no). Proposicin 3.4.5. Toda cnica afn asociada a (1, 1, 0) se transforma mediante una anidad en la de ecuacin x2 y 2 = 0 (par de rectas concurrentes) o en la de ecuacin x2 1 = 0 (par de rectas paralelas). Demostracin. Es la misma demostracin que para la Proposicin 3.4.4 En el caso (1, 1, 1) el lugar de ceros es vaco y solo hay una posicin relativa. Proposicin 3.4.6. Toda cnica afn asociada a (1, 1, 1) se transforma mediante una anidad en la de ecuacin x2 + y 2 + 1 = 0 (cnica no degenerada vaca). Demostracin. Como es denida positiva, podemos tomar una base ortonormal cuyos dos ltimos vectores estn en H. Tenemos que L es x0 = 0 y C tiene ecuacin x2 +x2 +x2 = 0. 0 1 2 En el caso (1, 1, 1) es el ms interesante ya que se trata el de la cnica no degenerada no vaca; hay tres posiciones relativas (que la interseccin tenga 0, 1, 2 puntos). Proposicin 3.4.7. Toda cnica afn asociada a (1, 1, 1) se transforma mediante una anidad en la de ecuacin x2 +y 2 1 = 0 (elipse), en la de ecuacin x2 y 2 +1 = 0 (hiprbola) o en la de ecuacin x + y 2 = 0 (parbola). Demostracin. Supongamos primero que |H es no degenerada. Ser de tipo (1, 1) o (1, 1); escogemos una base de R3 una en la que el primer vector est en H y los dems forman una base de H tal matriz de |H es diagonal y con 1. Tenemos que L es x0 = 0 y C tiene ecuacin x2 + x2 + x2 = 0 o x2 + x2 x2 = 0; el signo de x0 est determinado para que el 0 1 2 0 1 2 tipo de sea el adecuado. Son los casos de 0 o 2 puntos. Supongamos ahora que |H es degenerada; es fcil ver que no puede ser idnticamente nula. Multiplicando eventualmente por 1 podemos suponer que es de tipo (1, 0). Escogemos una base v, w de H tal que w ker |H y q(v) = 1; como w R v , podemos completar base con otro vector u tal que la matriz de |R v en la base u, v sea ( 0 1 ). En efecto, si 10 u R v es no nulo y completa base con v, entonces (, v) = 0, y es fcil obtener un u u adecuado. Tenemos que L es x0 = 0 y C tiene ecuacin x0 x1 + x2 = 0. 2 Ejercicio 3.7. Sea C una cnica de ecuacin x2 + y 2 = 1, xy = 1 o y = x2 . Demuestra que dados dos puntos en la cnica existe una anidad que respeta C y enva un punto al otro.
3.4. CNICAS AFINES
63
Podemos encontrar de qu tipo es una cnica afn C estudiando la forma bilineal asociada a C y la restriccin de ella al subespacio x0 = 0. Desde el punto de vista prctico, homogeneizamos la ecuacin y completamos cuadrados en ella y en la que se obtiene al hacer x0 = 0. Podemos tambin considerar la transformacin polo-polar de una cnica afn al quedarnos con la parte afn de la transformacin de la proyectivizacin. Denicin 3.4.8. Sea C una cnica afn no degenerada y distinta de una parbola. El centro de C es el polo de la recta del innito. Ejemplo 3.4.9. Supongamos adems que C es no vaca. Entonces, si una recta que pasa por el centro corta a la cnica, lo debe hacer en dos puntos y las rectas tangentes a la cnica en dichos puntos son paralelas. Denicin 3.4.10. Las asntotas de una hiprbola son las rectas tangentes a los puntos del innito.
64
3.5.
Cudricas anes en A3 R
Observemos que las asntotas de una hiprbola se cortan en el centro de esta. Vamos a proceder como en el caso de las cnicas anes, es decir estudiaremos el par (C, ) donde C es una cudrica proyectiva y un plano tal que C. Necesitamos estudiar las formas bilineales simtricas de R4 junto con su restriccin a un hiperplano vectorial H cuyo proyectivizado ser la recta del innito. Proposicin 3.5.1. Toda cudrica afn asociada a (1, 0, 0, 0) se transforma mediante una anidad en la de ecuacin x2 = 0 (plano doble). Demostracin. Las posiciones relativas de dos planos en P3 son: que sean iguales o que se corten en una recta. El primer caso no est permitido y si estamos en el segundo podemos tomar una proyectividad que nos lleve a x0 = 0 y C a x2 = 0. 1 Proposicin 3.5.2. Toda cudrica afn asociada a (1, 1, 0, 0) se transforma mediante una anidad en la de ecuacin x2 +y 2 = 0 (cudrica reducida a una recta) o en la de ecuacin x2 + 1 = 0 (cudrica degenerada vaca de rango 2). Demostracin. Como ker es de dimensin 2 puede estar contenido en H o tener con l interseccin de dimensin 1. La demostracin se realiza como en la Proposicin 3.4.4. Los siguientes resultados se prueban con las mismas tcnicas. Proposicin 3.5.3. Toda cudrica afn asociada a (1, 1, 0, 0) se transforma mediante una anidad en la de ecuacin x2 y 2 = 0 (par de planos coaxiales) o en la de ecuacin x2 1 = 0 (par de planos paralelos). Proposicin 3.5.4. Toda cudrica afn asociada a (1, 1, 1, 0) se transforma mediante una anidad en la de ecuacin x2 + y 2 + z 2 = 0 (cudrica reducida a un punto) o en la de ecuacin x2 + y 2 + 1 = 0 (cudrica degenerada vaca de rango 3). Proposicin 3.5.5. Toda cudrica afn asociada a (1, 1, 1, 0) se transforma mediante una anidad en la de ecuacin x2 + y 2 z 2 = 0 (cono), en la de ecuacin x2 + y 2 1 = 0 (cilindro elptico), en la de ecuacin x2 y 2 1 = 0 (cilindro hiperblico) o en la de ecuacin x2 + y = 0 (cilindro parablico). Nota 3.5.6. La palabra cnica proviene de la palabra cono; los griegos descubrieron las cnicas como secciones planas de un cono (que no pasan por el origen). Si cortan transversalmente a una hoja del cono dan lugar a las elipses, si lo hacen a las dos dar lugar a las hiprbolas y si cortan a una y son paralelas a la otra, entonces dan lugar a parbolas. Terminamos con las cudricas no degeneradas. Proposicin 3.5.7. Toda cudrica afn asociada a (1, 1, 1, 1) se transforma mediante una anidad en la de ecuacin x2 + y 2 + z 2 + 1 = 0 (cudrica vaca). Demostracin. Es como en la Proposicin 3.4.6.
3.5. CUDRICAS AFINES EN A3 R
65
Proposicin 3.5.8. Toda cudrica afn asociada a (1, 1, 1, 1) se transforma mediante una anidad en la de ecuacin x2 +y 2 +z 2 1 = 0 (elipsoide), en la de ecuacin x2 +y 2 z 2 +1 = 0 (hiperboloide elptico de dos hojas) o en la de ecuacin x2 + y 2 + z = 0 (paraboloide elptico). Demostracin. P(Sim(3; R)) Consideremos |H ; esta puede ser denida positiva, de tipo (1, 1, 1) o degenerada de tipo (1, 1, 0); los dems tipos impiden conseguir el tipo del enunciado. En el primer caso, obtenemos el elipsoide, mientras que en el segundo, el hiperboloide elptico de dos hojas. En el ltimo caso, razonando como en la Proposicin 3.4.7, obtenemos el paraboloide elptico. Proposicin 3.5.9. Toda cudrica afn asociada a (1, 1, 1, 1) se transforma mediante una anidad en la de ecuacin x2 + y 2 z 2 1 = 0 (hiperboloide elptico de una hoja) o en la de ecuacin x2 y 2 z = 0 (paraboloide hiperblico). Demostracin. Sigue las mismas lneas que la Proposicin 3.5.8. Ejercicio 3.8. Encuentra una biyeccin de x2 + x2 = x2 + x2 y P1 P1 . 0 1 2 3
66
3.6.
Haces de cnicas
Las cnicas en P2 estn determinadas por matrices simtricas no nulas de orden 3 salvo multiplicacin por un escalar no nulo. Dicho de otro modo, sea Sim(3; R) el espacio vectorial de las 3-matrices simtricas; entonces el conjunto de todas las cnicas es P2 := P(Sim(3; R)). 2 Estamos aplicando lo expresado en la Nota 3.1.3; es posible reemplazar el espacio de las matrices simtricas por el espacio vectorial V22 de los polinomios homogneos en tres variables de grado 2. Es fcil ver dim Sim(3; R) = 6, por lo que el espacio proyectivo de las cnicas es de dimensin 5. Para cudricas en Pn , tenemos P(Sim(n + 1; R)) que es de dimensin n(n+3) . 2 Si consideramos P2 P(V22 ), dado [ i=0 aii x2 + 2 0i<j2 aij xi xj ], le podemos asociar 2 i coordenadas homogneas [a0 : a1 : a2 : a01 : a02 : a12 ] e identicarlo con P5 . Sea P P2 , P = [0 : 1 : 2 ]. El espacio P2 (P ) de todas las cnicas que pasan por P es 2 el espacio proyectivo del ncleo de la aplicacin lineal (0 ,1 ,2 ) : V22 R dada por (0 ,1 ,2 )
i=0 2 2
aii x2 + 2 i
0i<j2
2 2 aii i + 2 i=0 0i<j2
aij xi xj :=
aij i j .
Observemos que el ncleo solo depende de P . Es inmediato ver que dim P2 (P ) = 4. 2 Lema 3.6.1. Si P, Q P2 , P = Q, entonces P2 (P ) = P2 (Q). 2 2 Demostracin. Sea L una recta que pasa por P y no por Q. La recta doble que dene est en P2 (P ) pero no en P2 (Q). 2 2 Sea P2 (P, Q) el espacio de cnicas que pasan por P y Q; como P2 (P, Q) = P2 (P ) P2 (Q), 2 2 2 2 por la frmula de dimensiones tenemos que dim P2 (P, Q) = 3. Vamos a generalizar el concepto 2 de recta tangente a las cnicas degeneradas. Lema 3.6.2. Sea C una cnica no degenerada asociada a un polinomio f . Sea P := [0 : 1 : 2 ] C; entonces, f f f (0 , 1 , 2 ) : (0 , 1 , 2 ) : (0 , 1 , 2 ) x0 x1 x2 son las coordenadas plckerianas de T (P ). Demostracin. Sea A := (aij )0i,j2 una matriz asociada a C, f (x0 , x1 , x2 ) = 2 0i<j2 aij xi xj . Si i = 0, 1, 2, entonces f (x0 , x1 , x2 ) = 2(ai0 x0 + ai1 x1 + ai2 x2 ). xi Como las coordenadas plckerianas de T (P ) son las coordenadas homogneas del vector At (0 , 1 , 2 ), tenemos el resultado.
2 i=0
aii x2 + i
3.6. HACES DE CNICAS
67
Denicin 3.6.3. Diremos que L es recta tangente a una cnica C denida por f en P := [0 : 1 : 2 ] C si las coordenadas plckerianas [U ] de L cumplen que f x0 (0 , 1 , 2 ) f x1 (0 , 1 , 2 ) R U . f x2 (0 , 1 , 2 ) Nota 3.6.4. Sea C una cnica y sea P C. Si C es no degenerada la Denicin 3.6.3 coincide con la de la Propiedad 3.2.3(c). Si C es un par de rectas, y P solo pertenece a una de ellas, esta es la nica recta tangente a CC en P . Si C es un par de rectas y P es el punto de interseccin, si C es una cnica reducida al punto P o si C es una recta doble, entonces cualquier recta por P es tangente. Sea P P2 y sea L una recta tal que P L. Denimos P2 (P, L) el espacio de cnicas que 2 pasan por P y tal que L es tangente en P . Proposicin 3.6.5. En las condiciones anteriores P2 (P, L) es un espacio proyectivo de di2 mensin 3. Demostracin. Sea P = [0 : 1 : 2 ] y sea [U ] representando las coordenadas plckerianas de L. Consideremos H el subconjunto de V22 formado por los polinomios tales que al evaluar las derivadas parciales en (0 , 1 , 2 ) obtenemos un vector en R U . No es difcil ver que es un subespacio vectorial de dimensin 4. En efecto, dicha aplicacin dene una aplicacin lineal sobreyectiva V22 R3 y H es la preimagen de R U . Es fcil ver que P(H) = P2 (P, L). 2 Sean P, Q, R P distintos; denotaremos P2 (P, Q, R) el espacio de las cnicas que pasan 2 por estos tres puntos. Proposicin 3.6.6. El espacio P2 (P, Q, R) es de dimensin 2. 2 Demostracin. Sabemos que P2 (P, Q, R) = P2 (P, Q) P2 (R), espacios proyectivos de dimen2 2 2 sin 3 y 4. El resultado se demuestra si vemos que P2 (P, Q) P2 (R). 2 2 Supongamos que R (P, Q); entonces la recta doble que dene (P, Q) es una cnica / que est en P2 (P, Q) pero no en P2 (R). Si R (P, Q), sea R un punto que no est en la 2 2 recta. Entonces la unin de (P, R ) y (Q, R ) es una cnica que est en P2 (P, Q) pero no 2 en P2 (R). 2 Sean P, Q P distintos y sea L una recta que pasa por P ; denotaremos P2 ((P, L), R) el 2 espacio de las cnicas que pasan por P, Q y tales que L es tangente en P . Proposicin 3.6.7. El espacio P2 ((P, L), R) es de dimensin 2. 2 Demostracin. Se demuestra como la Proposicin 3.6.6.
68
Los resultados anteriores se pueden interpretar de la siguiente forma. El espacio de todas las cnicas tiene dimensin 5; cada vez que hemos impuesto una condicin lineal hemos obtenido un subespacio de codimensin uno mayor que el anterior. Sean P, Q, R, S P distintos; denotaremos P2 (P, Q, R, S) el espacio de las cnicas que 2 pasan por estos cuatro puntos. Proposicin 3.6.8. El espacio P2 (P, Q, R, S) es de dimensin 1 si los cuatro puntos no 2 estn alineados (en cuyo caso es de dimensin 2). Demostracin. Supongamos que los puntos estn alineados y sea L la recta que los contiene. Entonces, si C P2 (P, Q, R), como L corta a C en al menos tres puntos, L C de donde 2 deducimos que P2 (P, Q, R, S) = P2 (P, Q, R). 2 2 Supongamos que no estn alineados. Reordenando, podemos suponer que S (P, Q). / Tomando la cnica formada por esta recta y por una recta que pase por R y no por S, tenemos una cnica que est en P2 (P, Q, R) y no en P2 (P, Q, R, S). 2 2 Ejemplo 3.6.9. Por tanto, si los puntos no estn alineados, P2 (P, Q, R, S) es una recta 2 proyectiva y se llama haz de cnicas. Si f1 , f2 = 0 son las ecuaciones de dos elementos distintos del haz, las ecuaciones de las cnicas en este haz son de la forma f1 + f2 = 0, (, ) = (0, 0). Hay una forma sencilla de obtener dichas ecuaciones. Sea l1 , l2 = 0, las ecuaciones de (P, Q) y (R, S); sean m1 , m2 = 0 las ecuaciones de (P, R) y (Q, S); entonces las cnicas del haz tienen ecuaciones l1 l2 + m1 m2 = 0. Observemos que otro elemento del haz est formado por (P, S) y (Q, R). Ejercicio 3.9. Busca otros haces de cnicas (es decir rectas proyectivas de P2 ) del tipo 2 P2 ((P, L), Q, R), P2 ((P, L), (Q, M )), y encuentra ecuaciones siguiendo lo hecho en el Ejem2 2 plo 3.6.9. Ejercicio 3.10. Encuentra la condicin para que por cinco puntos distintos pase una nica cnica. Haz lo mismo cuando alguno de los puntos de sustituye por una condicin de tangencia.

Geo04 05 Artal

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Geo04 05 Artal

Enviado por

Direitos autorais:

Formatos disponíveis

Enrique Artal Bartolo CURSO 04-05

1.1. ESPACIO AFN P L y v H = P + v L. P, Q L = Q P H.

CAPTULO 1. GEOMETRA AFN

1.2. SUBESPACIOS AFINES

CAPTULO 1. GEOMETRA AFN

H y por el apartado anterior tenemos que v + w H.

CAPTULO 1. GEOMETRA AFN

1.2. SUBESPACIOS AFINES

CAPTULO 1. GEOMETRA AFN

Anidades y aplicaciones anes

1.3. AFINIDADES Y APLICACIONES AFINES

Aplicando los Lemas 1.3.7 y 1.3.8 obtenemos el resultado. y deducimos el resultado.

1.3. AFINIDADES Y APLICACIONES AFINES

por lo que el resultado es cierto para 1 . Por n, si t = t (tv) = n lo que da el resultado. 1 v m = n 1 v m

n Z, m Z > 0, se tiene: n (v) = t(v), m

Figura 1.2: Producto y paralelismo

CAPTULO 1. GEOMETRA AFN

1.3. AFINIDADES Y APLICACIONES AFINES

CAPTULO 1. GEOMETRA AFN

Razn simple y coordenadas baricntricas

1.4. RAZN SIMPLE Y COORDENADAS BARICNTRICAS

es fcil ver que hemos visto que i = 0, 1, . . . , n se tiene:

Vamos a generalizar este resultado.

CAPTULO 1. GEOMETRA AFN

Proposicin 1.4.9. Con las notaciones anteriores, Q A se tiene: QP =

Demostracin. El punto clave es la igualdad QP =P0 P P0 Q

Para todo Q A se cumple la ecuacin (1.1).

1.4. RAZN SIMPLE Y COORDENADAS BARICNTRICAS

CAPTULO 1. GEOMETRA AFN

Ms sobre aplicaciones anes y anidades

y hemos demostrado (1), (2) y (3).

1.5. MS SOBRE APLICACIONES AFINES Y AFINIDADES

CAPTULO 1. GEOMETRA AFN

1.5. MS SOBRE APLICACIONES AFINES Y AFINIDADES

Figura 2.1: Razones simples de tres rectas

26 nales de las rectas Li .

CAPTULO 2. ESPACIOS PROYECTIVOS

2.1. RECTA PROYECTIVA L4

Figura 2.2: Razn simple y razn doble

Por ltimo, expresemos w2 en funcin de w3 , w4 : w2 = v2 = t2 1 t2 t1 v3 + v4 = w3 w4 t2 1 1 t2 t2 t 1 t2 t1 t2 = (L1 , L2 , L3 , L4 ). t1

N N N Por el Ejercicio 1.11, (P2 , P3 , P4 ) =

CAPTULO 2. ESPACIOS PROYECTIVOS

Figura 2.3: Cambio de parmetro

2.1. RECTA PROYECTIVA

CAPTULO 2. ESPACIOS PROYECTIVOS

2.2. EL PLANO AMPLIADO

CAPTULO 2. ESPACIOS PROYECTIVOS

Denicin general de espacios proyectivos

2.3. DEFINICIN GENERAL DE ESPACIOS PROYECTIVOS

CAPTULO 2. ESPACIOS PROYECTIVOS

2.4. HOMOGRAFAS Y APLICACIONES PROYECTIVAS

Homografas y aplicaciones proyectivas

CAPTULO 2. ESPACIOS PROYECTIVOS

2.5. REFERENCIAS PROYECTIVAS Y RAZN DOBLE

Referencias proyectivas y razn doble

CAPTULO 2. ESPACIOS PROYECTIVOS

Figura 2.4: Perspectividad

2.5. REFERENCIAS PROYECTIVAS Y RAZN DOBLE

CAPTULO 2. ESPACIOS PROYECTIVOS

2.6. RELACIN AFN-PROYECTIVO

Figura 2.6: Inclusin del plano afn en el proyectivo

2.6. RELACIN AFN-PROYECTIVO

CAPTULO 2. ESPACIOS PROYECTIVOS