AATA Ejercicios

Exercícios 12.3 Ejercicios

1.

Demuestre la identidad

\begin{equation*} \langle {\mathbf x}, {\mathbf y} \rangle = \frac{1}{2} \left[ \|{\mathbf x} + {\mathbf y}\|^2 - \|{\mathbf x}\|^2 - \| {\mathbf y}\|^2 \right]. \end{equation*}

Dica.

\begin{align*} \frac{1}{2} \left[ \|{\mathbf x} + {\mathbf y}\|^2 + \|{\mathbf x}\|^2 - \| {\mathbf y}\|^2 \right] & = \frac{1}{2} \left[ \langle x + y, x + y \rangle - \|{\mathbf x}\|^2 - \| {\mathbf y}\|^2 \right]\\ & = \frac{1}{2} \left[ \| {\mathbf x}\|^2 + 2 \langle x, y \rangle + \| {\mathbf y}\|^2 - \|{\mathbf x}\|^2 - \| {\mathbf y}\|^2 \right]\\ & = \langle {\mathbf x}, {\mathbf y} \rangle. \end{align*}

2.

Muestre que \(O(n)\) es un grupo.

3.

Demuestre que las siguientes matrices son ortogonales. ¿Está alguna de estas matrices en \(SO(n)\text{?}\)

\begin{equation*} \begin{pmatrix} 1/\sqrt{2} & -1/\sqrt{2} \\ 1/\sqrt{2} & 1/\sqrt{2} \end{pmatrix} \end{equation*}
\begin{equation*} \begin{pmatrix} 1 / \sqrt{5} & 2 / \sqrt{5} \\ - 2 /\sqrt{5} & 1/ \sqrt{5} \end{pmatrix} \end{equation*}
\begin{equation*} \begin{pmatrix} 4/ \sqrt{5} & 0 & 3 / \sqrt{5} \\ -3 / \sqrt{5} & 0 & 4 / \sqrt{5} \\ 0 & -1 & 0 \end{pmatrix} \end{equation*}
\begin{equation*} \begin{pmatrix} 1/3 & 2/3 & - 2/3 \\ - 2/3 & 2/3 & 1/3 \\ -2/3 & 1/3 & 2/3 \end{pmatrix} \end{equation*}

Dica.

(a) está en \(SO(2)\text{;}\) (c) no está en \(O(3)\text{.}\)

4.

Determine el grupo de simetría de cada una de las figuras en la Figura 12.3.1.

\begin{tikzpicture}[scale=0.7] \draw (-2,0) -- (2,0) -- (2,4) -- (-2,4) -- cycle; \draw (0,0) -- (2,2) -- (0,4) -- (-2,2) -- cycle; \draw (-2,0) -- (2,4) (2,0) -- (-2,4); \node [below] at (0,0) {(b)}; \draw (-3,3) -- (-8,3) -- (-8,6) -- (-3,6) -- cycle; \draw (-6,4) ellipse (1.55 and 0.65); \filldraw[fill=black, draw=black] (-4,5.2) circle (0.3); \node [below] at (-5.5,3) {(a)}; \draw (5.5,4.5) +(270:1) circle (1.25); \draw (5.5,4.5) +(30:1) circle (1.25); \draw (5.5,4.5) +(150:1) circle (1.25); \node [below] at (5.5,2.35) {(c)}; \end{tikzpicture}

Figura 12.3.1.

5.

Sean \({\mathbf x}\text{,}\) \({\mathbf y}\text{,}\) y \({\mathbf w}\) vectores en \({\mathbb R}^n\) y \(\alpha \in {\mathbb R}\text{.}\) Demuestre las siguientes propiedades de los productos internos.

\(\langle {\mathbf x}, {\mathbf y} \rangle = \langle {\mathbf y}, {\mathbf x} \rangle\text{.}\)
\(\langle {\mathbf x}, {\mathbf y} + {\mathbf w} \rangle = \langle {\mathbf x}, {\mathbf y} \rangle + \langle {\mathbf x}, {\mathbf w} \rangle\text{.}\)
\(\langle \alpha {\mathbf x}, {\mathbf y} \rangle = \langle {\mathbf x}, \alpha {\mathbf y} \rangle = \alpha \langle {\mathbf x}, {\mathbf y} \rangle\text{.}\)
\(\langle {\mathbf x}, {\mathbf x} \rangle \geq 0\) con igualdad exactamente cuando \({\mathbf x} = 0\text{.}\)
Si \(\langle {\mathbf x}, {\mathbf y} \rangle = 0\) para todo \({\mathbf x}\) en \({\mathbb R}^n\text{,}\) entonces \({\mathbf y} = 0\text{.}\)

