Actividad 3.

Relaciones y funciones
Al finalizar esta actividad podrs plantear y resolver problemas y ejercicios sobre relaciones y funciones, resuelve lo
siguiente:
1) Una pareja ordenada (
) cumple la siguiente propiedad ( ) ( ) si y slo si
y
, definimos el producto
cartesiano de dos conjuntos y como
*(
)
+.
Resuelve lo siguiente:
a) Si
*
+
*
+
*
+
*
+
Calcula
*
+ *
+ *(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)
(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)
(
)(
)(
)(
)(
)+
*
+ *
+ *(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)
(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)
(
)(
)(
)(
)+
*
+
*
+ *
+ *(
)(
)(
)(
)(
)
(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)
( )( )(
)(
)(
) ( ) ( )+
*
+ *
+ *(
)(
)(
)(
)(
)
(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)
(
)(
)(
)(
)(
)(
)(
)+
+ *
+) *
+ *
+ *
+
(
)
(*
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)
*(
(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)( )
( ) ( ) ( ) ( )+
+ (*
+ *
+) *
+ *
+
(
) *
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)
*(
(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)
(
)(
)(
)(
)(
)(
)(
)(
)+
2) Sean A y B conjuntos de una relacin R de A en B que se define como cualquier subconjunto de
, el dominio de

R se define como el subconjunto *

(
)
+ y al conjunto B se le llama el contradominio de la

relacin, la imagen de una relacin se define como el subconjunto de B que satisface: *

(
)
)
+ Como notacin se suele escribir (
. Si A=B, decimos que R es una relacin sobre A. Resuelve los
siguientes ejercicios:
*
+ como (
)
a) Sea D la relacin definida sobre el conjunto
si divide a . Escribe
explcitamente los miembros de D, as como el dominio, contradominio e imagen de D.
Como si
se define de esta manera queda
Se obtiene la relacin D que es
)(
)(
)(
*(

)(

)(
(

)(
)(

)(
)(

)(
)+

)(

El dominio,contradominio e imagen es
*
+
*
+
Para buscar su imagen hacemos un diagrama de Venn y queda entonces

)(

)(

)(

)(

)
b) Definimos R sobre el conjunto de nmeros enteros como (
si y dejan el mismo residuo cuando se
dividen entre . Describe el dominio, contradominio e imagen de esta relacin.
Sea el conjunto de los nmeros enteros
*
+
Considerando las clases de equivalencia que se define como
que son 3 y son:
, - *
+ , - , - *
+
, - *
+ , - , - *
+
, - *
+ , - , - , - *
+
La relacin se define como tiene el mismo residuo al dividir entre 3 y es:
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)(
)
*(
(
)(
)(
)(
)(
)(
)(
)(
)(
)+
El dominio,contradominio e imagen es
*
+
*
+
Explicando ahora la clase de equivalencia respectivamente a los residuos de la divisin antes de buscar la imagen
Definimos la relacin
si a y b dejan el mismo residuo al dividirse entre 3, as
a) Los que dejan residuo cero
b) Los que dejan residuo uno
c) Los que dejan residuo dos
Su correspondencia el conjunto de nmeros enteros como (
)
si a y b dejan el mismo residuo
cuando se dividen entre3. entonces si representamos su imagen por medio de Diagramas de Euler queda

Su imagen es:
*

3) Una relacin R sobre A se dice que es reflexiva si

, se dice que es simtrica si (
) ( )
( )
dice que es transitiva si (
. Contesta lo siguiente:
a) Califica a las relaciones definidas en 4) como reflexivas, simtricas o transitivas.
1) Reflexiva

, se

2) Simtrica

3) Transitiva

b) Una relacin sobre un conjunto A se dice que es de equivalencia si cumple con ser reflexiva, simtrica y transitiva,
da tres ejemplos de relaciones de equivalencia.
(
)
)

(
( )

(
)
( )

(
(
(
) (
( ) ( )

3)

)
)

)
)
(
(

2)

(
(

)( )
4) Una funcin f de A en B, es una relacin de A en B que cumple lo siguiente: (
y se
denota como ( )
, el dominio, el contradominio y la imagen de f se definen igual que para una relacin. Tambin
se usa la notacin:
.
a) Determina si las siguientes relaciones son funciones y determina su imagen:
+
i) *( )
No es una funcin pues para una x el valor de y no es nico pues

