Archivo de la etiqueta: relaciones

Teoría de los Conjuntos I: Relaciones de equivalencia

Por Gabriela Hernández Aguilar

Deja un comentario

Introducción

En esta entrada hablaremos acerca de un tipo de relaciones especiales a las que llamaremos relaciones de equivalencia. Veremos algunos ejemplos de relaciones que son de equivalencia, y algunos ejemplos de otras que no lo son.

Relaciones de equivalencia

Definición. Sea $R$ una relación en $A$. Decimos que $R$ es una relación de equivalencia si se satisfacen las siguientes condiciones:

  1. Para cualquier $a\in A$, se tiene que $(a,a)\in R$ (reflexividad),
  2. Para cualesquiera $a,b\in A$, se tiene que si $(a,b)\in R$, entonces $(b,a)\in R$ (simetría),
  3. Para cualesquiera $a,b,c\in A$, se tiene que si $(a,b)\in R$ y $(b,c)\in R$, entonces $(a,c)\in R$ (transitividad).

Algunos ejemplos

Ejemplo.

Sea $A=\set{a,b}$. La relación $R=\set{(a,a), (b,b), (a,b), (b,a)}$ es relación de equivalencia. En efecto, podemos verificar que $R$ es una relación en $A$ y se verifican las propiedades. En este caso es sencillo demostrarlo. Las propiedades que piden la reflexividad, simetría y transitividad son que alguna pareja esté en $R$. Pero $R$ es todo el producto cartesiano $A\times A$, así que cualquier pareja estará.

$\square$

Ejemplo.

Sea $A=\set{1,2,3}$. La relación $R=\set{(1,1),(2,2),(3,3),(1,3),(3,1)}$ es relación de equivalencia. Veamos que cumple cada una de las propiedades.

  1. Reflexividad.
    Los elementos de $A$ son $1,2,3$ y en efecto $(1,1),(2,2),(3,3)$ son elementos de $R$.
  2. Simetría.
    Verifiquemos que se cumple para cada uno de los pares en $R$.
    – $(1,1)\in R$ y en efecto $(1,1)\in R$.
    – $(2,2)\in R$ y en efecto $(2,2)\in R$.
    – $(3,3)\in R$ y en efecto $(3,3)\in R$.
    – $(1,3)\in R$ y en efecto $(3,1)\in R$.
    – $(3,1)\in R$ y en efecto $(1,3)\in R$.
  3. Transitividad.
    Aquí tenemos muchas posibilidades por verificar. Estrictamente hablando, hay que verificar todas las siguientes posibilidades.
    -$(1,1)\in R$ y $(1,1)\in R$ y, en efecto, $(1,1)\in R$.
    -$(1,1)\in R$ y $(1,3)\in R$ y, en efecto, $(1,3)\in R$.
    -$(2,2)\in R$ y $(2,2)\in R$ y, en efecto, $(2,2)\in R$.
    -$(3,3)\in R$ y $(3,3)\in R$ y, en efecto, $(3,3)\in R$.
    -$(3,3)\in R$ y $(3,1)\in R$ y, en efecto, $(3,1)\in R$.
    -$(1,3)\in R$ y $(3,3)\in R$ y, en efecto, $(3,3)\in R$.
    -$(1,3)\in R$ y $(3,1)\in R$ y, en efecto, $(1,1)\in R$.
    -$(3,1)\in R$ y $(1,1)\in R$ y, en efecto, $(3,1)\in R$.
    -$(3,1)\in R$ y $(1,3)\in R$ y, en efecto, $(3,3)\in R$.

Así, $R$es relación de equivalencia en $X=\emptyset$.

$\square$

Ejemplo.

Sea $R=\emptyset$ la relación vacía pensada como una relación en $X=\emptyset$. Veamos que $R$ es relación de equivalencia. En efecto, podemos verificar las propiedades:

  1. Reflexividad.
    No existe $x\in X$, así que por vacuidad para todo $x\in X$ se cumple que $(x,x)\in R$.
  2. Simetría.
    Como la $R$ es la relación vacía, no hay $(x,y)\in R$. Así, por vacuidad $(x,y)\in \emptyset$ implica que $(y,x)\in R$.
  3. Transitividad.
    También se cumple por vacuidad, pues no es posible encontrar $(x,y)\in R$ y $(y,z)\in R$.

Por lo tanto, $R$ es relación de equivalencia en $X=\emptyset$.

$\square$

En este último ejemplo fue muy importante que $X=\emptyset$. Una de las propiedades falla si no es el caso. ¿Cuál?

Relaciones casi de equivalencia

La definición de relación de equivalencia nos pide verificar tres propiedades: reflexividad, simetría y transitividad. Uno podría preguntarse si es necesario pedir las tres propiedades o si dos de ellas ya implican la tercera. Los siguientes ejemplos muestran que pedir cada cosa es necesario, pues para cualquier combinación de dos propiedades y la negación de la tercera, podemos encontrar un ejemplo.

Ejemplo. (Simétrica y transitiva pero no reflexiva).

Sea $X$ un conjunto no vacío. La relación vacía en $X$ no es relación de equivalencia. En efecto, podemos verificar que $\emptyset$ es simétrica y transitiva por un argumento por vacuidad (como hicimos arriba), pero $\emptyset$ no es una relación reflexiva, dado que al tomar $x\in X$ arbitrario,se tiene que $(x,x)\not \in \emptyset$.

$\square$

Ejemplo. (Reflexiva y simétrica pero no transitiva).

Sea $X=\set{a,b,c}$ y sea $R=\set{(a,a), (b,b), (c,c), (a,b), (b,a), (a,c), (c,a)}$. Tenemos que $R$ no es relación de equivalencia, pues aunque es reflexiva y simétrica no es transitiva. La razón por la cual no es transitiva es que $(c,a)\in R$ y $(a,b)\in R$, pero $(c,b)\notin R$.