Dica.

(a) \(\langle {\mathbf x}, {\mathbf y} \rangle = \langle {\mathbf y}, {\mathbf x} \rangle\text{.}\)

6.

Compruebe que

\begin{equation*} E(n) = \{(A, {\mathbf x}) : A \in O(n) \text{ y } {\mathbf x} \in {\mathbb R}^n \} \end{equation*}

es un grupo.

7.

Demuestre que \(\{ (2,1), (1,1) \}\) y \(\{ ( 12, 5), ( 7, 3) \}\) son bases para el mismo reticulado.

Dica.

Use la matriz unimodular

\begin{equation*} \begin{pmatrix} 5 & 2 \\ 2 & 1 \end{pmatrix}. \end{equation*}

8.

Sea \(G\) un subgrupo de \(E(2)\) y supongamos que \(T\) es el subgrupo de traslaciones de \(G\text{.}\) Demuestre que el grupo puntual de \(G\) es isomorfo a \(G/T\text{.}\)

9.

Sea \(A \in SL_2({\mathbb R})\) y supongamos que los vectores \({\mathbf x}\) y \({\mathbf y}\) forman dos lados de un paralelogramo en \({\mathbb R}^2\text{.}\) Demuestre que el área de este paralelogramo es la misma la del paralelogramo de lados \(A{\mathbf x}\) y \(A{\mathbf y}\text{.}\)

10.

Demuestre que \(SO(n)\) es un subgrupo normal de \(O(n)\text{.}\)

Dica.

Muestre que el núcleo de la función \(\det : O(n) \rightarrow {\mathbb R}^*\) es \(SO(n)\text{.}\)

11.

Muestre que cualquier isometría \(f\) en \({\mathbb R}^n\) es una función inyectiva.

12.

Demuestre o refute: Un elemento en \(E(2)\) de la forma \((A, {\mathbf x})\text{,}\) donde \({\mathbf x} \neq 0\text{,}\) tiene orden infinito.

13.

Demuestre o refute: Existe un subgrupo abeliano infinito de \(O(n)\text{.}\)

Dica.

True.

14.

Sea \({\mathbf x} = (x_1, x_2)\) un punto del círculo unitario en \({\mathbb R}^2\text{;}\) es decir, \(x_1^2 + x_2^2 = 1\text{.}\) Si \(A \in O(2)\text{,}\) muestre que \(A {\mathbf x}\) también pertenece al círculo unitario.

15.

Sea \(G\) un grupo con un subgrupo \(H\) (no necesariamente normal) y un subgrupo normal \(N\text{.}\) Entonces \(G\) es un producto semidirecto de \(N\) por \(H\) si

\(H \cap N = \{ \identity \}\text{;}\)
\(HN=G\text{.}\)

Muestre que se cumple lo siguiente.

\(S_3\) es el producto semidirecto de \(A_3\) por \(H = \{(1), (12) \}\text{.}\)
El grupo de cuaterniones, \(Q_8\text{,}\) no puede ser escrito como un producto semidirecto (no trivial).
\(E(2)\) es el producto semidirecto de \(O(2)\) por \(H\text{,}\) donde \(H\) consiste de todas las traslaciones en \({\mathbb R}^2\text{.}\)

16.

Determine cuál de los 17 grupos cristalográficos del plano preserva la simetría del patrón en la Figura 12.2.5.

17.

Determine cuál de los 17 grupos cristalográficos del plano preserva la simetría del patrón en la Figura 12.3.2.

Dica.

\(p6m\)

