Una relaci on entre la Geometra y el Algebra

Jose Ricardo Arteaga B.

Universidad de Los Andes
Bogota D.C.
20

Encuentro de Geometra y sus Aplicaciones; Junio, 2326, 2011

Universidad Pedag ogica Nacional
Contenido
1
Introducci on
2
Geometra y Grupos
3
Ejemplos
4
Geometra proyectiva
5
Literatura
Euclides
Siglo III AC
Los Elementos
Bernhard Riemann
Alemania (1826 1866)
Sobre las hip otesis que se encuentran en
los fundamentos de la geometra (1854)
Klein
Alemania (1849 1925)
El programa de Erlangen (1872)
El programa de Erlangen
Como clasicar y caracterizar las
geometras existentes sobre la base de la
geometra proyectiva y la teora de grupos.
La perspectiva
Problema:
C omo dibujar en el papel algo que ven mis ojos?.
La perspectiva
Problema:
C omo dibujar en el papel algo que ven mis ojos?.
El primer paso en tratar de encontrar leyes que resolvieran este problema
lo dieron los pintores. Por ejemplo el artista Leon Battista Alberti
(1404-1472) y el ingeniero y arquitecto Florentino Fillipo Brunelleschi
(1377-1446) desarrollaron metodos y una teora matematica de la
perspectiva la cual fue seguida por muchos pintores de renacimiento.
Dibujo sin prespectiva
Figura: Pintura sin perspectiva.
Panel inicial del Salmo de la
Hagada de Kaufmann. Espa na
nales del siglo XIV. Observe
que las lineas del balcon pare-
cen no converger.
Dibujo con prespectiva (Rafael, siglo XVI)
Que es Geometra?
Es el estudio de objetos dentro de un ambiente (espacio).
Que es Geometra?
Es el estudio de objetos dentro de un ambiente (espacio).
El estudio lo precisamos mediante la b usqueda de invariantes .
Que es Geometra?
Es el estudio de objetos dentro de un ambiente (espacio).
El estudio lo precisamos mediante la b usqueda de invariantes .
Los invariantes son relaciones o propiedades caractersticas de los
objetos, independientes del sistema de referencia, es decir
independientes del observador.
Que es Geometra?
Es el estudio de objetos dentro de un ambiente (espacio).
El estudio lo precisamos mediante la b usqueda de invariantes .
Los invariantes son relaciones o propiedades caractersticas de los
objetos, independientes del sistema de referencia, es decir
independientes del observador.
Klein
Introduce una herramienta nueva de caracter algebraico: Grupos.
Que es un grupo?
Un grupo G es un conjunto en el cual hay denida una aplicaci on
G G G que a cada pareja de elementos de G, (a, b) le asigna otro
elemento c = a b de G. La aplicaci on le llamaremos operaci on. Se
satisface:
1
La aplicaci on es asociativa: (a b) c = a (b c).
2
Existe un elemento neutro e G, tal que a e = e a = a.
3
Todo elemento a del conjunto G posee un inverso a tal que
a a = a a = e.
Ejemplo 1: GL(3)
El grupo general lineal tridimensional GL(3), es el conjunto de matrices
3 3 invertibles. La operaci on es el producto de matrices.
1
Es asociativa.
Ejemplo 1: GL(3)
El grupo general lineal tridimensional GL(3), es el conjunto de matrices
3 3 invertibles. La operaci on es el producto de matrices.
1
Es asociativa.
2
El neutro es la matriz identidad I .
3
Toda matriz posee inversa por denici on.
Ejemplo 2: E

(3)
El conjunto de matrices escalares E(3), matrices 3 3 de la forma,
E

(3) =
_
_
_
a

= I =
_
_
0 0
0 0
0 0
_
_
| = 0
_
_
_
(1)
E

(3) es un subgrupo de GL(3).

El elemento neutro para = 1
El inverso de a

es a
1/
.
Grupo Normal
Subgrupo normal N G
Un grupo normal N de un grupo G es un subgrupo invariante por
conjugacion, es decir g
1
ng N, g G, n N.
Grupo Normal
Subgrupo normal N G
Un grupo normal N de un grupo G es un subgrupo invariante por
conjugacion, es decir g
1
ng N, g G, n N.
Ejemplo
El grupo de matrices escalares E

(3) es un subgrupo normal del grupo

general lineal GL(3).
Grupo Proyectivo G
p
El grupo proyectivo G
p
G
p
es el grupo cociente GL(3)/E

(3). Sus elementos son clases de

equivalencia seg un la siguiente relacion de equivalencia: Dos matrices
a, b GL(3) son equivalentes si existe una matriz escalar e

tal que
a = b e