$\square$

Ejemplo. (Reflexiva, transitiva pero no simétrica).

Sea $X=\set{a,b,c}$ y sea $R=\set{(a,a), (b,b), (c,c), (a,b)}$. Tenemos que $R$ no es relación de equivalencia, pues aunque es reflexiva y transitiva no es simétrica. Para ver esto último, notamos que $(a,b)\in R$, pero $(b,a)\not\in R$.

$\square$

Algunas propiedades de relaciones de equivalencia

Proposición. Sean $R_1$ y $R_2$ relaciones de equivalencia en $A$. Se tiene que $R_1\cap R_2$ es relación de equivalencia.

Demostración.

Supongamos que $R_1$ y $R_2$ son relaciones de equivalencia en $A$. Veamos que $R_1\cap R_2$ es una relación de equivalencia en $A$, para ello debemos verificar que $R_1\cap R_2$ es reflexiva, simétrica y transitiva.

Afirmación 1. $R_1\cap R_2$ es reflexiva.

Sea $a\in A$, veamos que $(a,a)\in R_1\cap R_2$.
Como $a\in A$ y $R_1$ es relación de equivalencia en $A$, entonces en particular es reflexiva, de modo que $(a,a)\in R_1$.

Luego, como $a\in A$ y $R_2$ es reflexiva por ser relación de equivalencia se cumple que $(a,a)\in R_2$. Por lo tanto, $(a,a)\in R_1$ y $(a,a)\in R_2$, esto es $(a,a)\in R_1\cap R_2$.

Por lo tanto, $R_1\cap R_2$ es reflexiva.

Afirmación 2. $R_1\cap R_2$ es simétrica.

Sea $(a,b)\in R_1\cap R_2$, veamos que $(b,a)\in R_1\cap R_2$.

Como $(a,b)\in R_1\cap R_2$, entonces $(a,b)\in R_1$ y $(a,b)\in R_2$. Luego, $(b,a)\in R_1$ y $(b,a)\in R_2$ por ser $R_1$ y $R_2$ relaciones simétricas respectivamente. Por lo tanto, $(b,a)\in R_1\cap R_2$.

Por lo tanto, $R_1\cap R_2$ es simétrica.

Afirmación 3. $R_1\cap R_2$ es transitiva.

Sean $(a,b), (b,c)\in R_1\cap R_2$, veamos que $(a,c)\in R_1\cap R_2$.

Como $(a,b)\in R_1\cap R_2$, entonces $(a,b)\in R_1$ y $(a,b)\in R_2$. Luego, como $(b,c)\in R_1\cap R_2$ entonces $(b,c)\in R_1$ y $(b,c)\in R_2$.

Así, $(a,b)\in R_1$ y $(b,c)\in R_1$ y por la transitividad de $R_1$ se sigue que $(a,c)\in R_1$.

De forma similar, como $(a,b)\in R_2$ y $(b,c)\in R_2$ se sigue que $(a,c)\in R_2$ por transitividad de $R_2$.

De los argumentos anteriores se tiene que $(a,c)\in R_1\cap R_2$.

Por lo tanto, $R_1\cap R_2$ es transitiva.

De la Afirmación 1, Afirmación 2 y Afirmación 3 concluimos que $R_1\cap R_2$ es relación de equivalencia en $A$.

$\square$

Proposición. Si $R$ es una relación sobre un conjunto $X$ que cumple con las propiedades

  1. $(x,x)\in R$ para todo $x\in X$ y
  2. Si $(x,y)\in R$ y $(y,z)\in R$, entonces $(z,x)\in R$,

entonces $R$ es relación de equivalencia.

Demostración.

Supongamos que $R$ es una relación tal que $(x,x)\in R$ para todo $x\in X$ y si $(x,y)\in R$ y $(y,z)\in R$, entonces $(z,x)\in R$. Veamos que $R$ es relación de equivalencia.

Tenemos que $R$ es reflexiva pues por hipótesis $(x,x)\in R$ para todo $x\in X$. Luego, si $(x,y)\in R$, veamos que $(y,x)\in R$ para probar que $R$ es simétrica. Dado que $(x,y)\in R$ entonces $x,y\in X$ y por reflexividad $(y,y)\in R$. Así, por hipótesis tenemos que $(y,x)\in R$.

Ahora veamos que $R$ es transitiva. Supongamos que $(x,y)\in R$ y $(y,z)\in R$ y mostremos que $(x,z)\in R$. Como $(x,y)\in R$ y $(y,z)\in R$, entonces $(z,x)\in R$ y por simetría de $R$ se tiene que $(x,z)\in R$.

$\square$

Tarea moral

