Tarea 5 — Álgebra Geométrica Fecha sugerida de entrega: 04 de Mayo

Profesor: Miguel Ángel Guadarrama Garcı́a Ayudante: Luis Gerardo Hernández Chávez

Instrucciones: Si asistes a las ayudantı́as se seguirá la dinámica que hay en ellas para resolver la tarea.
Si no, debes de elegir y resolver al menos cinco ejercicios, aunque es importante que sepas resolver todos.

1. En Z5 × Z5 determina el centro C ∈ Z5 × Z5 y la razón r ∈ Z5 de la homotecia HC,r , tal que

HC,r (2̄, 1̄) = (3̄, 2̄) y HC,r (4̄, 2̄) = (1̄, 1̄).

2. En C × C, sean P = (i, 1) y Q = (2, 3i + 1). Da la recta l que pasa por P y Q en forma vectorial, elige
otra recta l0 paralela a l y distinta de l, también elige dos puntos P 0 y Q0 distintos en l0 .

(a) Determina la homotecia HC,r que cumpla: HC,r (P ) = P 0 y HC,r (Q) = Q0 .

(b) Determina la homotecia HC,r que cumpla: HC,r (P ) = P 0 y HC,r (Q) = P 0 .

3. En Z5 × Z5 determina la razón r ∈ Z5 de la homotecia HC,r , con centro C = (2̄, 1̄) que cumpla
HC,r (3̄, 2̄) = (1̄, 0̄).

4. Sea K un campo y HC,r una homotecia en K × K con centro C ∈ K × K y radio distinto de cero
r ∈ K\{0}. Sea l ⊆ K × K una lı́nea que pasa por C, prueba que HC,r (l) = l.

5. En Z3 × Z3 , considera los conjuntos A = {(0̄, 1̄), (1̄, 0̄), (1̄, 2̄), (2̄, 1̄)} y B = {(0̄, 0̄), (0̄, 2̄), (2̄, 0̄), (2̄, 2̄)}.
Calcula H(1,1),2 (A) y H(1,1),2 (B), por último haz un dibujo de cada conjunto con su imagen.

6. Sea K un campo y HC,r y HC 0 ,r0 dos homotecias en K×K con razones r, r0 ∈ K y centros C, C 0 ∈ K×K.
(Ayuda: puedes hacerlo aplicando las homotecias directamente o usando su representación matricial)

(a) Prueba que HC,r ◦ HC 0 ,r0 también es una homotecia si 1 − rr0 6= 0 . (Ayuda: La razón de la
0 0
composición es rr0 y el centro es r(1−r )C +(1−r)C
1−rr 0 ). Opcional: ¿Qué pasa si 1 − rr0 = 0?.
(b) Si r 6= 0 determina la homotecia inversa de HC,r . Para verificarlo debes componer la homotecia
y su inversa, el resultado debe ser la identidad.
(c) Verifica en K × K que la identidad es una homotecia.
(d) Sean HC,r y HC 0 ,r0 dos homotecias distintas a la identidad, prueba que HC,r ◦HC 0 ,r0 = HC 0 ,r0 ◦HC,r
si y sólo si C = C 0 . (Es decir, las homotecias distintas a la identidad conmutan si y sólo si tienen
el mismo centro)
Nota: Con estos hechos podemos concluir que las homotecias con el mismo centro y radio distinto
de cero forman un grupo abeliano (conmutativo).

7. Sea K un campo, HC,r una homotecia distinta a la identidad y Tφ una traslación. Prueba que Tφ ◦ HC,r
es una homotecia. (Para probar que es homotecia debes dar su centro y su razón).

8. Elige un campo K, da una homotecia y una traslación que no conmuten (Tφ ◦ HC,r 6= HC,r ◦ Tφ ).
Opcional: La identidad sı́ conmuta, ¿hay otras?.

9. Haz un dibujo que represente el teorema de Pappus (el de las paralelas) en Z5 × Z5 y escribe cómo
queda el enunciado aplicado a tu dibujo.

10. Encuentra una geometrı́a que no satisfaga el axioma de Pappus euclidiano (El de las paralelas).
También lee el capı́tulo uno del libro Perspectives on Projective Geometry de Jürgen Richter-Gebert,
que puedes descargar de la biblioteca digital de la UNAM, en él se enseñan varias pruebas del teorema
de Pappus.