.
El plano proyectivo P
2
Consideremos el conjunto de todas las rectas en R
3
que pasan por el
origen (0, 0, 0). Un punto del plano proyectivo esta representado por un
elemento de este conjunto. Al conjunto de puntos del plano proyectivo lo
denotamos por P
2
. Este es un modelo del plano proyectivo.
El plano proyectivo P
2
Consideremos el conjunto de todas las rectas en R
3
que pasan por el
origen (0, 0, 0). Un punto del plano proyectivo esta representado por un
elemento de este conjunto. Al conjunto de puntos del plano proyectivo lo
denotamos por P
2
. Este es un modelo del plano proyectivo. Sus objetos
fundamentales son:
1
Puntos. Un punto proyectivo se representa por una recta en R
3
que
pasa por el origen. Las coordenadas de un punto proyectivo A son
[a
1
; a
2
; a
3
], donde a = (a
1
, a
2
, a
3
) es un vector director de la recta en
R
3
que lo representa.
El plano proyectivo P
2
Consideremos el conjunto de todas las rectas en R
3
que pasan por el
origen (0, 0, 0). Un punto del plano proyectivo esta representado por un
elemento de este conjunto. Al conjunto de puntos del plano proyectivo lo
denotamos por P
2
. Este es un modelo del plano proyectivo. Sus objetos
fundamentales son:
1
Puntos. Un punto proyectivo se representa por una recta en R
3
que
pasa por el origen. Las coordenadas de un punto proyectivo A son
[a
1
; a
2
; a
3
], donde a = (a
1
, a
2
, a
3
) es un vector director de la recta en
R
3
que lo representa.
2
Rectas. Una recta proyectiva es el conjunto de puntos proyectivos
tales que las rectas que los representan estan en un plano de R
3
que
pasa por el origen.
Geometra proyectiva plana
El grupo que act ua sobre P
2
es el grupo proyectivo G
p
, es decir los
movimientos (transformaciones) en P
2
estan denidos mediante la acci on
de G
p
sobre P
2
. Si A = [a
1
; a
2
; a
3
] es un punto de P
2
y g G
p
un
movimiento o transformacion proyectiva (homografa) que lleva el punto
A = [a
1
; a
2
; a
3
] al punto

A = [ a
1
; a
2
; a
3
] es:
A

A = g A
_
_
a
1
a
2
a
3
_
_
=
_
_
g
11
g
12
g
13
g
21
g
22
g
23
g
31
g
32
g
33
_
_
_
_
a
1
a
2
a
3
_
_
(2)
Modelo de P
2
con puntos al innito
En R
3
tomemos un sistema coordenado cartesiano (x, y, z). Denotemos
por
0
al plano z = 0 y por
1
al plano z = 1.
Podemos tomar como representante de un punto proyectivo,
A = [a
1
; a
2
; a
3
] P
2

_
_
_
[a
1
; a
2
; 0]
0
si a
3
= 0
(x, y, 1)
1
si a
3
= 0 donde x =
a
1
a
3
, y =
a
2
a
3
(3)
Los puntos en el plano
0
les llamamos puntos al innito. El plano
0
es
la recta proyectiva al innito.
Razones simples y razones dobles
En una recta proyectiva podemos tomar un punto cualquiera como el
origen de un sistema coordenado sobre ella. Respecto a este sistema
denido sobre esta recta todo punto X tiene una coordenada x. Lo
denotamos por X(x).
Razones simples y razones dobles
En una recta proyectiva podemos tomar un punto cualquiera como el
origen de un sistema coordenado sobre ella. Respecto a este sistema
denido sobre esta recta todo punto X tiene una coordenada x. Lo
denotamos por X(x).
Razon simple
Dados tres puntos A(a), B(b) y C(c) sobre una recta la razon simple
(ABC) se dene como,
(ABC) =
c a
c b
(4)
Razones simples y razones dobles
En una recta proyectiva podemos tomar un punto cualquiera como el
origen de un sistema coordenado sobre ella. Respecto a este sistema
denido sobre esta recta todo punto X tiene una coordenada x. Lo
denotamos por X(x).
Razon simple
Dados tres puntos A(a), B(b) y C(c) sobre una recta la razon simple
(ABC) se dene como,
(ABC) =
c a
c b
(4)
Razon doble
Dados cuatro puntos A(a), B(b), C(c) y D(d) sobre una recta la razon
doble (ABCD) se dene como,
(ABCD) =
(ABC)
(ABD)
(5)
Transformaciones proyectivas
Homografas
Las transformaciones proyectivas (homografas) son transformaciones
lineales en R
3
cuya matriz de transformacion es una matriz del grupo
proyectivo, g G
p
.
Transformaciones proyectivas
Homografas
Las transformaciones proyectivas (homografas) son transformaciones
lineales en R
3
cuya matriz de transformacion es una matriz del grupo
proyectivo, g G
p
.
Invariantes
El unico invariante de las transformaciones proyectivas es la razon doble
entre cuatro puntos de una recta proyectiva. Es decir, si hay cuatro puntos
A, B, C, y D sobre una recta proyectiva con razon doble igual a y
aplicamos una transformacion proyectiva g, entonces los puntos

A,

B,

C,
y

D que estaran sobre otra recta proyectiva