Porque ambos puntos ( ) (

) estn en la relacin
+
ii) *( )
Es una funcin a razn de que
y de tal forma que la podemos escribir mediante elipsis
)(
)(
)(
)(
)(
)(
) + y entonces decimos que la imagen de f es el conjunto de los
* (
cuadrados perfectos
+

iii) *
Si es una funcin a razn de que cada valor de x le corresponde un solo valor de y en los nmeros naturales y su
imagen por lo tanto es todo nmero natural.
b) Si
*
+y
*
+, lista cuatro funciones de en .
Las cuatro funciones son las siguientes
*(
)(
)( )(
)(
)+
Donde el dominio y el contradominio de la funcin son los siguientes:
( )
*
+
( )
*
+
*(
)(
)(
)( )(
)+
Donde el dominio y el contradominio de la funcin son los siguientes:
( )
*
+
( )
*
+
*(
)( )(
)(
)(
)+
Donde el dominio y el contradominio de la funcin son los siguientes:
( )
*
+
( )
*
+
*(
)( )(
)(
)(
)+
Donde el dominio y el contradominio de la funcin son los siguientes:
( )
*
+
( )
*
+

5) Investiga las definiciones de inyectividad, suprayectividad y biyectividad entre funciones.

a) Determina si las siguientes funciones son biyectivas

( )
i)
.
No es biyectiva a razn de que
1) Si es biyectiva
( )
2) No es suprayectiva

( )

( )
Es decir debe ser un entero lo cual no es cierto y de hecho ningn entero impar es imagen bajo f de algn
elemento.
( )
ii)
.
No es biyectiva a razn de que
1) SI es biyectiva
( )
( )
2) No es suprayectiva

( )

Es decir debe ser un entero lo cual no es cierto y adems debe ser un nico nmero entero
( )
iii)
.
Evidentemente es biyectiva a razn de que

Y adems tambin

es imagen de

A razn de que si ( )
( )
iv)
Es biyectiva a razn de que
a) Es inyectiva

( )

( )

b) Es suprayectiva
( )

c) Si existe una funcin biyectiva

como ( )
, tal que ( )

de un conjunto A en un conjunto B podemos definir la funcin inversa

, da tres ejemplos de funciones biyectivas y escribe sus inversas.
( )
)
Es una funcin biyectiva y tiene inversa que es:
( )

( )

( )

( )

( )

( )

)
Es una funcin biyectiva y tiene inversa que es:

)
Es una funcin biyectiva y tiene inversa que es:

( )

( )

d) Se dice que un conjunto A tiene cardinalidad finita si existe una funcin biyectiva entre A y el conjunto
*
+. Si un conjunto no tiene cardinalidad finita se dice que es infinito.
i) Da una definicin de cardinalidad 0 para un conjunto.
El cardinal del conjunto vaco se denota convencionalmente como 0 (cero) y contiene al nico conjunto
vaco:
( )
(La cardinalidad del conjunto vaco es cero.)
ii) Da tres ejemplos de conjuntos de cardinalidad finita

J x| x es el nmero de un da del mes de junio

K

x|

L x| x es la cantidad de autos en la ciudad de Mxico

iii) Da tres ejemplos de cardinalidad infinita.
N 1,3,5,7,9,11,
M 2,4,6,8,10,12,

Q x| x es la cantidad de puntos en una lnea

iv) Da dos ejemplos de funciones entre conjuntos de cardinalidad finita e infinita.
*
*

+
+

e) Se define la composicin de dos funciones

y
como la funcin
definida como
( )
( )
)( )
*( )
+, se denota como
y(
( ( ))
.
i) Es inyectiva la composicin de dos funciones inyectivas? Prueba o da contraejemplo.
( )
( )
( )
( )
Si
y si
Por demostrar
es inyectiva entonces
(
)( ) (
)( )
( )
( )
( ( ))
( ( ))
Por lo tanto g y f inyectivas
ii) Es sobreyectiva la composicin de dos funciones sobreyectivas? Prueba o da contraejemplo.

( ) y si
( )
(
)( ) entonces por medio de la deifiniciones mencionadas queda
( )
Por
( ) realizando operaciones correspondientes
(
)( )
( ( ))
Por lo tanto y finalmente
es sobreyectiva
iii) Es biyectiva la composicin de dos funciones biyectivas? Prueba o da contraejemplo.
Sean
biyectivas entonces se dividen en dos casos:
Caso 1
SI
son inyectivas
es inyectiva como se demostr en i)
Caso 2
Si
son sobreyectivas
es sobreyectiva como se demostr en ii)
Por lo tanto
es biyectiva
Si
Por demostrar