Álgebra Abstracta/Grupos Geométricos

Introducción

editar

En este apéndice, veremos algunos grupos que tienen su origen en la geometría plana (usando vectores). Nuestro interés primordial será en los aspectos algebraicos por lo que referiremos los aspectos geométricos a textos de Geometría.

Queremos describir algebraicamente las congruencias del plano. Congruencias son transformaciones del plano que preservan la distancia entre puntos (la distancia entre las imágenes de dos puntos es igual a la distancia entre los puntos originales.)

Hay dos tipos importantes de congruencias:

  • las rotaciones, que se caracterizan por dejar exactamente un punto fijo (el centro de la rotación) y
  • las reflexiones que se caracterizan por dejar todos los puntos de una línea fijos y mover los puntos fuera de la línea a una imagen especular de los mismos, usando como espejo a la línea.

Sigue del teorema de Cartan--Dieudonné (ver capítulo Acción de Grupos ) que todas las congruencias (en particular, las rotaciones) son producto de a lo más tres reflexiones. En la terminología de grupos, las reflexiones generan al grupo de las congruencias.

Necesitaremos para nuestra exposición una breve introducción al Álgebra Lineal del plano y a su geometría basada en vectores.

El Plano Vectorial

editar

El plano cartesiano   consiste de los pares ordenados de números reales a los que llamaremos puntos. Cuando   sea un punto, supondremos que sus componentes son  , a menos que diga algo distinto. Consideraremos, además, a   como un plano vectorial, lo que quiere decir que consideremos a sus elementos como vectores. Intuitivamente, pesaremos a   como una flecha que empieza en el origen y acaba en el punto  . La punta de la flecha, que identificamos con  , nos da tanto una posición---el punto   como un "largo" y una "dirección".

Algebraicamente, consideraremos all plano vectorial   provisto de una suma por componentes:.

 

Además, consideraremos una multiplicación por escalares (en el contexto vectorial, llamamos escalares a los números reales y los simbolizamos por letras griegas.).

 

Se verifica que esta multiplicación es compatible con la suma.

Proposición 1. (Propiedades de la Multiplicación por Escalares) Sean   y   escalares,   y   vectores (puntos del plano).

  1.  .
  2.  .
  3.  .
  4.  .

    Demostración: Ejercicio.


Subgrupos de R2

editar

Notemos que la suma por componentes define una estructura de grupo en  . Cuando   sea un vector no nulo, denotaremos por   al conjunto formado por todos los múltiplos escalares de  , es decir,  . Supongamos que   y   son elementos de  , entonces

 

Lo que prueba que   es cerrado respecto a la suma y a tomar opuestos aditivos. Como el vector nulo es también un múltiplo escalar de  , tenemos, en la terminología de grupos, que   un subgrupo del grupo  . (Además, como  ,   es cerrado respecto a la multiplicación por escalar, lo que en la terminología del Álgebra Lineal dice que es un subespacio vectorial de  ).

Sean   y   vectores no nulos, entonces cuando  , se cumple que  . Lo que implica que los múltiplos escalares de   coinciden con los múltiplos escalares de  , o sea que

    Cuando   y   son vectores no nulos, se cumple que  , ssi, uno de ellos es múltiplo escalar del otro.

