Archivo de la etiqueta: lagrange

Álgebra Moderna I: Caracterización de grupos cíclicos

Por Cecilia del Carmen Villatoro Ramos

(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)

Introducción

Gracias al teorema de Lagrange sabemos que el orden de todo subgrupo divide al del grupo que lo contiene, pero no sabemos si para cada divisor del orden del grupo, existe un subgrupo de ese tamaño. El siguiente teorema nos da una respuesta positiva en el caso de los grupos cíclicos finitos.

En los grupos cíclicos, para cada divisor del orden del grupo existe un único subgrupo que tiene por orden dicho divisor. Eso es lo primero que veremos en esta entrada. Después, demostraremos un resultado de la teoría de los números, usando la teoría de los grupos para llegar a una caracterización de los grupos cíclicos. Esta caracterización y sus consecuencias en los campos finitos se basan en el material de los textos de Rotman y aparecen también en el libro de Avella, Mendoza, Sáenz y Souto, mencionados en la bibliografía.

Todo divisor tiene un subgrupo de ese orden

Teorema. Sea $G$ un grupo finito cíclico de orden $n$ . Para cada $d \in Z^{+}$ divisor de $n$ existe un único subgrupo de $G$ de orden $d$ .

Demostración.
Sea $G$ un grupo finito cíclico de orden $n$ y sea $a \in G$ tal que $G = ⟨ a ⟩$ .

Sea $d \in Z^{+}$ con $d | n$ .

Veamos que existe un subgrupo de $G$ de orden $d$ .

P.D. Existe un subgrupo de $G$ de orden $d$ .
Como $d | n$ , entonces $n = d k$ con $k \in Z$ .

Queda como ejercicio para la tarea moral verificar que
$\begin{array}{r} o (a^{k}) = \frac{n}{(n; k)} = \frac{n}{k} = d . \end{array}$

Así, $| ⟨ a^{k} ⟩ | = o (a^{k}) = d$ .

Veamos ahora que este subgrupo es único.

P.D. Que no hay otro subgrupo de orden $d$ .
Sea $H \leq G$ con $| H | = d$ . Como $G$ es cíclico, $H$ también es cíclico y, por ende, $H = ⟨ a^{m} ⟩$ para alguna $m \in Z$ , entonces

$\begin{aligned} e = (a^{m})^{| H |} = (a^{m})^{d} = a^{m d} . \end{aligned}$
Como $a^{m d} = e$ , podríamos pensar que $o (a) = m d$ , sin embargo eso no es siempre cierto, lo que sí es cierto es que $n | m d$ . Entonces, existe $q \in Z$ tal que
$\begin{aligned} m d = n q \\ \Rightarrow & m d = d k q & Sustituyendo n = d k \\ \Rightarrow & m = k q . \end{aligned}$

Así $a^{m} = a^{k q} = (a^{k})^{q} \in ⟨ a^{k} ⟩$ , entonces $H = ⟨ a^{m} ⟩ \leq ⟨ a^{k} ⟩$ . Pero $| ⟨ a^{m} ⟩ | = | ⟨ a^{k} ⟩ | = d$ , por lo tanto $⟨ a^{m} ⟩ = ⟨ a^{k} ⟩$ .

Demostrando resultados de teoría de números usando teoría de grupos

Para llegar a una caracterización de los grupos cíclicos, primero vamos a introducir alguna notación.

Notación. Sea $C$ grupo cíclico, al conjunto de generadores del grupo cíclico $C$ lo denotaremos por
$gen C = {a \in C | ⟨ a ⟩ = C} .$

Recordatorio. Dado $d \in Z^{+}$

$φ (d) = # {m \in {1, 2, \dots, d} | (m; d) = 1} .$
Es decir, $φ (d)$ es la cantidad de primos relativos con $d$ . A la función $φ$ se le conoce como la función phi de Euler.

Ahora, veamos un resultado que se refiere más a asuntos de la teoría de los números, y se puede encontrar en el libro de Rotman An introduction to the theory of groups, Teorema 2.16, mencionado en la bibliografía:

Teorema. Sea $n \in Z^{+}$ . Entonces $n = \sum_{\begin{matrix} d | n \\ 1 \leq d \leq n \end{matrix}} φ (d)$ .

Demostración.
Sea $G$ un grupo cíclico de orden $n$ .

Por el teorema anterior, para cada $d | n$ con $1 \leq d \leq n$ existe un único subgrupo de $G$ de orden $d$ , digamos $C_{d}$ .

P.D. $G = ⋃_{\begin{matrix} d | n \\ 1 \leq d \leq n \end{matrix}} gen C_{d}$ .

Lo probaremos por doble contención.

$\subseteq]$ Sea $a \in G$ .

Sabemos que $⟨ a ⟩$ es un subgrupo de $G$ de orden $o (a)$ , con $o (a) ∣ n$ . Entonces $⟨ a ⟩ = C_{o (a)}$ y además $a \in gen C_{o (a)}$ por construcción. Así, $a \in ⋃_{\begin{matrix} d | n \\ 1 \leq d \leq n \end{matrix}} gen C_{d} .$

$\supseteq]$ Por construcción, se da que $gen C_{d} \subseteq G$ para cada $d | n$ , $1 \leq d \leq n$ .

Por lo tanto, $G = ⋃_{\begin{matrix} d | n \\ 1 \leq d \leq n \end{matrix}} gen C_{d}$ .

Ahora veamos que la unión es disjunta.

