Álgebra Abstracta/Grupos Geométricos

De Wikilibros, la colección de libros de texto de contenido libre.

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 .


Notas[editar]

  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".