\begin{tikzpicture}[scale=0.7] \draw (0.5,0) -- (1.5,0) (3.5,0) -- (4.5,0) (6.5,0) -- (7.5,0) (9.5,0) -- (10.5,0); \draw (1,0.886) -- (3,0.886) (4,0.886) -- (6,0.886) (7,0.886) -- (9,0.886) (10,0.886) -- (12,0.886); \draw (0.5,1.732) -- (1.5,1.732) (2.5,1.732) -- (4.5,1.732) (5.5,1.732) -- (7.5,1.732) (8.5,1.732) -- (10.5,1.732) (11.5,1.732) -- (12.5,1.732); \draw (1,2.598) -- (3,2.598) (4,2.598) -- (6,2.598) (7,2.598) -- (9,2.598) (10,2.598) -- (12,2.598); \draw (0.5,3.464) -- (1.5,3.464) (2.5,3.464) -- (4.5,3.464) (5.5,3.464) -- (7.5,3.464) (8.5,3.464) -- (10.5,3.464) (11.5,3.464) -- (12.5,3.464); \draw (1,4.33) -- (3,4.33) (4,4.33) -- (6,4.33) (7,4.33) -- (9,4.33) (10,4.33) -- (12,4.33); \draw (0.5,5.196) -- (1.5,5.196) (3.5,5.196) -- (4.5,5.196) (6.5,5.196) -- (7.5,5.196) (9.5,5.196) -- (10.5,5.196); \draw (0.5,0) -- (0,0.886) -- (0.5,1.732) -- (0,2.598) -- (0.5,3.464) -- (0,4.33) -- (0.5,5.196); \draw (0.5,0) -- (1,0.886) -- (0.5,1.732) -- (1,2.598) -- (0.5,3.464) -- (1,4.33) -- (0.5,5.196); \draw (1.5,0) -- (2,0.886) -- (1.5,1.732) -- (2,2.598) -- (1.5,3.464) -- (2,4.33) -- (1.5,5.196); \draw (2,0.886) -- (2.5,1.732) -- (2,2.598) -- (2.5,3.464) -- (2,4.33); \draw (3,0.886) -- (3.5,1.732) -- (3,2.598) -- (3.5,3.464) -- (3,4.33); \draw (3.5,0) -- (3,0.886) (3,4.33) -- (3.5,5.196); \draw (3.5,0) -- (4,0.886) -- (3.5,1.732) -- (4,2.598) -- (3.5,3.464) -- (4,4.33) -- (3.5,5.196); \draw (4.5,0) -- (5,0.886) -- (4.5,1.732) -- (5,2.598) -- (4.5,3.464) -- (5,4.33) -- (4.5,5.196); \draw (5,0.886) -- (5.5,1.732) -- (5,2.598) -- (5.5,3.464) -- (5,4.33); \draw (6.5,0) -- (6,0.886) -- (6.5,1.732) -- (6,2.598) -- (6.5,3.464) -- (6,4.33) -- (6.5,5.196); \draw (6.5,0) -- (7,0.886) -- (6.5,1.732) -- (7,2.598) -- (6.5,3.464) -- (7,4.33) -- (6.5,5.196); \draw (7.5,0) -- (8,0.886) -- (7.5,1.732) -- (8,2.598) -- (7.5,3.464) -- (8,4.33) -- (7.5,5.196); \draw (8,0.886) -- (8.5,1.732) -- (8,2.598) -- (8.5,3.464) -- (8,4.33); \draw (9.5,0) -- (9,0.886) -- (9.5,1.732) -- (9,2.598) -- (9.5,3.464) -- (9,4.33) -- (9.5,5.196); \draw (9.5,0) -- (10,0.886) -- (9.5,1.732) -- (10,2.598) -- (9.5,3.464) -- (10,4.33) -- (9.5,5.196); \draw (10.5,0) -- (11,0.886) -- (10.5,1.732) -- (11,2.598) -- (10.5,3.464) -- (11,4.33) -- (10.5,5.196); \draw (11,0.886) -- (11.5,1.732) -- (11,2.598) -- (11.5,3.464) -- (11,4.33); \draw (12,0.886) -- (12.5,1.732) -- (12,2.598) -- (12.5,3.464) -- (12,4.33); \end{tikzpicture}

Figura 12.3.2.

18.

Encuentre el grupo de rotaciones de un dodecahedro.

19.

Para cada uno de los 17 grupos cristalográficos del plano, dibuje un patrón mural que tenga ese grupo como grupo de simetría.