La siguiente lista de ejercicios te será útil para verificar por tu cuenta que ciertas relaciones son de equivalencia:

  1. Demuestra que $Id_A$ es una relación de equivalencia para $A$ un conjunto cualquiera.
  2. En el texto tomamos como ejemplo a $X=\set{a,b,c}$ y $R=\set{(a,a), (b,b), (c,c), (a,b), (b,a), (a,c), (c,a)}$ y mencionamos que $R$ era reflexiva y simétrica. Demuéstralo explícitamente.
  3. También tomamos $X=\set{a,b,c}$ y $R=\set{(a,a), (b,b), (c,c), (a,b)}$ y mencionamos que era reflexiva y transitiva. Haz todos los casos para mostrar que esto es cierto.
  4. Construye $R$ una relación tal que $R$ sea reflexiva pero no sea ni simétrica ni transitiva.
  5. Demuestra o da un contraejemplo a las siguientes afirmaciones:
    • Si $R_1$ y $R_2$ son relaciones de equivalencia en $A$, entonces $R_1\cup R_2$ es relación de equivalencia en $A$.
    • Si $R_1$ es relación de equivalencia en $A$, $R_2$ es relación de equivalencia en $B$ y $A\cap B=\emptyset$, entonces $R_1\cup R_2$ es relación de equivalencia en $A\cup B$.
  6. Un clásico argumento falso para demostrar que la reflexividad no es necesaria en la definición de relación de equivalencia es «argumentar» que si tenemos $(x,y)$ en la relación, por simetría tenemos $(y,x)$ y entonces por transitividad al tener $(x,y)$ y $(y,x)$ podemos deducir que tenemos $(x,x)$. ¿Cuál es el problema con este argumento?
  7. Sea $X$ un conjunto y $R$ una relación simétrica y transitiva en $X$, tal que para todo $x\in X$ se tenga que exista un $y$ tal que $(x,y)\in R$. Demuestra que $R$ es relación de equivalencia.

Más adelante…

En la siguiente entrada seguiremos tratando a las relaciones de equivalencia. Esta vez hablaremos acerca de los elementos del conjunto en el cual hay una relación de equivalencia y cómo podemos estudiarlos según estén relacionados con otros elementos. Definiremos una nueva noción llamada clase de equivalencia. En una clase de equivalencia se encontrarán todos aquellos elementos que estén relacionados con un mismo elemento bajo la relación de equivalencia dada.

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»

Teoría de los Conjuntos I: Composición de relaciones

Por Gabriela Hernández Aguilar

Deja un comentario

Introducción

En esta entrada retomaremos el tema de relaciones que vimos anteriormente. Esta vez definiremos una nueva relación a partir de dos relaciones: la composición. Veremos si la composición de dos relaciones tiene propiedades como la conmutatividad o la asociatividad.

Definamos la composición

Definición. Sean $R_1$ y $R_2$ relaciones de $A$ en $B$ y de $C$ en $D$ respectivamente. Definimos a la composición de $R_1$ con $R_2$ como el siguiente conjunto:

$R_2\circ R_1=\set{(a,c): \exists b\ tal\ que\ (a,b)\in R_1\ y\ (b,c)\in R_2}$.

En otros símbolos, si $a,b,c$ son elementos tales que $aR_1b$ y $bR_2c$, entonces se cumplirá que $a (R_2\circ R_1) c$.

Ejemplo.

Sean $X=\set{0,1}$ y $Y=\set{1,2}$ y $Z=\set{1,2,3,4}$ conjuntos. Sean $R_1$ y $R_2$ relaciones de $X$ en $Y$ y de $Y$ en $Z$ definidas como sigue:

$R_1=\set{(0,1), (0,2)}\ y\ R_2=\set{(1,3), (1,4)}$.

Podemos hacer diagramas de ambas relaciones en una misma figura como sigue:

Luego, la composición de $R_2\circ R_1$ resulta ser el siguiente conjunto:

$R_2\circ R_1=\set{(0, 3), (0,4)}$.

Para leerlo en el diagrama, podemos ver que hay un «camino» de $0$ a $3$ que usa las flechas de $0$ a $1$, y de $1$ a $3$. También hay un «camino» de $0$ a $4$ que usa las flechas de $0$ a $1$, y de $1$ a $4$.

Además de notarlo en el diagrama, podemos verificar mediante la definición. La pareja $(0,3)$ está pues $1\in Y$ tal que $(0,1)\in R_1$ y $(1,3)\in R_2$. Por su parte, la pareja $(0,4)$ está pues existe $1\in Y$ tal que $(0,1)\in R_1$ y $(1,4)\in R_2$.

$\square$

Algunos resultados

A continuación hablaremos de algunos resultados de la composición, la relación inversa y la relación identidad.

Proposición. Si $R$ es una relación en $A$, entonces $R\circ Id_{A}=R$.

Demostración.

Sea $R$ una relación en $A$. Veamos que $R\circ Id_{A}=R$.

$\subseteq$] Sea $(x,z)\in R\circ Id_{A}$, entonces existe $y$ tal que $(x,y)\in Id_{A}$ y $(y,z)\in R$.
Luego, como $(x,y)\in Id_{A}$ se sigue que $x=y$ y así $(y,z)=(x,z)\in R$.

$\supseteq$] Sea $(a,c)\in R$. Como $a,c\in A$, se sigue que $(a,a)\in Id_{A}$. Por lo que existe $a$ tal que $(a,a)\in Id_{A}$ y $(a,c)\in R$. Por lo tanto, $(a,c)\in R\circ Id_{A}$.

Por lo tanto, $R\circ Id_{A}=R$.

$\square$

Proposición. Si $R$ es una relación de $A$ en $B$, entonces $Id_{Im\ R}\subseteq R\circ R^{-1}$.

Demostración.

Sea $y\in Im(R)$. Como $y\in Im\ R$ existe $a\in A$ tal que $(a,y)\in R$, y por definición de relación inversa tenemos que $(y,a)\in R^{-1}$.

Encontramos $a\in A$ tal que $(y,a)\in R^{-1}$ y $(a,y)\in R$, esto es $(y,y)\in R\circ R^{-1}$. Así, $Id_{Im\ R}\subseteq R\circ R^{-1}$.

$\square$

Propiedades de la composición

Hemos dicho hasta ahora que la composición es una operación entre dos conjuntos que son relaciones. Por ello, podemos preguntarnos qué pasa con la conmutatividad y la asociatividad de dicha operación.

En general, no es cierto que $R_1\circ R_2=R_2\circ R_1$, es decir, la composición no es conmutativa.

Ejemplo.

