Archivo de la categoría: Matemáticas

Posts de matemáticas, la ciencia más cercana a las artes.

Cálculo Diferencial e Integral I: Repaso. Teoría de Conjuntos. (Parte 2)

Por Karen González Cárdenas

Deja un comentario

Introducción

En la entrada anterior vimos qué significa ser un conjunto y cuál es la notación que se utiliza para denotarlos. Además de un par de conceptos: pertenencia a un conjunto y subconjunto.

Retomaremos todo lo antes mencionado para ahora presentar las llamadas Operaciones con conjuntos. Éstas estarán presentes no sólo en este curso, sino también en varios de los textos de matemáticas que consultarás a lo largo de tu vida académica.

Operaciones con conjuntos

A lo largo de esta entrada haremos uso de una representación gráfica de los conjuntos llamada Diagramas de Venn para poder visualizar cada una de las operaciones que definiremos a continuación.

Ejemplo de diagrama de Venn

Definición (Unión): Sean $A$ y $B$ dos conjuntos. Decimos que la unión de $A$ con $B$ está definida como:

\[ A \cup B:=\left\{ x\mid x\in A \vee x\in B\right\} \text{.}\]

Esto quiere decir que está conformada por los elementos que se encuentran en $A$ o los que se encuentran en $B$. En el siguiente diagrama queda representada por la zona sombreada de azul.

Notación: Utilizamos el símbolo matemático $\vee$ para sustituir a la disyunción «o».

Observación. En este caso al hacer uso de la «o» estamos considerando que esta es inclusiva, lo que quiere decir que es válido que $x$ se encuentre tanto en $A$ como en $B$.

A continuación mostraremos un ejemplo para hacer más clara la definición.

Ejemplo: Supongamos que tenemos los siguientes conjuntos:

\[ A=\left\{0,1, 2, 3, 4\right\} \text{,}\]
\[ B=\left\{0, a,b,c,d,e\right\} \text{.}\]

Si nosotros queremos obtener $A \cup B$, al aplicar la definición anterior tenemos:

\[ A \cup B=\left\{0,1, 2, 3, 4,0,a,b,c,d,e \right\} \text{.} \]

Observamos que al realizar la unión de este par de conjuntos «unimos sus elementos en un sólo conjunto llamado $A \cup B$». Veamos que el 0 es un elemento tanto de $A$ como de $B$, por lo que sólo será necesario escribirlo una vez y así nos queda:

\[ A \cup B=\left\{0,1, 2, 3, 4,a,b,c,d,e \right\} \text{.}\]

Definición (Intersección): Sean $A$ y $B$ dos conjuntos. Decimos que la intersección de $A$ con $B$ está definida como:

\[ A \cap B:=\left\{ x\mid x\in A \wedge x\in B\right\} \text{.}\]

Esto quiere decir que está conformada por los elementos que se encuentran en $A$ y los que se encuentran en $B$. En otras palabras, la intersección está conformada por los elementos en común de $A$ y $B$.

Notación: Utilizamos el símbolo matemático $\wedge$ para sustituir a la conjunción «y».

En el diagrama anterior queda representada por la zona sombreada de verde.

Ejemplo: Retomamos los siguientes conjuntos:

\[ A=\left\{0,1, 2, 3, 4\right\} \text{,}\]
\[ B=\left\{0, a,b,c,d,e\right\} \text{.}\]

Si nosotros queremos obtener $A \cap B$, al aplicar la definición anterior tenemos:

\[ A \cap B=\left\{0 \right\}\text{.} \]

Definición (Diferencia): Sean $A$ y $B$ dos conjuntos. Decimos que la diferencia de $A$ con $B$ está definida como:

\[ A \setminus B:=\left\{ x\mid x\in A \wedge x\notin B\right\}\text{.} \]

Esto quiere decir que está conformada por los elementos que se encuentran en $A$ y que no se encuentran en $B$.

Ejemplo: Retomamos los conjuntos:

\[ A=\left\{0,1, 2, 3, 4\right\} \text{,}\]
\[ B=\left\{0, a,b,c,d,e\right\} \text{.}\]

Si nosotros queremos obtener $A \setminus B$, al aplicar la definición anterior tenemos:

\[ A \setminus B=\left\{1,2,3,4 \right\} \text{.}\]

Vemos que le hemos quitado los elementos a $A$ que tenía en común con $B$. Por lo que el diagrama nos quedaría como:

Teorema: Sean $A$, $B$ y $C$ conjuntos. Tenemos que:

  1. Propiedades conmutativas:
    • \[A \cup B = B \cup A\quad \text{.}\]
    • \[A \cap B = B \cap A\quad\text{.}\]
  2. Propiedades asociativas:
    • \[A \cup (B\cup C) = (A \cup B)\cup C \quad \text{.}\]
    • \[A \cap (B\cap C) = (A \cap B)\cap C \quad\text{.}\]
  3. Propiedades distributivas:
    • \[A \cap (B\cup C) = (A \cap B)\cup (A\cap C)\quad\text{.}\]
    • \[A \cup (B\cap C) = (A \cup B)\cap (A\cup C) \quad\text{.}\]
  4. \[ A\cup A= A \quad\text{.}\] \[A\cap A= A \quad\text{.}\]
  5. \[ A\subseteq A\cup B \quad\text{.} \] \[ A\cap B \subseteq A \quad\text{.}\]
  6. \[ A\cup \emptyset = A \quad\text{.}\] \[A\cap \emptyset= \emptyset\quad\text{.}\]
    • Nota.-$\emptyset$ denota al conjunto vacío: es aquel que no posee elementos.
  7. \[A \setminus (B\cap C) = (A \setminus B)\cup (A\setminus C) \quad\text{.} \]

