UNIVERSIDAD ABIERTA Y A DISTANCIA DE MEXICO

Nombre: Johana Reyes Rojas

Profesor: Sal ngel Cuevas




Asignatura: Introduccin al algebra superior




Actividad 3 Relaciones y funciones




Fecha: 5 de febrero de 2014


Actividad 3. Relaciones y funciones
Al finalizar esta actividad podrs plantear y resolver problemas y ejercicios sobre
relaciones y funciones, resuelve lo siguiente:

Si * + *+ *+ * +
calcula ( ) ( )
= (a,1) (a,2) (a,3) (a,4) (a,5) (b,1) (b,2) (b,3) (b,4) (b,5) (d,1) (d,2) (d,3) (d,4) (d,5)
(e,1) (e,2) (e,3) (e,4) (e,5) (f,1) (f,2) (f,3) (f,4) (f,5)
= (1,a) (2,a) (3,a) (4,a) (5,a) (1,b) (2,b) (3,b) (4,b) (5,b) (1,d) (2,d) (3,d) (4,d) (5,d)
(1,e) (2e) (3e) (4e) (5e) (1f) (2f) (3f) (4f) (5f)
=
= (a,a) (b,b) (d,d) (e,e) (f,f)
= (1,1) (2,2) (3,3) (4,4) (5,5)
( ) = (a,1) (a,2) (a,3) (a,4) (a,5) (b,1) (b,2) (b,3) (b,4) (b,5) (d,1) (d,2) (d,3) (d,4)
(d,5) (e,1) (e,2) (e,3) (e,4) (e,5) (f,1) (f,2) (f,3) (f,4) (f,5) (i,1) (i,2) (i,3) (i,4) (i,5)
( ) = (a,1) (a,2) (a,3) (a,4) (a,5) (a,7) (a,9) (b,1) (b,2) (b,3) (b,4) (b,5) (b,7) (b,9)
(d,1) (d,2) (d,3) (d,4) (d,5) (d,7) (d,9) (e,1) (e,2) (e,3) (e,4) (e,5) (e,7) (e,9) (f,1) (f,2) (f,3)
(f,4) (f,5) (f,7) (f,9)

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:

a) Sea D la relacin definida sobre el conjunto *+ como
( ) si divide a . Escribe explcitamente los miembros de D, as como el
dominio, contradominio e imagen de D.

D = (2,2) (2,4) (2,6) (2,8) (2,10) (2,12) (3,3) (3,6) (3,9) (3,12) (4,4) (4,8) (4,12) (5,5) (5,10)
(6,6) (6,12)

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:
Dominio (2,3,4,5,6)
Contradominio ( 4,6,8.9.10,12)

IMAGEN


Imagen = (4,6,8,10,12)

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.
N = (1,2,3,4,5,6,7,8,9)
Relacion = (1,1) (1,4) (1,7) (2,2) (2,5) (2,8) (3,3) (3,6) (3,9) (4,1) (4,4) (4,7) (5,5) (5,8) (6,3)
(6,6) (6,9) (7,1) (7,4) (7,7) (8,2) (8,5) (8,8) (9,3) (9,6)
Dominio = (1,2,3,4,5,6,7,8,9)
Contradominio = (1,2,3,4,5,6,7,8,9)
Imagen: (3,4,5,6,7,8,9)

3. Una relacin R sobre A se dice que es reflexiva si , se dice que es
simtrica si ( ) ( ) , se dice que es transitiva si ( ) ( )
( ) . Contesta lo siguiente:
a) Califica a las relaciones definidas en 4) como reflexivas, simtricas o transitivas.

Reflexiva: Cumple la propiedad cuando todo elemento del conjunto A esta relacionado
consigo mismo.

Por ejemplo: sea A= (1,2,3,4)
R = (1,1) (1,3) (2,2) (3,2) (3,3) (4,3) (4,4)
Simetrica; Cumple la propiedad cuando para cada par (a,b) R y (b,a) R.

Si (a,b) esta en la relacin pero (b,a) no entonces, la relacin no es simetrica

Por ejemplo, sea A = (1,2,3,4)

R = (1,1) (1,3) (2,2) (3,1) (3,3) (3,4) (4,3) (4,4)

Transitiva: Cumple la propiedad cuando para cada par (a,b) R y (b,c) R

Por ejemplo sea A = (1,2,3,4)

R = (1,1) (1,3) (2,2) (3,3) (4,3) (4,4)



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.