Consideremos $X=\set{1,2}$. Sean $R_1=\set{(1,1), (1,2)}$ y $R_2=\set{(1,2),(2,1)}$ relaciones en $X$.

Por un lado tenemos que

$R_1\circ R_2=\set{(2,1), (2,2)}$

y por otro lado

$R_2\circ R_1=\set{(1,2),(1,1)}$.

De modo que $R_1\circ R_2\not=R_2\circ R_1$.

$\square$

El segundo resultado que tenemos es que la asociatividad siempre se cumple.

Proposición. Si $R_1$, $R_2$ y $R_3$ son relaciones, entonces, $(R_3\circ R_2)\circ R_1=R_3\circ (R_2\circ R_1)$.

Demostración.

Sean $R_1$, $R_2$ y $R_3$ relaciones, tenemos que $(x,z)\in (R_3\circ R_2)\circ R_1$ si y sólo si existe $y$ tal que $(x,y)\in R_1$ y $(y,z)\in R_3\circ R_2$ si y sólo si $(x,y)\in R_1$ y existe $w$ tal que $(y,w)\in R_2$ y $(w,z)\in R_3$ para algún $y$ si y sólo si existe $w$ tal que $(x,w)\in R_2\circ R_1$ y $(w,z)\in R_3$ si y sólo si $(x,z)\in R_3\circ(R_2\circ R_1)$.

Por lo tanto, $(R_3\circ R_2)\circ R_1=R_3\circ (R_2\circ R_1)$.

$\square$

Hemos probado que la composición de relaciones es asociativa y a su vez concluimos que en general no conmuta.

Tarea moral

  1. Demuestra que si $R$ es una relación arbitraria, $R\circ \emptyset=\emptyset=\emptyset\circ R$.
  2. Prueba que si $R$ es una relación en $A$, entonces $R=Id_{A}\circ R$.
  3. Sea $R$ una relación de $A$ en $B$. Demuestra que $Id_{\text{DomAct} R}\subseteq R^{-1}\circ R$.
  4. Sean $A= \set{1,2,3}$, $B=\set{1,2}$ y $C=\set{1,2,3,4}$. Sean $R_1=\set{(1,2), (3,1)}$ y $R_2=\set{(1,4), (2,1), (2,3)}$ relaciones de $A$ en $B$ y de $B$ en $C$ respectivamente. Calcula $R_2\circ R_1$.

Más adelante…

Ya hemos hablado de relaciones en general, y de cómo componerlas. A partir de ahora comenzaremos a pedirle más propiedades a nuestras relaciones para que se conviertan en algunos tipos de relaciones muy especiales: funciones, relaciones de equivalencia, órdenes, etc. Comenzaremos a hacer esto en la siguiente entrada, en donde veremos qué se le debe pedir a una relación para que sea una función. Así, todas las funciones son relaciones, sin embargo, no toda relación será funció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»

Teoría de los Conjuntos I: Relaciones

Por Gabriela Hernández Aguilar

Deja un comentario

Introducción

En esta nueva entrada veremos el concepto de relación, para lo cual es necesario tener fresco el concepto de producto cartesiano. Así mismo, definiremos nuevos conjuntos a partir de una relación, como lo son el dominio activo, la imagen de una relación y la imagen de un conjunto bajo una relación. Concluiremos esta sección definiendo a la relación inversa.

Relación

Definición. Sean $A$ y $B$ conjuntos. Una relación $R$ de $A$ en $B$ es un subconjunto de $A\times B$. A $A$ le llamamos el dominio de la relación y a $B$ el codominio.

Si $A=B$ diremos que $R$ es una relación en $A$.

Ejemplo 1.

Sea $A=\set{\emptyset,\set{\emptyset}}$ y $B=\set{\emptyset, \set{\set{\emptyset}}}$ y definimos $R$ como:

$R=\set{(\emptyset, \emptyset), (\emptyset, \set{\set{\emptyset}})}$.

Dado que $A\times B=\set{(\emptyset,\emptyset), (\emptyset, \set{\set{\emptyset}}), (\set{\emptyset}, \emptyset), (\set{\emptyset}, \set{\set{\emptyset}})}$ y $R\subseteq A\times B$ decimos que $R$ es una relación de $A$ en $B$.

$\square$

Ejemplo 2.

Sea $A=\set{1,2}$ y $B=\set{1,2,3}$. Definimos $S=\set{(1,1), (1,2), (1,3)}$. Tenemos que $S$ es una relación de $A$ en $B$. En efecto, esto sucede pues $S=\set{(1,1), (1,2), (1,3)}\subseteq A\times B$, ya que $A\times B=\set{(1,1), (1,2), (1,3), (2,1), (2,2), (2,3)}$.

Podemos representar a $S$ mediante el siguiente diagrama. Del lado izquierdo hemos puesto al dominio $A$. Del lado derecho al codominio $B$. Para cada pareja $(a,b)$ de la relación, hemos puesto una flecha de $a$ a $b$.

Imagen de relación del ejemplo 2

$\square$

Definición. Si $(x,y)\in R$ con $R$ relación, decimos que $x$ está relacionado con $y$ mediante $R$ (o simplemente que $x$ está relacionado con $y$ si por el contexto es claro quién es $y$) y lo denotaremos como $xRy$.

Si retomamos el Ejemplo 1 podemos decir que $\emptyset R\emptyset$ y $\emptyset R\set{\set{\emptyset}}$.

A partir del Ejemplo 2 podemos decir que $1S1$, $1S2$ y $1S3$.

Relaciones relevantes