Demostración:

1.Probaremos la igualdad $A \cup B = B \cup A$, haciendo uso de la definición de igualdad de conjuntos, así tenemos:

$A \cup B = B \cup A$ si y sólo si $A\cup B\subseteq B \cup A$ y $B\cup A\subseteq A\cup B$

Comencemos con $A\cup B\subseteq B \cup A$. Sea $x\in A\cup B$, por la definición de subconjunto queremos probar que $x\in B\cup A$.

Por definición de unión se sigue que $x \in B$ o $x\in A$.

Caso 1: $x \in B$.

Como $x \in B$ entonces $x \in B$ o $x \in A$. Así, por la definición de unión concluimos que: $x\in B\cup A$.

Caso 2: $x \in A$.

Ahora como $x \in A$ entonces $x \in A$ o $x \in B$. Y como el conectivo «o» es conmutativo tenemos: $x \in A$ entonces $x \in B$ o $x \in A$. Así, por la definición de unión concluimos que: $x\in B\cup A$.

Del Caso 1 y Caso 2 concluimos que: $x\in B\cup A$. Por lo tanto, $A\cup B\subseteq B \cup A$.

Ahora probemos la segunda contención: $B\cup A\subseteq A\cup B$. Sea $x\in B\cup A$, así lo que queremos probar es $x\in A\cup B$.

Por definición de unión se sigue que $x \in B$ o $x\in A$.

Caso 3: $x \in B$.

Como $x \in B$ entonces $x \in B$ o $x \in A$, y como el conectivo «o» es conmutativo tenemos $x \in B$ entonces $x \in A$ o $x \in B$. Así, por la definición de unión concluimos que $x\in A\cup B$.

Caso 4: $x \in A$.

Ahora como $x \in A$ entonces $x \in A$ o $x \in B$. Así, por la definición de unión concluimos que $x\in A\cup B$.

Del Caso 3 y Caso 4 concluimos que: $x\in B\cup A$. Por lo tanto, $B\cup A\subseteq A\cup B$.

Por lo que finalmente probamos: $A\cup B = B \cup A$. La igualdad $A \cap B = B \cap A$ se dejará como ejercicio al lector.

2. Los incisos de las Propiedades asociativas quedan como ejercicio de Tarea moral.

3. Probaremos sólo la igualdad $A \cup (B\cap C) = (A \cup B)\cap (A\cup C)$.

Comenzaremos con probar la siguiente contención: $A \cup (B\cap C)\subseteq (A \cup B)\cap (A\cup C)$. Así tomemos $x\in A \cup (B\cap C)$, queremos demostrar que $x\in (A \cup B)\cap (A\cup C)$.

Caso 1: $x\in A$
Así tenemos que se cumple:
\begin{align}
x \in A\vee x\in B &\Rightarrow x\in A\cup B
\end{align}
Y también sucede que:
\begin{align}
x \in A\vee x\in C &\Rightarrow x\in A\cup C
\end{align}
En (1) y (2) aplicamos la propiedad de adición para la disyunción y la definición de la unión. Por lo que concluimos, al aplicar la definición de la intersección en (3):
\begin{align}
x\in A\cup B \wedge x\in A\cup C \Rightarrow x\in (A\cup B) \cap (A\cup C)
\end{align}

Caso 2: $x \in B\cap C$
Así por definición de intersección, tenemos que:
\begin{align}
x\in B \wedge x\in C &\Rightarrow (x\in B \wedge x\in C) \vee x\in A\\
&\Rightarrow (x\in B \vee x\in A) \wedge (x\in C \vee x \in A)\\
&\Rightarrow x\in B\cup A \wedge x\in C\cup A\\
&\Rightarrow x\in A\cup B \wedge x\in A\cup C\\
&\Rightarrow x\in (A\cup B) \cap (A\cup C)\\
\end{align}
Aplicamos en (4) la propiedad aditiva de la disyunción; para (5) usamos las Leyes distributivas de los conectivos disyunción y conjunción; para (6) y (7) aplicamos la unión y su propiedad conmutativa. Finalizamos aplicando en (8) la definición de intersección.


Por (3) y (8) de los Casos 1 y 2, podemos concluir que: $A \cup (B\cap C)\subseteq (A \cup B)\cap (A\cup C)$.

Ahora probaremos la contención: $(A \cup B)\cap (A\cup C)\subseteq A \cup (B\cap C)$.
Tomamos $ x\in (A \cup B)\cap (A\cup C)$. Así por definición de intersección, tenemos que:
\begin{align}
x\in (A \cup B) \wedge x \in (A\cup C) &\Rightarrow (x\in A \vee x\in B) \wedge (x \in A\vee x\in C)\\
&\Rightarrow x\in A \vee (x \in B \wedge x\in C)\\
&\Rightarrow x\in A \vee x \in B\cap C\\
&\Rightarrow x\in A \cup (B \cap C)
\end{align}
Vemos que (9) se sigue de la definición de unión. En (10) utilizamos las leyes distributivas de la disyunción con la conjunción; para (11) aplicamos la definición de intersección para $B$ y $C$.
Y por último en (12) aplicamos la definición de unión para $A$ y $B\cup C$.

