Matemáticas/Álgebra Abstracta/Apéndices/Grupos Geométricos

Introducción

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

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

Algebraicamente, consideraremos all plano vectorial ${ℝ}^2$ provisto de una suma por componentes:.

$P+Q=(p_1+q_1,p_2+q_2)$

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

$\alpha P=(\alpha p_1,\alpha p_2),\alpha \in ℝ.$

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

Proposición 1. (Propiedades de la Multiplicación por Escalares) Sean $\alpha$ y $\beta$ escalares, $P$ y $Q$ vectores (puntos del plano).

1. $(\alpha +\beta )P=\alpha P+\beta P$.
2. $(\alpha \beta )P=\alpha (\beta P)$.
3. $1P=P$.
4. $(\alpha +\beta )P=\alpha P+\beta P$.

Demostración: Ejercicio. Plantilla:QED

---

Subgrupos de R²

Notemos que la suma por componentes define una estructura de grupo en ${ℝ}^2$. Cuando $D$ sea un vector no nulo, denotaremos por $[[D]]$ al conjunto formado por todos los múltiplos escalares de $D$, es decir, $\{\alpha D:\alpha \in ℝ\}$. Supongamos que $P=\alpha D$ y $Q=\beta D$ son elementos de $[[D]]$, entonces

$P-Q=\alpha D-\beta D=(\alpha -\beta )D.$

Lo que prueba que $[[D]]$ es cerrado respecto a la suma y a tomar opuestos aditivos. Como el vector nulo es también un múltiplo escalar de $D$, tenemos, en la terminología de grupos, que $[[D]]$ un subgrupo del grupo ${ℝ}^2$. (Además, como $\gamma P=\gamma (\alpha D)=(\gamma \alpha )D$, $[[D]]$ 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 ${ℝ}^2$).

Sean $B$ y $D$ vectores no nulos, entonces cuando $B=\alpha D$, se cumple que $D=(1/\alpha )B$. Lo que implica que los múltiplos escalares de $B$ coinciden con los múltiplos escalares de $D$, o sea que

Cuando $B$ y $D$ son vectores no nulos, se cumple que $[[B]]=[[D]]$, ssi, uno de ellos es múltiplo escalar del otro.

Proposición 2.Sean $B=(b_1,b_2)$ y $D=(d_1,d_2)$ vectores no nulos. Entonces, $[[B]]=[[D]]$, ssi, $b_1{d}_2-b_2{d}_1=0$.

Demostración: ($\Rightarrow$) Supongamos que $B=\alpha D$, entonces $b_1=\alpha d_1$ y $b_2=\alpha d_2$, por lo que $b_1{d}_2-b_2{d}_1=\alpha d_1{d}_2-\alpha d_2{d}_1=0.$

($\Leftarrow$) Suponer que $b_1{d}_2-b_2{d}_1=0$. Entonces, $b_1{d}_2=b_2{d}_1$ (*). Si $d_1=0$, entonces $b_1{d}_2=0$ implica que $b_1=0$ ya que $(d_1,d_2)\ne (0,0)$. Luego,

$B=(b_1,b_2)=(0,b_2)=(b_2/d_2)(0,d_2)=(b_2/d_2)D.$

Por un argumento similar, si $d_2=0$, obtenemos que $B$ es un múltiplo escalar de $D$. Supongamos ahora que $d_1$ y $d_2$ no son nulos. Dividiendo por $d_1{d}_2$ en ambos lados de la ecuación (*) obtenernos Plantilla:Eqn

Llamando $\alpha$ al valor común de las fracciones en (**), se tiene que
$B=(b_1,b_2)=\alpha (d_1,d_2)=\alpha D$.

Plantilla:QED

---

Si denotamos por $\left[\begin{array}{cc}B& D\end{array}\right]$ la matriz cuyas columnas son los componentes de los vectores $B$ y $D$, la condición de la proposición anterior es equivalente a afirmar que el determinante de dicha matriz es nulo.

Notemos que si $B$ y $D$ son vectores no nulos tales que $[[B]]\ne [[D]]$ entonces se tiene que

$\alpha B=\beta D⟹\alpha =\beta =0.$

En efecto, si hubiera $\alpha$ y $\beta$ no nulos, se tendría que $B$ es un múltiplo escalar de $D$.

