Geometría III - 3o año Prof en Matemática –IES No 28 “Olga Cossettini”–Año 2019

Docente a cargo: Mg. Daniela Emmanuele

PRÁCTICA No 1: Acción de un grupo sobre un conjunto

x 1 3 x
1. Demuestre que = 2 GL(2; R) y halle (ABCD) siendo A(0; 0); B(3; 0); C(0; 4); D(3; 4).
y 1 2 y
¿Qué puede decir respecto de ambos cuadriláteros?
p !
1 3 4
x 2 2 x
2. Demuestre que la siguiente transformación 2 O(2; R), donde = p y encuentre (ABC)
y 3 1 y
2 2
siendo A(0; 0); B(1; 1); C(0; 2). ¿Qué puede decir de ambos triángulos?
3. Sea X el conjunto de rectas del plano.

a) Mostrar que GL(2; R) actúa sobre X, de la forma usual.

b) Indicar las propiedades de esta acción.
c) Mostrar que O(2; R) actúa sobre X, de la forma usual.
d ) Indicar las propiedades de esta acción.

4. Sean G = GL(2; R) y X el conjunto de bases ordenadas de R2 , es decir, de pares ordenados de vectores fv1 ; v2 g
linealmente independientes. Mostrar que la aplicación

: G X ! X
(T; fv1 ; v2 g) ! T fv1 ; v2 g = fT v1 ; T v2 g

está bien de…nida y es una acción de G sobre X. Indicar sus propiedades.

5. Sean G = SO(2; R) = fA 2 O(2; R) : det(A) = 1g y X el conjunto de las circunferencias del plano con centro en el
origen. Mostrar que la aplicación
: G X ! X
(T; C) ! T C = T (C)
está bien de…nida y es una acción de G sobre X. Indicar sus propiedades.
6. Sea X el conjunto de rectas del plano.

a) Mostrar que AGL(R2 ) = GL(2; R)nT (R2 ) actúa sobre X, de la forma usual e indicar sus propiedades. Compararlas
con las de la acción usual de AGL(2; R).
b) Demostrar que la relación sobre X dada por r; s 2 X, r s sii r==s es una relación invariante bajo esta acción.
c)
d ) Dar un ejemplo de conjunto, relación y función invariante para la acción de AGL(R2 ) sobre R2 .
e) Dar un ejemplo de conjunto, relación y función que no sea invariante para la acción de AGL(R2 ) sobre R2 .
f ) Dar un ejemplo de conjunto, relación y función que sea invariante bajo la acción de I(R2 ) = O(2; R) n T (R2 ) pero
no bajo la acción de AGL(R2 ).

7. Sea una acción de un grupo (G; ) sobre un conjunto no vacío X. Se dice que es una acción simplemente transitiva
si se veri…ca
8 x; x0 2 X; 9! g 2 G = g x = x0 :

Mostrar que una acción es simplemente transitiva si y sólo si es libre y transitiva.

8. Dada una acción :G X ! X y un elemento x 2 X se de…nen:

la órbita de x como el conjunto

G x = fy 2 X : 9 g 2 G = g x = yg
la isotropía de x como el conjunto
Gx = fg 2 G : g x = xg:

a) Probar que la relación

x y si y sólo si y 2 G x
es una relación de equivalencia. (Por lo tanto, induce una partición en X cuyas clases son las órbitas de la
acción).

1
 b) Probar que para cada x 2 X, Gx es un subgrupo de G.
c) Si X es el espacio euclídeo R2 , G es el grupo de las rotaciones con centro en un punto …jo O del plano y es la
acción usual de G sobre X, hallar las órbitas de la acción y la isotropía de cada x 2 R2

9. Sea G el grupo de las rotaciones y simetrías que dejan invariante un triángulo equilátero …jo T del plano. Mostrar que
G = fe; r1 ; r2 ; s1 ; s2 ; s3 g donde e; r1 y r2 son rotaciones alrededor del baricentro en 360o , 120o y 240o respectivamente
y s1 ; s2 y s3 son las simetrías respecto de las tres alturas del triángulo.

a) Probar que (G; ), donde es la composición habitual de funciones, es un grupo. ¿Es abeliano?
b) Probar que G actúa sobre T .
c) Mostrar que la órbita de cualquier vértice de T consta exactamente de tres puntos y que la órbita de cualquier
otro punto de T consta de seis puntos.