Así concluimos que: $A \cup (B\cap C) = (A \cup B)\cap (A\cup C) \text{.}$

4. Tarea moral
5. Tarea moral
6. Tarea moral
7. Tarea moral


$\square$

Notación: El símbolo «$\Rightarrow$» se lee como «entonces».

Más adelante

Ahora que hemos terminado con el repaso de los conceptos básicos de Teoría de Conjuntos, en la siguiente entrada veremos el método de demostración llamado: Inducción matemática, el cuál será utilizado frecuentemente en los diferentes cursos a lo largo de tu preparación profesional.

Tarea moral

  • Realiza la demostración de la siguiente Ley distributiva: $A \cap (B\cup C) = (A \cap B)\cup (A\cap C)$.
  • Prueba que $A \setminus (B\cap C) = (A \setminus B)\cup (A\setminus C)$.
  • Determina si las siguientes afirmaciones son verdaderas o falsas, argumenta tu respuesta:
    • Si $x\in A$ y $A\subseteq B$, sucede que $x\in B$.
    • Si $x\in A$ y $A\in B$, sucede que $x\in B$.
    • Si tenemos $A$ y $B$ conjuntos, sucede siempre que $A\setminus B = B \setminus A$.

Entradas relacionadas

Agradecimientos

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

Cálculo Diferencial e Integral I: Introducción. Repaso: Teoría de Conjuntos (Parte 1)

Por Karen González Cárdenas

2 respuestas

Introducción

Probablemente en el bachillerato ya habrás tomado algún curso de matemáticas en el que te presentaron varios de los conceptos íntimamente relacionados con el cálculo. Por lo que has oído hablar de números reales, funciones, derivadas – por citar algunos-, pero en algún momento te has preguntado: ¿De dónde salió todo eso?, ¿Por qué podemos asegurar lo que nos enseñan nuestros profesores o leemos en los libros de texto?

En esta entrada veremos un poco sobre la motivación histórica del cálculo y a lo largo de todo el curso haciendo uso de la herramienta de la demostración buscaremos dar respuesta a la segunda pregunta planteada.

Así, ¡comenzamos!

Veloz cómo una tortuga

Imagina que un grupo de amigos te retan a una carrera contra una tortuga. Te dicen que, si lograras pasar por delante de ella y llegar primero a la meta, ganas un auto del año.

Sabiendo que la tortuga es extremadamente lenta en su caminar, decides darle ventaja para hacer la apuesta más interesante. Cuando ella se inicia su recorrido en el punto marcado en la imagen, finalmente comienzas a avanzar, en ese momento todos se percatan que no logras alcanzarla. ¿Cómo es esto posible?

Si nos detenemos un momento para observar lo que está pasando notamos lo siguiente:

  1. Para cuando llegas al punto donde la tortuga inició el recorrido, ella ya ha avanzado una pequeña distancia.
  2. Para cuando tú llegas al nuevo punto en el que se encuentra la tortuga, ella ya se ha movido un poco más hacia adelante.
  3. Este proceso continúa infinitamente, con la tortuga siempre moviéndose un poco más adelante.

Debido a que hay un número infinito de estos pasos, nunca rebasarás realmente a la tortuga. Por lo que haberle dado ventaja al final no parece haber sido una buena elección.

Esta idea fue expuesta por el filósofo griego Zenón de Elea en una de sus paradojas, conocida como Aquiles y la tortuga. Su planteamiento desconcertó a los intelectuales de la época. Observamos que este problema tiene como punto de preocupación, no sólo para los filósofos, sino también para los matemáticos: el problema del movimiento. Por lo tanto, podemos considerar como uno de los propósitos del Cálculo el establecer un modelo del movimiento. Veremos más adelante que el conocimiento de los números y las funciones reales se vuelve elemental para dicha tarea.

Observación: No se está considerando la variable de la velocidad en el planteamiento del movimiento recién mencionado. De este modo, cuestionarnos si es posible que Aquiles logre alcanzar a la tortuga al aumentar su velocidad queda descartado.

Una historia de amor

Un par de enamorados desean verse. Uno de ellos se encuentra en el punto $A$ de la ciudad y el otro en el punto $B$. Cuando el enamorado del punto A se dispone a ponerse en marcha para llegar al punto $B$, un hombre en la calle le pregunta: ¿estás seguro de que puedes desplazarte al punto $B$?

Perplejo el enamorado que se encuentra en el punto $A$ responde: “No entiendo su pregunta, ¿por qué no podría?”

El hombre sonriendo le plantea lo siguiente: “Mira, para que puedas llegar a $B$ primero deberás pasar por el punto $C$ que se encuentra a la mitad de la distancia entre $A$ y $B$. Pero… también para llegar a $C$ debes pasar por el punto $D$ que se encuentra a la mitad de la distancia entre $A$ y $C$, ¿no?

Y si te lo piensas bien así será sucesivamente, pasarás una vez por cada punto que se encuentre a la mitad de la distancia de cualesquiera dos. Ahora dime ¿en algún momento podrás moverte de tu posición $A$? ”

Desconcertado, el enamorado $A$ se detiene a pensar sobre lo sucedido.

  • ¿Qué respuesta le darías? ¿Llegarán a reunirse los enamorados bajo estas condiciones? Plantea una posible explicación, dicho ejercicio será parte de la tarea moral de esta primera parte.

Ya que hemos visto un par de paradojas interesantes, comenzaremos con un repaso de los conceptos básicos de Teoría de Conjuntos que se usarán a lo largo de todo el curso.