Plantilla:Ejmpl Los vectores $E_1=(1,0)$ y $E_2=(0,1)$ son linealmente independientes.

---

Proposición 3. Sean $B$, $D$ vectores linealmente independientes del plano. Entonces, para todo $P$ podemos hallar escalares únicos $\alpha$, $\beta$ tales que Plantilla:Eqn

Demostración: Escribiendo la ecuación (*) en términos de componentes, tenemos que $\begin{array}{ccc}{p}_1& =& \alpha b_1+\beta d_1\\ p_2& =& \alpha b_2+\beta d_2.\end{array}$

Se sabe (del álgebra elemental) que tal sistema de ecuaciones tiene soluciones únicas, ssi, el determinante del sistema $b_1{d}_2-b_2{d}_1$ no es nulo, pero esta es precisamente equivalente a la condición de que $B$ y $D$ sean linealmente independientes.

Plantilla:QED

---

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

$P_{ℬ}=\left[\begin{array}{c}\alpha \\ \beta \end{array}\right].$

El par $E_1=(1,0)$, $E_2=(0,1)$ determina una base llamada base canónica del plano. Las coordenadas de $P=(p_1,p_2)$ son precisamente $p_1$ y $p_2$.

Revisión de la Geometría Plana

Llamamos figura a cualquier subconjunto del plano.

Líneas. Llamamos línea a una figura $\ell$ tal que sus puntos son todos de la forma Plantilla:Eqn donde $A$ y $D$ son vectores. Es decir que

$\ell =A+[[D]].$

Sea $\ell =A+[[D]]$, $D$ un vector no nulo . Cuando $P$ es un punto de una línea decimos que la línea pasa por el punto. Como $A=A+0\cdot D$, tenemos que la línea pasa por $A$. Llamaremos a $D$ un vector director de la línea y a $[[D]]$ la dirección de la línea.

Observaciones Sea $\ell =A+[[D]]$.

• Por los trabajos de la sección anterior cuando $D^{\prime }$ sea cualquier múltiplo escalar no nulo de $D$, tendremos que $[[D^{\prime }]]=[[D]]$. Por razonamientos anteriores, vemos que cualquier vector no nulo de $[[D]]$ sirve como vector director de la línea $\ell$.
• Sean $P=A+\alpha D$ y $Q=A+\beta D$ dos puntos diferentes de la línea $\ell$. Entonces, $Q-P=(\beta -\alpha )D$. Esto es, dos puntos diferentes de la línea determinan un vector director y, por lo tanto, a la dirección.
• Sea $B=A+\beta D$ un punto de $\ell$ tal que $B\ne A$. Entonces, $P=A+\alpha D=B+(A-B)+\alpha D=B+(\alpha -\beta )D+\alpha D=B+\gamma D.$

  Es decir que $B+[[D]]=A+[[D]]$. 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 $A$ y $B$, hay una única línea que pasa por esos dos puntos: ${\ell }_{A,B}=A+[[B-A]].$
• Notemos que $[[D]]$ es una línea que pasa por el origen y el punto $D$.
• En el lenguaje de la teoría de grupos, las líneas son las clases laterales de los subgrupos de la forma $[[D]]$.

---

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 $\ell =A+[[D]]$ y un punto $B$, hay una única línea $m$ que pasa por $B$ y es paralela a $\ell$,

$m=B+[[D]].$

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 $\ell =A+[[D]]$. Entonces, cuando $P=A+\alpha D$, tenemos, poniendo $P=(x,y)$, que

$(x,y)=(a_1,a_2)+\alpha (d_1,d_2).$

Escribiendo las coordenadas aparte, tenemos que

$\begin{array}{ccccc}x& =& a_1+\alpha d_1& & (i)\\ y& =& a_2+\alpha d_2& & (ii)\end{array}$

Eliminamos (el parámetro) $\alpha$ multiplicando (i) por $d_2$ y (ii) por $d_1$, y restando posteriormente,para obtener Plantilla:Eqn 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 $px+qy=r$ (*) donde $(p,q)\ne (0,0)$. Mostraremos que dicha ecuación es la ecuación cartesiana de una línea.

(Caso $q\ne 0$) La ecuación (*) es equivalente a

$y=(-p/q)x+(r/q).$

Si ponemos $\begin{array}{ccc}x& =& 0+\alpha \cdot 1\\ y& =& (r/q)+\alpha (-p/q),\end{array}$

