Geometria 08 09
Geometria 08 09
Geometria 08 09
es/da
Geometrı́a
Notas de Teorı́a
Curso 2008/09
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
1
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Índice
3 Homografı́as y afinidades 44
3.1 Aplicaciones proyectivas (I). . . . . . . . . . . . . . . . . . . . . . . . . 44
3.2 Aplicaciones proyectivas (II): Homografı́as. . . . . . . . . . . . . . . . . 46
3.3 Puntos fijos de homografı́as. . . . . . . . . . . . . . . . . . . . . . . . . 47
3.4 Hiperplanos fijos de homografı́as. . . . . . . . . . . . . . . . . . . . . . 49
3.5 Proyecciones, secciones, homologı́as. . . . . . . . . . . . . . . . . . . . 51
3.6 Homologı́as planas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.7 Afinidades (I). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.8 Afinidades (II): Dilataciones. . . . . . . . . . . . . . . . . . . . . . . . . 56
4 El espacio euclı́deo 59
4.1 El espacio euclı́deo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
4.2 Versión sintética del espacio euclı́deo . . . . . . . . . . . . . . . . . . . 61
4.3 Distancias (I): Perpendicular común. . . . . . . . . . . . . . . . . . . . . 63
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
3
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Tema 1
Escritos en lenguaje moderno, los cinco axiomas que propone Euclides en los Ele-
mentos son los siguientes:
Axioma I: Dos puntos determinan una sola recta.
Axioma II: Toda recta puede prolongarse indefinidamente.
Axioma III: Con cualquier centro y cualquier radio puede trazarse una circunferencia.
Axioma IV: Todos los ángulos rectos son iguales.
Axioma V: Por un punto exterior a una recta existe una sola paralela a la recta dada.
Observación.– En realidad el Axioma V de Euclides era el siguiente: “Si una recta corta
a otras dos rectas formando con ellas ángulos interiores del mismo lado menores que dos
ángulos rectos, las dos lı́neas rectas, prolongadas indefinidamente, se cortan del lado por
el cual los ángulos son menores que dos ángulos rectos”. Pero normalmente se sustituye
por el Axioma V anterior, que es equivalente y mucho más conciso.
En realidad, estos cinco axiomas de Euclides son insuficientes para desarrollar todos
los resultados geométricos, incluso aquellos contenidos en los Elementos, y por ello se
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
han ido modificando a lo largo del tiempo, tratando de obtener un número pequeño pero
suficiente de axiomas independientes, en los que se base la Geometrı́a. Posiblemente una
de las propuestas más importantes, aunque también haya sido mejorada posteriormente,
se debe a David Hilbert. En su obra “Fundamentos de la Geometrı́a”, de 1899, Hilbert
propone 20 axiomas, agrupados de la siguiente manera: siete de pertenencia, cinco de
orden, uno de paralelismo (Axioma V), seis de congruencia y uno de continuidad.
Los resultados que se obtienen a partir de estas nociones básicas determinan lo que se
llama la Geometrı́a sintética. Fue la única forma de Geometrı́a que se conoció y utilizó
durante muchos siglos, hasta que en el siglo XVII, principalmente por el trabajo de René
Descartes, apareció la Geometrı́a analı́tica, donde se estudian las propiedades de los obje-
tos geométricos utilizando el Álgebra. En el siglo XVIII hubo mucha controversia sobre
cuál de los dos puntos de vista era el adecuado. Aunque actualmente la eficacia de la
Geometrı́a Analı́tica ha desbancado casi por completo a la Geometrı́a sintética, los resul-
tados expuestos en este tema se verán utilizando exclusivamente la Geometrı́a sintética,
para que el alumno comprenda de qué se trata, admire la belleza de las demostraciones, y
reconozca una parte de las Matemáticas que ha predominado durante más de veinte siglos.
5
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Una propiedad importante de las proporciones es que pueden ser tratadas como mag-
nitudes de longitud. En efecto, la magnitud a/b es aquella tal que el rectángulo de lados
a/b y b tiene la misma área que el rectángulo de lados a y 1. Por tanto, podemos per-
mitirnos a partir de ahora hacer cálculos con la proporción a/b. Por ejemplo podemos
elevarla al cuadrado, cosa que haremos con unas proporciones bien conocidas: el seno y
el coseno de un ángulo.
6
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
a = a′ , b = b′ , c = c′ , Ab = A
c′ , Bb = B
c′ , Cb = C
c′ .
Observación.– Según uno de los axiomas de Hilbert, para que ABC y A′ B ′ C ′ sean
iguales basta con que b = b′ , c = c′ y Ab = A
c′ .
Teorema.– El área de un triángulo ABC es igual a la mitad del producto de su base por
su altura. Es decir,
a hA b hB c hC
Área(ABC) = = = .
2 2 2
Demostración.– Demostraremos el teorema para el lado c y la altura hC , siendo los
otros casos análogos. Se dan tres casos, dependiendo si la altura hC corta al lado c en uno
de sus vértices, lo corta en el interior, o no lo corta. Estos tres casos son los del siguiente
dibujo:
En el primer caso, hC = b (o bien hC = a, que es un caso análogo), luego el teorema
dice que el área de este triángulo rectángulo será bc/2. En efecto, si consideramos el
rectángulo de lados b y c, que tiene área bc, su diagonal será el lado a, que divide a este
7
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
rectángulo en dos triángulos iguales a ABC. Por tanto, el área de ABC es la mitad de
bc = hC c.
En el segundo caso, el área de ABC es la suma de las áreas de los triángulos ADC
y DBC. Como estos dos son triángulos rectángulos, deducimos que el área de ABC es
igual a
AD hC DB hC (AD + DB) hC c hC
+ = = .
2 2 2 2
Por último, en el tercer caso, el área de ABC es la diferencia entre el área de DBC y el
área de DAC, que son ambos triángulos rectángulos. Por tanto, el área de ABC será
DB hC DA hC (DB − DA) hC c hC
− = = ,
2 2 2 2
como querı́amos demostrar. Q.E.D.
donde se ve cláramente que el área del cuadrado de lado a + b es igual a cuatro veces
el área del triángulo rectángulo considerado, es decir, 4(ab/2) = 2ab, más el área de un
cuadrado de lado c. Esto es:
(a + b)2 = 2ab + c2 .
8
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
a2 + 2ab + b2 = 2ab + c2 ⇒ a2 + b 2 = c 2 ,
Podemos considerar que las rectas paralelas están del mismo lado de A, ya que si DE
estuviera del otro lado, el triángulo ADE serı́a igual a otro triángulo AD′ E ′ cuyo lado
D′ E ′ será paralelo a DE, del mismo tamaño, y estará del mismo lado de A que la recta
BC. Además, demostrar el teorema para AD′ E ′ equivaldrı́a a demostrarlo para ADE,
luego consideraremos que la situación es exactamente la del dibujo.
El Teorema de Thales dice que en este caso
AB AC BC
= = .
AD AE DE
Para demostrarlo, sean h y r las alturas del triángulo ADE correspondientes a los lados
AD y DE respectivamente, y sea s la distancia entre las dos rectas paralelas. Vamos a
probar que las tres fracciones anteriores son iguales a (r + s)/r.
En primer lugar, el área del triángulo EDB es igual a DBh/2, pero también a DEs/2.
Por otro lado, el área de ADE es AD h/2, y también DE r/2. Por tanto, se tienen las
siguientes proporciones:
Área(EDB) DB s
= = ⇔ DB r = AD s.
Área(ADE) AD r
Pero entonces se tiene:
DB r = AD s ⇔ AD r + DB r = AD r + AD s ⇔
9
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
AC r+s
= .
AE r
Por último, el área del triángulo ABC es BC (r + s)/2, pero también es la suma de
las áreas de los triángulos ADE, EDC y CDB, por tanto se tiene:
1 1 1 1
BC (r+s) = DEr+ DEs+ BC s ⇔ BC (r+s) = DE(r+s)+BC s ⇔
2 2 2 2
BC r+s
BC r = DE (r + s) ⇔ = ,
DE r
luego las tres proporciones son iguales, como querı́amos demostrar. Q.E.D.
sen(α) = 1, cos(α) = 0.
10
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Observación.– Sólo hemos definido los senos y cosenos de ángulos mayores que cero y
menores que π, ya que estamos estudiando triángulos, cuyos ángulos siempre estarán en
este conjunto. En este contexto una propiedad útil es la siguiente:
11
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Por último, veamos cómo el seno de un angulo puede servirnos para hallar el área de
un triángulo:
Proposición.– Sea ABC un triángulo. Entonces el área de ABC es la mitad del producto
de dos lados por el seno del ángulo que forman.
Demostración.– Inmediata, ya que uno de los lados por el seno es la altura correspon-
diente al otro lado.
Demostración.– Al igual que en el teorema del área del triángulo, tenemos tres posi-
blidades, dependiendo de si Ab es un ángulo recto, agudo u obtuso.
Si Ab es recto, entonces cos Ab = 0, por lo que el Teorema del coseno dice lo mismo
que el teorema de Pitágoras, que ya hemos demostrado.
12
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
de donde obtenemos:
b
a2 = b2 + c2 − 2cAD = b2 + c2 − 2bc cos A,
Q.E.D.
Veamos ahora un resultado muy conocido sobre los ángulos de un triángulo. Primero
necesitamos lo siguiente:
Lema.– Sean r1 y r2 dos rectas paralelas, y sea r una recta secante a las dos. Sea α uno
de los ángulos que forma r con r1 , del lado de r1 donde está r2 . Sea β el ángulo que forma
r con r2 , del otro lado de r, y del lado de r2 donde está r1 . Entonces α y β, que se llaman
ángulos alternos internos, son iguales.
13
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Terminaremos esta sección con un resultado que nos dice cuál es el área del triángulo
ABC en función de sus lados a, b y c. Se trata de la famosa fórmula de Herón, atribuida a
Herón de Alejandrı́a (hacia el 60 d. C.), aunque parece ser que su descubridor fue el gran
matemático Arquı́medes (287-212 a. C.).
Teorema (Fórmula de Herón).– Dado un triángulo ABC, sea ∆ su área, y sea s =
a+b+c
su semiperı́metro. Se tiene:
2
q
∆= s (s − a)(s − b)(s − c).
Demostración.– Esta demostración es casi más algebraica que geométrica, aunque
sigue siendo una demostración sintética, ya que no hacemos uso de coordenadas. Hay
demostraciones más geométricas, como la demostración clásica u otra más sencilla debida
a Euler, pero daremos esta por su concisión.
Por el Teorema del coseno, sabemos que cos Ab = (b2 + c2 − a2 )/2bc. Por otra parte,
b es decir, sen A
sabemos que ∆ = 12 b c sen A, b = 2∆/bc.
1q 2 2
∆ = 4b c − (b2 + c2 − a2 )2
4
1√ 4
= −a − b4 − c4 + 2a2 b2 + 2a2 c2 + 2b2 c2
4
1q
= (a + b + c)(−a + b + c)(a − b + c)(a + b − c)
4
q
= s (s − a)(s − b)(s − c),
como querı́amos probar. Q.E.D.
14
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
definirlos, usaremos algunas rectas notables del triángulo, como son las mediatrices, las
bisectrices, las medianas y las alturas, y también circunferencias como la inscrita o la
circunscrita.
De la definición se desprende que todo triángulo tiene tres mediatrices, tres bisectrices,
tres medianas y tres alturas. Veremos que en cada uno de los cuatro casos, las tres rectas se
cortan en un sólo punto, que será uno de los puntos notables del triángulo. Comenzaremos
por uno de los más sencillos, el circuncentro.
Teorema.– Las tres mediatrices de un triángulo ABC se cortan en un punto D llamado
circuncentro.
Demostración.– Observemos que la mediatriz del lado a está formada por los puntos
que están a la misma distancia de B que de C. Lo mismo ocurre con la mediatriz de b
y de c. Si consideramos las mediatrices de c y de a, vemos que no pueden ser paralelas,
ya que en ese caso los puntos A, B y C estarı́an alineados, y ABC serı́a un triángulo
degenerado. Por tanto, las medianas de c y de a se cortan en un punto D. Ahora bien, D
está a la misma distancia de A que de B, y también está a la misma distancia de B que
de C, por tanto, está a la misma distancia de A que de C, luego también pertenece a la
mediatriz de b, y ası́ las tres mediatrices son concurrentes en D. Q.E.D.
Pasaremos ahora a definir el baricentro, pero para ello necesitamos dos resultados
previos.
15
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Proposición (Recı́proco del Teorema de Thales).– Si una recta r corta a dos lados de
un triángulo, de forma que las proporciones entre los segmentos resultantes son iguales
en ambos lados, entonces r es paralela al tercer lado.
Demostración.– (Ver el dibujo del teorema de Thales) Supongamos que r corta al
triángulo ABC en los puntos D y E ′ . Tracemos la paralela al lado a que pasa por D, que
cortará al lado b en un punto E. El Teorema de Thales nos dice que
AB AC
= ⇒ AB AE = AC AD ⇒
AD AE
AD AE
(AD + DB)AE = (AE + EC)AD ⇒ DB AE = EC AD ⇒
= .
DB EC
Pero E es el único punto del lado b que lo divide en dos segmentos con esta proporción.
Por tanto, E ′ = E, lo que demuestra el resultado, ya que r resulta ser precisamente la
paralela a a que pasa por D. Q.E.D.
16
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
punto medio de BG. Por el recı́proco del Teorema de Thales, aplicado al triángulo ABC
y a la recta A′ B ′ , sabemos que A′ B ′ es paralela al lado c. Análogamente, aplicándolo
al triángulo GAB, la recta LM es también paralela a c. Aplicando ahora el Teorema de
Thales, en ambos casos, vemos que los segmentos B ′ A′ y LM no sólo son paralelos, sino
que tienen la misma longitud: la mitad del segmento AB. Por tanto, el LM A′ B ′ es un
paralelogramo.
Ahora bien, sabemos que las diagonales de un paralelogramo se cortan en sus puntos
medios, luego se tiene AL = LG = GA′ , y por otra parte BM = M G = GB ′ . Es decir,
podemos definir G como el punto de trisección de la mediana AA′ , que también es el
punto de trisección de la mediana BB ′ , y de forma análoga se demuestra que es el punto
de trisección de la tercera mediana. Por tanto, las medianas se cortan en el baricentro G,
como querı́amos demostrar. Q.E.D.
17
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
b Por tanto, estos dos triángulos son simétricos, y el lado RA′ es igual al lado
mitad de C).
RB ′ .
El razonamiento anterior nos dice que la bisectriz que pasa por C es el conjunto de los
puntos que están a la misma distancia de a y de b. Por tanto, si tomamos la bisectriz de C
y la de A (que no pueden ser paralelas), se cortarán en un punto I, que estará a la misma
distancia de a que de b, y a la misma distancia de b que de c, luego estará también en la
bisectriz de B. Por tanto, las tres bisectrices se cortan en un punto, I, llamado incentro.
Q.E.D.
18
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
19
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Tema 2
(a) An (k) = k n como conjunto (esto es, NO hay operaciones definidas entre elementos
de An (k)). Los elementos de An (k) se denominan puntos y se notarán con letras
mayúsculas: A, B, C, ..., P, Q, R, ...
(b) V = k n como espacio vectorial. Sus elementos se denotarán: u, v, .... Cuando se
escriban sus coordenadas usaremos la notación clásica
−−−−−−−→
u = (α1 , ..., αn ).
−→ −→ −→
(a) P Q + QR = P R para cualesquiera P, Q, R ∈ An (k).
−→ −→
(b) P Q = −QP para cualesquiera P, Q ∈ An (k).
−→ −→ −→ −→
(c) P Q = SR si y sólo si P S = QR, para cualesquiera P, Q, R, S ∈ An (k) (teorema
de Thales paralelo).
es linealmente (in)dependiente.
21
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Observación.– La notación para los puntos proyectivos se hereda del caso unidimen-
sional, P1 (k), denominado la recta proyectiva, donde los puntos [a1 : b1 ] y [a2 : b2 ]
son iguales si y sólo si lo son las proporciones que determinan; esto es, si y sólo si
a1 /b1 = a2 /b2 .
22
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
(a) Podemos, por supuesto (como se hace, por ejemplo, en espacios vectoriales) definir
el concepto de (in)dependencia lineal sin forzar el hecho de que el conjunto S sea
finito. Sin embargo, esto sólo complica innecesariamente la definición: es mucho
más sencillo extender de manera natural la definición al caso infinito donde, como
es evidente, todo S ⊂ W infinito es proyectivamente dependiente (en realidad basta
con que S tenga más de n + 1 puntos).
lo cual no depende de la elección de los v i , pues otra elección sólo habrı́a multipli-
cado la columna correspondiente por un escalar no nulo, lo cual no varı́a el rango
de la matriz.
Observación.– Notemos que H∞ se puede identificar canónicamente con Pn−1 (k), vı́a
H∞ −→ Pn−1 (k)
[0 : a1 : ... : an ] 7−→ [a1 : ... : an ]
Los últimos enunciados de esta lección tienen por objeto relacionar el espacio afı́n y
el proyectivo mediante la inmersión clásica (en este caso, fijando la primera coordenada).
ϕ : An (k) −→ Pn (k)
(a1 , ..., an ) 7−→ [1 : a1 : ... : an ]
23
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Notación.– Dado P ∈ An (k), para distinguir cuándo consideramos P como punto afı́n y
cuándo como punto proyectivo, notaremos [P ] = ϕ(P ).
Notación.– Por herencia de la situación vectorial, si L viene dada por L = L(u1 , ..., ut ),
con ui 6= 0, diremos que π(L) está generada por (o admite como sistema generador a)
π(u1 ), ..., π(ut ), circunstancia que denotaremos
π(L) = Lp (π(u1 ), ..., π(ut )).
24
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Un sistema generador se dirá una base cuando sus puntos sean proyectivamente indepen-
dientes.
De la misma forma denominaremos un sistema de ecuaciones implı́citas de π(L) a
cualquier sistema de ecuaciones implı́citas de L.
Ası́, por ejemplo,
Definición.– Una variedad lineal afı́n es la intersección de una variedad lineal proyectiva
con el espacio afı́n An (k) ⊂ Pn (k) (mediante la inmersión ϕ).
Proposición.– Sea Y una variedad afı́n no vacı́a. Entonces existe una única variedad
lineal proyectiva Z tal que Y = Z ∩ An (k).
Demostración.– Supongamos que, en efecto Z ′ ∩ An (k) = Z ∩ An (k) = Y para
dos variedades proyectivas Z y Z ′ . Basta entonces probar que Z ′ ∩ H∞ = Z ∩ H∞ para
determinar que Z ′ = Z. Veamos sólo una inclusión, ya que la otra es análoga. Para
empezar fijemos P = [1 : a1 : ... : an ] ∈ Z ∩ An (k) = Z ′ ∩ An (k).
Si tomamos R = [0 : b1 : ... : bn ] ∈ Z ′ ∩ H∞ entonces, por provenir de un subespacio
vectorial, ha de ser
Definición.– Dada una variedad lineal afı́n no vacı́a Y , la única variedad proyectiva Z
que verifica Z ∩ An (k) = Y se denomina clausura proyectiva de Y y se denotará Y .
Convendremos que ∅ = ∅, ya que no hay en general (salvo para n = 1) una única
variedad proyectiva Z tal que Z ⊂ H∞ (y, por tanto, tal que Z ∩ An (k) = ∅).
Observación.– Ası́ como podemos identificar An (k) con Pn (k) \ H∞ , podemos dotar de
contenido geométrico (afı́n) a H∞ .
25
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Esto es, la dirección de Y está determinada por los puntos de la variedad proyectiva
de la que procede Y que se encuentran en el infinito (H∞ ) o, equivalentemente, por las
direcciones contenidas en la variedad Y .
de donde αu + βv ∈ D(Y ).
Alternativamente se puede comprobar que, si Y = π(L), entonces D(Y ) = L ∩ H,
que se puede interpretar como subespacio de V mediante la identificación H ≃ V .
Observación.– El caso de las variedades lineales afines es algo más complejo a la hora de
hablar de sistemas generadores, bases o sistemas de ecuaciones. Por ejemplo, diferentes
bases de una misma variedad proyectiva Z pueden dar, al cortar con An (k), conjuntos
con diferente cardinal, lo cual no es en modo alguno apropiado.
Lema.– Sea π(L) una variedad lineal proyectiva. Entonces existe una base de L,
{u1 , ..., ut }, tal que π(ui ) ∈ H∞ para i = 2, ..., t. Por otra parte, si π(L) 6⊂ H∞ , podemos
encontrar una base de L, {v 1 , ..., v t }, tal que π(v i ) ∈
/ H∞ , para i = 1, ..., t.
Demostración.– La prueba es muy simple: por el teorema de la dimensión, tenemos
que
dim(H ∩ L) = dim(H) + dim(L) − dim(H + L),
donde tenemos dos opciones. La primera es que L ⊂ H, en cuyo caso no hay nada
que probar, ya que cualquier sistema generador verifica el enunciado evidentemente. La
segunda es que L 6⊂ H, en cuyo caso L + H = k n+1 y, por tanto,
dim(L ∩ H) = dim(L) − 1.
Entonces para probar el primer aserto sólo resta tomar una base de L ∩ H (que son los
v 2 , ..., v t del enunciado) y extenderla a una base de L con otro vector.
26
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Corolario.– Dada una variedad lineal proyectiva Z existe una base P1 , ..., Pt tal que
P2 , ..., Pt ∈ H∞ . Además, si Z 6⊂ H∞ podemos hallar otra base Q1 , ..., Qt tal que
Qi ∈ / H∞ .
En términos afines, esto representa que, dada Y variedad lineal afı́n, podemos hallar
una base de Y tal que todos sus elementos, menos el primero, sean de la forma [v], con
v ∈ k n . Además, si Y 6= ∅, podemos también escoger una base de Y de la forma
[P1 ], ..., [Pt ] con Pi ∈ An (k).
Proposición.– Sea Y una variedad lineal afı́n no vacı́a. Entonces, para todo P ∈ Y ,
−−−−−−−→
Para ver la otra inclusión tomaremos u ∈ D(Y ) dado por u = (u1 , ..., un ) de donde
(0, u1 , ..., un ) ∈ H ∩L. Al ser (1, a1 , ..., an ) ∈ L tenemos que (1, a1 +u1 , ..., an +un ) ∈ L
y, por tanto
[P + u] ∈ π(L) =⇒ P + u ∈ Y,
lo que prueba la inclusión que restaba. Q.E.D.
Observación.– Ası́ pues, la base que hallábamos al principio de la lección para una va-
riedad lineal proyectiva π(L) se traduce, en la variedad afı́n correspondiente Y , en un
punto P ∈ Y y una base {v 1 , ..., v r } del subespacio D(Y ). La otra base hallada estaba
formada, como podemos comprobar reescribiendo la prueba, por los puntos afines P, P +
v 1 , ..., P + v r .
27
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Observación.– Por las lecciones anteriores, toda variedad lineal afı́n admite un sistema
generador formado por puntos afines. Además, como existe una base de Y formada por
puntos afines, existe un sistema generador de Y formado por puntos afines afı́nmente
independientes (ver 2.2.).
Recı́procamente, dado un conjunto de puntos afines (respectivamente un punto y un
subespacio de V ) el conjunto de puntos afines que dependen de ellos (respectivamente
los puntos que se pueden formar sumando todos los vectores del subespacio al punto) son
una variedad afı́n, proveniente de la variedad proyectiva generada por los propios puntos,
vı́a ϕ (respectivamente, generada por el punto, visto en Pn (k) y los vectores, vistos en
H∞ ⊂ Pn (k)).
Q.E.D.
Observación.– Como las direcciones de D(Y ) son los puntos de Y cuya primera coorde-
nada es 0, un sistema de ecuaciones del subespacio D(L) ⊂ k n es precisamente
a x
11 1
+ ... + a1n xn = 0
.. .. ..
. . .
a x
m1 1 + ... + amn xn = 0
28
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Observación.– Como en el caso vectorial (o, más bien, precisamente por ello mismo), la
intersección de variedades proyectivas es de nuevo una variedad proyectiva. En concreto
π(L1 ) ∩ π(L2 ) = π(L1 ∩ L2 ).
Más aún, si tenemos dos variedades afines Y1 = π(L1 ) ∩ An (k), Y2 = π(L2 ) ∩ An (k),
entonces
\
Y1 ∩ Y2 = (π(L1 ) ∩ An (k)) (π(L2 ) ∩ An (k)) = π(L1 ∩ L2 ) ∩ An (k),
con lo que la intersección de variedades afines también es una variedad afı́n.
Sin embargo, al igual que en el caso vectorial, la unión de variedades (tanto afines
como proyectivas) no es una variedad, en general, por lo que se opta por definir la suma
de variedades de la forma natural.
29
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
(a) Y1 + Y2 = Y1 + Y2 .
(b) Si Y1 ∩ Y2 6= ∅, Y1 ∩ Y2 = Y1 ∩ Y2 .
por lo que el sistema generador de Y1 +Y2 obtenido uniendo estos sistemas de generadores
no es de la forma adecuada (un punto en An (k) y el resto en H∞ ).
Esto se puede arreglar, sin mayor problema, sustituyendo el punto proyectivo [1 : b1 :
... : bn ] por [0 : b1 − a1 : ... : bn − an ]. En efecto, el sistema resultante genera el original
y a su vez es generado por él, de forma que
−→
Ası́ mismo, si Y1 ∩ Y2 = ∅, entonces P Q no puede estar ni en D(Y1 ) ni en D(Y2 ), por
lo que el tercer sumando nunca es superfluo.
30
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
(a) Una variedad proyectiva de dimensión r en Pn (k) tiene una base de r + 1 puntos y
viene determinada por un sistema de homogéneo n − r ecuaciones independientes
en n + 1 incógnitas.
(b) Una variedad afı́n de dimensión r en An (k) tiene un sistema generador formado por
r + 1 puntos afı́nmente independientes y viene determinada por un sistema de n − r
ecuaciones independientes en n incógnitas (en general, no homogéneo). También
puede venir determinada por un punto y una base de su variedad de dirección for-
mada por r vectores de k n .
(c) Una variedad afı́n tiene la misma dimensión que su variedad de dirección (conside-
rada como subespacio de k n ).
31
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Observación.– En el caso afı́n, situaciones conocidas nos hacen ver que el resultado
análogo no se verifica. Por ejemplo, si tomamos dos rectas afines paralelas (posterior-
mente definiremos el paralelismo, pero entedemos que el alumno sabe qué son rectas
paralelas) R1 y R2 en el plano A2 (k). Entonces R1 + R2 = A2 (k) y por tanto
dim(R1 + R2 ) = 2, dim(R1 ∩ R2 ) = −1, dim(R1 ) = dim(R2 ) = 1.
Definición.– Dadas dos variedades afines Y1 e Y2 decimos que son paralelas cuando
D(Y1 ) ⊂ D(Y2 ) o viceversa. Dicho de otro modo, cuando Y1 ∩ H∞ ⊂ Y2 ∩ H∞ (o
viceversa). Esto se denota Y1 ||Y2 .
(b) Si Y1 ∩ Y2 = ∅,
dim(Y1 + Y2 ) + dim(Y1 ∩ Y2 ) + dimV (D(Y1 ) ∩ D(Y2 )) = dim(Y1 ) + dim(Y2 ).
Dicho de otro modo, teniendo en cuenta la relación entre las dimensiones de las
variedades de dirección,
dim(Y1 + Y2 ) + dim([D(Y1 )] ∩ [D(Y2 )]) = dim(Y1 ) + dim(Y2 ).
Demostración.– Es muy simple a partir del caso proyectivo. Por ejemplo, en el caso
no disjunto,
dim(Y1 ) + dim(Y2 ) = dim(Y1 ) + dim(Y2 )
= dim(Y1 + Y2 ) + dim(Y1 ∩ Y2 )
= dim(Y1 + Y2 ) + dim(Y1 ∩ Y2 )
32
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
donde hemos escrito un vector de la clase de R de dos formas distintas (no proporcionales)
como suma de vectores de las clases de P y Q. Con el mismo derecho podemos decir que
las coordenadas de R respecto de {P, Q} son [1 : 2] ó [−1 : 1].
La solución está en fijar un punto más, con coordenadas convenidas, de forma que
sólo haya una elección posible para los vectores que podemos utilizar. Este punto se suele
denominar unidad y las coordenadas que se escogen para él son [1 : 1 : ... : 1]. Veamos
cómo se hace esto en concreto.
Proposición.– Sea Z = π(L) una variedad proyectiva de dimensión r, {P0 , P1 , ..., Pr+1 }
un sistema de referencia de Z ⊂ Pn (k). Entonces existen u0 , u1 , ..., ur+1 ∈ k n+1 verifi-
cando:
(a) π(ui ) = Pi .
(b) u0 + u1 + ... + ur = ur+1 .
Además, para cualquier otra (r + 2)–upla de vectores v 0 , ..., v r+1 cumpliendo (a) y
(b), se verifica que existe α ∈ k no nulo con
P0 = [a00 : ... : an0 ], ..., Pr = [a0r : ... : anr ], Pr+1 = [b0 : ... : bn ].
33
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Notemos que todos los ai y b han de ser distintos de 0. De no ser ası́ (por ejemplo,
a0 = 0) tendrı́amos
u1 + ... + ur = ur+1 ,
con lo que {P1 , ..., Pr+1 } serı́a proyectivamente dependiente, contra las hipótesis. La
segunda afirmación es también trivial a partir de lo ya probado.
Tomamos ahora w tal que π(w) = Q y, dado que w está en L, que está generado por
u0 , ..., ur , podemos escribir
w = α0 u0 + ... + αr ur
de forma única. Si escogemos otro vector w′ que verifique π(w′ ) = Q necesariamente
existe δ tal que w = δw′ y, ası́,
w′ = δ (α0 u0 + ... + αr ur ) ,
de donde tenemos el enunciado, por la unicidad de las coordenadas de un vector (en este
caso, w y w′ ) respecto de una base (en este caso u0 , ..., ur ).
Observación.– Notemos que, por la proposición anterior, estas coordenadas son únicas,
salvo producto por escalar: de ahı́ que usemos la misma notación que para los puntos
proyectivos. En particular, las coordenadas de un punto de Pn (k) son las coordenadas
respecto del sistema de referencia
R = {[1 : 0 : ... : 0], [0 : 1 : ... : 0], ..., [0 : 0 : ... : 1], [1 : 1 : ... : 1]},
denominado sistema de referencia canónico de Pn (k).
34
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
y es única salvo producto de todos sus elementos por un mismo escalar no nulo.
Definición.– Dada una variedad lineal afı́n Y = Z ∩ An (k), un sistema de referencia afı́n
de Y es un conjunto de la forma {P ; u1 , ..., ur }, con P ∈ Y , ui ∈ D(Y ), de forma que
{[P ], [u1 ], ..., [ur ]} sea base de Z.
35
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
B = {(1, α1 , ..., αn ) , (0, a11 , ..., an1 ) , ..., (0, a1r , ..., anr )} .
de donde ha de ser x0 6= 0.
Veamos por último cómo es posible calcular las coordenadas de Q respecto de RY sin
pasar por la clausura proyectiva y usando sólo objetos afines.
esto es,
r
X
βi = αi + xj aij , i = 1, ..., n,
j=1
y, agrupando,
r
−→ −−−−−−−−−−−−−−−→ X −−−−−−−−→
P Q = (β1 − α1 , ..., βn − αn ) = xj (a1j , ..., anj ),
j=1
36
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
El espacio de formas lineales (esto es, de polinomios homogéneos de grado uno) sobre k
es, inmediatamente, un espacio vectorial, con la suma y el producto por escalares habit-
uales. Una forma lineal distinta de 0 en k[x0 , x1 , ..., xn ] define un hiperplano en Pn (k),
H : a0 x0 + a1 x1 + ... + an xn = 0.
Sin embargo, dos formas lineales distintas pueden definir el mismo hiperplano: con-
cretamente a0 x0 + ... + an xn y b0 x0 + ... + bn xn definen el mismo hiperplano si y sólo si
existe λ ∈ k no nulo tal que ai = λbi . Esta situación es claramente paralela a la relación
entre vectores de k n+1 y puntos de Pn (k). Esto justifica la siguiente definición.
37
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Para demostrar (c), notemos que ⋆(⋆(Z1 )) es el conjunto de puntos que están en todos
los hiperplanos que contienen a Z1 . Por tanto Z1 ⊂ ⋆(⋆(Z1 )). Pero, como
dim(⋆(⋆(Z1 ))) = n − dim(⋆(Z1 )) − 1 = n − (n − dim(Z1 ) − 1) − 1 = dim(Z1 ),
tenemos dos variedades con la misma dimensión, una contenida en la otra. Por tanto,
deben ser iguales.
Hagamos por último (d) y (e). Para ello, escribimos
⋆(Z1 ) = hH1 , ..., Hs i, ⋆(Z2 ) = hH1′ , ..., Ht′ i,
y entonces
Z1 ∩ Z2 = H1 ∩ ... ∩ Hs ∩ H1′ ∩ ... ∩ Ht′
y esto implica que
⋆(Z1 ∩ Z2 ) = hH1 , ..., Hs , H1′ , ..., Ht′ i
= hH1 , ..., Hs i + hH1′ , ..., Ht′ i
= ⋆(Z1 ) + ⋆(Z2 ).
38
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
(a) En P2 (k), el dual de un punto es el conjunto de rectas que pasan por él. En P2 (k)∗ ,
el dual de un punto (que es una recta en P2 (k)) es el conjunto de hiperplanos del
dual que lo contienen: esto es, el conjunto de puntos de P2 (k) que están en la recta.
(b) En P3 (k), el dual de un punto es el conjunto de planos que pasan por él. El dual de
una recta Z es el conjunto de planos que la contienen, que es una recta en P3 (k)∗ ,
ya que
dim(⋆(Z)) = 3 − dim(Z) − 1 = 1.
Veremos dos ejemplos concretos de aplicación del principio de dualidad, que son
resultados geométricos clásicos: los Teoremas de Pappus y Desargues. Además, ilus-
traremos cómo una buena elección de un sistema de referencia puede reducir una de-
mostración a un simple cálculo. Lo idóneo es dejar que, una vez probados los teoremas,
los alumnos desarrollen constructivamente los enunciados duales.
39
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
R = {A, B, A′ ; B ′ },
ası́ que, identificando puntos y rectas con sus coordenadas y ecuaciones respecto de R
(aunque no son lo mismo), tenemos
L : x2 = 0, L′ : x0 − x1 = 0, =⇒ O = [1 : 1 : 0]
0 1 1
µ λµ λ = 0.
µ λ(µ − 1) + 1 1
Q.E.D.
El Teorema de Pappus dual queda entonces como sigue (mantenemos las mismas no-
taciones para facilitar la comprensión de la dualidad).
40
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
¡
¡
t¡
C
¡J
B¡ J
¡Q
t J
¡C Q J
A¡ C Q J
Q
QH C
¡H
t
Q J
¡ Q HC Q J R
QHC H Q Q t
¡ Qt H t Q
J
¡ CQ H Q
P Q H J Q
XX t¡O C Q H J Q
X C Q H H J Q
¡XXX Q HH Q
¡ X X XX C Q
X JH Q
¡ XXCt C Q H Q
XXX Q J HH Q
XX Q HHQQ
A′ XXXQJ
XQJJt
X
Q H Q
XX
XXXHHQQ
B ′
XXH
XHQ
XHX
Q
HXtX
X
C′ L′
R
¡ ½½C
¡
©
©½
©
t
¡
½
B ©©½
¡
¡ ©© ½
½¡
©
¡ ©© ½ ¡
A
@ @ ¡ © ½¡
@ @ © ½¡
@ ¡ © ½
@ ©©
@ Lt¡ ½ ¡
©
@ ½ ¡
©©¡ @ ½
Q
XX
XX@X@ © ¡ ¡
X©
tX ½
©@ X ¡XX ½@ ¡
© X
½ @ ©©
©© @ ½ XXX
P
¡t
¡
t
©
¡ @ ¡ @ ©
XtXX
½ © X XX
¡ ½ @ ¡©© @ X
¡ ½ ¡ © @
@©
¡ ½½ © @
t
¡L′@
¡ ½ ©© @
© ¡ @
¡ ½ ©© ¡ @A ′
@
@
¡½½©© ¡
¡½© © ¡
¡½ © B′
©
©
′ ½
t½
¡©
C©
½
¡¡
41
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
L′ L
L′′
HH @ sO ½½
H @ ½
HH @ ½
H½ s A′ @
½ H H
H ½ H@ A′′
h
hhQ
psp p ph H ½
½ HH
p p p ph
p p p ph
p p p ph H
s @ Hs
p p p ph
p p p ph
p p p ph H ½ A
@ H
p p p ph
p p p ph
p p psp
p p p pPps½
p p p p p p p pH
hh H
½H h h
HHhhh h
ppppppppppppppp @ HH
½ B H
p
h hhh
ppppppppppppppp
ppppppppppp@ H
hhp h p p p p p p p p p p p p pH
½½ H HH h
@hshh p p p pH pppR
p p p pH
hh H H
s s
H H @
H
B ′ B ′′
@
@
Observación.– Mucho más interesante que la prueba es que el alumno sea capaz de dar
esta otra versión.
42
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
B ′′
¡¡
EE óó B′
B A′
Ãó³ á
Ã
s
E Ã ÃÃ ³³ ¡ (
A
@ Ã ³
@Es
ÃÃÃ
Ã
s à ³³³(((s¡ (((
@ Ã Ã ³
³(( ( ( ¡L′′
l E @ ÃÃÃÃÃ (((
A′′
³(s³(
l
à E
à à ( ( ( ³ ³ ¡
à l @ L ′
E ((s(( ³³³
L
(( ¡
O ( E l s@ ³ ³ ¡
³
E ³ll
³ @ ¡
³³ E @ ¡
l
E l@ ¡
E l@ ¡
E l@ ¡
E l@¡
¡l
@
E l
E ¡ @l
s
E ¡ @ll
¡ @
E
E ¡
E ¡
Es¡
¡ ¡E
EE
Figura 2.4: Teorema de Desargues dual
43
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Tema 3
Homografı́as y afinidades
Observación.– Dicho de otro modo, una aplicación proyectiva no es más que trasladar a
las clases de equivalencia que son los puntos proyectivos un homomorfismo de espacios
vectoriales. Claro que el paso a clases de equivalencia puede variar ciertos aspectos.
(a) Las coordenadas de P respecto de R1 son, salvo producto por un escalar, las coor-
denadas de u respecto de B1 .
(b) Las coordenadas de Q respecto de R2 son, salvo producto por escalar, las de f (u)
respecto de B2 .
(c) Las coordenadas de f (u) respecto de B2 son MB1 ,B2 (f )(u)tB1 .
Por tanto, si notamos (P )R1 = [x0 : ... : xr ], existen y0 , ..., ys tales que (Q)R2 = [y0 :
... : ys ] y
x0 y0
. .
MB1 ,B2 (f )
.. = .. .
xr ys
Observación.– La matriz A = MB1 ,B2 (f ) parece una candidata razonable a ser la matriz
de la aplicación F (respecto de R1 y R2 ). No obstante, notemos que cualquier matriz de
la forma λA, para λ 6= 0 también vale.
De la misma forma, pues, que vectores proporcionales dan el mismo punto proyec-
tivo, matrices proporcionales (esto es, homomorfismos proporcionales) dan la misma apli-
cación entre variedades proyectivas. En concreto, la relación
A ≃ B ⇐⇒ ∃λ ∈ k \ {0} tal que A = λB
45
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
(c) La imagen por una aplicación proyectiva de una variedad lineal es una variedad
lineal.
Observación.– Obviamente, como f es único salvo producto por escalar no nulo, o todos
los homomorfismos a los que está asociado F son isomorfismos, o no lo es ninguno.
Notemos también que ha de tenerse dim(Z1 ) = dim(Z2 ).
46
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Observación.– Otras conclusiones sencillas son las siguientes, con las mismas notaciones
que en la definición:
(b) La composición de homografı́as es una homografı́a, cuya clase matriz se puede ha-
llar con la fórmula que dimos al comienzo de la lección para aplicaciones proyecti-
vas generales.
(c) La restricción de F a una subvariedad W1 ⊂ Z1 sigue siendo una homografı́a,
si consideramos F|W1 : W1 −→ F (W1 ), pues ser homomorfismo se conserva al
restringirse.
(d) La aplicación inversa de F , que existe por ser F biyectiva, también es una homo-
grafı́a, en este caso de Z2 en Z1 , notada F −1 y que verifica
h i
MR2 ,R1 (F −1 ) = A−1 , para cualquier A ∈ MR1 ,R2 (F ).
Ejemplo.– Podemos establecer una homografı́a entre Z3 , el dual una recta Z1 de P3 (k),
y otra recta Z2 ⊂ P3 (k) mediante la aplicación que lleva cada plano que contiene a Z1 en
su punto de intersección con Z2 (notemos que dim(Z3 ) = 3 − 2 = 1 = dim(Z2 )).
Definición.– Dada una homografı́a F : Pn (k) −→ Pn (k), diremos que una variedad
W ⊂ Pn (k) es fija para F si F (W ) = W .
Observación.– De entre todas las subvariedades fijas que pueden aparecer en una homo-
grafı́a, nos fijaremos especialmente en dos: los puntos y los hiperplanos. En concreto,
conviene tener muy en cuenta la diferencia entre hiperplano fijo (aquél que queda invari-
ante por F ) e hiperplano de puntos fijos (aquél cuyos puntos son todos invariantes por F ),
que es una condición mucho más restrictiva.
47
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
(b) u es un autovector de f .
(b) Si W ⊂ Pn (k) es una variedad lineal proyectiva tal que todos sus puntos son
fijos, entonces todos están asociados a un único autovalor λ y su dimensión es
estrictamente menor que la multiplicidad de λ.
Demostración.– Para probar (a) sólo tenemos que darnos cuenta de que, si P =
π(u) ∈ Zλ ∩ Zµ , entonces u ∈ Vλ ∩ Vµ , lo cual es obviamente imposible, ya que u 6= 0.
Tampoco es complejo probar (b). Si tenemos dos puntos en W provenientes de dos
autovalores distintos λ y µ, pongamos P = π(u) ∈ Zλ ⊂ W y Q = π(v) ∈ Zµ ⊂ W , y
suponemos W = π(L), entonces u + v ∈ L pero
f (u + v) = λu + µv,
48
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Para la segunda parte de (b) basta recordar que la multiplicidad de λ es siempre mayor
o igual que dim(Vλ ) = dim(Zλ ) + 1, y obtenemos el resultado. Q.E.D.
Vamos a estudiar ahora cómo calcular el conjunto de hiperplanos fijos de una homografı́a
F = π(f ) : Pn (k) −→ Pn (k). Para ello, consideraremos fijados en toda la lección
un sistema de referencia, R, de Pn (k) y una base normalizada B de k n+1 . Denotemos
A = MB (f ).
F ∗ : Pn (k)∗ −→ Pn (k)∗
H 7−→ F −1 (H)
que es, ası́ mismo, una homografı́a. De hecho, si consideramos B∗ = {x1 , x2 , ..., xn },
denominada base dual de B, entonces F ∗ = π(f ∗ ), donde
MB∗ (f ∗ ) = At .
49
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
F (H) = H ⇐⇒ H = F −1 (H).
Este simple cambio nos permite reducir el problema al estudiado en la lección anterior.
tenemos que A y At tienen el mismo polinomio caracterı́stico y, por tanto, los mismos
autovalores con las mismas multiplicidades. De hecho, si denotamos Wλ la variedad de
puntos fijos de F ∗ asociada a λ, obtenemos que
Ası́, por ejemplo, una homografı́a F : P3 (k) −→ P3 (k) que tenga una recta de puntos
fijos, ha de tener necesariamente una recta de hiperplanos fijos (entendidos como puntos
de P3 (k)∗ ). Esto es, todos los hiperplanos que contienen a una determinada recta han de
ser fijos para F .
50
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
(b) Toda variedad fija de F con dimensión l + 1 contiene alguna variedad fija de di-
mensión l.
(c) Toda variedad fija de F con dimensión l está contenida en otra variedad fija de
dimensión l + 1.
dim(⋆(H ∗ )) = (n − 1) − (n − l − 2) = l + 1,
Observación.– Los resultados anteriores también son válidos para una homografı́a F de
un espacio proyectivo sobre un cuerpo arbitrario, siempre y cuando la matriz sea diogani-
zable.
p : Z −→ ⋆(P )
Q 7−→ Q + P =: (notación) QP
51
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
s : ⋆(P ) −→ Z
R 7−→ R ∩ Z
Observación.– Notemos que, por las condiciones que deben cumplir las variedades de
puntos fijos, tal y como probamos en 3.3., no pueden existir dos hiperplanos de puntos
fijos para una misma homografı́a F .
Podemos de hecho estudiar en detalle la configuración de puntos fijos de una ho-
mologı́a de manera más detallada.
Lema.– En una homologı́a, existe un punto O (necesariamente único) tal que toda varie-
dad que lo contiene es fija.
Demostración.– Directa, por ser el dual de la existencia de un hiperplano de puntos
fijos. En efecto, la existencia de un hiperplano de puntos fijos para F implica la existencia
de un hiperplano de puntos fijos para F ∗ . Esto es, existe una variedad de dimensión n − 1
tal que toda variedad contenida en él es fija. El principio de dualidad permite asegurar
que existe una variedad de dimensión 0 (un punto) tal que toda variedad que lo contenga
es fija. Q.E.D.
Estudiemos con más detalle algunas propiedades de las homologı́as de P2 (k), llamadas
homologı́as planas.
52
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
¡
¡
t¡
¡ P
¡
H
H ¡
HH @
@Ht ¡
H
H
Z ∩ H = F (Z) ∩ H H
¡
@H
¡ @HH HH
¡ @ HH t OP ∩ H
HH
¡ @ HH
¡ @t F (P ) HHH
¡ @ H
H
¡ @
¡ @
¡ @ tF (Q)
¡
t t
@
¡Q O
@
¡ @
53
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Las afinidades son la versión afı́n de las homografı́as. Sin embargo, no toda homografı́a
puede ser compatible con la restricción al espacio afı́n. Consideraremos en lo que sigue
la inmersión habitual ϕ : An (k) ֒→ Pn (k) = Z.
Observación.– Al igual que sucedı́a con los sistemas de referencia, el concepto de matriz
de una afinidad resulta más simple que el de matriz de una homografı́a, ya que siempre
suponemos la inmersión ϕ.
que tomaremos, por simplicidad, tanto para expresar los originales como las imágenes.
Entonces, como vimos en 2.9., existe un sistema de referencia proyectivo en Z determi-
nado por Ra , a saber,
RZ = {[O], [u1 ], ..., [un ]; U },
que es el que tiene por base normalizada
B(Ra ) = {(1, a1 , ..., an ) , (0, r11 , ..., rn1 ) , ..., (0, r1n , ..., rnn )} .
Observemos que una tal matriz siempre existe, dado que F (O) ∈ An (k). La elección
de la matriz anterior trae muchas ventajas, como veremos.
entonces
1 1
β1 γ1
MRa (f )[P ]tRa = MRa (f )
.. =
.. = [f (P )]t .
Ra
. .
βn γn
54
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
55
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
−
→ −
→
lo que demuestra que f es un endomorfismo de k n verificando MB(Ra ) ( f ) = M11 .
−
→
Además, por ser F biyectiva ha de ser |MRa (f )| = |M11 | =
6 0, luego f es automorfismo.
Q.E.D.
−
→
Definición.– El automorfismo f : k n −→ k n se denomina homomorfismo vectorial
asociado a f .
Las afinidades, en tanto que son restricciones de homografı́as al espacio afı́n, heredan
todas las propiedades de éstas (en la forma conveniente) en lo tocante a composición,
imágenes de variedades, unicidad de aplicaciones, estructura de grupo,...
En concreto, mantenemos la nomenclatura de variedades fijas para las afinidades: sea
F una homografı́a de Pn (k) compatible con ϕ, f = F|An (k) la afinidad que determina.
Una variedad afı́n Y es fija para f cuando lo es para F , esto es, cuando F (Y ) = Y .
Sin embargo, esto no es, a priori, sencillo de calcular, puesto que Y no es una variedad
proyectiva.
Y ⊂ Y =⇒ Y = f (Y ) = F (Y ) ⊂ F (Y ).
Y = F −1 (Y ) ⊂ F −1 (Z),
Definición.– Dada una afinidad f = F|An (k) los puntos fijos de F contenidos en An (k)
se denominan puntos fijos de f . Los puntos fijos de F contenidos en H∞ son de la forma
[u], para u ∈ k n y se denominan direcciones fijas de f .
56
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
En esta situación se puede presentar una situación geométrica distinta, que corre pa-
ralela a la casuı́stica de las homologı́as.
Caso 1: λ = 1. Supondremos que (α1 , ..., αn ) 6= (0, ..., 0) porque si no, estamos ante la
identidad y no hay mucho que estudiar.
Al tener MR (f ) un único autovalor, y no ser la identidad, el conjunto de puntos fijos
de [f ] es exactamente H∞ y, por tanto, es una homologı́a de centro incidente.
Para conocer el centro procedemos geométricamente. La afinidad asociada, tomando
coordenadas respecto de R, es
f : An (k) −→ An (k)
(x1 , ..., xn ) 7−→ (x1 + α1 , ..., xn + αn )
−−−−−−−→
y por ello f se denomina la traslación de vector (α1 , ..., αn ).
Es entonces elemental que:
(a) No hay puntos afines fijos.
−−−−−−−→
(b) Son fijas las variedades afines Y que verifican (α1 , ..., αn ) ∈ D(Y ) (esto es sencillo
por doble inclusión).
57
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
equivalente a conocer un punto y su imagen, que era el dato necesario para caracterizar
una homologı́a.
58
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Tema 4
El espacio euclı́deo
Observación.– La distancia definida es una métrica topológica; esto es, verifica las si-
guientes propiedades:
Todas las pruebas son directas a partir de los resultados de Álgebra Lineal relativos a
productos escalares. Ası́, por ejemplo
¯¯−→¯¯ ¯¯−→ −→¯¯ ¯¯−→¯¯ ¯¯−→¯¯
d(P, R) = ¯¯¯¯P R¯¯¯¯ = ¯¯¯¯P Q + QR¯¯¯¯ ≥ ¯¯¯¯P Q¯¯¯¯ + ¯¯¯¯QR¯¯¯¯ = d(P, Q) + d(Q, R),
donde [Q]R (respectivamente [Q]R′ ) son las coordenadas de Q, como punto proyectivo,
respecto del sistema de referencia de Pn (R) inducido por R; esto es, las coordenadas de
Q respecto de R precedidas de un 1.
Por tanto, un cambio de sistemas de referencia métricos en An (R) implica un cam-
bio de bases ortonormales de (V, ·). Ası́, como sabemos de Álgebra Lineal, la matriz
M (B, B′ ) ha de ser ortogonal.
Observación.– Las otras dos propiedades del módulo que no hemos utilizado son:
(a) La desigualdad de Cauchy–Schwartz, que establece que, para todo par de vectores
u, v ∈ V ,
u·v
|u · v| ≤ ||u|| ||v|| =⇒ −1 ≤ ≤ 1.
||u|| ||v||
Por tanto, dados dos vectores de V , con el mismo origen, definimos el ángulo que
forman como el único real α ∈ [0, π] verificando
−→ −→
PQ · PR
cos(α) = ¯¯¯¯−→¯¯¯¯ ¯¯¯¯−→¯¯¯¯ .
¯¯P Q¯¯ ¯¯P R¯¯
60
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
El nombre de Teorema de Pitágoras a la versión vectorial está justificado, ya que los tres
puntos de un triángulo siempre se pueden escribir de la forma P , P + u y P + u + v, y sus
lados vendrán dados por u, v y u + v, luego este resultado nos dice que dos de sus lados
son ortogonales si y sólo si el cuadrado del módulo del otro lado es igual a la suma de los
cuadrados de estos dos.
Pero hasta ahora la distancia entre dos puntos, o la ortogonalidad de dos vectores, son
conceptos abstractos. Todavı́a no hemos comprobado que efectivamente corresponden a
la distancia entre puntos y la perpendicularidad de segmentos de la geometrı́a clásica.
Curiosamente, esta correspondencia es consecuencia directa del teorema de Pitágoras
clásico.
Consideremos fijado un sistema de referencia métrico, R = {O; {v 1 , v 2 }} en un es-
pacio euclı́deo sobre R de dimensión 2. Como v 1 y v 2 son unitarios y ortogonales, los
representamos en el plano como dos vectores perpendiculares de tamaño 1, partiendo de
un mismo punto (que representa a O). Una vez fijada la representación gráfica de R,
cualquier otro punto o vector del espacio euclı́deo estará también fijado: el punto (a, b)
es el punto final del vector av 1 + bv 2 , donde av 1 es un vector de tamaño |a| con la misma
dirección que v 1 , y el sentido determinado por el signo de a, y el vector bv 2 se define de
forma análoga. El vector suma de u y v está representado por la diagonal (que pasa por
O) del paralelogramo que pasa por O cuyos lados adyacentes a O son u y v. Es en este
marco que debemos demostrar que hemos definido bien la distancia entre dos puntos (el
tamaño de un vector), o la perpendicularidad de dos vectores.
Proposición.– En un espacio euclı́deo como el anterior, el módulo de un vector corres-
ponde al tamaño de su representación gráfica. Y dos vectores son ortogonales si y sólo si
sus representaciones gráficas son perpendiculares.
Demostración.– Si un vector v es igual √ a av 1 , sus coordenadas respecto a R son
(a, 0), luego su módulo es igual a ||v|| = a2 = |a|, que coincide con el tamaño de su
representación gráfica. Lo mismo ocurre con los vectores de la forma bv 2 . Si por último se
tiene √ v = av 1 + bv 2 , entonces sus coordenadas respecto de R son (a, b), luego su módulo
será a2 + b2 . Ahora bien, como v 1 y v 2 son perpendiculares, también lo son av 1 y
bv 2 , luego sus representaciones gráficas forman un rectángulo. Una de las diagonales
de este rectángulo es la representación del vector v, la otra (que mide lo mismo, al ser
un rectángulo) es la hipotenusa de un triángulo rectángulo de catetos av 1 y bv 2 , luego el
teorema de Pitágoras clásico nos dice que el tamaño de la representación de v es igual a
la raı́z√cuadrada del cuadrado del tamaño de av 1 más el cuadrado del tamaño de bv 2 , es
decir, a2 + b2 . Por tanto, módulo y tamaño son nociones equivalentes.
Una vez que sabemos que el módulo de un vector coincide con su tamaño, veamos
que ortogonalidad corresponde a perpendicularidad. Por un lado, sabemos por el teorema
61
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
luego
(v − u) · (v − u) = (u · u) + (v · v) − 2 ||u|| ||v|| cos(α),
(v · v) + (u · u) − 2(u · v) = (u · u) + (v · v) − 2 ||u|| ||v|| cos(α),
u · v = ||u|| ||v|| cos(α),
de donde se obtiene la fórmula enunciada. Q.E.D.
Observación.– Observemos que de este resultado obtenemos una nueva demostración de
la desigualdad de Cauchy-Schwartz en el plano R2 , ya que sabemos que para cualquier
ángulo α, se tiene −1 ≤ cos(α) ≤ 1, luego | cos(α)| ≤ 1. Es decir
|u · v|
≤1 ⇒ |u · v| ≤ ||u|| ||v||.
||u|| ||v||
Además, ası́ vemos que el cociente entre |u · v| y ||u|| ||v|| puede tomar todos los valores
entre 0 y 1.
Al igual que hemos hecho en el plano, se puede comprobar que en el espacio de tres
dimensiones, R3 , las nociones de tamaño y módulo, de perpendicularidad y ortogonalidad
son equivalentes, ası́ como lo son las nociones clásica y afı́n de ángulo. Por tanto, a partir
de ahora trabajaremos en espacios euclı́deos, con sistemas de referencia métricos. Ası́,
podremos imaginar todos los ejemplos en R2 o R3 , e incluso demostrar teoremas de
geometrı́a clásica, usando estas nuevas herramientas de la geometrı́a afı́n.
62
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Una vez que hemos definido la distancia entre dos puntos, trataremos en esta lección de
dar una generalización (que no siempre podrá ser explı́cita). Antes una definición natural.
Observación.– Es un hecho intuitivo que el camino más corto entre dos variedades para-
lelas (dos rectas en A2 (R), por ejemplo) viene dada por la distancia entre dos puntos que
forman una recta perpendicular a ambas. Demos ahora soporte teórico a este hecho.
(a) dim(Y ) ≥ 1.
(b) Y es perpendicular a Y1 y a Y2 .
(d) Toda variedad Y ′ que verifique las propiedades (a), (b) y (c) (para los mismos P1 y
P2 ) verifica Y ′ ⊂ Y .
y ası́ tenemos que, recordando los resultados relativos a la dimensión de los subespacios
ortogonales,
dim(Y ) = dim(D(Y )) = n − dim [D(Y1 ) + D(Y2 )] .
63
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
donde u y v son únicos porque D(Y ) = [D(Y1 ) + D(Y2 )]⊥ , pero los ui no lo son, a menos
que D(Y1 ) ∩ D(Y2 ) = {0}. Tomamos entonces el punto
P1 = Q1 + u1 ∈ Y1 ,
y definimos Y = P1 + D(Y ).
Tenemos que comprobar que Y verifica las condiciones (c) y (e), ya que las demás
surgen inmediatamente de nuestra definición. Para ver (c), notemos que, si definimos
P2 = Q2 − u2 ∈ Y2 ,
−−→
tenemos que P1 P2 = v ∈ D(Y ), por lo que P2 ∈ Y . Ahora bien,
por lo que se tiene que Y ∩ Yi ha de ser un punto, y, en consecuencia, tiene que ser Pi .
Por último hemos de probar que la mı́nima distancia entre Y1 e Y2 se alcanza precisa-
mente en d(P1 , P2 ). Para ello, sea Q1 ∈ Y1 , Q2 ∈ Y2 puntos cualesquiera como arriba.
Escribimos entonces
¯¯−−−→¯¯2 ¯¯−−−→ −−→ −−−→¯¯2
d(Q1 , Q2 )2 = ¯¯¯¯Q1 Q2 ¯¯¯¯ = ¯¯¯¯Q1 P1 + P1 P2 + P2 Q2 ¯¯¯¯
¯¯−−−→ −−−→¯¯2 ¯¯−−→¯¯2
= ¯¯¯¯Q1 P1 + P2 Q2 ¯¯¯¯ + ¯¯¯¯P1 P2 ¯¯¯¯ ,
−−−→ −−−→ −−→
porque (Q1 P1 + P2 Q2 ) ⊥ P1 P2 y podemos
¯¯−
aplicar el Teorema de Pitágoras. Entonces es
¯¯ −−→ −−−→¯¯¯¯2 −−→
claro que el mı́nimo se alcanza cuando ¯¯Q1 P1 + P2 Q2 ¯¯ = 0, esto es, cuando P1 P2 =
−−−→
Q1 Q2 . Q.E.D.
d(Y1 , Y2 ) = 0 ⇐⇒ Y1 ∩ Y2 6= ∅.
Una vez estudiado un procedimiento general para hallar la distancia entre dos variedades,
nos fijamos en los casos más interesantes geométricamente: los casos de distancia de un
64
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
/ Y . Entonces, si Y ′ es la
Definición.– Sea P ∈ An (R), Y una variedad lineal tal que P ∈
perpendicular común a P e Y , el punto Y ∩ Y ′ se denomina el pie de la perpendicular a
Y trazada desde P o, equivalentemente, la proyección ortogonal de P sobre Y .
D(H) : a1 x1 + ... + an xn = 0,
Q.E.D.
H : α + a1 x1 + ... + an xn = 0, H ′ : β + a1 x1 + ... + an xn = 0,
y, además,
|α − β|
d(H, H ′ ) = q .
a21 + ... + a2n
65
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
|β + a1 γ1 + ... + an γn | |β − α|
d(P, H ′ ) = q =q ,
a21 + ... + a2n a21 + ... + a2n
D−→E⊥
Veamos entonces que MP Q = R + P Q . En efecto,
A ∈ MP Q ⇐⇒ d(A, P ) = d(A, Q)
¯¯−→¯¯2 ¯¯−→¯¯2
⇐⇒ ¯¯¯¯AP ¯¯¯¯ = ¯¯¯¯AQ¯¯¯¯
¯¯−→ −→¯¯2 ¯¯−→ −→¯¯2
¯¯ ¯¯ ¯¯ ¯¯
⇐⇒ ¯¯AR + RP ¯¯ = ¯¯AR + RQ¯¯
³−→ −→´ ³−→ −→´ ³−→ −→´ ³−→ −→´
⇐⇒ AR + RP · AR + RP = AR + RQ · AR + RQ
−→ −→ −→ −→
⇐⇒ AR · RP = AR · RQ
−→ −→ −→ −→
⇐⇒ AR · RP = −AR · RP
−→ −→
⇐⇒ AR · RP = 0
−→ −→ −→
⇐⇒ AR ⊥ RP = (1/2)QP ,
66
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
4.5 Movimientos.
Proseguimos el estudio general del espacio euclı́deo introduciendo los movimientos, que
son las afinidades que conservan las propiedades euclı́deas. Al estudio preciso y detalla-
do de estas transformaciones dedicaremos las secciones siguientes. Trabajaremos, como
antes, en un espacio euclı́deo (An (R), (V, ·), +).
(b) Si f es un movimiento, f conserva los ángulos entre vectores con el mismo origen
(4.1.)
(c) f es un movimiento si y sólo si es una afinidad que preserva las distancias. Esto es,
para cualesquiera P, Q ∈ An (R), d(f (P ), f (Q)) = d(P, Q).
Observación.– Ası́ como los automorfismos se corresponden con los cambios de base,
las homografı́as con los cambios de sistemas de referencia proyectivo y las afinidades con
los cambios de sistemas de referencia afines, los movimientos son la contrapartida de los
cambios de sistema de referencia métricos.
Vamos a finalizar el tema viendo algunos ejemplos de movimientos, que después serán
estudiados con más detalle.
Ejemplo.– Recordemos que una traslación era una afinidad τ que verificaba −
→
τ = IdV .
−
→
Claramente la matriz τ será In en cualquier base, por tanto, las traslaciones son
movimientos.
Ejemplo.– Con respecto a las otras dilataciones, las homotecias, recordemos que éstas
se caracterizaban por el hecho de que su isomorfismo vectorial asociado era λIdV , para
algún λ 6= 0, 1. Nuevamente, la matriz del isomorfismo en cualquier base será λIn . Ası́,
una homotecia es un movimiento si y sólo si su razón, λ, es −1. Estas homotecias tan
particulares se denominan simetrı́as centrales de centro el punto fijo de la homotecia.
67
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
σH : An (R) −→ An (R)
−→
P 7−→ σH (P ) = P + 2P Q,
y, por tanto,
−−−−−−−−−→
σH (P ) = (a1 , ..., an ) + 2(0, ..., 0, −an ) = (a1 , ..., an−1 , −an ) .
Ejemplo.– La aplicación que, fijado un sistema de referencia, permuta dos o más va-
riables, es evidentemente un movimiento. Es un buen ejercicio que el alumno trate de
expresarlo como producto de (tal vez una) simetrı́as.
68
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Lema.– Sea f : An (R) −→ An (R) una aplicación que preserve distancias. Si f deja
n + 1 puntos invariantes Q1 , ...., Qn+1 no contenidos en un hiperplano, f = Id.
Demostración.– En efecto, si existiese un punto P tal que f (P ) 6= P , entonces,
Vamos a construir otra aplicación que preserve distancias pero con más puntos fijos
afı́nmente independientes que f . Para ello, tomemos P un punto tal que f (P ) 6= P y sea
H el hiperplano mediador de P y f (P ). Definimos entonces g = σH ◦ f .
Primero observemos que si Q es fijo para f , entonces
como vimos antes. Por tanto Q también es fijo para σH y, en consecuencia para g. Por
otra parte, es obvio de la definición que P es fijo para g. Por tanto, como P ∈ / H, es
afı́nmente independiente con cualquier subconjunto de puntos fijos de f . Esto prueba que
rg > rf .
Además, por ser σH un movimiento, σH ◦ f preserva distancias. Ası́ pues, dada
una aplicación que preserva distancias distinta de la identidad, podemos construir, com-
poniendo con una simetrı́a hiperplanar, otra con más puntos fijos afı́nmente independi-
entes.
Ası́, aplicamos este proceso reiteradamente, y cuando este número llegue a n + 1, la
aplicación resultante ha de ser Id, y tendremos
69
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Demostración.– Basta darse cuenta de que la demostración sólo requiere una com-
posición para llegar a la identidad. Q.E.D.
Notación.– Como vamos a tener que usar a menudo el conjunto de puntos fijos de un
movimiento f , en adelante notaremos esta variedad lineal afı́n por Df .
Ejemplo.– Veamos, por ejemplo, cómo describir una traslación en producto de simetrı́as.
De paso esto nos permitirá probar que, a veces, no hacen falta tantas simetrı́as como cabrı́a
esperar por la demostración del teorema. De hecho, partimos de la peor situación posible,
puesto que las traslaciones no tienen puntos fijos.
Fijado un sistema de referencia métrico R = {O; B}, respecto del cual tomaremos
−−−−−−−→
coordenadas sin mención expresa, la traslación de vector u = (a1 , ..., an ) se puede definir
como
τu : An (R) −→ An (R)
P 7−→ P + u
y, por tanto,
1 0 ... 0
a1 1
MR (τu ) =
.. ... .
.
an 1
Para seguir la demostración del teorema, hemos de escoger un punto P , no fijo, (o sea
que cualquiera vale) y hallar H, el hiperplano mediador de P y f (P ). Pero
−−−−→
P f (P ) = u =⇒ u ⊥ D(H).
g(R) = g(P ) + −
→
g (v), con v ∈ D(H)
−→
= P + σH ◦ −→
τu (v) = P + −
σ→
H (v) = R,
Vamos a dar algunas propiedades relativas a movimientos que serán de mucho uso en las
clases de problemas: en particular introduciremos los segmentos y semirrectas, cuyo uso
será fundamental a la hora de calcular movimientos que dejan invariantes figuras.
70
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
(a) R ∈ P Q.
−→ −→
(b) R ∈ P Q y P R · RQ ≥ 0.
Corolario.– Dados tres puntos alineados, uno de ellos siempre está en el segmento cuyos
orı́genes son los otros dos.
(a) R ∈ LP,Q .
−→ −→ −→ −→
(b) R ∈ P Q y, bien P R · RQ ≥ 0, bien P Q · QR ≥ 0.
71
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
72
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Pasamos a estudiar ahora los movimientos del plano. Usaremos para ello tanto una ca-
−
→
racterı́stica algebraica (los autovalores de f y sus multiplicidades) como una geométrica
(su variedad de puntos fijos). Sea entonces f ∈ Mo(A2 (R)).
−
→
De Álgebra Lineal sabemos que la matriz de f , respecto de una cierta base ortonor-
mal, es diagonal por cajas, siendo las posibles cajas
à !
a −b
(1), (−1), , con a2 + b2 = 1, b 6= 0.
b a
Ası́ pues, existe un sistema de referencia métrico tal que la matriz de f es de una de
las siguientes formas:
1 0 0 1 0 0 1 0 0 1 0 0
α 1 0 , α 1 0
,
α −1 0
,
α a −b ,
β 0 1 β 0 −1 β 0 −1 β b a
que denotaremos respectivamente casos (a), (b), (c) y (d).
β 0 −1 β 0 −1 0 0 1
1 0 0 1 0 0
=
α 1 0 0 1 0
.
0 0 1 β 0 −1
−−−→
Si denominamos u = (α, 0) y H : y = β/2, lo anterior prueba que f = τu ◦ σH =
σH ◦ τu . Además se verifica que u ∈ D(H). Este movimiento se denomina simetrı́a con
deslizamiento, H se denomina el eje y u el deslizamieto o el vector.
73
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Nótese que H es fija para f (no de puntos fijos) y es la única en estas condiciones.
Para ver esto notemos que todas las direcciones son fijas para − →
τu , y para −
σ→
H las únicas
−−−→ −−−→
direcciones fijas son h(1, 0)i y h(0, 1)i. Por lo tanto toda recta fija ha de ser del tipo y = γ
ó x = δ.
Pero un punto cualquiera de x = δ, pongamos P = (δ, 0) va en f (P ) = (α + δ, β),
por lo que f (P ) no está en la recta y ninguna recta de esa forma puede ser fija. Por otra
parte f (0, γ) = (0, β − γ), por lo que y = γ es fija si y sólo si β − γ = γ, esto es, si y
sólo si es H. Otra forma de calcular H es observando que el punto medio de cualquier
punto y su imagen está en H. Ası́ pues, escogiendo dos puntos (en general) y hallando
sus imágenes podemos hallar H.
74
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
−→ −−−−→
quedando ası́ determinado el ángulo (orientado) que forman los vectores P Q y P f (Q).
Al ángulo ω se le llama ángulo del giro. Entonces, la ecuación de un giro de ángulo ω
será:
1 1 0 0 1
′
x = α cos(ω) −sen(ω) x .
y′ β sen(ω) cos(ω) y
El signo del ángulo de giro depende de la orientación del sistema de referencia. Conc-
retamente, si R′ = {O′ ; B′ } es otro sistema de referencia métrico, y respecto de B′ la
−
→
matriz de f es à !
a′ −b′
,
b ′ a′
se verifica que a′ = a y b′ = b|M(B′ , B)|. Por tanto, si ω ′ es el ángulo 0 ≤ ω ′ ≤ 2π tal
que cos(ω ′ ) = a′ y sen( ω ′ ) = b′ , se tendrá que si R y R′ tienen la misma orientación
entonces ω = ω ′ . En otro caso, ω ′ = 2π − ω. El caso particular ω = π es la simetrı́a
central, ya estudiada en el caso (c).
Observación.– Para hallar las rectas fijas de los movimientos podemos optar por consid-
erarlas hiperplanos fijos de una homografı́a o por calcular directamente las direcciones
fijas de f (que son los puntos fijos en el infinito de [f ]) y, a partir de ahı́, buscar rectas
fijas. En cualquier caso, son un buen ejercicio para las clases de problemas.
75
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
−−−−→
Traslación 1,1 ∅ u = P f (P )
de vector u ∀ P ∈ A2 (R)
Simetrı́a 1,-1 H H = Df
de eje H
76
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Nos ocuparemos en esta lección de los casos (a), (b) y (d); y dejaremos para la si-
guiente los restantes: (c), (e) y (f).
Caso (a) No existen grandes diferencias entre este estudio y el del caso plano. En
efecto,
α
+ x = x
Df : β + y = y
γ + z = z
por lo que Df 6= ∅ si y sólo si α = β = γ = 0, esto es, si y sólo si f = Id. En otro caso,
−−−−−→
f es la traslación de vector (α, β, γ).
Caso (b) Este caso también es paralelo al del caso plano. Ahora
α
+ x = x
Df : β + y = y
γ − z = z
Ahora calculemos sus puntos fijos como homografı́a (3.3.). Tenemos dos autovalores:
1 (ν = 3) y −1 (ν = 1). La variedad Z1∗ tiene por ecuaciones
x∗0 (
. αx∗1 + βx∗2 = 0
(I4 − A)
.
. = 04×1 =⇒
x∗3 = 0
x∗3
77
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
esto es, pasando al afı́n (y renombrando los parámetros), todos los de la forma
Hλ : βx − αy = λ,
−−−−−→
o sea, todos los perpendiculares a H y paralelos al vector (α, β, 0).
∗
Por lo que respecta a Z−1 tenemos
x∗0 ∗
−2x0
− γx∗3 = 0
.
(−I4 − A)
.. = 04×1 =⇒ x∗1 = 0
x∗3 x∗2 = 0
∗
por lo que Z−1 es el punto [γ : 0 : 0 : −2], que se corresponde con el plano proyectivo
γx0 − 2x3 = 0 que es precisamente la clausura proyectiva de H.
Por tanto, H se caracteriza por ser el plano cuya clausura es el único plano fijo asoci-
ado al autovalor −1 de [f ]∗ . Alternativamente,
1 −−−−→
P = (x0 , y0 , z0 ) =⇒ f (P ) = (x0 + α, y0 + β, −z0 + γ) =⇒ P + P f (P ) ∈ H.
2
En particular (α/2, β/2, γ/2) ∈ H.
Caso (d) Este caso, como en el plano, se denomina una simetrı́a central de centro
P . El centro queda determinado por ser el único punto fijo de f :
− x à !
α
= x
α β γ
Df : β − y = y =⇒ P = , , .
2 2 2
γ − z = z
Df : {y = β/2, z = γ/2},
esto es, es una recta de puntos fijos. Ası́, dado un punto P = (x0 , y0 , z0 ), tenemos que
f (P ) = (x0 , β − y0 , γ − z0 ), de donde deducimos:
78
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
por lo que tenemos una recta de puntos fijos (recordemos que a2 + b2 = 1 y que a 6= 1).
Si tomamos P = (x0 , y0 , z0 ), entonces
H = P + D(Df )⊥ : x = x0 ,
n −−−−→ −−−−→o
y, si tomamos RH = H ∩ Df ; (0, 1, 0), (0, 0, 1) tenemos un sistema de referencia
métrico en H que verifica (ejercicio sencillo)
³ ´ 1 0 0
MRH f|H =
0 a −b
.
0 b a
79
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
de la dirección de D(Df ), digamos v. Observemos que sólo hay dos posiblidades para v,
que difieren únicamente en el signo. Añadimos ahora dos vectores v 1 , v 2 ∈ D(H) tales
que {v, v 1 , v 2 } formen una base ortonormal con la misma orientación que la base habit-
ual. Esto determina la orientación de la base {v 1 , v 2 } en D(H). Por tanto, la dirección de
v determina el signo del ángulo ω, y ası́ diremos que f es un giro de eje Df y ángulo ω
respecto de la dirección v.
Para saber cuándo una base tiene la misma orientación que la base habitual, basta
calcular el determinante de la matriz cuyas filas (o columnas) son los vectores de la base
estudiada, escritos con coordenadas respecto de la base habitual. Si el determinante es
positivo, la orientación es la correcta.
(e.2) En este caso podemos descomponer
1 0 0 0 1 0 0 0 1 0 0 0
α 1 0 0 0 1 0 0 α 1 0 0
=
β 0 a −b β 0 a −b 0 0 1 0
γ 0 b a γ 0 b a 0 0 0 1
1 0 0 0 1 0 0 0
α 1 0 0 0 1 0 0
=
,
0 0 1 0 β 0 a −b
0 0 0 1 γ 0 b a
Caso (f) La variedad de puntos fijos Df es en este caso la solución (única) del sistema
2x
= α
Df : (a − 1)y − bz = −β
by + (a − 1)z = −γ
Por tanto f se descompone en una simetrı́a plana de eje H y un giro de eje L que
verifican:
80
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
(a) H ⊥ L.
(b) H ∩ L = Df .
(1) El eje de simetrı́a H: es un plano fijo (de hecho, es el único) que pasa por Df y su
−
→
dirección es base del subespacio asociado a los autovalores complejos de f .
(3) El ángulo de giro ω: dado por cos(ω) = a y sen(ω) = b. El signo de ω (es decir, el
signo de b) depende de la orientación que se le haya dado al vector director del eje
de giro.
81
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
4.11 Semejanzas.
Para finalizar el tema, daremos unos cuantos resultados relativos a semejanzas: generales
en esta lección y más especı́ficos para dimensiones bajas en la siguiente. Este tipo de
afinidades permite una gran cantidad de problemas: en particular los problemas clásicos
relativos a semejanza de triángulos.
82
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Ejemplos.– Ya hemos visto dos ejemplos de semejanzas: por un lado los movimientos,
que son las semejanzas de razón 1. Pero en 3.8. también introdujimos las homotecias que
−
→
eran las afinidades h que verificaban h = λIdV , para λ ∈ R \ {0, 1}. Por tanto, de forma
obvia, las homotecias son semejanzas de razón |λ|.
De hecho, como vamos a probar, toda semejanza se puede reducir a estos ejemplos.
Observación.– Es muy importante (o, mejor dicho, lo será) hacer notar que la homotecia
se puede escoger con centro arbitrario.
Observación.– Este resultado nos permite obtener muchas propiedades de las semejan-
zas. Destacamos primero algunas de los inmediatas:
(a) Las semejanzas son afinidades y, por tanto, biyectivas. Ası́ pues, si f es una seme-
janza, f −1 existe y, trivialmente, es también una semejanza.
(b) Por el apartado (a) deducimos sin mayor problema que el conjunto de las semejan-
zas es un grupo para la composición de aplicaciones.
(c) Las semejanzas conservan ángulos (no orientados). En efecto, dado que ya lo sabe-
mos de los movimientos (4.5.), sólo hay que probarlo de las homotecias. Pero, dada
una homotecia h y puntos P, Q, R ∈ An (R), si denotamos por α el ángulo formado
−−−−−−→ −−−−−−→
por h(P )h(Q) y h(P )h(R),
³ −→´ ³ −→´
−−−−−−→ −−−−−−→ λP Q · λP R
h(P )h(Q) · h(P )h(R)
cos(α) = ¯¯¯¯−−−−−−→¯¯¯¯ ¯¯¯¯−−−−−−→¯¯¯¯ = ¯¯¯¯ −→¯¯¯¯ ¯¯¯¯ −→¯¯¯¯
¯¯h(P )h(Q)¯¯ ¯¯h(P )h(R)¯¯ ¯¯λP Q¯¯ ¯¯λP R¯¯
−→ −→ −→ −→
λ2 P Q · P R PQ · PR
= ¯¯−→¯¯ ¯¯−→¯¯ = ¯¯−→¯¯ ¯¯−→¯¯ ,
¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯¯ ¯¯ ¯¯
|λ|2 ¯¯P Q¯¯ ¯¯P R¯¯ ¯¯P Q¯¯ ¯¯P R¯¯
83
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Esto implica que la variedad de puntos fijos tiene un sistema de ecuaciones respecto
de R
³ ³− ´ ´
x1 −α1
→ . .
MB f − In
.. = .. .
xn −αn
Ası́ pues, si el sistema no es de Cramer, esto implica que f tiene razón λ = 1 y es, por
tanto, un movimiento, en contra de las hipótesis. Esto finaliza la prueba. Q.E.D.
84
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
(a.2) El centro de la homotecia está en el eje de simetrı́a y es, por tanto, el centro
de la semejanza.
(1) g es una traslación. Como hemos visto antes, f es entonces una homotecia.
(2) g es una simetrı́a σ. Como podemos elegir h con centro cualquiera, tomamos como
centro O. Entonces es doble, luego tiene que estar en el eje de σ. Para ver que σ y
h conmutan basta tomar un sistema de referencia métrico R = {O; B}, con B una
base tal que MB (−→σ ) es diagonal. Entonces
1 0 0 1 0 0
MR (f ) = MR (h)MR (g) = 0 λ 0 0 1 0
0 0 λ 0 0 −1
1 0 0 1 0 0
= 0 1
0 0 λ 0
0 0 −1 0 0 λ
85
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
86
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Tema 5
y entonces:
−→ −−−→ −−−→ −−−→ −−−→ −−−→
AG = GMA + MA B + GMA + MA C = 2GMA .
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Q.E.D.
−→ −−−→
Observación.– Esto prueba que AG = 2AMA /3 y ası́, G está sobre la mediana AMA .
Análogamente sucede para las otras medianas, luego el punto G es el punto en el que se
cortan las medianas, es decir, el baricentro del triángulo. Por otra parte, usando coorde-
nadas cartesianas, si A = (a1 , a2 ), B = (b1 , b2 ), C = (c1 , c2 ), las coordenadas cartesianas
de G son: Ã !
a1 + b 1 + c 1 a2 + b 2 + c 2
G= , .
3 3
AC ′ = BC = AB ′ .
Ası́ las alturas de ABC son las mediatrices de A′ B ′ C ′ , que concurren en el punto H.
Q.E.D.
t = A + {λ(u0 + u1 ) | λ ≥ 0},
al que se llama la bisectriz de la región angular. Por abuso de lenguaje, diremos que el
rayo t es la bisectriz del ángulo (r0d
, r1 ).
88
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Haciendo lo propio con la otra recta obtenemos un punto similar P1 tal que
−−→
P1 P = λ[u0 − (u0 · u1 )u1 ].
−−→ −−→
Ası́ |P0 P | = |P1 P | si y sólo si λ = µ, de donde el resultado. Q.E.D.
(x − a)2 + (y − b)2 = r2 .
89
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
Otra de las propiedades que necesitamos, para facilitar las demostraciones afines de
los resultados, es la posiblidad de escoger un sistema de referencia adecuado.
Proposición.– Dados dos puntos distintos cualesquiera P, Q ∈ A2 (R), existen exacta-
mente dos semejanzas, una directa y otra inversa, que transforman (0, 0) en P y (1, 0) en
Q.
−→
Demostración.– Consideremos la circunferencia C = C(P, ||P Q||) y la recta r =
−→
P + hP Qi⊥ . Claramente, su intersección es un par de puntos {R, R′ } = C ∩ r. Una
semejanza que lleve (0, 0) en P y (1, 0) en Q, debe llevar la circunferencia C((0, 0), 1) en
C y el eje y en r, luego debe llevar (0, 1) bien en R bien en R′ . Cada posiblidad da lugar
a una semejanza, una directa y la otra inversa. Q.E.D.
(x + 1, y) · (x − 1, y) = 0 ⇔ x2 − 1 + y 2 = 0 ⇔ x2 + y 2 = 1.
Ya podemos enunciar y demostrar uno de los teoremas más curiosos sobre triángulos,
cuya demostración se simplifica muchı́simo gracias a los métodos de la geometrı́a afı́n.
Recordemos que los puntos notables de un triángulo son el circuncentro D (intersección
90
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
91
Geometrı́a. Departamento de Álgebra. http://alojamientos.us.es/da
92