Repaso: Conceptos básicos de Teoría de Conjuntos.

En Matemáticas usaremos el concepto de «conjunto» para referirnos a una colección de objetos que serán considerados como una sola entidad. En la vida cotidiana algunos ejemplos serían:

  • Rebaño de ovejas
  • Equipo de fútbol
  • Estudiantes de la Facultad de Ciencias

Y utilizaremos el concepto de «elemento de un conjunto» para referirnos a cualquier objeto o entidad que pertenece a dicho conjunto. Aplicando dicha definición a un equipo de fútbol, el jugador que es portero del equipo sería un elemento del equipo de fútbol.

Cuestiones de notación

Usaremos las letras mayúsculas $A,B,C,…,X,Y,Z$ para referirnos a conjuntos, y las letras minúsculas $a,b,c,…,x,y,z$ para referirnos a los elementos.

Pertenencia

Utilizaremos el símbolo $\in$ para referirnos a la pertenencia de un elemento a un conjunto. Así, si tenemos lo siguiente:

$x\in A \text{,}$

esto se leería como $x$ pertenece al conjunto $A$, o $x$ es un elemento del conjunto $A$.

Si quisiéramos decir que $x$ no pertenece al conjunto $A$, o $x$ no es un elemento del conjunto $A$ usaríamos el símbolo $\notin$ y tendríamos:

$x\notin A \text{.}$

Denotando conjuntos

En algunas ocasiones encontraremos a los conjuntos escritos de la siguiente manera:

\[ A=\left\{0,1, 2, 3, 4\right\}\text{.} \]

Sin embargo, en muchas ocasiones no resultará práctico escribir todos los elementos del conjunto que queremos denotar. Por lo que se usará una notación diferente llamada «por comprensión». Utilizando el ejemplo anterior tendríamos lo siguiente:

\[ A=\left\{x\mid 0\leqslant x \leqslant 4 , x\in \mathbb{N} \right\} \text{;}\]

esto se leería como «el conjunto de los primeros cinco números naturales» o «el conjunto de los números naturales mayores o iguales que cero y menores o iguales a cuatro». Comúnmente esta última notación será la más utilizada tanto en libros de texto como en los cursos.

Como un breve recordatorio, los números naturales son un conjunto de números utilizados para contar objetos o representar una cantidad de cosas y se denotan usualmente con el símbolo $\mathbb{N}$.

Subconjuntos

Ahora veremos una relación muy especial que nos permitirá crear nuevos conjuntos a partir de uno dado. Si tenemos el siguiente conjunto:

\[ B=\left\{0,1, 2, 3, a, b, c, d\right\} \text{,}\]

y decidimos tomar los elementos $0,3,b,c$ del conjunto $B$, vemos que podemos formar un conjunto C cuyos elementos sean los previamente seleccionados de modo que:

\[ C=\left\{0, 3, b, c \right\} \text{.}\]

Así diremos que $C$ es un subconjunto de $B$.

Usaremos el símbolo $\subseteq$ para representar la contención de conjuntos. Así presentamos la siguiente definición:

Definición (Subconjunto): Consideremos $A$ y $B$ conjuntos. Diremos que $A$ es un subconjunto de $B$:

$A \subseteq B$

si se cumple que todo elemento de $A$ pertenece también a $B$, en otras palabras, si todo elemento de $A$ también es un elemento de $B$.

NOTA.- $A \subseteq B$ también se puede leer como: «$A$ está contenido en $B$» o «$B$ contiene a $A$»

Definición (Igualdad de conjuntos): Consideremos $A$ y $B$ conjuntos. Diremos que $A$ es igual a $B$:

$A = B$

si y sólo si se cumple que: $A \subseteq B$ y $B \subseteq A$.

Esta definición nos resultará de utilidad al realizar demostraciones sobre la igualdad entre conjuntos.

Más adelante

En esta primera entrada hemos visto la notación utilizada en Teoría de Conjuntos, el significado de pertenencia a un conjunto, que es un subconjunto y la definición de igualdad entre conjuntos. En la siguiente entrada veremos las operaciones fundamentales entre conjuntos, donde lo antes visto será de suma importancia.

Tarea moral

  1. Da una posible explicación al planteamiento de la paradoja «Una historia de amor».
  2. Dados los siguientes conjuntos $A$ y $B$. Responde si los enunciados escritos a continuación son verdaderos o falsos, argumenta tu respuesta.

\[ A=\left\{5,7,9, b, h, k, j\right\} \]

\[ B=\left\{5,7,9, h, k, j\right\} \]

  • $A \subseteq B$
  • $B \subseteq A$
  • Si tenemos $C=\left\{5,7,9, h, k, j\right\}$ entonces $C \subseteq B$.
  • $\left\{5,7\right\}\in A$
  • $\left\{5,7,9,h,k,j\right\}\in B$

Entradas relacionadas

Agradecimientos

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

Álgebra Moderna I: Operación binaria asociativa y conmutativa

Por Cecilia del Carmen Villatoro Ramos

3 respuestas

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

Introducción

En la entrada anterior definimos el concepto de operación binaria, en esta entrada veremos dos tipos más específicos de operaciones binarias: las operaciones binarias asociativas y las operaciones conmutativas. Éstas nos interesan ya que hacen que las operaciones sean más sencillas de manejar.

Nuevas definiciones

Definición. Una operación binaria $*$ en un conjunto $\mathcal{S}$ es asociativa si, para todos $a, b, c \in \mathcal{S}$