tendran la misma razon
doble .
Geometra Afn plana
El plano Afn A
2
El plano afn es el plano cartesiano R
2
isomorfo a
1
(z = 1 en el modelo
del plano proyectivo P
2
)
Geometra Afn plana
El plano Afn A
2
El plano afn es el plano cartesiano R
2
isomorfo a
1
(z = 1 en el modelo
del plano proyectivo P
2
)
Geometra afn
El subconjunto de matrices de GL(3) de la forma
G
A
=
_
_
_
_
_
g
11
g
12
a
g
21
g
22
b
0 0 1
_
_
_
_
_
(6)
forman un grupo llamado el grupo Afn.
La geometra afn es el estudio de los elementos del plano afn y sus
invariantes son aquellas propiedades que no cambian cuando el grupo G
A
act ua sobre A
2
.
Transformaciones anes
Transformaciones anes
Los transformaciones anes (movimientos) o anidades del plano afn son
el resultado de la acci on del grupo afn G
A
sobre el plano A
2
.
P(x, y) (x, y, 1)

P = g P = ( x. y) ( x, y, 1)

_
_
x
y
1
_
_
=
_
_
g
11
g
12
a
g
21
g
22
b
0 0 1
_
_
_
_
x
y
1
_
_
(7)
Transformaciones anes
Transformaciones anes
Los transformaciones anes (movimientos) o anidades del plano afn son
el resultado de la acci on del grupo afn G
A
sobre el plano A
2
.
P(x, y) (x, y, 1)

P = g P = ( x. y) ( x, y, 1)

_
_
x
y
1
_
_
=
_
_
g
11
g
12
a
g
21
g
22
b
0 0 1
_
_
_
_
x
y
1
_
_
(7)
Invariantes
Un invariante de las transformaciones anes (anidades) es la razon simple
entre tres puntos de una recta. Es decir, si hay tres puntos A, B, y C,
sobre una recta con razon simple igual a y aplicamos una
transformacion afn g, entonces los puntos

A,

B,

C, y

D que estaran sobre
otra recta

tendran la misma razon simple .
Geometra Euclidiana
El plano Euclidiano E
2
El plano Euclidiano es el plano cartesiano R
2
isomorfo a
1
(z = 1 en el
modelo del plano proyectivo P
2
) dotado de una metrica la cual mide
distancias.
Geometra Euclidiana
El plano Euclidiano E
2
El plano Euclidiano es el plano cartesiano R
2
isomorfo a
1
(z = 1 en el
modelo del plano proyectivo P
2
) dotado de una metrica la cual mide
distancias.
Geometra Euclidiana
El grupo Euclidiano G
E
es el subgrupo del grupo afn G
A
denido por,
G
E
=
_
_
_
_
_
g
11
g
12
a
g
21
g
22
b
0 0 1
_
_
|
_
g
11
g
12
g
21
g
22
_
O(2)
_
_
_
(8)
La geometra Euclidiana es el estudio de los elementos del plano E
2
y el
estudio de sus invariantes es el estudio de aquellas propiedades que no
cambian bajo la acci on de G
E
.
Transformaciones Euclidianas
Transformaciones Euclidianas
Los transformaciones Euclidianas (movimientos) del plano Euclidiano son
el resultado de la acci on del grupo Euclidiano G
E
sobre el plano E
2
.
P(x, y) (x, y, 1)

P = g P = ( x. y) ( x, y, 1)

_
_
x
y
1
_
_
=
_
_
g
11
g
12
a
g
21
g
22
b
0 0 1
_
_
_
_
x
y
1
_
_
(9)
Transformaciones Euclidianas
Transformaciones Euclidianas
Los transformaciones Euclidianas (movimientos) del plano Euclidiano son
el resultado de la acci on del grupo Euclidiano G
E
sobre el plano E
2
.
P(x, y) (x, y, 1)

P = g P = ( x. y) ( x, y, 1)

_
_
x
y
1
_
_
=
_
_
g
11
g
12
a
g
21
g
22
b
0 0 1
_
_
_
_
x
y
1
_
_
(9)
Invariantes
Entre otros invariantes de las transformaciones Euclidianas estan el angulo
entre dos rectas que se cruzan, la distancia entre dos puntos.
Ejemplo
Consideremos la transformacion lineal de R
3
x = 2x
y = y
z = z
a =
_
_
2 0 0
0 1 0
0 0 1
_
_
, a G
A
(10)
a lleva el cono x
2
+ y
2
= z
2
en el cono
_
x
2
_
2
+ y
2
= z
2
, la circunferencia
x
2
+ y
2
= 1 en la elipse
_
x
2
_
2
+ y
2
= 1, y en general un punto del plano
afn en otro punto del plano afn.
Referencias
Alexandrov A.D., Kolmogorov M.A., Laurentiev y otros., La
matematica: su contenido, metodos y signicado, Alianza
Universidad, Editorial Alianza, 1981. Vol 1, Vol 2 y Vol 3.
Bourbaki N., Elementos de historia de las matematicas, Alianza
Universidad, Editorial Alianza, 1972.
Encyclopedia Britannica (www.britannica.com)
H.S.M. Coxeter, Projective Geometry, second edition, Springer-Verlag,
New York, 1987.
W. H. Freeman, Mathematics in the modern world. Readings from
Scientic American. With introductions by Morris Kline, San
Francisco, 1968.