A continuación hablaremos de algunos ejemplos de relaciones que nos serán de utilidad más adelante.

  1. Relación vacía.
    Si $R=\emptyset$, entonces $R$ será llamada la relación vacía. Esto tiene sentido pues $\emptyset\subseteq A\times B$ para cualesquiera $A$ y $B$ conjuntos.
  2. Relación identidad.
    Sea $A$ un conjunto cualquiera. Definimos la relación identidad en $A$ como:
    $$Id_{A}=\set{(a,a):a\in A}.$$
    Notamos que $Id_{A}\subseteq A\times A$ pues para cualquier $(x,y)\in Id_{A}$ se tiene que $x=y$ con $x,y\in A$, lo que significa que $(x,y)\in A\times A$.
  3. Relación de pertenencia.
    Sea $A$ un conjunto. Definimos a la relación de pertenencia en $A$ como el siguiente conjunto:
    $$\in_{A}=\set{(a,b): a\in A,\ b\in A,\ a\in b}.$$
  4. Relación de contención.
    Sea $A$ un conjunto. Definimos a la relación de contención en $A$ como el siguiente conjunto:
    $$\subseteq_{A}=\set{(a,b): a\in A,\ b\in A,\ a\subseteq b}.$$

Dominio activo de una relación

Ya que hemos definido el concepto de relación, a continuación definiremos al dominio activo de una relación. El nombre lo dice todo: son aquellos elementos del dominio que sí participan activametne en la relación.

Definición. Sea $R$ una relación de $A$ en $B$. Definimos el dominio activo de la relación como:

$\text{DomAct}(R)=\set{x\in A:\exists y\in B\ tal\ que\ (x,y)\in R}$.

Ejemplo.

Sean $A=B=\set{1,2,3}$. Definimos $R=\set{(1,2), (1,1), (2,2),(1,3)}\subseteq A\times B$. Tenemos que $\text{DomAct}(R)=\set{1,2}$ pues para $1\in A$ existe, digamos, $1\in B$ tal que $(1,1)\in R$ y para $2\in A$ existe $2\in B$ tal que $(2,2)\in R$.

$\square$

Imagen de una relación

A continuación vamos a definir lo análogo al dominio activo, pero para el codominio. Le daremos un nombre al subconjunto de elementos del codominio que sí participan en la relación.

Definición. Sea $R$ una relación de $A$ en $B$. Definimos la imagen de $R$ como el conjunto

$\text{Im}(R)=\set{y\in B:\exists x\in B\ tal\ que\ (x,y)\in R}$.

Ejemplo.

Sean $A=B=\set{1,2}$. Definimos $R=\set{(1,2), (2,2)}\subseteq A\times B$.

Tenemos que $\text{Im}(R)=\set{2}$ pues para $2\in B$ existe, digamos $2\in A$ tal que $(2,2)\in R$. Sin embargo, $1\not \in \text{Im}(R)$ pues $R$ no tiene ninguna pareja de la forma $(x,1)$ con $x\in A$.

$\square$

Imagen de un conjunto bajo una relación

A veces queremos preguntarnos por los elementos del codominio que participan en la relación, pero sólamente con ciertos elementos del dominio. La siguiente definición establece esto.

Definición. Sea $R$ una relación de $A$ en $B$. Sea $C\subseteq A$. Definimos a la imagen de $C$ bajo $R$ como el el conjunto

$R[C]=\set{y\in B: \exists x\in C (xRy)}$.

Ejemplo.

Sean $A=\set{1,2}$ y $B=\set{1,2,3,4}$ conjuntos. Sea $R=\set{(1,1), (1,3), (2,1), (2,2), (2,4)}$, la cual es una relación de $A$ en $B$. Tomemos $C=\set{1}\subseteq A$. Tenemos que

$R[C]=\set{y\in \{1,2,3,4\}:\exists x\in\{1\}(xRy)}= \set{1,3}$.

$\square$

Relación inversa

Para cerrar esta entrada, introduciremos un concepto más: el de relación inversa.

Definición. Sean $A$ y $B$ conjuntos. Sea $R$ una relación de $A$ en $B$. Definimos la relación inversa de $R$ como la relación $R^{-1}$ de $B$ en $A$ definida como sigue:

$R^{-1}=\set{(b,a): (a,b)\in R}$.

Notemos que la relación inversa intercambia el orden de las entradas de las parejas ordenadas que son elementos de la relación $R$.

Ejemplo.

Sea $A=\set{\emptyset}$ y $B=\set{\emptyset, \set{\emptyset}}$ y definimos $R$ como:

$R=\set{(\emptyset, \emptyset), (\emptyset,\set{\emptyset})}.$

Tenemos que

$R^{-1}=\set{(\emptyset, \emptyset), (\set{\emptyset}, \emptyset)}.$

En efecto, como $(\emptyset, \emptyset)\in R$ tendremos que $(\emptyset, \emptyset)\in R^{-1}$ y como $(\set{\emptyset}, \emptyset)\in R$ tendremos que $(\emptyset, \set{\emptyset})\in R^{-1}$.

$\square$

Proposición. Sea $R$ una relación, demuestra que $(R^{-1})^{-1}=R$.

Demostración.

Tenemos que

\begin{align*}
(R^{-1})^{-1}&=\set{(x,y): (y,x)\in R^{-1}}\\
&= \set{(x,y): (x,y)\in R}\\
&= R.
\end{align*}

$\square$

Tarea moral

La siguiente lista de ejercicios te permitira reforzar los conceptos de relación, dominio activo e imagen.

  1. Si $R$ es la relación vacía, encuentra el dominio activo y la imagen de $R$.
  2. Para $R$ es la relación identidad de $A$, encuentra el dominio activo y la imagen de $R$.
  3. Sea $R=\set{(1,2), (3,4)}$ una relación de $A=\set{1,2,3}$ en $B=\set{1,2,3,4}$. Encuentra el dominio activo y la imagen de $R$. Además, escribe al conjunto $R^{-1}$.
  4. Si $R$ es la relación identidad de $A$, describe quién es $R^{-1}$.