$$(a*b)*c = a*(b*c).$$

Definición. Una operación binaria $*$ en un conjunto $\mathcal{S}$ es conmutativa si, para todos $a,b \in \mathcal{S}$

$$a*b=b*a.$$

Ejemplos de operaciones binarias asociativas y conmutativas

Repasemos los ejemplos vistos en la entrada anterior. Ahora los analizaremos con mayor profundidad.

Ejemplo 1: Consideremos $\mathcal{S} := \mathbb{R}$ con la operación $a*b=ab-2$. Entonces $*$ no es asociativa.

Demostración. Sean $1,2,3 \in \r$. Si hacemos la operación obtenemos:

\begin{align*}
(1*2)*3 &= 0 * 3 = -2 &\text{ y } \\\\
1*(2*3) &= 1 *4 = +2.
\end{align*}

Así, claramente no es asociativa.

$\blacksquare$

Podemos estudiar más a $*$ y encontrar en general los elementos para los que $*$ no conmuta. Sean $a,b,c \in \mathbb{R}$.

Si sustituimos los valores de acuerdo a la forma en que está definida $*$, por un lado obtenemos

$\begin{align}(a * b)*c = (ab-2)c -2 = (ab)c -2c-2\end{align}$

y por otro,

$\begin{align}a*(b*c) = a*(bc -2) = a(bc-2)-2 = a(bc)-2a-2. \end{align}$

Observamos que $(1)$ y $(2)$ en general son distintos. Por lo tanto $*$ no es asociativa.

$\blacksquare$

Sin embargo, sí es conmutativa.

Demostración. Por la conmutatividad de la multiplicación de reales,

$$a*b = ab-2 = ba-2 = b*a \qquad \forall a,b \in \mathbb{R}.$$

$\blacksquare$

Ejemplo 2: Consideremos ahora el conjunto $\mathcal{S} := \mathbb{R}^+$ (los reales positivos), con la operación $a*b=\frac{a}{b}.$ Entonces $*$ no es asociativa.

Demostración.
Tomemos $3,4$ y $5 \in \r^+$ :

\begin{align*}
(3*4)*5 &= \frac{3}{4} * 5 = \frac{\frac{3}{4}}{5} = \frac{3}{20} \\ \\
3*(4*5) &= 3* \frac{4}{5} = \frac{3}{\frac{4}{5}} = \frac{15}{4}.
\end{align*}

Claramente, $$\frac{3}{20} \neq \frac{15}{4}.$$Por lo que esta operación binaria no es asociativa.

$\blacksquare$

Nuevamente, estudiemos cómo se comporta $*$ en general. Sean $a,b,c \in \mathbb{R}^+$.

Si sustituimos de acuerdo a la definición de nuestra operación binaria, obtenemos

$$(a*b)*c = \frac{a}{b}*c =\frac{\frac{a}{b}}{c} = \frac{a}{bc},$$

por otro lado,

$$a*(b*c)= a* \frac{b}{c} = \frac{a}{\frac{b}{c}} = \frac{ac}{b}.$$

Como en general $(a*b)*c \neq a*(b*c)$, $*$ no puede ser asociativa.

$\blacksquare$

Por otro lado, esta operación tampoco es conmutativa.

Demostración.
Tomemos $1,2 \in \r^+$,

$$1*2 = \frac{1}{2} \neq 2 = 2*1.$$

Claramente, nuestra operación binaria no es conmutativa.

$\blacksquare$

Lo anterior se cumple porque en general para $a,b \in \mathbb{R}^+$. Las fracciones $\frac{a}{b}$ y $\frac{b}{a}$ no son iguales. Si usamos la definición de nuestra operación, esto quiere decir que,

$$a*b = \frac{a}{b} \neq \frac{b}{a} = b*a.$$

$\blacksquare$

  • En $\mathcal{S} := \mathbb{Z}^+$, $a*b = \text{máx} \{a,b\}$ es asociativa y conmutativa.
  • En $\mathcal{S} := \mathbb{Z}^+$, $a*b = a$ es asociativa y no conmutativa.
  • En $\mathcal{S} := \mathcal{M}_{2\times 2}(\mathbb{Z})$, $A*B = A + B$ es asociativa y conmutativa.
  • En $\mathcal{S}:= \{f \; | \; f: \mathbb{R} \to \mathbb{R} \}$, $f*g := f\circ g$ es asociativa pero no conmutativa.
  • En $\mathcal{S}:= S_3$, $f*g = f\circ g$. Es asociativa pero no conmutativa.

Ejemplo con tablas

En esta sección analizaremos algunas operaciones binarias definidas con tablas. El hecho de que una función sea conmutativa se ve reflejado en la tabla. Cuando la operación es conmutativa, si nos fijamos en la línea diagonal que divide a la tabla (la diagonal principal), podemos observar que la tabla es simétrica con respecto a la diagonal.

Demostrar la asociatividad a partir de la tabla es un poco más complicado. Se tendrían que escoger todas las distintas combinaciones de tres elementos del conjunto, lo que lo haría muy largo, incluso para conjuntos pequeños. Por eso conviene definir la operación de otra manera. En los siguientes ejemplos encontrarás la función definida de ambas maneras, con la tabla y con una regla de correspondencia.

  • En $\mathcal{S} = \{2,4,6\}$, la operación $a*b = \text{máx}\{a,b\}$ se vería como