vemos que $(x,y)$ es un punto de la linea $m=(0,r/q)+[[1,(-p/q)]]$. Además, es fácil ver que la ecuación (*) es una ecuación cartesiana de dicha linea.

(Caso $q=0$) La ecuación (*) se reduce a $x=r/p$ que corresponde a la línea $(r/p,0)+[[(0,1)]]$

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

$px+qy=r.$

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 $px+qy=r$ tiene como dirección a la línea con ecuación cartesiana $px+qy=0$.

---

Las Transformaciones del Plano

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 $X$, $(x,y)\mapsto x$. 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 $\mathsf{\text{Biy}}({ℝ}^2)$. Llamamos grupo de transformaciones a cualquier subgrupo de $\mathsf{\text{Biy}}({ℝ}^2)$. Notemos que un conjunto no vacío $G$ de transformaciones biyectivas determina un grupo de transformaciones cuando es cerrado respecto a la composición de funciones y a tomar inversos.

Las Traslaciones

Observaciones (Propiedades de las Traslaciones)

• La composición de dos traslaciones es una traslación. En efecto, $t_A{t}_B=t_{A+B}$.
• La traslación por el vector nulo, $t_0$ es la identidad.
• Las traslaciones son invertibles, $(t_A{)}^{-1}=t_{-A}$.

---

Sigue de lo anterior que el conjunto de las traslaciones determina un grupo de traslaciones denotado por ${\mathsf{\text{T}}}_2(ℝ)$. Notemos que la primera de las relaciones anteriores implica que la función $A\mapsto t_A$ de ${ℝ}^2$ en ${\mathsf{\text{T}}}_2(R)$ es un homomorfismo de grupos que es claramente suprayectivo. Como $t_A=t_B$ implica que $A=t_A(0)=t_B(0)=B$, la función anterior es un isomorfismo de grupos. Es decir, que como grupos, el grupo de las traslaciones y el grupo $<{ℝ}^2,+>$ son isomorfos.

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

Demostración: Sea $t=t_C$ la traslación por $C$ y sea $\ell =A+[[D]]$. Entonces, para todo $P=A+\alpha D$ en $\ell$, tenemos que $t(P)=C+A+\alpha D.$

Lo que prueba que $t(P)$ es un punto de la linea $m=C+A+[[D]].$ Sea $Q\in m$, entonces

$Q=C+A+\beta D=t_C(A+\beta D)$

lo que implica que $t(\ell )=m$. Las líneas $\ell$ y $m$ son paralelas porque tienen la misma dirección.

Plantilla:QED

---

Corolario 5.1. Traslaciones preservan paralelismos entre líneas.

Las Transformaciones Lineales

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.

Plantilla:Ejmpl Sea $A=\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]$. Definimos una transformación $L_A$ de ${ℝ}^2$ en si mismo por

$L_A(P):=A*P=\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]\left[\begin{array}{c}{p}_1\\ p_2\end{array}\right]=\left[\begin{array}{c}a{p}_1+b{p}_2\\ c{p}_1+d{p}_2\end{array}\right].$