Más adelante…

En la siguiente entrada continuaremos con el tema de relaciones. Esta vez trataremos el tema de composición de relaciones. Definiremos a la composición de relaciones como una relación que se construye a partir de al menos dos relaciones cuyos dominios y codominios tienen ciertas propiedades en comú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»

Álgebra Superior I: Funciones inyectivas, suprayectivas y biyectivas

Por Guillermo Oswaldo Cota Martínez

Deja un comentario

Introducción

En la entrada anterior, hemos revisado la definición de las funciones matemáticas. Siguiendo con este tema, ahora vamos a estudiar tres tipos de funciones: las inyectivas, suprayectivas y finalmente las inyectivas. Hemos hablado anteriormente de las primeras dos, ahora estudiaremos algunas equivalencias de las definiciones vistas en un principio y algunos resultados interesantes.

Inyectividad entre funciones

Las definiciones que daremos al estar hablando de inyectividad y supreyactividad de funciones serán las mismas que dimos al hablar de los tipos de relaciones. Primero empezaremos hablando de la inyectividad.

Cuando estemos hablando de funciones, diremos que una función inyectiva es aquella que manda a elementos distintos en el dominio a elementos distintos en el contradominio.

Definición. Diremos que una función $f: X \rightarrow Y$ es inyectiva, si $f$ es una relación inyectiva. Es decir para cada elemento $y \in Im[f]$, existe un único $x$ tal que $(x,y) \in f$

Nota que esta es la definición de inyectividad que dimos anteriormente. El hecho de que $f$ sea una función, nos permitirá tener otra forma de ver la inyectividad, para darte cuenta de ello, observa la siguiente proposición:

Proposición. Sea $f: X \rightarrow Y$ una función. Entonces son equivalentes:

  1. $f$ es inyectiva.
  2. Para cualesquiera tres elementos $x,w \in X$ y $y \in Im[f]$ sucede que si $f(x) = y \land f(w) = y$ entonces $x=w$.

Demostración.

$1) \Rightarrow 2)$. Recordemos que una equivalencia de la inyectividad en relaciones es que si $(x,y) \in f$ y $(w,y) \in R$ entonces $x=w$. Usaremos esta equivalencia para nuestra demostración. Ahora nota que si $f(x)=y$ y $f(w)=y$ entonces $(x,f(x)) \in f$ y $(w,f(w)) \in f$. Como $f$ es inyectiva entonces $x=w$.

$2) \Rightarrow 1)$.Sean $(x,y) \in f$ y $(w,y) \in f$. Para demostrar el inciso, bastará demsotrar que $x=w$, para ello note que como $f$ es una función entonces $(x,y) = (x,f(x))$ y $(w,y) =(w,f(w))$. Ahora notemos que $f(x)=f(w)$, por hipótesis, esto significa que $x=w$.

$\square$

.

Esta última equivalencia deja más claro que una función inyectiva es aquella que envía a elementos distintos en el dominio a elementos distintos en el contradominio.

Ejemplos de funciones inyectivas son:

  • La función $f:\mathbb{Z} \rightarrow \mathbb{Z}$ donde $f(x)=x+1$, esto es debido a que si $f(x)=f(w)$ entonces $x+1=w+1$, lo que implicaría que $x=w$.
  • La función $f:\{1,2,3\} \rightarrow \{a,b,c,d,e\}$ dada por: $f=\{(1,e),(2,b),(3,c)\}$.
  • La función identidad entre cualquier conjunto $X$, dada por $f: X \Rightarrow X $ donde $f(x)=x$.

Suprayectividad entre funciones

Siguiendo con la lista de conceptos a revisar hoy, nos encontramos nuevamente con la suprayectividad, el concepto en donde todo el contradominio de la función coincide con su imagen:

Definición. diremos que una función $f:X \rightarrow Y$ es suprayectiva si $f$ es una relación suprayectiva. Es decir, si para cada $y \in Y$, existe un $x \in X$ tal que $f(x)=y$

Esta última definición es una derivación de una equivalencia que mostramos con anterioridad. Puesto que decir que para cada $y \in Y$, existe un $x \in X$ tal que $f(x)=y$, es equivalente a decir que para cada elemento $y \in Y$, existe un elemento $x \in X$ tal que $(x,y) \in f$, basta con notar que $f(x)=y$ produce la equivalencia deseada.

Algunos ejemplos de funciones suprayectivas son:

  • La función identidad $f: X \rightarrow X$. Para ello, nota que para cada $y \in X$, sucede que $(y,f(y)) \in f$, por lo que es suprayectiva, pues $f(y)=y$.
  • Sea $X =\{0\}$, entonces la función $f: \mathbb{Z} \rightarrow X$ dada por $f(n)=0$ es una función suprayectiva.
  • La función proyección $f: \mathbb{Z}^2 \rightarrow \mathbb{Z}$ dada por $f((x,y)) = x$ es suprayectiva.

Funciones biyectivas

El último concepto que revisaremos será el de funciones biyectivas. Estas funciones serán importantes porque en pocas palabras podrán «trasladar» un conjunto a otro. Definiremos a estas funciones como aquellas que son inyectivas y suprayectivas al mismo tiempo.

Definición. Sea $f: X \rightarrow Y$ una función. Diremos que $f$ es biyectiva si es inyectiva y suprayectiva.

Si una función es inyectiva, entonces manda distintos elementos del dominio a distintos elementos del contradominio. Mientras que si es suprayectiva, entonces todo el contradominio tiene su correspondencia. Así que si una función es biyectiva, entonces todo elemento del contradominio vendrá de uno y solamente un elemento del dominio. Esto significa que una función biyectiva «transforma» un conjunto en otro. A cada elemento del dominio lo vuelve uno del contradominio.