Sean $d, d^{'} \in {1, \dots, n}$ divisores de $n$ .

P.D. Si $gen C_{d} \cap gen C_{d^{'}} \neq \emptyset,$ entonces $d = d^{'} .$

Sea $a \in gen C_{d} \cap gen C_{d^{'}}$ .

Entonces
$\begin{aligned} C_{d} & = ⟨ a ⟩ = C_{d^{'}} \\ \Rightarrow d & = | C_{d} | = | C_{d^{'}} | = d^{'} \\ ∴ d = d^{'} . \end{aligned}$

Así, tenemos una unión disjunta, y en consecuencia

$\begin{aligned} | G | & = | ⋃_{\begin{array}{c} d | n \\ 1 \leq d \leq n \end{array}} gen C_{d} | \\ = \sum_{\begin{array}{c} d | n \\ 1 \leq d \leq n \end{array}} # gen C_{d} . \end{aligned}$

Luego, si $C_{d} = ⟨ a ⟩$ , queda como ejercicio para la tarea moral ver que $C_{d} = ⟨ a^{k} ⟩$ si y sólo si $(k; d) = 1$ . Por lo que tenemos tantos generadores como primos relativos haya con $d$ . Así,
$\begin{array}{r} | G | = \sum_{\begin{array}{c} d | n \\ 1 \leq d \leq n \end{array}} # gen C_{d} = \sum_{\begin{array}{c} d | n \\ 1 \leq d \leq n \end{array}} φ (d) . \end{array}$

Por último, como $| G | = n$ , se sigue que
$\begin{array}{r} \sum_{\begin{array}{c} d | n \\ 1 \leq d \leq n \end{array}} φ (d) = n . \end{array}$

Ahora sí, la caracterización que todos esperábamos

Después de los resultados anteriores ya estamos listos para dar el siguiente teorema, (que aparece en el libro de Rotman An introduction to the theory of groups, Proposición 2.17, mencionado en la bibliografía) pero esta vez lo demostraremos usando la teoría de los grupos.

Teorema. Sea $G$ un grupo finito de orden $n$ . $G$ es cíclico si y sólo si para cada $d \in Z^{+}$ divisor de $n$ , $G$ tiene a lo más un subgrupo cíclico de orden $d$ .

A pesar de que el enunciado dice que $G$ tiene a lo más un subgrupo cíclico, al final resulta que existe un único. La redacción es adrede para que la demostración del regreso no sea trivial.

Demostración.
Sea $G$ un grupo finito de orden $n$ .

$| \Rightarrow]$ Supongamos que $G$ es cíclico, entonces, por un resultado previo, para cada $d \in Z^{+}$ divisor de $n$ , $G$ tiene exactamente un subgrupo cíclico de orden $d$ .

$[\Leftarrow |$ Supongamos que para toda $d \in Z^{+}$ divisor de $n$ , $G$ tiene a lo más un subgrupo cíclico de orden $d$ ; si éste existe lo denotaremos por $C_{d}$ , si no existe definimos $C_{d} = \emptyset$ y definimos también $gen C_{d} = \emptyset$ en ese caso.

Por un argumento análogo al de la demostración del teorema anterior, se tiene que $G$ es la siguiente unión disjunta:
$\begin{array}{r} G = ⋃_{\begin{array}{c} d | n \\ 1 \leq d \leq n \end{array}} gen C_{d} . \end{array}$

Entonces, usando el teorema anterior,

$\begin{array}{r} n = | G | = \sum_{\begin{array}{c} d | n \\ 1 \leq d \leq n \end{array}} # gen C_{d} \leq \sum_{\begin{array}{c} d | n \\ 1 \leq d \leq n \end{array}} φ (d) = n \end{array}$

(donde el teorema anterior se usa en la última igualdad.)

Entonces,

$\begin{array}{r} \sum_{\begin{array}{c} d | n \\ 1 \leq d \leq n \end{array}} # gen C_{d} = \sum_{\begin{array}{c} d | n \\ 1 \leq d \leq n \end{array}} φ (d) . \end{array}$

Así, para toda $d | n$ , con $1 \leq d \leq n$ se tienen que $# gen C_{d} = φ (d)$ de donde $gen C_{d} \neq \emptyset$ .

Por lo tanto, para toda $d | n$ con $1 \leq d \leq n$ , $G$ tiene exactamente un subgrupo cíclico de orden $d$ . En particular $G$ tiene exactamente un subgrupo cíclico de orden $n$ que debe ser $G$ mismo.

$∴ G$ es cíclico.

Consecuencias

Veamos las siguientes consecuencias del resultado anterior (aparecen en el libro de Rotman A first course in abstract algebra mencionado en la bibliografía en el Teorema 2.18 y la observación previa):

Corolario 1. Sea $G$ un grupo finito de orden $n$ . Si para toda $d \in Z^{+}$ divisor de $n$ hay a lo más $d$ soluciones de $x^{d} = e$ en $G$ , entonces $G$ es cíclico.

Demostración.
Sea $G$ un grupo finito, $| G | = n$ , tal que $\forall d \in Z^{+}$ que $d | n$ , existen a lo más $d$ soluciones de $x^{d} = e$ en $G$ .

P.D. $G$ es cíclico.

Supongamos por contradicción que $G$ no es cíclico, entonces, por el teorema anterior tenemos que para alguna $d \in Z^{+}$ divisor de $n$ existe más de un subgrupo cíclico de orden $d$ , es decir, existen $C, C^{'}$ con $C \neq C^{'}$ subgrupos cíclicos de $G$ de orden $d$ .

Por un lado, si $a \in C$ , $e = a^{| C |} = a^{d}$ . Por otro lado, si $a \in C^{'}$ , $e = a^{| C^{'} |} = a^{d}$ . Entonces para toda $a \in C \cup C^{'}$ , $a$ es solución de $x^{d} = e$ .

Pero como $C \neq C^{'}$ , entonces $# C \cup C^{'} > | C | = d$ , entonces habría más de $d$ soluciones de $x^{d} = e$ en $G$ . Esto es una contradicción.

Así, para toda $d \in Z^{+}$ tal que $d \in N$ existe a lo más un subgrupo cíclico de orden $d$ .

Por el teorema anterior, $G$ es cíclico.

En realidad, nos interesa el corolario 1, para probar el corolario 2.

Corolario 2. Para todo campo finito $K$ , el grupo $K^{*} = K ∖ {0}$ con la multiplicación del campo, es cíclico.

Demostración.
Sea $d \in Z^{+}$ tal que $d | | K^{*} |$ .

Ahora, nos fijamos en el polinomio $f (x) = x^{d} - 1$ que tiene a lo más $d$ raíces en $K^{*}$ . Pero las raíces de $f (x)$ son precisamente las soluciones de la ecuación $x^{d} = 1$ , con $1$ es el neutro multiplicativo de $K$ .
Por lo tanto, por el corolario 1, $K^{*}$ es cíclico.

Tarea moral

1. Sea $G$ un grupo finito cíclico de orden $n$ y sea $a \in G$ . Sea $k \in Z^{+}$ .

Demuestra que $o (a^{k}) = \frac{n}{(n; k)} = \frac{n}{k} .$
Demuestra que $G = ⟨ a^{k} ⟩$ si y sólo si $(n; k) = 1.$

2. Dada $d \in Z^{+}$ definimos

$\begin{array}{r} ϕ (d) = # {m \in {1, 2, \dots, d} | (m; d) = 1} . \end{array}$

Donde $(m, d)$ es máximo común divisor de $m$ y $d$ .

Encuentra $\sum_{\begin{matrix} d | n \\ 1 \leq d \leq n \end{matrix}} ϕ (d)$ para $n \in {5, 8, 9, 12}$ .

3. Considera el conjunto
$\begin{array}{r} K = {(\begin{array}{c} a & b \\ b & a + b \end{array}) | a, b \in Z_{2}} \end{array}$
con las operaciones usuales. Prueba que $K$ es un campo con cuatro elementos y verifica que $K^{*}$ es cíclico.

Más adelante…

Con esta entrada concluimos por el momento los temas relacionados al orden de un grupo y de un subgrupo. En la próxima entrada comenzaremos una nueva tarea: encontrar una multiplicación apropiada entre dos clases laterales, para ello, regresaremos a estudiar un poco a los enteros.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Teorema de Lagrange.
Siguiente entrada del curso: Subgrupo Conjugado, Subgrupo Normal y Conmutatividad Parcial.
Resto de cursos: Cursos.

Álgebra Moderna I: Teorema de Lagrange

Por Cecilia del Carmen Villatoro Ramos

2 respuestas

(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)

Introducción

En la entrada anterior vimos que si tenemos un grupo $G$ y nos agarramos un subgrupo $H$ , obtenemos una partición $H, a_{1} H, a_{2} H, a_{3} H, \dots, a_{t} H$ donde
$\begin{array}{r} | H | = # a_{2} H = # a_{3} H = \dots = a_{t} H . \end{array}$

Recuerda que $| G |$ se refiere al orden de un grupo y $# a_{i} H$ es el orden de un conjunto que no es necesariamente un grupo. Esto quiere decir que el orden de $G$ es un $t$ veces del orden de $H$ , en decir $| G | = t | H | .$ Este resultado sencillo pero importante es conocido como el Teorema de Lagrange, aunque en esta entrada, lo definimos en términos del índice de $H$ en $G$ , $[G : H]$ .

Joseph-Louis Lagrange, conocido simplemente como Lagrange, nació en 1739 y falleció en 1813.

Ejemplo de la partición ${H, a_{1} H, \dots, a_{t} H}$ .

A pesar de que vivió antes de que la teoría de conjuntos se desarrollara en el siglo XIX, su trabajo fue muy importante para ella. Por eso este teorema tiene su nombre.

Ingredientes para la demostración

Lema. Sea $G$ un grupo, $H$ un subgrupo de $G$ , $a \in G$ . Entonces $# a H = | H | .$

Demostración. Sean $G$ un grupo, $H \leq G$ y $a \in G$ .

Consideremos $φ : H \to a H$ , tal que $h \mapsto a h$ .

Veamos que $φ$ es inyectiva ya que si tomamos $h, \bar{h} \in H$ son tales que $φ (h) = φ (\bar{h})$ entonces $a h = a φ$ y por cancelación, $h = (\bar{h})$ .

Además, $φ$ es suprayectiva ya que dado $a h \in a H$ con $h \in H$ tenemos
$a h = φ (h) \in Im φ .$

Donde $Im φ$ es la imagen de $φ$ .

Por lo tanto $| H | = # a H$ .

Señoras y señores, les presento a Lagrange

Ahora ya tenemos todos los ingredientes para demostrar el teorema de Lagrange.

Teorema. (Teorema de Lagrange) Sea $G$ un grupo finito, $H$ subgrupo de $G$ . Entonces $| H |$ divide al orden de $G$ y
$[G : H] = \frac{| G |}{| H |} .$

Demostración. Sea $G$ un grupo finito, $H \leq G$ . Como $G$ es finito debe haber una cantidad finita de clases laterales izquierdas de $G$ en $G$ , notemos que cada una es no vacía con al menos un elemento.

Sean $a_{1}, \dots, a_{t} \in G$ representantes de las distintas clases laterales izquierdas de $H$ en $G$ , con $t = [G : H]$ . Sabemos que $G = ⋃_{i = 1}^{t} a_{i} H$ . Como $a_{i} H \cap a_{j} H = \emptyset$ para $i \neq j$ , con $i, j \in {1, \dots, t}$ , entonces la unión, es una unión disjunta. Así podemos hacer,

$\begin{aligned} | G | = | ⋃_{i = 1}^{t} a_{i} H | & = \sum_{i = 1}^{t} # a_{i} H \\ = \sum_{i = 1}^{t} | H | & Lema anterior \\ = t | H | = [G : H] | H | \end{aligned}$

Así $| G | = [G : H] | H |$ , enconces $| H | | | G |$ y $[G : H] = \frac{| G |}{| H |}$ .

Consecuencias del teorema

Corolario 1. Sea $G$ un grupo finito, $a \in G$ . Entonces $o (a) | | G |$ . Así $a^{| G |} = e$ .

Demostración. Sea $G$ un grupo finito, $a \in G$ . Consideremos $⟨ a ⟩ \leq G$ . Por el teorema de Lagrange:

$o (a) = | ⟨ a ⟩ | | | G | \Rightarrow o (a) | | G | .$

Así $| G | = o (a) q$ , para algún $q \in Z$ ,
$a^{| G |} = a^{o (a) q} = {(a^{o (a)})}^{q} = e^{q} = e .$

Corolario 2. Todo grupo finito de orden primo es cíclico.

Demostración. Sea $G$ un grupo finito, $| G | = p$ con $p$ primo.

Como $| G | > 1$ sea $a \in G ∖ {e}$ . Por el corolario 1,
$1 < o (a) | | G | = p .$

Entonces $o (a) = p$ . Así $⟨ a ⟩ = G$ y $G$ es cíclico.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Sea $G$ un grupo finito, $H$ y $K$ subgrupos de $G$ con $K \subseteq H$ . En cada inciso (son los ejercicios 2 y 3 de la entrada anterior) justifica usando el teorema de Lagrange ¿cómo es $[G : K]$ en términos de $[G : H]$ y $[H_{K}]$ ?
1. $G = Q$ los cuaternios, $H = ⟨ i ⟩$ y $K = {\pm 1}$ .
2. $G = S_{4}$ , $H = A_{4}$ y $K = ⟨ (1 2 3) ⟩$ .
Encuentra todos los subgrupos del grupo de los cuaternios y de $Z_{8}$ ¿de qué orden son? ¿cuántos hay del mismo orden?
Revisa el video de la Sorbona: Lagrange-Universidad de la Sorbona. Se puede poner poner subtítulos en español.

Más adelante…

El teorema de Lagrange es uno de los resultados más importantes del curso. Se usará multiples veces. Por lo pronto, en la siguiente entrada, revisitaremos los grupos cíclicos y usaremos el teorema de Lagrange para probar una caracterización de esos grupos.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Relación de equivalencia dada por un subgrupo e índice de $H$ en $G$ .
Siguiente entrada del curso: Caracterización de grupos cíclicos.
Resto de cursos: Cursos.

Seminario de Resolución de Problemas: Grupos, anillos y campos

Por Leonardo Ignacio Martínez Sandoval

2 respuestas

Introducción

En estas entradas hemos visto cómo distintas herramientas de álgebra nos pueden ayudar en la resolución de problemas. En las primeras dos entradas, hablamos de identidades algebraicas básicas y un par de avanzadas. Luego, hablamos de factorización en polinomios y del teorema de la identidad. Ahora platicaremos de cómo estructuras un poco más abstractas nos pueden ayudar. De manera particular, nos enfocaremos en aplicaciones de teoría de grupos a la resolución de problemas. Sin embargo, hacia el final de la entrada también hablaremos un poco acerca de anillos, dominios enteros y campos.

Teoría de grupos básica

Una de las nociones de álgebra abstracta más básicas, y a la vez más flexibles, es la de grupo. La teoría de grupos es muy rica y se estudia a profundidad en un curso de álgebra abstracta o álgebra moderna. Aquí veremos únicamente un poco de esta teoría y algunas aplicaciones a resolución de problemas. Comenzamos con la definición.

Definición. Un grupo es un conjunto no vacío $G$ con una operación binaria $\cdot$ que cumple lo siguiente:

Asociatividad: Para cualesquiera elementos $x, y, z$ en $G$ tenemos que $x \cdot (y \cdot z) = (x \cdot y) \cdot z$ .
Neutro: Existe un elemento $e$ en $G$ tal que $x \cdot e = x = e \cdot x$ para todo elemento x.
Inversos: Para cada elemento $x$ en $G$ , existe un elemento $y$ en $G$ tal que $x \cdot y = e = y \cdot x$ .

Usualmente se simplifica la notación de la siguiente manera. Por un lado, en vez de poner el símbolo de producto, simplemente se ponen elementos consecutivos, por ejemplo $a \cdot b = a b$ . Además, por la asociatividad, muchas veces no se ponen los paréntesis, de modo que expresiones como $(a \cdot b) \cdot c$ se escriben simplemente como $a b c$ , a menos que los paréntesis ayuden a entender un argumento.

Hay que tener cuidado con invertir el orden de factores. En grupos, no necesariamente sucede que la operación es conmutativa, es decir, que $a b = b a$ para todo par de elementos $a$ y $b$ . Si $a b = b a$ decimos que $a$ y $b$ conmutan y si todo par de elementos de $G$ conmutan, decimos que $G$ es conmutativo. Un elemento siempre conmuta consigo mismo. Para $n$ un entero positivo definimos $a^{n}$ como el producto formado por $n$ veces el elemento $a$ .

A partir de la definición se puede ver que el neutro es único, pues si hubiera dos neutros $e$ y $e^{'}$ tendríamos $e = e \cdot e^{'} = e^{'}$ , en donde primero usamos que $e^{'}$ es neutro y después que $e$ lo es. Para $a$ en $G$ , definimos $a^{0}$ como $e$ .

En grupos se vale «cancelar». Por ejemplo, si $a b = a c$ , entonces podemos multiplicar esta igualdad a la izquierda por un inverso $d$ de $a$ y obtendríamos $b = e b = d a b = d a c = e c = c .$ Del mismo modo, la igualdad $b a = c a$ implica $b = c$ .

En particular, si $d$ y $d^{'}$ son inversos de $a$ , tenemos $d a = e = d^{'} a$ , de donde $d = d^{'}$ . Esto muestra que los inversos también son únicos, así que al inverso de $a$ le llamamos $a^{- 1}$ . Observa que $e^{- 1} = e$ . Nota que si $a$ y $b$ son elementos de $G$ , entonces $a b (b^{- 1} a^{- 1}) = a e a^{- 1} = a a^{- 1} = e,$ de modo que el inverso de un producto $a b$ es el producto $b^{- 1} a^{- 1}$ . Para $n$ un entero positivo, definimos $a^{- n}$ como el inverso de $a^{n}$ , que por lo anterior, es precisamente $(a^{- 1})^{n}$ . De hecho, ya definido $a^{n}$ para todo entero, se puede verificar que se satisfacen las leyes usuales de los exponentes.

Problema. Sean $a$ y $b$ dos elementos en un grupo $G$ con neutro $e$ tales que $a b a = b a^{2} b$ , $a^{3} = e$ y $b^{2021} = e$ . Muestra que $b = e$ .

Sugerencia pre-solución. Observa que si $a$ y $b$ conmutaran, entonces el resultado se deduce fácilmente de la primer igualdad. Así, intenta modificar el problema a demostrar que $a$ y $b$ conmutan. Para ello tienes que hacer un paso intermedio que necesita inducción.

Solución. Lo primero que veremos es que $a$ y $b^{2}$ conmutan. Poniendo una identidad entre ambas $b$ en el producto $a b^{2}$ , tenemos que $a b^{2} = a b a a^{- 1} b = b a^{2} b a^{- 1} b .$ De $a^{3} = e$ , tenemos $a^{- 1} = a^{2}$ , así que siguiendo con la cadena de igualdades, $\begin{aligned} b a^{2} b a^{- 1} b & = b a^{2} b a^{2} b \\ = b a^{2} a b a \\ = b b a = b^{2} a . \end{aligned}$ Así, $a b^{2} = b^{2} a$ .

Ahora veremos que $a$ y $b$ conmutan. Para ello, como $a$ y $b^{2}$ conmutan, tenemos que $a$ y $b^{2 k}$ conmutan para cualquier entero $k$ . Esto se puede probar por inducción. El caso $k = 1$ es lo que ya probamos. Si es válido para cierta $k$ , se sigue que $a b^{2 k + 2} = b^{2 k} a b^{2} = b^{2 k + 2} a .$ Por hipótesis, $b^{2020} = b$ , así que el resultado anterior nos dice que $a$ y $b$ conmutan.

Por esta razón, la primer hipótesis $a b a = b a^{2} b$ se puede reescribir como $a^{2} b = a^{2} b^{2}$ , que por cancelación izquierda da $e = b$ , como queríamos mostrar.

Subgrupos y órdenes

Dentro de un grupo pueden vivir grupos más pequeños.

Definición. Un subgrupo de un grupo $G$ es un subconjunto $H$ de $G$ que es un grupo con las operaciones de $G$ restringidas a $H$ .

Para que $H$ sea subgrupo, basta con que no sea vacío y que sea cerrado bajo la operación de grupos y la operación «sacar inverso».

Por ejemplo, se puede ver que $Z_{12}$ , los enteros módulo $12$ con la suma, forman un grupo. De aquí, $H_{1} = {0, 3, 6, 9}$ es un subgrupo y $H_{2} = {0, 4, 8}$ es otro.

Proposición. Si $a$ es un elemento de un grupo $G$ , entonces o bien $1, a, a^{2}, a^{3}, \dots$ son todos elementos distintos de $G$ , o bien existe un entero positivo $n$ tal que $a^{n} = 1$ y $1, a, \dots, a^{n - 1}$ son todos distintos. En este segundo caso, ${1, a, \dots, a^{n - 1}}$ es un subgrupo de $G$ .

Sugerencia pre-demostración. Divide en casos. Luego, usa el principio de cancelación o las leyes de exponentes para grupos.

Demostración. Si todos los elementos son distintos, entonces no hay nada que hacer. De otra forma, existen $i < j$ tales que $a^{j} = a^{i}$ , de donde por la ley de cancelación tenemos que $a^{j - i} = e$ y $j - i \geq 1$ . Así, el conjunto de enteros positivos $m$ tales que $a^{m} = e$ es no vacío, de modo que por el principio de buen orden tiene un mínimo, digamos $n$ .

Afirmamos que $1, a, a^{2}, \dots, a^{n - 1}$ son todos distintos. En efecto, de no ser así, como en el argumento de arriba existirían $0 \leq i < j \leq n - 1$ tales que $a^{j - i} = e$ , pero $j - i \leq n - 1$ sería una contradicción a la elección de $n$ como elemento mínimo.

Probemos ahora que $A = {1, a, \dots, a^{n - 1}}$ es subgrupo de $G$ . Si tenemos $a^{k}$ y $a^{l}$ en $A$ , su producto es $a^{k + l}$ . Por el algoritmo de la división, $k + l = q n + r$ , con $r \in {0, \dots, n - 1}$ , de modo que $a^{k} a^{l} = a^{q n + r} = (a^{n})^{q} a^{r} = e^{q} a^{r} = a^{r},$ así que $A$ es cerrado bajo productos. Además, si $1 \leq k \leq n - 1$ , entonces $1 \leq n - k \leq n - 1$ y $a^{k} a^{n - k} = a^{n} = e$ . Así, $A$ es cerrado bajo inversos. Esto muestra que $A$ es subgrupo de $G$ .

En teoría de grupos, la palabra «orden» se usa de dos maneras. Por un lado si $G$ es un grupo, su orden $ord (G)$ es la cantidad de elementos que tiene. Por otro, dado un elemento $a$ , el orden $ord (a)$ de $a$ es el menor entero positivo $n$ tal que $a^{n} = e$ , si es que existe.

Definimos al subgrupo generado por $a$ como $⟨ a ⟩ := {a^{n} : n \in Z} .$ La proposición anterior dice que si $⟨ a ⟩$ es finito, entonces es un subgrupo de $G$ de orden $ord (⟨ a ⟩) = ord (a) .$ A los grupos de la forma $⟨ a ⟩$ se les llama cíclicos.

Teorema de Lagrange

Cuando estamos trabajando con grupos finitos, el orden de un subgrupo debe cumplir una condición de divisibilidad.

Teorema (de Lagrange). Sea $G$ un grupo finito y $H$ un subgrupo de $G$ . Entonces $ord (H)$ divide a $ord (G)$ .

No daremos la demostración de este teorema, pero veremos algunos corolarios que sirven en la resolución de problemas.

Proposición. Sea $G$ un grupo finito.

Si $ord (G)$ es un primo $p$ , entonces $G$ es cíclico.
El orden de cualquier elemento $a$ de $G$ divide al orden de $G$ , y por lo tanto $a^{ord (G)} = 1$ .
Si $a$ es un elemento de $G$ de orden $n$ y $a^{m} = e$ , entonces $n$ divide a $m$ .

Demostración. Para la primer parte, si tomamos un elemento $a$ de $G$ que no sea $e$ , ya vimos que $⟨ a ⟩$ es un subgrupo cíclico de $G$ . Por el teorema de Lagrange, su orden debe dividir al primo $p$ . Pero el orden de $⟨ a ⟩$ es al menos $2$ , así que el orden de $⟨ a ⟩$ debe ser $p$ y por lo tanto $⟨ a ⟩ = G$ .

Como vimos arriba, el orden de $a$ es el orden de $⟨ a ⟩$ , que divide a $G$ . Así,
$\begin{aligned} a^{ord (G)} & = (a^{ord a})^{ord (G) / ord (a)} \\ = e^{ord (G) / ord (a)} \\ = e . \end{aligned}$ Con esto queda probado el segundo punto.

Para el último punto, usamos el algoritmo de la división para escribir $m = q n + r,$ con $r$ entre $0$ y $n - 1$ . Tenemos que $e = a^{m} = a^{q n + r} = a^{r} .$ Por lo visto en la sección anterior, necesariamente $r = 0$ , así que $n$ divide a $m$ .

Veamos cómo se pueden aplicar algunas de las ideas anteriores a un problema de teoría de grupos concreto.

Problema. En un grupo $G$ , tenemos elementos $a$ y $b$ tales que $a^{7} = 1$ y $a b a^{- 1} = b^{2}$ . Determina qué posibles valores puede tener el orden de $b$ .

Sugerencia pre-solución. Conjetura una fórmula para $b^{2 n}$ buscando un patrón. Establécela por inducción.

Solución. El orden de $a$ debe dividir a $7$ , así que es o $1$ o $7$ . Si es $1$ , entonces $a = e$ , por lo que por la hipótesis tenemos $b = b^{2}$ . De aquí $b = e$ , así que el orden de $b$ es $1$ . La otra opción es que el orden de $a$ sea $7$ .

Afirmamos que para todo entero $n$ se tiene que $a^{n} b a^{- n} = b^{2^{n}}$ . Esto se prueba inductivamente. Es cierto para $n = 1$ por hipótesis. Si se cumple para cierta $n$ y elevamos la igualdad al cuadrado, tenemos que
$\begin{aligned} b^{2^{n + 1}} & = (b^{2 n})^{2} \\ = a^{n} b a^{- n} a^{n} b a^{- n} \\ = a^{n} b^{2} a^{- n} \\ = a^{n + 1} b a^{- (n + 1)}, \end{aligned}$

lo cual termina la inducción.

En particular, para $n = 7$ tenemos que $a^{7} = a^{- 7} = e$ , por lo que $b = b^{2^{7}}$ , y por lo tanto $b^{127} = e$ . Como $127$ es primo, el orden de $b$ puede ser $1$ ó $127$ .

En realidad, en el problema anterior falta mostrar que en efecto existe un grupo que satisfaga las hipótesis, y para el cual el orden de $b$ sea exactamente $127$ . Esto no lo verificaremos aquí.

Teoría de grupos en teoría de números

Lo que hemos platicado de teoría de grupos se vale para grupos en general. Cuando aplicamos estos resultados a grupos particulares, tenemos nuevas técnicas para resolver problemas. Uno de los casos que aparecen más frecuentemente es aplicar teoría de grupos en problemas de teoría de números.

Si tomamos un entero $n$ , los enteros entre $1$ y $n - 1$ que son primos relativos con $n$ forman un grupo con la operación de producto módulo $n$ . Si llamamos $φ (n)$ a la cantidad de primos relativos con $n$ entre $1$ y $n - 1$ , el teorema de Lagrange da el siguiente corolario.

Teorema (de Euler). Para todo entero positivo $n$ y $a$ un entero primo relativo con $n$ , se tiene que $a^{φ} (n) \equiv 1 (\mod n) .$

Como corolario al teorema de Euler, tenemos el pequeño teorema de Fermat, que hemos discutido previamente aquí en el blog.

Teorema (pequeño teorema de Fermat). Para $p$ un primo y $a$ un entero que no sea múltiplo de $p$ , se tiene que $a^{p - 1} \equiv 1 (\mod p) .$

Así, cuando $p$ es primo y $a$ no es múltiplo de $p$ , se tiene que el orden de $a$ divide a $p - 1$ . Veamos un ejemplo en donde esta idea forma parte fundamental de la solución.

Problema. Muestra que para ningún entero $n > 1$ se tiene que $n$ divide a $2^{n} - 1$ .

Sugerencia pre-solución. Procede por contradicción, suponiendo que sí existe. Considera un primo $p$ que divida a $n$ y que además sea extremo en algún sentido. Trabaja módulo $p$ .

Solución. Supongamos que existe un entero $n > 1$ tal que $n$ divide a $2^{n} - 1$ . Sea $p$ el primo más pequeño que divide a $n$ . Tomemos $a$ el orden de $2$ en el grupo multiplicativo $Z_{p}$ .

Por un lado, como $p$ divide a $n$ y $n$ divide a $2^{n} - 1$ , se tiene que $p$ divide a $2^{n} - 1$ y por lo tanto $2^{n} \equiv 1 (\mod p) .$ De esta forma, $a$ divide a $n$ .

Por otro lado, por el pequeño teorema de Fermat, tenemos que $2^{p - 1} \equiv 1 (\mod p),$ así que $a$ divide a $p - 1$ y por lo tanto $a \leq p - 1$ .

Si $a \neq 1$ , entonces $a$ tiene un divisor primo que divide a $n$ y es menor que $a \leq p - 1$ , lo cual es imposible pues elegimos a $p$ como el menor divisor primo de $n$ . De esta forma, $a = 1$ . Pero esto da la contradicción $2 \equiv 1 (\mod p)$ .

Anillos, dominios enteros y campos

Cuando se están resolviendo problemas, es importante tener en mente que existen otras estructuras algebraicas. Definiremos sólo las más comunes y veremos un problema ejemplo.

Definición. Un anillo es un conjunto $R$ con dos operaciones binarias suma y producto tales que:

$R$ con la suma es un grupo conmutativo.
El producto en $R$ es asociativo, es decir $(a b) c = a (b c)$ para $a, b, c$ en $R$ .
Se cumple la ley distributiva, es decir $a (b + c) = a b + a c$ y $(b + c) a = b a + c a$ para $a, b, c$ en $R$ .

El producto en $R$ no tiene por qué ser un grupo. De hecho, ni siquiera tiene que tener neutro.

Definición. Si un anillo $R$ tiene neutro, decimos que $R$ es un anillo con $1$ . Si la multiplicación de $R$ es conmutativa, decimos que $R$ es conmutativo.

Definición. Un dominio entero es un anillo conmutativo con uno en donde además se vale cancelar, es decir, $a b = a c$ implica $b = c$ y $b a = c a$ implica $b = c$ .

Definición. Un campo es un anillo conmutativo con uno en donde cada elemento distinto de la identidad aditiva tiene inverso multiplicativo. En otras palabras, es un anillo en donde la suma y el producto son grupos.

Problema. Muestra que todo dominio entero finito es un campo.

Sugerencia pre-solución. Usa el principio de las casillas.

Solución. Supongamos que $R = {a_{1}, \dots, a_{n}}$ es un dominio entero con una cantidad finita de elementos. Lo único que falta para que sea campo es que los elementos tengan inversos multiplicativos.

Sea $a$ un elemento de $R$ y supongamos que $a$ no tiene inverso multiplicativo. Entonces, los números $a_{1} a, a_{2} a, \dots, a_{n} a$ sólo pueden tomar a lo más $n - 1$ valores diferentes, de modo que por principio de las casillas existen dos de ellos que son iguales, digamos $a_{i} a = a_{j} a$ para $i \neq j$ .

Como $R$ es dominio entero, se vale cancelar, lo cual muestra $a_{i} = a_{j}$ . Esto es una contradicción, pues $a_{i}$ y $a_{j}$ eran elementos distintos de $R$ . Así, todo elemento tiene inverso multiplicativo.

En cursos de matemáticas a nivel superior se ven muchos ejemplos de estas estructuras algebraicas. En cursos de Álgebra Superior se construye el dominio entero de enteros $Z$ . Se construyen los campos $R$ , $Q$ y $C$ . También, se construyen los anillos de polinomios $F [x]$ . La noción de campo es fundamental cuando se construye la teoría de Álgebra Lineal. Como se puede ver, la teoría de álgebra es muy amplia, así que esta entrada sólo queda como invitación al tema.

Más problemas

Puedes encontrar más problemas de estructuras algebraicas en la Sección 4.4 del libro Problem Solving through Problems de Loren Larson.

Álgebra Lineal I: Problemas de dualidad y base dual

Por Blanca Radillo

10 respuestas

Introducción

En esta ocasión, comenzaremos a resolver problemas sobre un nuevo tema: espacio dual. La parte teórica ya la hemos cubierto en entradas anteriores. En la entrada de introducción a dualidad definimos el espacio dual y las formas coordenadas. Después, en una siguiente entrada, de bases duales vimos que las formas coordenadas son una base del espacio dual, hablamos de ciertos problemas prácticos para resolver, y vimos un teorema que relaciona bases, bases duales y una matriz invertible.

Problemas resueltos

Uno de los problemas de dualidad que discutimos la ocasión anterior es expresar a una base dual de vectores en $V$ en términos de la base dual de la base canónica. Veamos un ejemplo de esto.

Problema 1. Sean $v_{1}, v_{2}, v_{3}, v_{4}$ los vectores en $R^{4}$ definidos como $v_{1} = (\begin{matrix} 1 \\ 1 \\ 1 \\ 1 \end{matrix}), v_{2} = (\begin{matrix} 1 \\ 2 \\ 3 \\ 4 \end{matrix}), v_{3} = (\begin{matrix} 0 \\ 0 \\ 1 \\ 2 \end{matrix}), v_{4} = (\begin{matrix} 1 \\ 0 \\ 0 \\ 5 \end{matrix}) .$ Demuestra que $V := {v_{1}, v_{2}, v_{3}, v_{4}}$ es una base de $R^{4}$ y encuentra la base dual de $V$ en términos de $e_{i}^{*}$ , donde $e_{i}^{*}$ es la base dual de la base canónica de $R^{4}$ .

Solución. Dado que $V$ está conformado por cuatro vectores y la dimensión de $R^{4}$ es $4$ , basta con probar que son vectores linealmente independientes. Hay dos maneras de hacerlo.

Manera 1: Sean $a, b, c, d \in R$ tales que $0 = a v_{1} + b v_{2} + c v_{3} + d v_{4}$ . Esto da cuatro ecuaciones

$\begin{aligned} 0 & = a + b + d \\ 0 & = a + 2 b \\ 0 & = a + 3 b + c \\ 0 & = a + 4 b + 2 c + 5 d . \end{aligned}$

De la segunda obtenemos que $a = - 2 b$ , sustituyendo en la primera y en la tercera
$\begin{aligned} d & = 2 b - b = b, \\ c & = 2 b - 3 b = - b, \end{aligned}$
y sustituyendo ésto en la cuarta, tenemos que $0 = - 2 b + 4 b - 2 b + 5 b = 5 b$ . Por lo tanto $a = b = c = d = 0$ , implicando que los vectores en $V$ son linealmente independientes, y por consiguiente forman una base de $R^{4}$ .

Manera 2: También podemos hacer la reducción gaussiana en la matriz $(A | I)$ donde $A$ es la matriz cuyas columnas son los vectores de $V$ . Esta forma tiene la ventaja de que a la vez calcularemos la matriz inversa que nos interesa encontrar.
$(\begin{array}{cccccccc} 1 & 1 & 0 & 1 & 1 & 0 & 0 & 0 \\ 1 & 2 & 0 & 0 & 0 & 1 & 0 & 0 \\ 1 & 3 & 1 & 0 & 0 & 0 & 1 & 0 \\ 1 & 4 & 2 & 5 & 0 & 0 & 0 & 1 \end{array})$

$\to (\begin{array}{cccccccc} 1 & 1 & 0 & 1 & 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & - 1 & - 1 & 1 & 0 & 0 \\ 0 & 2 & 1 & - 1 & - 1 & 0 & 1 & 0 \\ 0 & 3 & 2 & 4 & - 1 & 0 & 0 & 1 \end{array})$

$\to (\begin{array}{cccccccc} 1 & 1 & 0 & 1 & 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & - 1 & - 1 & 1 & 0 & 0 \\ 0 & 0 & 1 & 1 & 1 & - 2 & 1 & 0 \\ 0 & 0 & 2 & 7 & 2 & - 3 & 0 & 1 \end{array})$

$\to (\begin{array}{cccccccc} 1 & 0 & 0 & 0 & 2 & - 7 / 5 & 4 / 5 & - 2 / 5 \\ 0 & 1 & 0 & 0 & - 1 & 6 / 5 & - 2 / 5 & 1 / 5 \\ 0 & 0 & 1 & 0 & 1 & - 11 / 5 & 7 / 5 & - 1 / 5 \\ 0 & 0 & 0 & 1 & 0 & 1 / 5 & - 2 / 5 & 1 / 5 \end{array})$

Como podemos reducir a la identidad, los vectores iniciales son linealmente independientes y forman una base. Más aún, ya obtuvimos la inversa de $A$ .

Ahora, para obtener la base dual $V^{*} := {v_{1}^{*}, v_{2}^{*}, v_{3}^{*}, v_{4}^{*}}$ de la base $V$ , por lo visto en la última entrada, podemos escribir a cada elemento de $V^{*}$ como combinación lineal de $e_{i}^{*}$ , donde los coeficientes del vector $v_{i}^{*}$ están en la $i$ -ésima fila de $A^{- 1}$ . Por lo tanto,
$\begin{aligned} v_{1}^{*} & = 2 e_{1}^{*} - \frac{7}{5} e_{2}^{*} + \frac{4}{5} e_{3}^{*} - \frac{2}{5} e_{4}^{*} \\ v_{2}^{*} & = - e_{1}^{*} + \frac{6}{5} e_{2}^{*} - \frac{2}{5} e_{3}^{*} + \frac{1}{5} e_{4}^{*} \\ v_{3}^{*} & = e_{1}^{*} - \frac{11}{5} e_{2}^{*} + \frac{7}{5} e_{3}^{*} - \frac{1}{5} e_{4}^{*} \\ v_{4}^{*} & = \frac{1}{5} e_{2}^{*} - \frac{2}{5} e_{3}^{*} + \frac{1}{5} e_{4}^{*} . \end{aligned}$

Otro tipo de problemas de dualidad consisten en determinar algunos vectores en $V$ cuya base dual sea una base dada de $V^{*}$ .

Problema 2. Considera las siguientes formas lineales en $R^{3}$ : $\begin{aligned} l_{1} (x, y, z) & = x - y, \\ l_{2} (x, y, z) & = y - z, \\ l_{3} (x, y, z) & = x + y - z . \end{aligned}$

Prueba que $l_{1}, l_{2}, l_{3}$ forman una base del dual de $R^{3}$ .
Encuentra una base de $R^{3}$ cuya base dual es $l_{1}, l_{2}, l_{3}$ .

Solución. (1) Por el último teorema de la entrada de bases duales, sabemos que $l_{1}, l_{2}, l_{3}$ forman una base si la matriz $A = [l_{i} (e_{j})]$ es invertible, donde $e_{j}$ es la base canónica de $R^{3}$ .

Para mostrar que $A$ es invertible, calcularemos la forma escalonada reducida de la matríz $(A | I)$ . Entonces,

$\begin{aligned} (\begin{array}{cccccc} 1 & - 1 & 0 & 1 & 0 & 0 \\ 0 & 1 & - 1 & 0 & 1 & 0 \\ 1 & 1 & - 1 & 0 & 0 & 1 \end{array}) \\ \to & (\begin{array}{cccccc} 1 & - 1 & 0 & 1 & 0 & 0 \\ 0 & 1 & - 1 & 0 & 1 & 0 \\ 0 & 2 & - 1 & - 1 & 0 & 1 \end{array}) \\ \to & (\begin{array}{cccccc} 1 & - 1 & 0 & 1 & 0 & 0 \\ 0 & 1 & - 1 & 0 & 1 & 0 \\ 0 & 0 & 1 & - 1 & - 2 & 1 \end{array}) \\ \to & (\begin{array}{cccccc} 1 & 0 & 0 & 0 & - 1 & 1 \\ 0 & 1 & 0 & - 1 & - 1 & 1 \\ 0 & 0 & 1 & - 1 & - 2 & 1 \end{array}) \end{aligned}$

Con esto concluimos que $A$ es invertible, y por lo tanto $l_{1}, l_{2}, l_{3}$ forman una base del dual de $R^{3}$ .

(2) En el inciso anterior, calculamos la inversa de $A$ , obteniendo $A^{- 1} = (\begin{matrix} 0 & - 1 & 1 \\ - 1 & - 1 & 1 \\ - 1 & - 2 & 1 \end{matrix}) .$
Recordemos que la base $v_{1}, v_{2}, v_{3}$ de $R^{3}$ está determinada por las columnas de $B = A^{- 1}$ , entonces $v_{1} = (\begin{matrix} 0 \\ - 1 \\ - 1 \end{matrix}), v_{2} = (\begin{matrix} - 1 \\ - 1 \\ - 2 \end{matrix}), v_{3} = (\begin{matrix} 1 \\ 1 \\ 1 \end{matrix}) .$

Veamos otro ejemplo, en el que veremos formas lineales un poco más interesantes, relacionadas con cálculo.

Problema 3. Sea $V = C_{2} [X]$ el espacio vectorial de polinomios de grado a lo más 2 con coeficientes complejos, y para cada $P \in V$ definimos
$\begin{aligned} l_{1} (P) & = P (0), \\ l_{2} (P) & = \int_{0}^{1} P (x) d x, \\ l_{3} (P) & = \int_{0}^{1} P (x) e^{- 2 π i x} d x . \end{aligned}$

Prueba que $l_{1}, l_{2}, l_{3}$ pertenecen a $V^{*}$ . Más aún, forman una base de $V^{*}$ .
Encuentra una base $v_{1}, v_{2}, v_{3}$ de $V$ cuya base dual es $l_{1}, l_{2}, l_{3}$ .

Solución. (1) No es difícil ver que son formas lineales. Para $l_{1}$ , notamos que $\begin{aligned} l_{1} (P + Q) & = P (0) + Q (0) = l_{1} (P) + l_{1} (Q) \\ l_{1} (a P) & = a P (0) = a l_{1} (P) \end{aligned}$ para cualesquiera polinomios $P$ y $Q$ , y cualquier escalar $a$ en $C$ . Para $l_{2}$ y $l_{3}$ , la linealidad se sigue por las propiedades de la integral.

Para probar que $l_{1}, l_{2}, l_{3}$ forman una base de $V^{*}$ , lo haremos de manera similar al problema anterior. Sabemos que $1, x, x^{2}$ forman la base canónica de $V$ , entonces $L := {l_{1}, l_{2}, l_{3}}$ es una base de $V^{*}$ si la matriz $A = [l_{i} (e_{j})]$ es invertible. Calculando $l_{1} (1) = 1, l_{1} (x) = l_{1} (x^{2}) = 0,$ $l_{2} (1) = 1, l_{2} (x) = \int_{0}^{1} x d x = \frac{1}{2},$ $l_{2} (x^{2}) = \int_{0}^{1} x^{2} d x = \frac{1}{3},$ $l_{3} (1) = \int_{0}^{1} e^{- 2 π i x} d x = 0, l_{3} (x) = \int_{0}^{1} x e^{- 2 π i x} d x = \frac{i}{2 π},$ $l_{3} (x^{2}) = \int_{0}^{1} x^{2} e^{- 2 π i x} d x = \frac{1 + i π}{2 π^{2}} .$
(Para calcular $l_{3} (x), l_{3} (x^{2})$ se usa integración por partes). Entonces la matriz es $A = (\begin{matrix} 1 & 0 & 0 \\ 1 & 1 / 2 & 1 / 3 \\ 0 & \frac{i}{2 π} & \frac{1 + i π}{2 π^{2}} \end{matrix}) .$

Ahora, reduciremos la matriz $(A | I)$ para simultáneamente probar que $A$ es invertible y encontrar $A^{- 1}$ . Tenemos que

$\begin{aligned} (\begin{array}{cccccc} 1 & 0 & 0 & 1 & 0 & 0 \\ 1 & 1 / 2 & 1 / 3 & 0 & 1 & 0 \\ 0 & \frac{i}{2 π} & \frac{1 + i π}{2 π^{2}} & 0 & 0 & 1 \end{array}) \\ \to & (\begin{array}{cccccc} 1 & 0 & 0 & 1 & 0 & 0 \\ 0 & 1 / 2 & 1 / 3 & - 1 & 1 & 0 \\ 0 & i π & 1 + i π & 0 & 0 & 2 π^{2} \end{array}) \\ \to & (\begin{array}{cccccc} 1 & 0 & 0 & 1 & 0 & 0 \\ 0 & 3 & 2 & - 6 & 6 & 0 \\ 0 & 1 & \frac{1 + i π}{i π} & 0 & 0 & - 2 i π \end{array}) \\ \to & (\begin{array}{cccccc} 1 & 0 & 0 & 1 & 0 & 0 \\ 0 & 1 & 0 & \frac{- 6 - 6 π i}{3 + π i} & \frac{6 + 6 π i}{3 + π i} & \frac{- 4 π^{2}}{3 + π i} \\ 0 & 0 & 1 & \frac{6 π i}{3 + π i} & \frac{- 6 π i}{3 + π i} & \frac{6 π^{2}}{3 + π i} \end{array}) \end{aligned}$

Por lo tanto $A$ es invertible, implicando que $L$ es una base de $V^{*}$ .

(2) Ya calculada en el inciso anterior, tenemos que $A^{- 1} = \frac{1}{3 + π i} (\begin{matrix} 3 + π i & 0 & 0 \\ - 6 - 6 π i & 6 + 6 π i & - 4 π^{2} \\ 6 π i & - 6 π i & 6 π^{2} \end{matrix}) .$ De esta matriz leemos a las coordenadas de la base que estamos buscando en términos de la la base canónica ${1, x, x^{2}}$ . Las columnas son los vectores de coordenadas. Por lo tanto, la base de $V$ tal que $L$ es la base dual es:

$\begin{aligned} v_{1} & = \frac{1}{3 + π i} (3 + π i - (6 + 6 π i) x + 6 π i x^{2}) \\ v_{2} & = \frac{1}{3 + π i} ((6 + 6 π i) x - 6 π i x^{2}) \\ v_{3} & = \frac{1}{3 + π i} (- 4 π^{2} x + 6 π^{2} x^{2}) . \end{aligned}$

Fórmula de interpolación de Lagrange

La teoría de dualidad tiene amplias aplicaciones. Con ella se puede probar un resultado clásico: podemos construir un polinomio de grado $n$ que pase por $n + 1$ puntos que nosotros queramos. En el siguiente ejercicio vemos los detalles.

Problema. (Interpolación de Lagrange) Sea $V = R_{n} [X]$ el espacio vectorial de polinomios de grado a lo más $n$ con coeficientes reales. Sean $x_{0}, \dots, x_{n}$ números reales distintos. Para $0 \leq i \leq n$ definimos $L_{i} (x) = \prod_{0 \leq j \leq n, j \neq i} \frac{x - x_{j}}{x_{i} - x_{j}} .$

Demuestra que $L_{i} (x_{j}) = δ_{i j}$ para todo $1 \leq i, j \leq n$ , donde $δ_{i j}$ es igual a 1 si $i = j$ y es igual a 0 si $i \neq j$ .
Prueba que $L_{0}, \dots, L_{n}$ forman una base de $V$ .
Encuentra la base dual de $L_{0}, \dots, L_{n}$ .
Prueba la Fórmula de Interpolación de Lagrange: para todo $P \in V$ tenemos que $P = \sum_{i = 0}^{n} P (x_{i}) L_{i} .$
Demuestra que para cualquiera $b_{0}, \dots, b_{n} \in R$ , podemos encontrar un único polinomio $P \in V$ tal que $P (x_{i}) = b_{i}$ para todo $0 \leq i \leq n$ . Este polinomio $P$ es llamado el polinomio de interpolación de Lagrange asociado a $b_{0}, \dots, b_{n}$ .

Solución. (1) Si $j \neq i$ , entonces $L_{i} (x_{j}) = \frac{x_{j} - x_{j}}{x_{i} - x_{j}} \cdot \prod_{k \neq j, i} \frac{x_{j} - x_{k}}{x_{i} - x_{k}} = 0.$ Por otro lado si $i = j$ , $L_{i} (x_{j}) = L_{i} (x_{i}) = \prod_{k \neq i} \frac{x_{i} - x_{k}}{x_{i} - x_{k}} = 1 .$

(2) Dado que $dim (V) = n + 1$ , cuya base canónica es $1, x, \dots, x^{n}$ y $L_{0}, \dots, L_{n}$ son $n + 1$ vectores, para probar que son base, basta con demostrar que son linealmente independientes. Sean $a_{0}, \dots, a_{n}$ tales que $a_{0} L_{0} + \dots + a_{n} L_{n} = 0$ . Evaluando en $x_{i}$ y usando el inciso anterior, tenemos que $0 = \sum_{j = 0}^{n} a_{j} L_{j} (x_{i}) = \sum_{j = 0}^{n} a_{j} δ_{i j} = a_{i},$ pero esto pasa cualquier $0 \leq i \leq n$ . Por lo tanto $L_{0}, \dots, L_{n}$ son linealmente independientes, y por consiguiente, son base de $V$ .

(3) Por definición de la base dual $L_{i}^{*} (L_{j}) = δ_{i j}$ , y por el inciso (a) tenemos que $L_{j} (x_{i}) = δ_{i j}$ , entonces $L_{i}^{*} (L_{j}) = L_{j} (x_{i})$ , para toda $i, j$ . Ahora, fijamos $i$ . Dado que $L_{0}, \dots, L_{n}$ forman una base de $V^{*}$ y dado que $L_{i}^{*}$ es lineal, para todo polinomio $P$ en $V$ , escrito en términos de la base como $P (x) = a_{0} L_{0} + a_{1} L_{1} + \dots + a_{n} L_{n},$ tenemos que
$\begin{aligned} L_{i}^{*} (P) & = a_{0} L_{i}^{*} (L_{0}) + \dots + a_{n} L_{i}^{*} (L_{n}) \\ = a_{0} L_{0} (x_{i}) + \dots + a_{n} L_{n} (x_{i}) \\ = P (x_{i}) . \end{aligned}$

Por lo tanto la base dual es $L_{i}^{*} = {ev}_{x_{i}}$ . Dicho de otra forma, la $i$ -ésima forma coordenada consiste en evaluar en $x_{i}$ .

(4) Sabemos que la base dual satisface que $P = \sum_{i = 0}^{n} ⟨ L_{i}^{*}, P ⟩ L_{i} .$ Pero por el inciso anterior, $⟨ L_{i}^{*}, P ⟩ = L_{i}^{*} (P) = P (x_{i})$ , entonces $P = \sum_{i} P (x_{i}) L_{i}$ .

(5) Definimos $P = \sum_{i = 0}^{n} b_{i} L_{i}$ . Por el inciso (1), tenemos que $P (x_{j}) = \sum_{i} b_{i} L_{i} (x_{j}) = \sum_{i} b_{i} δ_{i j} = b_{j} .$ Entonces el polinomio existe. Falta probar la unicidad.

Suponemos que existe $Q \in V$ tal que $Q (x_{i}) = b_{i}$ para todo $i$ . Notemos que $P - Q$ es un polinomio de grado a lo más $n$ (por definición) y $(P - Q) (x_{i}) = 0$ para todo $i$ , esto implica que $P - Q$ tiene $n + 1$ raíces distintas, lo cual es imposible si $P - Q \neq 0$ , por lo tanto, $P - Q = 0$ , es decir $P = Q$ .

El último argumento viene de la teoría de polinomios. Puedes repasarla en otro curso que tenemos en el blog. Observa que este problema también se satisface para los polinomios con coeficientes complejos, $V = C_{n} [X]$ . Intenta reproducir la demostración por tu cuenta.

Expresar integral como suma de evaluaciones

Terminamos esta entrada con el siguiente problema. El enunciado no menciona dualidad, pero podemos usar la teoría desarrollada hasta ahora para resolverlo.

Problema. Sean $x_{0}, x_{1}, x_{2} \in [0, 1]$ , y sea $V = R_{2} [X]$ . Definimos el mapeo $l (P) = \int_{0}^{1} P (x) e^{- x} d x .$ Demuestra que $l$ es una forma lineal en $V$ y prueba que existe una única tercia $(a_{0}, a_{1}, a_{2})$ de números reales tales que para todo polinomio $P$ en $V$ se cumple que $\int_{0}^{1} P (x) e^{- x} d x = a_{0} P (x_{0}) + a_{1} P (x_{1}) + a_{2} P (x_{2}) .$

Solución. Debido a las propiedades de la integral, es fácil ver que $l$ es lineal, ya que

$\begin{aligned} l (a P + Q) & = \int_{0}^{1} (a P (x) + Q (x)) e^{- x} d x \\ = a \int_{0}^{1} P (x) e^{- x} d x + \int_{0}^{1} Q (x) e^{- x} d x \\ = a l (P) + l (Q) . \end{aligned}$

Usando el problema anterior, tenemos que $L_{0}^{*} = {ev}_{x_{0}}$ , $L_{1}^{*} = {ev}_{x_{1}}$ y $L_{2}^{*} = {ev}_{x_{2}}$ forman una base de $V$ . Por lo tanto existen $(a_{0}, a_{1}, a_{2})$ tales que $l = a_{0} L_{0}^{*} + a_{1} L_{1}^{*} + a_{2} L_{2}^{*} .$ Entonces

$\begin{aligned} \int_{0}^{1} P (x) e^{- x} & = l (P) = a_{0} L_{0}^{*} (P) + a_{1} L_{1}^{*} (P) + a_{2} L_{3}^{*} (P) \\ = a_{0} P (x_{0}) + a_{1} P (x_{1}) + a_{2} P (x_{2}) . \end{aligned}$

Es fácil ver que es única esa tercia, ya que, si existiera otra $(b_{0}, b_{1}, b_{2})$ tal que $l = b_{0} L_{0}^{*} + b_{1} L_{1}^{*} + b_{2} L_{2}^{*},$ esto implica que $0 = (a_{0} - b_{0}) L_{0}^{*} + (a_{1} - b_{1}) L_{1}^{*} + (a_{2} - b_{2}) L_{2}^{*},$ y dado que $L_{i}^{*}$ son una base, tendríamos $a_{i} = b_{i}$ para $i = 0, 1, 2$ .

Entradas relacionadas

Ir a Álgebra Lineal I
Entrada anterior del curso: Bases duales, recetas y una matriz invertible
Siguiente entrada del curso: Ortogonalidad y espacio ortogonal

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104721 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM»

El blog de Leo

Aprendiendo, creando y compartiendo matemáticas

Archivo de la etiqueta: lagrange

Álgebra Moderna I: Caracterización de grupos cíclicos

Introducción

Todo divisor tiene un subgrupo de ese orden

Demostrando resultados de teoría de números usando teoría de grupos

Ahora sí, la caracterización que todos esperábamos

Consecuencias

Tarea moral

Más adelante…

Entradas relacionadas

Álgebra Moderna I: Teorema de Lagrange

Introducción

Ingredientes para la demostración

Señoras y señores, les presento a Lagrange

Consecuencias del teorema

Tarea moral

Más adelante…

Entradas relacionadas

Seminario de Resolución de Problemas: Grupos, anillos y campos

Introducción

Teoría de grupos básica

Subgrupos y órdenes

Teorema de Lagrange

Teoría de grupos en teoría de números

Anillos, dominios enteros y campos

Más problemas

Álgebra Lineal I: Problemas de dualidad y base dual

Introducción

Problemas resueltos

Fórmula de interpolación de Lagrange

Expresar integral como suma de evaluaciones

Entradas relacionadas

Agradecimientos