(Observemos que escribimos el punto $P$ 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

$L_A(P+Q)=L_A(P)+L_A(Q)\text{ y que }{L}_A(\alpha P)=\alpha L_A(P);$

o sea que $L_A$ es lineal.

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

---

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 $𝒞=\{B,D\}$ una base del plano y sea $u$ una transformación lineal. Supongamos que las coordenadas de $u(B)$ y $u(D)$ son respectivamente $\left[\begin{array}{c}{b}_1\\ b_2\end{array}\right]$ y $\left[\begin{array}{c}{d}_1\\ d_2\end{array}\right]$. Sea $\left[\begin{array}{c}{p}_1\\ p_2\end{array}\right]$ las coordenadas de $P$ respecto a la base $ℬ$. Es decir que

$P=p_{1}B+p_{2}D.$

Luego,

$\begin{array}{ccc}u(P)& =& u(p_{1}B+p_{2}D)=p_{1}u(B)+p_{2}u(D)\\ & =& p_1(b_{1}B+b_{2}D)+p_2(d_{1}B+d_{2}D)\\ & =& (b_1{p}_1+d_1{p}_2)B+(b_2{p}_1+d_2{p}_2)D\end{array}$

Es decir, que en término de coordenadas.

$u(P{)}_{𝒞}=\left[\begin{array}{cc}{b}_1& d_1\\ b_2& p_2\end{array}\right]\left[\begin{array}{c}{p}_1\\ p_2\end{array}\right].$

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

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 ${\mathsf{\text{GL}}}_2(ℝ)$ y que está formado por todas las matrices $2\times 2$ invertibles (con entradas reales).

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

Observación. Se puede definir un grupo lineal $G^{\prime }$ interpretando las matrices con respecto a una base diferentes de la canónica. Un resultado de Álgebra Lineal, establece que $G^{\prime }$ es conjugado con ${\mathsf{\text{GL}}}_2(ℝ)$ en el grupo ${\mathsf{\text{Biy}}}_2(ℝ)$, y que, por lo tanto, se trata de grupos isomorfos.

---

Acción de las transformaciones lineales biyectivas

Sea $u$ en ${\mathsf{\text{GL}}}_2(ℝ)$ y sea $\ell =A+[[D]]$. Entonces, si $P=A+\alpha D$ es un punto de $\ell$ se tiene que Plantilla:Eqn

Como $u$ es biyectiva, $u(D)\ne 0$, luego $u(P)$ es un punto de la línea $m=u(A)+[[u(D)]]$. Sea $Q$ un punto de la línea $m$, entonces $Q=u(A)+\beta u(D)=u(A+\beta D)$, lo que prueba que $m=u(\ell )$.

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

Lema A. Sea $u$ una transformación lineal (cualquiera) y $t_A$ la traslación por $A$, entonces $u{t}_A=t_{u(A)}u$.

Demostración: $\begin{array}{ccc}(u{t}_A)(P)& =& u(t_A(P))=u(A+P)=u(A)+u(P)\\ & =& t_{u(A)}(u(P))=(t_{u(A)}u)(P)\end{array}$. Plantilla:QED

---

El Grupo Afín

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

$f=t_1{u}_1\dots f_k{u}_k,$

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

$t_1{u}_1=t_2{u}_2$

se tiene que

$t_2^{-1}{t}_1=u_2{u}_1^{-1}.$

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 $t_2^{-1}{t}_1=id$, de donde $t_1=t_2$. De ahí, sigue que también se cumple que $u_1=u_2$.

Decimos cuando $f=tu$, que $t$ es la traslación de $f$ y $u$ es la parte lineal de $f$.

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 ${\mathsf{\text{GA}}}_2(ℝ)/{\mathsf{\text{T}}}_2(ℝ)$ es isomorfo al grupo lineal ${\mathsf{\text{GL}}}_2(ℝ)$.

Demostración: Sea $\varphi :{\mathsf{\text{GA}}}_2(ℝ)⟶{\mathsf{\text{GL}}}_2(ℝ)$ la función que asigna a cada transformación afín su parte lineal $tf⟶u$. Veamos que se trata de un homomorfismo de grupos $\varphi (t_{A}u{t}_{B}v)=\varphi (t_{A+u(B)}uv)=uv=\varphi (t_{A}u)\varphi (t_{B}v).$

Como, cada $u$ es iguala $t_{0}u$, $t_{)}=id$, se trata de un supramorfismo, cuyo núcleo son las traslaciones. Luego, ${\mathsf{\text{T}}}_2(ℝ)$ es normal en ${\mathsf{\text{GA}}}_2(ℝ)$. Por el teorema de Noether (ver capítulo [[../Teoremas de Homomorfismos|Teoremas de Homomorfismos]]), se tiene que Plantilla:Eqn

Plantilla:QED

---

La Geometría Euclídea

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 $(x_1,x_2)$ y $(y_1,y_2)$ como

$\sqrt{(x_1-y_1{)}^2+(x_2-y_2{)}^2}.$

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

Proposición 8. (Propiedades del Producto Interior)

• (PI-1) $(\alpha P+\beta Q)\cdot R=\alpha (P\cdot R)+\beta (Q\cdot R)$.
• (PI-2) $Q\cdot P=P\cdot Q$.
• (PI-3)Si $P\ne 0$, $P^2=P\cdot P>0$.

Demostración: Computaciones directas. Plantilla:QED

---

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 $B\perp D$.