Por ejemplo, considera la función $f: X \rightarrow Y$ donde $X=\{1,2,3\}$ y $Y=\{a,b,c\}$ donde $f = \{(1,a),(2,b),(3,c)\}$. Nota que la función va de un conjunto $X$ y «traduce» cada uno de sus elementos a un elemento del conjunto $Y$. Esta es una forma en que las biyecciones nos dan información de cómo «traducir» un conjunto en otro.

Ahora considera la función $f: \mathbb{Z} \rightarrow \mathbb{Z}$ dada por $f(n)=n+1$. Esta es una función biyectiva. Y «traduce» cada número a su sucesor.

Otro ejemplo sería la función $f: \mathbb{R} \rightarrow \mathbb{R}$ dada por $f(x)=2x$. Nota que lo que hace esta función es «alejar» puntos del origen. Mientras que $f(0)=0$, a todos los números positivos los «aleja» más del origen del lado derecho, y a los número negativos los «aleja» del origen por la izquierda. Así que esta función biyectiva se podría pensar como una liga que pegamos a la mitad y jalamos por ambos lados hasta que cada lado mida el doble de lo que medía antes. Esta es una forma en que pasamos de una liga normal a una liga estirada, si cada punto de la recta real, fuera un pedazo de la liga, entonces «traducimos» ese punto estirando la liga.

Con estos ejemplos, vimos como una función biyectiva es una traductora de puntos, mandando cada punto del dominio a uno del contradominio, y cada punto del dominio tiene su propia traducción en el contradominio sin que otro punto del dominio comparta su traducción.

Así es como hemos revisado los tres tipos de funciones principales que usarás en muchas áreas de las matemáticas. La inyectividad nos dice que a cada elemento de la imagen de una función solo le corresponde una del dominio. La supreyactividad nos dice que la imagen de una función es igual al contradominio de la función. Mientras que la biyectividad nos habla de traducciones, o formas de ver un conjunto reflejado en otro conjunto.

Más adelante…

En la siguiente entrada daremos el paso de hablar de una función a más de una función, y esto lo haremos componiendo funciones. En un principio se pueden pensar las composiciones como mandar un elemento de un conjunto a otro conjunto mediante una función y después mandar este elemento a otro conjunto mediante otra función. Verás que será útil las composiciones cuando estemos hablando de distintas funciones entre conjuntos.

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. Da un ejemplo de una función inyectiva pero no suprayectiva.
  2. Sea $X$ un conjunto y $Y$ un subconjunto de $X$. La función inclusión está dada por $f: Y \rightarrow X$ donde $f(y)=y$.
    1. Demuestra que la función inclusión es inyectiva.
    2. Da condiciones necesarias para que la función inclusión sea biyectiva.
  3. Considera la función $f: \mathbb{Z} \rightarrow \mathbb{Z}$ dada por $f(n) = an +b$. ¿Para qué valores $a,b$ la función es biyectiva?
  4. Demuestra que una función $f: X \rightarrow Y$ es biyectiva si y solo si para cualquier subconjunto $A \subset X$ sucede que $f[X \setminus A] = Y \setminus f[A] $.

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»

Álgebra Superior I: Introducción a funciones

Por Guillermo Oswaldo Cota Martínez

Deja un comentario

Introducción

En esta entrada empezaremos a estudiar un tipo de relación muy específica, que son las funciones. Este concepto es fundamental en casi todas las áreas de las matemáticas, y aprender su uso será fundamental a partir de ahora.

La importancia de las funciones

Antes de empezar a hablar de las funciones, es importante que desde ahora entiendas que el concepto de la función es un concepto casi omnipresente en la tarea de estudiar las matemáticas. Para tener idea de la profundidad de esto, observa los siguientes ejemplos:

  • La base del cálculo son las funciones en una variable.
  • La base del cálculo en varias variables son las funciones de distintas variables.
  • En análisis se estudian las funciones entre espacios numéricos.
  • En probabilidad, se trabaja con las funciones entre espacios de probabilidad.
  • Las secuencias numéricas son funciones.
  • En álgebra moderna, el concepto de grupo es un tipo de función.
  • En topología muchas veces se estudian familias de funciones.

Los ejemplos podrían seguir y seguir, y es que nosotros al estudiar las matemáticas, es muy importante entender que la mayor parte de estudiarla será el analizar funciones.

La primera noción que daremos de lo que son las funciones son unas máquinas que reciben una entrada y devuelven una salida.

Un ejemplo de esto es una función que toma de entrada cualquier número entero y devuelve el número multiplicado por dos. Para traducir cómo escribiremos esto, recordemos que al principio hemos dicho que las funciones van a ser relaciones, entonces la forma en que definirimos esta función será con una pareja ordenada $(x,y)$. Como tenemos la idea de que las funciones son máquinas que reciben una entrada y arrojan una salida, entonces diremos que $x$ es la variable de entrada y $y$ la de salida. De manera que podemos representar a la función que toma cualquier número entero y devuelve el número multiplicado por dos, es de la siguiente manera: $$f = \{(x,y) \in \mathbb{Z}^2: y = 2x\} $$ En donde al mencionar que $y=2x$, estamos diciendo que la salida es dos veces la entrada.

Algunos de los elementos que pertenecen a la función son $$\{(0,0),(1,2),(-1,-2),(5,10),(-7,-14), \dots\}.$$