Proposición 2.Sean   y   vectores no nulos. Entonces,  , ssi,  .

    Demostración: ( ) Supongamos que  , entonces   y  , por lo que
     

    ( ) Suponer que  . Entonces,   (*). Si  , entonces   implica que   ya que  . Luego,

     

    Por un argumento similar, si  , obtenemos que   es un múltiplo escalar de  . Supongamos ahora que   y   no son nulos. Dividiendo por   en ambos lados de la ecuación (*) obtenernos

      (**


    Llamando   al valor común de las fracciones en (**), se tiene que
     .


Si denotamos por   la matriz cuyas columnas son los componentes de los vectores   y  , la condición de la proposición anterior es equivalente a afirmar que el determinante de dicha matriz es nulo.

Notemos que si   y   son vectores no nulos tales que   entonces se tiene que

 

En efecto, si hubiera   y   no nulos, se tendría que   es un múltiplo escalar de  .

Definición. (Vectores Paralelos) Decimos que dos vectores no nulos   y   son paralelos o linealmente dependientes, cuando uno de ellos sea múltiplo escalar del otro. En caso contrario, decimos que los vectores son linealmente independientes.


Ejemplo.

Los vectores   y   son linealmente independientes.


Proposición 3. Sean  ,   vectores linealmente independientes del plano. Entonces, para todo   podemos hallar escalares únicos  ,   tales que

  (*


    Demostración: Escribiendo la ecuación (*) en términos de componentes, tenemos que
     

    Se sabe (del álgebra elemental) que tal sistema de ecuaciones tiene soluciones únicas, ssi, el determinante del sistema   no es nulo, pero esta es precisamente equivalente a la condición de que   y   sean linealmente independientes.


Definición. (Base y Coordenadas) Sean   un conjunto formado por dos vectores. Decimos que   es una base del plano, ssi, podemos expresar cada   como una combinación lineal de   y  , es decir que hay escalares   y   tales que

 

Además, los escalares   y   son únicos, y se llaman las coordenadas de   respecto la base  .


Las coordenadas de   se presentarán usualmente como una matriz columna. En la notación de la definición, se pone

 

El par  ,   determina una base llamada base canónica del plano. Las coordenadas de   son precisamente   y  .

Revisión de la Geometría Plana

editar

Llamamos figura a cualquier subconjunto del plano.

Líneas. Llamamos línea a una figura   tal que sus puntos son todos de la forma

 


donde   y   son vectores. Es decir que

 

Sea  ,   un vector no nulo [1]. Cuando   es un punto de una línea decimos que la línea pasa por el punto. Como  , tenemos que la línea pasa por  . Llamaremos a   un vector director de la línea y a   la dirección de la línea.

Observaciones Sea  .

  • Por los trabajos de la sección anterior cuando   sea cualquier múltiplo escalar no nulo de  , tendremos que  . Por razonamientos anteriores, vemos que cualquier vector no nulo de   sirve como vector director de la línea  .
  • Sean   y   dos puntos diferentes de la línea  . Entonces,  . Esto es, dos puntos diferentes de la línea determinan un vector director y, por lo tanto, a la dirección.
  • Sea   un punto de   tal que  . Entonces,
     

    Es decir que  . Es decir que la línea puede ser descrita por cualesquiera de sus puntos y la dirección de la misma.

  • Sigue de lo anterior que dado dos puntos   y  , hay una única línea que pasa por esos dos puntos:
     
  • Notemos que   es una línea que pasa por el origen y el punto  .
  • En el lenguaje de la teoría de grupos, las líneas son las clases laterales de los subgrupos de la forma  .

Decimos que dos líneas son paralelas cuando tienen igual dirección. Luego, dos líneas son paralelas cuando tienen vectores directores que son paralelos.

Sigue de lo anterior, que dada línea   y un punto  , hay una única línea   que pasa por   y es paralela a  ,

 

Se prueba que cuando dos líneas no son paralelas entonces tienen un único punto en común. Por su parte dos líneas paralelas, o son iguales o son disjuntas.

Ecuación Cartesiana de una Línea Sea  . Entonces, cuando  , tenemos, poniendo  , que

 

Escribiendo las coordenadas aparte, tenemos que

 

Eliminamos (el parámetro)   multiplicando (i) por   y (ii) por  , y restando posteriormente,para obtener

 


La última ecuación se dice que es una ecuación cartesiana de la línea. Esta ecuación aparece en los tratamientos elementales de la geometría (algebraica) del plano

Supongamos que tenemos la ecuación   (*) donde  . Mostraremos que dicha ecuación es la ecuación cartesiana de una línea.

(Caso  ) La ecuación (*) es equivalente a

 

Si ponemos  

vemos que   es un punto de la linea  . Además, es fácil ver que la ecuación (*) es una ecuación cartesiana de dicha linea.

(Caso  ) La ecuación (*) se reduce a   que corresponde a la línea  

Proposición 4. Cada línea tiene una ecuación cartesiana de la forma

 

Viceversa, todos los puntos satisfaciendo una ecuación de esa forma, determinan una línea.

Corolario 4.1. La línea con ecuación cartesiana   tiene como dirección a la línea con ecuación cartesiana  .


Las Transformaciones del Plano

editar

 

Una transformación del plano es una función del plano en si mismo. En contexto geométrico, no necesariamente las transformaciones son biyectivas, por ejemplo la proyección del plano en el eje  ,  . Sin embargo, para nuestros propósitos, las transformaciones interesantes serán biyectivas. Las transformaciones biyectivas determinan un grupo, el grupo simétrico del plano que denotaremos por  . Llamamos grupo de transformaciones a cualquier subgrupo de  . Notemos que un conjunto no vacío   de transformaciones biyectivas determina un grupo de transformaciones cuando es cerrado respecto a la composición de funciones y a tomar inversos.

Las Traslaciones

editar

Definición. (Traslación) Dado un vector  , llamamos traslación por   y denotamos por   a la transformación tal que

 


Observaciones (Propiedades de las Traslaciones)

  • La composición de dos traslaciones es una traslación. En efecto,  .
  • La traslación por el vector nulo,   es la identidad.
  • Las traslaciones son invertibles,  .

Sigue de lo anterior que el conjunto de las traslaciones determina un grupo de traslaciones denotado por  . Notemos que la primera de las relaciones anteriores implica que la función   de   en   es un homomorfismo de grupos que es claramente suprayectivo. Como   implica que  , la función anterior es un isomorfismo de grupos. Es decir, que como grupos, el grupo de las traslaciones y el grupo   son isomorfos.

Proposición 5.Las traslaciones envían líneas sobre líneas paralelas a la original.

    Demostración: Sea   la traslación por   y sea  . Entonces, para todo   en  , tenemos que
     

    Lo que prueba que   es un punto de la linea   Sea  , entonces

     

    lo que implica que  . Las líneas   y   son paralelas porque tienen la misma dirección.


Corolario 5.1. Traslaciones preservan paralelismos entre líneas.

Las Transformaciones Lineales

editar

Las transformaciones lineales provienen de la estructura de espacio vectorial del plano, es decir son transformaciones compatibles con la suma de vectores y con la multiplicación por escalar.

Definición. (Transformación Lineal) Llamamos transformación lineal del plano a una función   tal que

 


Ejemplo.

Sea  . Definimos una transformación   de   en si mismo por

 

(Observemos que escribimos el punto   como una matriz columna, o sea como sus coordenadas respecto a la base canónica)

Se verifica por computación directa o aplicando propiedades de la multiplicación de matrices que

 

o sea que   es lineal.

Decimos que   es la transformación lineal definida por la matriz   y la denotaremos simplemente por  .


Veremos a continuación, que una vez seleccionada una base del plano, cada transformación lineal es equivalente a la transformación lineal definida por una matriz (usando las coordenadas respecto a la base seleccionada).

Sea   una base del plano y sea   una transformación lineal. Supongamos que las coordenadas de   y   son respectivamente   y  . Sea   las coordenadas de   respecto a la base  . Es decir que

 

Luego,

 

Es decir, que en término de coordenadas.

 

Por lo que el efecto de   es equivalente a multiplicar por una matriz que tiene en la primera (resp. segunda) columna las coordenadas de   (resp. de  ).

Las transformaciones lineales biyectivas corresponden a las matrices invertibles o sea aquellas que tienen determinante no nulo.

Grupo Lineal. Llamamos grupo lineal de dimensión 2 al grupo que denotamos por   y que está formado por todas las matrices   invertibles (con entradas reales).

Interpretaremos cada matriz   como una transformación lineal biyectiva respecto a la base canónica.

Observación. Se puede definir un grupo lineal   interpretando las matrices con respecto a una base diferentes de la canónica. Un resultado de Álgebra Lineal, establece que   es conjugado con   en el grupo  , y que, por lo tanto, se trata de grupos isomorfos.


Acción de las transformaciones lineales biyectivas

editar

Sea   en   y sea  . Entonces, si   es un punto de   se tiene que

  (*


Como   es biyectiva,  , luego   es un punto de la línea  . Sea   un punto de la línea  , entonces  , lo que prueba que  .

Proposición 6. Las transformaciones lineales biyectivas envían líneas sobre líneas. Además, preservan el paralelismo entre líneas.

Relaciones de las traslaciones con las transformaciones lineales

editar

Lema A. Sea   una transformación lineal (cualquiera) y   la traslación por  , entonces  .

    Demostración:
     
    .


El Grupo Afín

editar

Definición. (Grupo Afín) Llamamos Grupo Afín al grupo de transformaciones generado por el grupo de las traslaciones y el grupo lineal. Simbolizamos dicho grupo por   y decimos que sus elementos son las transformaciones afines del plano.


Sea   una transformación afín. Sigue de la definición que   es un producto de la forma

 

donde los   son traslaciones y los   son transformaciones lineales biyectivas. Sigue del lema A que podemos agrupar primero las traslaciones y luego las transformaciones lineales de modo que  , donde   es una traslación y   es lineal. Tal representación es además única. En efecto si

 

se tiene que

 

En la última igualdad, tenemos en el lado izquierdo a una traslación y una transformación lineal a la derecha. Como transformaciones lineales siempre fijan al vector nulo, la traslación de la izquierda debe fijar al vector nulo. Como la única traslación que fija puntos del plano es la identidad, se tiene que  , de donde  . De ahí, sigue que también se cumple que  .

Decimos cuando  , que   es la traslación de   y   es la parte lineal de  .

Notemos que sigue de nuestro trabajo con traslaciones y transformaciones lineales biyectivas, que las transformaciones afines envían líneas sobre líneas y que preservan el paralelismo entre líneas.

    Se verifica en cursos de Geometría que las transformaciones afines pueden caracterizarse como las transformaciones biyectivas del plano que envían líneas en líneas. Dicho resultado se cita a veces como el "teorema fundamental de la geometría afín".

Proposición 7.El grupo de las traslaciones es un subgrupo normal del grupo afín. El grupo cociente   es isomorfo al grupo lineal  .

    Demostración: Sea   la función que asigna a cada transformación afín su parte lineal  . Veamos que se trata de un homomorfismo de grupos
     

    Como, cada   es iguala  ,  , se trata de un supramorfismo, cuyo núcleo son las traslaciones. Luego,   es normal en  . Por el teorema de Noether (ver capítulo Teoremas de Homomorfismos), se tiene que

     



La Geometría Euclídea

editar

Las congruencias son las transformaciones que preservan la distancia entre puntos del plano. Para definirlas propiamente, necesitamos una noción de distancia. En los curso básicos, usando el teorema de Pitágoras, se define la distancia entre los puntos   y   como

 

Podríamos usar esa definición como definición de distancia, pero usaremos un camino distinto, más propio de la geometría vectorial. Definiremos algo llamado producto interior de vectores, que nos servirá para definir las nociones de largo y distancia.

El Producto Interior

editar

Definición. (Producto Interior) Llamamos producto interior [2] a la función que asigna a cada par de vectores de   el número real denotado por   y definido como

 


Proposición 8. (Propiedades del Producto Interior)

  • (PI-1)  .
  • (PI-2)  .
  • (PI-3)Si  ,  .
    Demostración: Computaciones directas.


La primera propiedad dice que el producto interior es lineal en su primer argumento, por la simetría de la segunda propiedad, tenemos que también es lineal en el segundo argumento. Por lo que se recuerda las propiedades anteriores, diciendo que el producto interior es bilineal (lineal en cada argumento), simétrico (PI-2) y positivamente definido (PI-3).

Ortogonalidad y Perpendicularidad. Decimos que dos vectores son ortogonales cuando su producto interior es nulo. Notación  .

Sigue de las propiedades del producto interior que si  , cualquier múltiplo de   es perpendicular a  .

Decimos que dos líneas son perpendiculares u ortogonales cuando tienen vectores directores ortogonales. Sigue de la observación anterior que cualquier par de vectores directores sirve para establecer la perpendicularidad de dos líneas.

Proposición 9. Sea   un vector no nulo. Los vectores perpendiculares a   determinan una línea que pasa por el origen, que denotaremos por   y que tiene como un vector director a  .

    Demostración: Sea   perpendicular a  . Entonces,  , ssi,
      (*


    que es la ecuación cartesiana de una línea, ver la proposición 4.

    Resolvamos la ecuación (*) para   y  . Es decir hallemos vectores perpendiculares a   . Si  , (*) implica que  , lo que implica que  . Luego,

     

    Lo que prueba que, en este caso   es un vector director de  . Supongamos que  , entonces (*) implica que  ; de donde

     

    Lo que termina la prueba.


Sea   la línea con ecuación cartesiana

  (*


Sea   un punto cualquiera de la línea. Entonces,  . Sustituyendo en la ecuación (*), tenemos que:

 

La siguiente proposición sigue de esos cálculos.

Proposición 10. La ecuación   representa una línea que pasa por un punto   y tal que sus vectores directores son perpendiculares al vector   que se dice que es un vector normal a la línea.

Largos y Distancias

editar

Largo. Llamamos largo del vector   al número real simbolizado por   y definido como

 . (Largo


Distancia. Usando la definición de largo, tenemos que

 

Es decir que podemos definir la distancia entre   y   como

  (Distancia


Ejemplo.

Sea   y   la base canónica del plano. Dichos vectores tienen largo 1 y son ortogonales entre si. Por lo que la base se llama ortonormal. Notemos, además  .


Propiedades

editar

Proposición 11. (Cuadrado del Binomio para PI) Sean  ,   dos vectores.

  (Ec-Bin


donde  .

    Demostración:
     


Corolario 11.1. (Teorema de Pitágoras) Si   y   son ortogonales.

 

Despejando el producto interior en la fórmula (Ec-Bin), obtenemos

  (PI-Form


Sea   donde   y   es la base canónica del plano. Entonces,

 

Análogamente, obtenemos que  .

Transformaciones Ortogonales

editar

Definición. (Transformaciones Ortogonales) Una transformación lineal   es ortogonal, ssi, preserva el producto interior. Es decir, ssi, para todo  ,   se cumple que

 

Proposición 12. Las transformaciones ortogonales preservan largos y distancias entre puntos.

    Demostración: Sean  ,   puntos y sea   ortogonal.
     


Sea   una transformación lineal que es una congruencia. Entonces, para todo   se tiene que

 

Es decir que las congruencias lineales preservan largo de vectores. Proposición 13. Las congruencias lineales son transformaciones ortogonales.

    Demostración: Sea   una congruencia lineal. Aplicando la fórmula (PI-Form) tenemos que
     


Simetral Ortogonal

editar

Sean   y   dos puntos del plano. Buscaremos una ecuación para la figura determinada por todos los puntos que equidistan de   y  .

Punto Medio. Sea   se tiene que

 

Lo que dice que  . Además,  ; lo que prueba que   está en la línea que pasa por   y  .   es el punto medio entre   y  .

Sea   un punto cualquiera que equidista de   y  . Se tiene que

 

Sigue de la proposición 9, la siguiente proposición.

Proposición 14. Los puntos que equidistan de dos puntos es una línea que pasa por el punto medio de los dos puntos y es perpendicular a la línea que pasa por los puntos. Llamamos simetral ortogonal de los puntos   y   a la línea de la proposición.

El Grupo Euclídeo

editar

Definición. (Congruencias) Llamamos congruencia a una transformación afín que preserva la distancia entre puntos.

 

Denotamos por   al conjunto de todas las congruencias.


Ejemplo.

Las traslaciones son congruencias.

Sea  , entonces,

 

Proposición 15.   es un subgrupo del grupo afín del plano llamado el grupo Euclídeo del plano. La parte lineal de una congruencia es una transformación ortogonal. Las transformaciones ortogonales determinan un subgrupo,  , llamado el grupo ortogonal. El grupo de las traslaciones es también un subgrupo del grupo euclídeo.

    Demostración: La identidad es una congruencia. Sean   y   congruencias.
     

    Lo que muestra que las congruencias determinan un subgrupo del grupo afín.

    Sea   una congruencia afín. Entonces,   es una congruencia, por ser composición de congruencias, y es lineal, por lo tanto, es una transformación ortogonal.


El Grupo Ortogonal

editar

¿Cómo son las matrices de una transformación ortogonal? Sea   una transformación ortogonal y consideremos la base ortonormal canónica  . Sean   y  . Como transformaciones ortogonales preservan largos y productos interiores, tenemos que

 
 

(Luego   es otra base ortonormal del plano.) La matriz determinada por   tiene como columnas a las coordenadas de  ,   respecto a la base canónica. Supongamos que  . Como   se debe cumplir que  . Como   es perpendicular a   se tiene (por proposición 9) que  . Como  , tenemos que  . Es decir que tenemos dos posibilidades para  ; por lo que las matrices tienen una de las formas siguientes:

 

donde  . Notemos que en el primer caso el determinante de la matriz es 1, mientras que en el segundo es  .

Es fácil verificar que ambos tipos producen trasformaciones ortogonales.

La función determinante (restringida a  ) tiene imagen   y su núcleo es el subgrupo normal, denotado por  , formado por todas las transformaciones ortogonales con determinante 1.

Buscaremos puntos fijos para ambos tipos de transformaciones ortogonales. Recordemos que las transformaciones lineales fijan el origen.

(Caso I) Sea   con  . Sea  , entonces  , ssi,

 

Escribiendo la ecuación matricial como sistema de ecuaciones, obtenemos que

 

Lo que es equivalente a

 

El último sistema tiene soluciones no triviales (diferentes de  ), ssi, su determinante es cero. El determinante del sistema es

 

Por lo tanto, el determinante es nulo, ssi,  , lo que implica que  ; o sea, cuando   es la identidad.

Por lo que, cuando una matriz tiene la forma (I) y no es la identidad, el único punto fijo será el origen. Por lo que cada punto   se mueve a un punto   que está a igual distancia del origen que la distancia de   al origen. Informalmente podemos decir que   se mueve sobre la circunferencia de centro el origen y radio  . Lo que nos dice que se trata de una rotación alrededor del origen.

Se acostumbra definir el ángulo de la rotación como el ángulo   tal que

 

Llamando   a la rotación por   vemos que

 

Usando las definiciones anteriores de coseno y seno, junto con las propiedades de las transformaciones ortogonales, se pueden deducir las relaciones trigonométricas básicas tales como

  •   (Determinante igual a1.)
  •  .  .
  • Etc.

(Caso II) Sea   con  . Sea  , entonces  , ssi,

 

Escribiendo la ecuación matricial como sistema de ecuaciones, obtenemos que

 

Lo que es equivalente a

 

El último sistema tiene soluciones no triviales (diferentes de  ), ssi, su determinante es cero. El determinante del sistema es

 

Por lo tanto, siempre hay soluciones no triviales del sistema. Un punto   está fijo por  , ssi, {{Eqn |*}}

Si   entonces   que es una transformación que intercambia el eje   con el eje  , dejando la diagonal principal ( ) fija punto a punto.

En forma más general, si   se tiene por la ecuación (*) que   está fijo por  . Si   queda fijo, entonces  , es decir que   deja fijo punto a punto a la línea  .

Por la forma de la matriz,   nunca puede ser la identidad, por lo que hay un punto   tal que  . Como   no queda fijo,   no puede estar en la línea  . Como para todo   en   se cumple que

 

tenemos, por la proposición 14, que   es una línea perpendicular la línea   que pasa por   y  , cortando a dicha línea en el punto medio entre   y  . Es decir que se trata de una reflexión en torno a la línea  .


  1. Se puede cinemáticamente visualizar la línea anterior como la trayectoria de un móvil que pasa al tiempo   por   y tiene velocidad constante dada por  .}
  2. Llamado, a veces, en textos básicos "producto escalar" o "producto punto".