Sigue de las propiedades del producto interior que si $B\perp D$, cualquier múltiplo de $D$ es perpendicular a $B$.

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 $B=(b_1,b_2)$ un vector no nulo. Los vectores perpendiculares a $B$ determinan una línea que pasa por el origen, que denotaremos por $B^{\perp }$ y que tiene como un vector director a $(-b_1,b_2)$.

Demostración: Sea $P=(x,y)$ perpendicular a $B$. Entonces, $P\cdot B+0$, ssi, Plantilla:Eqn que es la ecuación cartesiana de una línea, ver la proposición 4. Resolvamos la ecuación (*) para $x$ y $y$. Es decir hallemos vectores perpendiculares a $B$ . Si $b_2=0$, (*) implica que $b_{1}x=0$, lo que implica que $x=0$. Luego, $(x,y)=(0,y)=(y/b_1)(0,b_1)=(y/b_1)(-b_2,b_1).$

Lo que prueba que, en este caso $(-b_2,b_1)$ es un vector director de $B^{\perp }$. Supongamos que $b_2\ne 0$, entonces (*) implica que $y=(-b_1/b_2)x$; de donde

$(x,y)=(x,-\frac{b_1}{b_2}x)=x(1,-\frac{b_1}{b_2})=\frac{-x}{b_2}(-b_2,b_1).$

Lo que termina la prueba.

Plantilla:QED

---

Sea $\ell$ la línea con ecuación cartesiana Plantilla:Eqn Sea $P_0=(x_0,y_0)$ un punto cualquiera de la línea. Entonces, $p{x}_0+q{y}_0=c$. Sustituyendo en la ecuación (*), tenemos que:

$\begin{array}{cccc}& px+qy& =& p{x}_0+q{y}_0\\ ⟺& p(x-x_0)+q(y-y_0)& =& 0\\ ⟺& (p,q)\cdot (x-x_0,y-y_0)& =& 0.\end{array}$

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

Proposición 10. La ecuación $px+qy=r$ representa una línea que pasa por un punto $P_0$ y tal que sus vectores directores son perpendiculares al vector $(p,q)$ que se dice que es un vector normal a la línea.

Largos y Distancias

Largo. Llamamos largo del vector $P$ al número real simbolizado por $\Vert P\Vert$ y definido como Plantilla:Eqn

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

$||P-Q||=\sqrt{(P-Q)\cdot (P-Q)}=\sqrt{(p_1-q_1{)}^2+(p_2-q_2{)}^2}$

Es decir que podemos definir la distancia entre $P$ y $Q$ como Plantilla:Eqn

Plantilla:Ejmpl Sea $E_1=(1,0)$ y $E_2$ 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 $d(E_1,E_2)=\sqrt{2}$.

---

Propiedades

Proposición 11. (Cuadrado del Binomio para PI) Sean $P$, $Q$ dos vectores. Plantilla:Eqn donde $P^2=P\cdot P=||P|{|}^2$.

Demostración: $\begin{array}{ccc}\Vert P+Q{\Vert }^2& =& (P+Q)\cdot (P+Q)\\ & =& P\cdot P+P\cdot Q+Q\cdot P+Q\cdot Q\\ & =& P^2+Q^2+2P\cdot Q.\end{array}$ Plantilla:QED

---

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

$\Vert P+Q{\Vert }^2=\Vert P{\}}^2+\Vert Q{\Vert }^2.$

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

Sea $P=p_1{E}_1+p_2{E}_2$ donde $E_1$ y $E_2$ es la base canónica del plano. Entonces,

$P\cdot E_1=(p_1{E}_1+p_2{E}_2)|\cdot E_1=p_1{E}_1\cdot E_1+p_2{E}_1\cdot E_2>=p_1.$

Análogamente, obtenemos que $p_2=P\cdot E_2$.

Transformaciones Ortogonales

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

Demostración: Sean $P$, $Q$ puntos y sea $u$ ortogonal. $\begin{array}{ccc}||u(P)|{|}^2& =& u(P)\cdot u(P)=P\cdot P=||P|{|}^2⟹||u(P)||=||P||.\\ d(u(P),u(Q))& =& ||u(P)-u(Q)||=||u(P-Q)||=||P-Q||=d(P,Q).\end{array}$ Plantilla:QED

---

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

$\begin{array}{ccc}||u(P)||& =& ||u(P-0)||=||u(P)-u(0)||=d(u(P),u(0))=d(P,0)\\ & =& ||P-0||=||P||.\end{array}$

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