Cuando hablemos de funciones habrán dos cosas importantes que tendrá que cumplir la relación:

  • Deberemos de usar todo el dominio para crear la relación. Esto quiere decir que si estamos hablando de una función entre números enteros, entonces no importa de qué número entero estemos hablando, siempre podrá tener su correspondencia según la función. En nuestro ejemplo, nota que dijimos que la función toma «cualquier número entero», no estamos diciendo que solo toma algunos números enteros.
  • Cada elemento del dominio tendrá uno y solo un correspondiente del contradominio. Esto quiere decir que si $(x,y)$ pertenecen a la función, entonces no existe otra pareja distinta $(x,w)$ en la función. En nuestro ejemplo, nota que las parejas son de la forma $(x,2x)$, y esto implica que cada elemento del dominio solo aparece una vez, si no fuera así, habría dos elementos $(x,2x),(x,w)$ en la función en donde $2x \neq w$, lo cual es imposible, puesto que los elementos del contradominio son los elementos del dominio multiplicados por $2$, es decir $w = 2x$, generando una contradicción.

Estas serán las propiedades que le pediremos a una relación para ser función.

Definición. Sea $f$ una relación entre dos conjuntos $X,Y$. Diremos que $f$ es una función si cumple las siguientes propiedades:

  • $Dom(f) = X$
  • Si $(x,y) \in f$ y $(x,w) \in f$, entonces $y=w$.

Esta última propiedad quiere decir que solo existe una pareja que tenga a $x$ en el lugar de los elementos del dominio.

Como hemos dicho antes, una función será una correspondencia entre elementos de $X$ con elementos de $Y$ de manera que a cada elemento de $X$ le corresponderá uno y únicamente un elemento del contradominio.

Ejemplos de funciones

Algunos ejemplos de funciones son:

  • La función identidad. Esta función de un conjunto $X$ en sí mismo, es el conjunto $$\{(x,y) \in X^2:x=y\}.$$ Y son las parejas de la forma $(x,x)$.
  • Si $X = \{1,2,3\}, Y=\{a,b\}$, entonces $\{(1,a),(2,a),(3,b)\}$ es una función.
  • La función que corresponde a cada persona de la tierra con su cumpleaños, es una función.
  • La función proyección. Supongamos que tenemos dos conjuntos $X,Y$, la proyección es la función entre el producto cartesiano $X \times Y$ y el conjunto $X$ que asocia cada pareja ordenada $(x,y)$ con el primer elemento de la pareja $x$. Esto quiere decir que la función «se olvida» del elemento $y$. De esta forma, $f$ toma elementos del producto $X \times Y$ y su contradominio es el conjunto $X$ que manda cada pareja ordenada a su proyección sobre la primer entrada, esto quiere decir que $f((x,y)) = x$. Así, observa que los elementos de esta función son de la forma $((x,y),x).$ Esta es una función que se utiliza en áreas como la geometría analítica, cuando se tiene el plano cartesiano y se define la proyección de un vector sobre algún eje o incluso sobre la dirección de otro vector.

Un ejemplo de una relación que no es función es la función entre $X = \{1,2,3\}$ y $Y=\{a,b\}$, donde la relación es $\{(1,a),(2,a),(1,b)\}$. Esto es por dos razones: Se utiliza más de una vez el elemento del dominio $1$, aparecen las parejas $(1,a),(1,b)$, pero no es cierto que $a=b$, además nota que no se utiliza el elemento $3$ del dominio, por lo que se rompen las dos condiciones que pedimos para que fuera función.

Más sobre funciones

Al momento de estar hablando de una función $f$ entre dos conjuntos $X$ y $Y$ , es común hacer uso de la notación $f:X \rightarrow Y$ que se lee como «$f$ es una función que va de $X$ a $Y$». Y si $x \in X$, al único elemento $y$ tal que $(x,y) \in f$, lo podremos denotar por $f(x)$ de manera que las parejas serán de la forma $(x,f(x))$.

A continuación definiremos algunos conceptos que usaremos al hablar de funciones.

Definición. Diremos que dos funciones $f: X \rightarrow Y$ y $g: W \rightarrow Z$ son iguales si las relaciones son la misma, es decir si $X=W$ y $Y=Z$ y para cada elemento $x \in X$, $f(x)=g(x)$.

Esto nos quiere decir que si dos funciones son iguales, entonces mandan a todo elemento $x$ al mismo elemento en el contradominio.

Con esto, hemos cubierto la noción de las funciones. Lo importante que recuerdes ahora es que las funciones son un tipo de relación que usan todo el contradominio y que mandan cualquier elemento del dominio a uno y solamente un elemento del contradominio. Verás que conforme avances en distintas ramas de la matemática, serán muy importante saber qué son las funciones.

Más adelante…

Hasta ahora hemos hablado únicamente de la definición de las funciones y cuándo dos funciones son iguales. En las siguiente entrada platicaremos acerca de las funciones inyectivas, suprayectivas y biyectivas. Que si recuerdas los términos, alguna vez definimos los dos primeros en el contexto de relaciones. Volveremos a explorar estos términos pero ahora desde el punto de vista de las funciones.

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 que la relación «ser menor o igual» en los números enteros no es una función.
  2. Dado cualquier conjunto $X$ no vacío, ¿Cuál es la única función que es relación de equivalencia?
  3. Demuestra que no existe ninguna función $f:X \rightarrow \emptyset$ .
  4. Sean $f: \mathbb{Z} \rightarrow \mathbb{Z}$ y $g: \mathbb{Z} \rightarrow \mathbb{Z}$. Definamos $f(x) = x ^2$ y $g(x) = (x+1)(x-1)+1$. Demuestra que $f=g$.

Entradas relacionadas

  • Ir a Álgebra Superior I
  • Entrada anterior del curso: Problemas de órdenes parciales y relaciones de equivalencia
  • Siguiente entrada del curso: Funciones inyectivas, suprayectivas y biyectivas

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»