$*$$2$$4$$6$
$2$$2$$4$$6$
$4$$4$$4$$6$
$6$$6$$6$$6$

La tabla es simétrica con respecto a la diagonal principal, por lo tanto esta operación sí es conmutativa. Queda como ejercicio demostrar que es asociativa.

  • En $\mathcal{S} = \{2,4,6\}$, la operación $a*b = a$ se vería como
$*$$2$$4$$6$
$2$$2$$2$$2$
$4$$4$$4$$4$
$6$$6$$6$$6$

De la misma manera, si nos fijamos en la diagonal principal, observamos que esta operación no es conmutativa. Pero, será tu trabajo demostrar que sí es asociativa.

  • En $\mathcal{S} = \{1, -1\}$, la operación $a*b = ab$ se vería como
$*$$1$$-1$
$1$$1$$-1$
$-1$$-1$$1$

A diferencia de los anteriores dos ejemplos, esta operación sí es conmutativa y también asociativa.

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.

  1. Demuestra o da contraejemplos de las propiedades (conmutatividad y asociatividad) que quedaron pendientes en los ejemplos.
  2. Con ayuda de las tablas, verifica las propiedades de conmutatividad y asociatividad que quedaron pendientes en los ejemplos correspondientes.
  3. Para el conjunto $\mathcal{S}:= \{\bigstar, \blacktriangledown, \blacklozenge, \clubsuit \}$, define
    • una operacion binaria conmutativa (pero no asociativa),
    • una operación asociativa (pero no conmutativa),
    • una operación asociativa y conmutativa,
    • una operación que no sea ni asociativa ni conmutativa.
  4. De los ejemplos que hiciste en la tarea moral anterior, determina si son conmutativas, asociativas o ambas.
  5. Del ejercicio 5 de la tarea moral anterior, determina si las operaciones binarias son conmutativas, asociativas, ambas o ninguna de las dos.

Más adelante…

Ahora sí, ya estás listo para que comencemos con los grupos. En la siguiente entrada comenzaremos a definirlos y a dar algunos ejemplos. Verás que las operaciones binarias tienen un papel importante a la hora de definir esta estructura algebraica.

Entradas relacionadas

Álgebra Moderna I: Operación binaria

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

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

Introducción

Bienvenido al curso de Álgebra Moderna I. Antes de comenzar de lleno con el tema principal del curso, los grupos, es necesario sentar ciertas bases, así que en esta primera entrada comenzaremos con la definición de una operación binaria.

El objetivo de una operación binaria, como dice su nombre, es tomar dos elementos de un conjunto, operarlos y obtener un resultado que también pertenezca al mismo. La suma (+) y la multiplicación (•) de números reales son operaciones binarias que conocemos desde hace tiempo. Además de ellas, veremos ejemplos de varias operaciones binarias definidas en diversos conjuntos, no sólo en los reales.

¿Qué es una Operación Binaria?

Como mencionamos en la introducción, la operación binaria es una función que toma dos elementos de un conjunto y devuelve un elemento del mismo. Formalmente escrito, quedaría de la siguiente manera:

Definición. Una operación binaria en un conjunto $\mathcal{S}$ es una función $\mu : \mathcal{S} \times \mathcal{S} \to \mathcal{S}$, es decir una forma de asignar a cada par ordenado $(a,b) \in \mathcal{S} \times \mathcal{S}$ un elemento $\mu (a,b) \in \mathcal{S}$.

Sin embargo, normalmente no trabajamos la notación de función. Así que hacemos la siguiente aclaración:

Notación. Nuestra operación binaria $\mu$ será denotada por $*$ y al elemento asignado a la pareja $(a,b)$. En lugar de ser denotado por $\mu (a,b)$ será denotado por $a*b$, más adelante será denotada simplemente por $ab$ o por $a+b$.

Las siguientes observaciones son importantes en la definición de una operación binaria:

Observación 1. A cada par de elementos en $\mathcal{S}$ se le asigna exactamente un elemento de $\mathcal{S}$, es decir, $*$ es una función bien definida.

Observación 2. Para cada par de elementos en $\mathcal{S}$ el elemento debe estar en $\mathcal{S}$, es decir, $*$ es una operación cerrada en $\mathcal{S}$.

La segunda observación toma más importancia cuando queremos definir una operación binaria en un subconjunto de $\mathcal{S}$, digamos $X$, porque la operación debe ser de $X$ en $X$.

Ejemplos de operaciones binarias

Para ilustrar los ejemplos, tomaremos el símbolo $:=$ como una asignación de valor, y lo usaremos para definir y al símbolo $=$ como la igualdad usual, que indica eso, una igualdad entre dos valores.

  1. En $\mathcal{S} := \mathbb{R}$, podemos definir la siguiente operación binaria, $a*b := ab – 2$, es decir, la multiplicación de ambos números, menos dos unidades.
  2. En $\mathcal{S} := \mathbb{R}^+$, observemos que es posible tomar la operación $a*b := \frac{a}{b}$ como la división usual. Es importante considerar el conjunto $\mathcal{S}$ en el que estamos trabajando. Por ejemplo, esta operación no se podría considerar en $\mathbb{Z}^+$ porque no podemos asegurar que siempre nos dé un entero, por lo tanto no sería una operación binaria.
  3. Ahora, si tomamos $\mathcal{S} := \mathbb{Z}^+$ y definimos $a*b := \text{máx}{\{a,b\}}$, es decir, una operación binaria no tiene que ser siempre aritmética.
  4. En $\mathcal{S} := \mathbb{Z}^+$, podemos definir $a*b = a$, es decir, la operación asigna a cada par de números el primero de los dos.
  5. También podemos trabajar con matrices, por ejemplo $\mathcal{S} := \mathcal{M}_{2\times2}(\mathbb{Z})$ (el conjunto de matrices $2\times 2$ con entradas enteras), definida como $A*B := A + B$, es decir, la suma de matrices.
  6. Si pensamos en funciones, podemos considerar $\mathcal{S}:=\{f \;| f:\mathbb{R} \to \mathbb{R}\}$ y definir la composición de funciones, $f*g:= f\circ g$. Como todas las funciones comparten dominio y codominio, tiene sentido componer. Recordemos que esa notación se lee de derecha a izquierda, es decir, primero se aplica $g$ y luego $f$.
  7. En $\mathcal{S}:= S_3$, con $S_3 := \{f | f: \{1,2,3\} \to \{1,2,3\}, f \text{ es biyectiva}\}$, también podemos considerar $f*g := f\circ g$ y sería una operación binaria en el conjunto.