Sea A = {1,2,3,4} y
R = {(1,1),(1,2),(2,1),(2,2),(3,4),(4,3),(3,3),(4,4)}.
Ver si R es de equivalencia.
Solucion
Reexividad. En efecto,
(1,1) R, (2,2) R, (3,3) R y (4,4) R
luego,
x (x A = xRx)
es decir, R es reexiva.
Simetra. En efecto,
(1,2) R y (2,1) R
(3,4) R y (4,3) R
luego,
x, y A [(x, y) R = (y, x) R]
es decir, la relacion propuesta es simetrica.
Transitividad. En efecto,
(1,1) R y (1,2) R = (1,2) R
(1,2) R y (2,1) R = (1,1) R
(1,2) R y (2,2) R = (1,2) R
(2,1) R y (1,1) R = (2,1) R
(2,1) R y (1,2) R = (2,2) R
(2,2) R y (2,1) R = (2,1) R
(3,4) R y (4,4) R = (3,4) R
(3,3) R y (3,4) R = (3,4) R
(4,3) R y (3,3) R = (4,3) R
(4,4) R y (4,3) R = (4,3) R
luego,
x, y, z A [(x, y) R (y, z) R = (x, z) R]
y la relacion es, por tanto, transitiva.

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 funcion
ii) *( )

+ Es una funcion
iii) * + Es una funcion

b) Si *+ y * +, lista cuatro funciones de en .

= (1,a) (2,b) (3,c) (4,d) (5,d)
= (1,b) (2,a) (3,d) (4,c) (5,d)
= (1,d) (2,c) (3.b) (4,b) (5,a)
= (1,b) (2,c) (3,d) (4,a) (5,b)


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

Inyectividad: En matemticas, una funcin es inyectiva si a elementos
distintos del conjunto (dominio) les corresponden elementos distintos en el conjunto
(imagen) de . Es decir, cada elemento del conjunto Y tiene a lo sumo una antiimagen
en X, o, lo que es lo mismo, en el conjunto X no puede haber dos o ms elementos que
tengan la misma imagen.

Suprayectividad Una funcin es suprayectiva o sobre si todo elemento de su Codominio
es imagen de por lo menos un elemento de su Dominio, lo que se expresa como:
Sea : f f fD C Si b C existe a D tal que , f f ( ) entonces es sobre.

Biyectividad: Una funcin es biyectiva si al mismo tiempo es inyectiva y suprayectiva, y
la relacin entre los elementos del dominio y los del codominio es biunvoca


a. Determina si las siguientes funciones son biyectivas

i. () . No es biyectiva
ii. ()

. No es biyectiva
iii. () . Si es biyectiva
iv. () . Es biyectiva




















b. Si existe una funcin biyectiva de un conjunto A en un conjunto B
podemos definir la funcin inversa como () , tal que
() , da tres ejemplos de funciones biyectivas y escribe sus inversas.










c.
d.
e.
f.
g.
h.
i.













c. 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.
En matemticas, el conjunto vaco es el conjunto que no contiene ningn elemento.
Puesto que lo nico que define a un conjunto son sus elementos, el conjunto vaco es
nico.

ii. Da tres ejemplos de conjuntos de cardinalidad finita
A = xIx es el numero de un dia del mes de junio
B = xIx es el numero de personas que asisten en un estadio
C = xIx es la cantidad de autos que circulan en la Ciudad de Mexico

iii. Da tres ejemplos de cardinalidad infinita.
A = 1,3,5,7,9,11.
B = 2,4,6,8,10,12.
C = xIx es la cantidad de puntos en una lnea

iv. Da dos ejemplos de funciones entre conjuntos de
cardinalidad finita e infinita.
X = xI es la cantidad de alumnos en una escuela
Y = yI es la cantidad de das en que se acabara el mundo

b. 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.
En una funcin inyectiva, cada elemento imagen tiene nica preimgen. Una funcin que
no sea inyectiva, tendr al menos dos elementos diferentes del dominio que tienen la
misma imagen.

ii. Es sobreyectiva la composicin de dos funciones
sobreyectivas? Prueba o da contraejemplo.
f:AB es sobreyectiva si y slo si todos los elementos del Codominio tienen preimagen. O
sea:



Esto significa que para determinar si una funcin es sobreyectiva se deben estudiar los
elementos del dominio en lo que respecta al conjunto, despejando de la funcin dada x y
valuando luego en la funcin para determinar si realmente f(x)=y.-
Por ejemplo sea:

Esta funcin es lo mismo que:



iii. Es biyectiva la composicin de dos funciones
biyectivas? Prueba o da contraejemplo.
Una funcin es biyectiva si y slo si es inyectiva y sobreyectiva.