Demostración: Sea $u$ una congruencia lineal. Aplicando la fórmula (PI-Form) tenemos que $\begin{array}{ccc}u(P)\cdot u(Q)& =& \frac{1}{2}(||u(P)+u(Q)||-||u(P)||-||u(Q||)\\ & =& \frac{1}{2}(||u(P+Q)|-||u(P)||=||u(Q)||)\\ & =& \frac{1}{2}(||P+Q||-||P||-||Q||)=P\cdot Q\end{array}$ Plantilla:QED

---

Simetral Ortogonal

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

Punto Medio. Sea $M=(1/2)(A+B)$ se tiene que

$M-A=\frac{1}{2}(B-A)\text{ y }B-M=\frac{1}{2}(B-A).$

Lo que dice que $d(M,A)=d(M,B)$. Además, $M=\frac{1}{2}A+\frac{1}{2}B=A+\frac{1}{2}(B-A)$; lo que prueba que $M$ está en la línea que pasa por $A$ y $B$. $M$ es el punto medio entre $A$ y $B$.

Sea $P$ un punto cualquiera que equidista de $A$ y $B$. Se tiene que

$\begin{array}{cccc}& d(P,A)& =& d(P,B)\\ ⟺& ||P-A|{|}^2& =& ||P-B|{|}^2\\ ⟺& P^2+A^2-2P\cdot A& =& P^2+B^2-2P\cdot B\\ ⟺& 2P\cdot (B-A)& =& B^2-A^2=(B+A)\cdot (B-A)\\ ⟺& 2(P-\frac{1}{2}(A+B))\cdot (B-A)& =& 0.\end{array}$

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 $A$ y $B$ a la línea de la proposición.

El Grupo Euclídeo

Plantilla:Ejmpl Las traslaciones son congruencias.

Sea $t=t_A$, entonces,

$||t_A(P)-t_A(Q)=||(A+P)-(A+Q)||=||P+Q||.$

---

Proposición 15. ${\mathsf{\text{Eucl}}}_2(ℝ)$ 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, ${\mathsf{\text{O}}}_2(ℝ)$, 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 $f$ y $g$ congruencias. $\begin{array}{ccc}d(f(g(P)),f(g(Q))& =& d(g(P),g(Q))=d(P,Q).\\ d(f^{-1}(P),f^{-1}(Q))& =& d(f(f^{-1}(P)),f(f^{-1}(Q)))=d(P,Q).\end{array}$

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

Sea $f=tu$ una congruencia afín. Entonces, $u=t^{-1}f$ es una congruencia, por ser composición de congruencias, y es lineal, por lo tanto, es una transformación ortogonal.

Plantilla:QED

---

El Grupo Ortogonal

¿Cómo son las matrices de una transformación ortogonal? Sea $u$ una transformación ortogonal y consideremos la base ortonormal canónica $ℰ=\{E_1,E_2\}$. Sean $F_1=u(E_1)$ y $F_2=u(E_2)$. Como transformaciones ortogonales preservan largos y productos interiores, tenemos que

$||F_1||=||u(E_1)||=||E_1||=1,||F_2||=||u(E_2)||=||E_2||=1,\text{ y }$ $F_1\cdot F_2=E_1\cdot E_2=0.$

(Luego $ℱ=\{F_1,F_2\}$ es otra base ortonormal del plano.) La matriz determinada por $u$ tiene como columnas a las coordenadas de $F_1$, $F_2$ respecto a la base canónica. Supongamos que $F_1=(a,b)$. Como $||F_1||=1$ se debe cumplir que $a^2+b^2=1$. Como $F_2$ es perpendicular a $F_1$ se tiene (por proposición 9) que $F_2\in [[(-b,a)$. Como $||\alpha (-b,a)||=|\alpha |||(-b,a)||=|\alpha |$, tenemos que $\alpha =\pm 1$. Es decir que tenemos dos posibilidades para $F_2$; por lo que las matrices tienen una de las formas siguientes:

$\begin{array}{ccccc}(I)& \left[\begin{array}{cc}a& -b\\ b& a\end{array}\right],& & (II)& \left[\begin{array}{cc}a& b\\ b& -a\end{array}\right],\end{array}$

donde $a^2+b^2=1$. Notemos que en el primer caso el determinante de la matriz es 1, mientras que en el segundo es $-1$.

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

La función determinante (restringida a ${\mathsf{\text{O}}}_2(ℝ)$) tiene imagen $\{1,-1\}$ y su núcleo es el subgrupo normal, denotado por ${\mathsf{\text{O}}}_2^{+}(ℝ)$, 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 $u=\left[\begin{array}{cc}a& -b\\ b& a\end{array}\right]$ con $a^2+b^2=1$. Sea $P=(x,y)$, entonces $u(P)=P$, ssi,

$\left[\begin{array}{cc}a& -b\\ b& a\end{array}\right]\left[\begin{array}{c}x\\ y\end{array}\right]=\left[\begin{array}{c}x\\ y\end{array}\right].$

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

$\begin{array}{ccccc}ax& -& by& =& x\\ bx& +& ay& =& y\end{array}$

Lo que es equivalente a

$\begin{array}{ccccc}(a-1)x& -& by& =& 0\\ bx& +& ay& =& 0\end{array}$

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

$\left|\begin{array}{cc}a-1& -b\\ b& a-1\end{array}\right|=(a-1{)}^2+b^2=a^2-2a+1+b^2=2-2a=2(1-a).$

Por lo tanto, el determinante es nulo, ssi, $a=1$, lo que implica que $b=0$; o sea, cuando $u$ 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 $P$ se mueve a un punto $u(P)$ que está a igual distancia del origen que la distancia de $P$ al origen. Informalmente podemos decir que $P$ se mueve sobre la circunferencia de centro el origen y radio $\Vert P\Vert$. 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 $\theta$ tal que

$\cos (\theta )=a\text{ y }\mathrm{sen}(\theta )=b.$

Llamando $r(\theta )$ a la rotación por $\theta$ vemos que

$r(\theta )=\left[\begin{array}{cc}\cos (\theta )& -\mathrm{sen}(\theta )\\ \mathrm{sen}(\theta )& \cos (\theta )\end{array}\right].$

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

• ${\cos }^2(\theta )+{\mathrm{sen}}^2(\theta )=1.$ (Determinante igual a1.)
• $\cos (-\theta )=\cos (\theta ),\mathrm{sen}(-\theta )=\mathrm{sen}(\theta )$. ${\left[\begin{array}{cc}a& -b\\ b& a\end{array}\right]}^{-1}=\left[\begin{array}{cc}a& b\\ -b& a\end{array}\right]$.
• Etc.

(Caso II) Sea $u=\left[\begin{array}{cc}a& b\\ b& -a\end{array}\right]$ con $a^2+b^2=1$. Sea $P=(x,y)$, entonces $u(P)=P$, ssi,

$\left[\begin{array}{cc}a& b\\ b& -a\end{array}\right]\left[\begin{array}{c}x\\ y\end{array}\right]=\left[\begin{array}{c}x\\ y\end{array}\right].$

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

$\begin{array}{ccccc}ax& +& by& =& x\\ bx& -& ay& =& y\end{array}$

Lo que es equivalente a

$\begin{array}{ccccc}(a-1)x& +& by& =& 0\\ bx& -& (a+1)y& =& 0\end{array}$

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

$\left|\begin{array}{cc}a-1& b\\ b& a+1\end{array}\right|=a^2-1+b^2=0.$

Por lo tanto, siempre hay soluciones no triviales del sistema. Un punto $(x,y)$ está fijo por $u$, ssi, {{Eqn$(a-1)x+by=0.$|*}}

Si $a=1$ entonces $u=\left[\begin{array}{cc}1& 0\\ 0& -1\end{array}\right]$ que es una transformación que intercambia el eje $X$ con el eje $Y$, dejando la diagonal principal ($y=x$) fija punto a punto.

En forma más general, si $P=(x,y)=(b,1-a)$ se tiene por la ecuación (*) que $P$ está fijo por $u$. Si $P$ queda fijo, entonces $u(\alpha P)=\alpha u(P)=\alpha P$, es decir que $u$ deja fijo punto a punto a la línea $\ell =[[P]]$.

Por la forma de la matriz, $u$ nunca puede ser la identidad, por lo que hay un punto $Q$ tal que $u(Q)\ne Q$. Como $Q$ no queda fijo, $Q$ no puede estar en la línea $\ell$. Como para todo $P$ en $\ell$ se cumple que

$d(P,u(Q))=d(u(P),u(Q))=d(P,Q),$

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

---