Para este último ejemplo, recordemos que como el dominio de $f$ es finito podemos denotar a $f$ como una matriz de la forma,

$$f = \begin{pmatrix} 1 & 2 & 3\\ f(1) & f(2) & f(3) \end{pmatrix}.$$

Ejemplo:

Si $f = \begin{pmatrix} 1 & 2 & 3\\ 2 & 3 & 1 \end{pmatrix}$ y $g = \begin{pmatrix} 1 & 2 & 3\\ 3 & 1 & 2 \end{pmatrix}$, entonces la composición $f \circ g = \begin{pmatrix} 1 & 2 & 3\\ 1 & 2 & 3 \end{pmatrix}$. Puesto que $g$ manda el $1$ al $3$ y $f$ manda el $3$ al $1$, $g$ manda el $2$ al $1$ y $f$ manda el $1$ al $2$ y $g$ manda el $3$ al $2$ y $f$ manda el $2$ al $3$.

$\blacksquare$

De modo más general, si $f$ es una función cuyo dominio es un conjunto finito con $n$ elementos $a_1,a_2,\dots, a_n,$ la regla de correspondencia de $f$ se puede describir con el arreglo

$$f = \begin{pmatrix} a_1 & a_2 & \dots & a_n\\ f(a_1) & f(a_2)&\dots & f(a_n) \end{pmatrix}.$$

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.

  1. Como calentamiento, piensa por qué ocurren las dos observaciones dadas.
  2. Investiga cómo se pueden definir operaciones binarias con tablas.
  3. De los ejemplos dados, busca conjuntos en donde la operación binaria deje de serlo por no cumplir con la cerradura.
  4. Da cinco ejemplos de conjuntos y operaciones binarias sobre ellos.
  5. Determina si las siguientes operaciones son binarias o no y en caso de no serlo, ¿qué le cambiarías al conjunto para que lo sea?
    • En $\mathcal{S} = \mathbb{R}^+$, $a*b = ab-2$.
    • En $\mathcal{S} = \mathcal{M}_{2\times2}(\mathbb{Z})$, $A*B = A^{-1}B$.
    • En $\mathcal{S} = \mathbb{Z}\setminus \{-1\}$, $a*b = 1 + ab$.
    • En $\mathcal{S} = \mathbb{Z}_5$, $a*b = ab(\text{mód } 7)$.

Más adelante…

Con el fin de trabajar con operaciones que sean más manejables, continuaremos expandiendo nuestro concepto de operación binaria agregándole las propiedades de conmutatividad y asociatividad.

Entradas relacionadas

Álgebra Lineal II: Introducción al teorema de Cayley-Hamilton

Por Julio Sampietro

2 respuestas

Introducción

En esta entrada introducimos el teorema de Cayley-Hamilton, otro de los teoremas importantes del curso. Intuitivamente este teorema nos dice que «el polinomio característico anula al operador lineal». Es decir, si $P(\lambda)$ es el polinomio característico de una transformación lineal $T$, entonces $P(T)=0$.

Algunos ejemplos

Damos unos cuantos ejemplos para que entendamos que está pasando.

Ejemplo 1. Sea $A\in M_2(\mathbb{R})$ la matriz dada por

\begin{align*}
A=\begin{pmatrix} 0 & -1\\ 1 & 0
\end{pmatrix}.
\end{align*}

Calculemos su polinomio característico

\begin{align*}
\chi_A(X)=\det \begin{pmatrix} X & 1\\ -1 & X\end{pmatrix}=X^2+1.
\end{align*}

Así, si evaluamos al polinomio $\chi_A$ en la matriz $A$ tenemos que calcular

\begin{align*}
\chi_A(A)= A^2+I_2.
\end{align*}

Por un lado

\begin{align*}
A^2=\begin{pmatrix} 0 & 1\\ -1 & 0\end{pmatrix}\cdot \begin{pmatrix} 0 & 1 \\ -1 & 0\end{pmatrix}=\begin{pmatrix} -1 &0 \\ 0 & -1\end{pmatrix}=-I_2.
\end{align*}

Luego

\begin{align*}
\chi_A(A)=A^2+I_2= -I_2+I_2=O_2.
\end{align*}

Es decir, ¡$\chi_A(A)$ es la matriz cero!

$\triangle$

Ejemplo 2. Calculemos el polinomio característico de la matriz $A\in M_3(\mathbb{R})$ dónde $A$ está dada por

\begin{align*}
A=\begin{pmatrix}
0 & -1 & -2\\ 0 & 3 &4\\ 0 & 0 & -5.
\end{pmatrix}
\end{align*}

Notamos que $A$ es una matriz triangular superior. Por una entrada anterior sabemos que el polinomio característico es solo el producto de los monomios $(X-a_{ii})$. Es decir

\begin{align*}
\chi_A(X)=(X-0)(X-3)(X-(-5))= X(X-3)(X+5).
\end{align*}

Enseguida, evaluemos $\chi_A(A)$. Recordamos que esto quiere decir que tenemos que calcular

\begin{align*}
\chi_A(A)=A(A-3I_3)(A+5I_3).
\end{align*}

Por un lado

\begin{align*}
A-3I_3=\begin{pmatrix}
-3 & -1 & -2\\ 0 & 0 & 4\\ 0 & 0 & -8
\end{pmatrix},
\end{align*}

y por otro

\begin{align*}
A+5I_3=\begin{pmatrix}
5 & -1 & -2\\ 0 & 8 & 4\\ 0 & 0 &0
\end{pmatrix}.
\end{align*}

Así

\begin{align*}
(A-3I_3)(A+5I_3)&=\begin{pmatrix}
-3 & -1 & -2\\ 0 & 0 & 4\\ 0 & 0 & -8
\end{pmatrix}\cdot \begin{pmatrix}
5 & -1 & -2\\ 0 & 8 & 4\\ 0 & 0 &0
\end{pmatrix}\\ &=\begin{pmatrix} -15 & -5 & -2\\ 0 &0 &0 \\ 0 & 0 &0\end{pmatrix}.
\end{align*}

Finalmente

\begin{align*}
A(A-I_3)(A+5I_3)=\begin{pmatrix}
0 & -1 & -2\\ 0 & 3 &4\\ 0 & 0 & -5.
\end{pmatrix}\cdot \begin{pmatrix} -15 & -5 & -2\\ 0 &0 &0 \\ 0 & 0 &0\end{pmatrix}=O_3.
\end{align*}

Una vez más $\chi_A(A)=0$.

$\triangle$

El teorema

Los ejemplos anteriores sirven de calentamiento para enunciar el teorema de Cayley-Hamilton, que dice exactamente lo que sospechamos.

Teorema (de Cayley-Hamilton). Para cualquier matriz $A\in M_n(F)$ se cumple

\begin{align*}
\chi_A(A)=O_n.
\end{align*}

En otras palabras, si $\chi_A(X)=X^n+a_{n-1}X^{n-1}+\dots+a_0$ entonces

\begin{align*}
A^{n}+a_{n-1}A^{n-1}+\dots+a_0 I_n=O_n.
\end{align*}

Demostraremos este teorema en la próxima entrada. Uno podría sospechar que la demostración consiste en simplemente sustituir $A$ en la expresión de $\chi_A$ como sigue

\begin{align*}
\chi_A(A)= \det(AI_n-A)=\det(0)=0.
\end{align*}

Sin embargo, esta ‘prueba’ no es correcta, ya que estamos multiplicando a $A$ con $I_n$ como si fueran matrices, mientras que la expresión de $\chi_A$ se refiere a escalares. Más aún, observa como el resultado de la expresión que anotamos es el escalar cero, mientras que sabemos que $\chi_A(A)$ debería ser la matriz cero.

Concluimos esta sección con una breve aplicación del teorema de Cayley-Hamilton.

Proposición. El polinomio mínimo de una matriz $A\in M_n(F)$ divide al polinomio característico.

Demostración. Por el teorema de Cayley-Hamilton, $\chi_A(A)=0$. Luego por definición del polinomio mínimo se sigue que $\mu_A(X)$ divide a $\chi_A(X)$.

$\square$

Más adelante…

En la próxima entrada demostraremos el teorema de Cayley-Hamilton, y luego pasaremos a dar aplicaciones de este.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso. Sin embargo, sirven de ayuda para repasar los conceptos vistos en esta entrada.

  1. En una entrada anterior calculamos el polinomio característico de una matriz nilpotente. Explica por qué el teorema de Cayley-Hamilton es compatible con dicho cálculo. De otra manera, verifica el teorema de Cayley-Hamilton en ese caso particular.
  2. Sea $A\in M_3(\mathbb{R})$ tal que $\operatorname{Tr}(A)=\operatorname{Tr}(A^2)=0$. Usa el teorema de Cayley-Hamilton para demostrar que existe un $\alpha\in \mathbb{R}$ tal que $A^3=\alpha I_3$.
  3. Calcula el polinomio característico de $A\in M_2(\mathbb{C})$ donde
    \begin{align*}
    A=\begin{pmatrix} 0 & -1\\ 1 & 0\end{pmatrix}.
    \end{align*}
    Es decir, $A$ es la misma matriz que en el ejemplo pero pensada como una matriz compleja. Verifica que $\chi_A(A)=O_2$.
  4. Verifica que $\chi_A(A)=O_3$ con
    \begin{align*}
    A= \begin{pmatrix} 1 & 0 & -1\\ 1 & 1 & 1 \\ 0 & 2 & 1\end{pmatrix}\in M_3(\mathbb{R}).
    \end{align*}
  5. Sea $A\in M_n(\mathbb{R})$ una matriz tal que $A$ y $3A$ son similares. Demuestra que $A^n=O_n$.

Entradas relacionadas

Agradecimientos

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