1) Con las letras de la palabra MESA, forme todas las palabras

MATEMATICA l (Algebra)
Trabajo Práctico Nº 2 - Relaciones y Funciones
TRABAJO PRACTICO Nº 2 - RELACIONES Y FUNCIONES
1) Sea A = {1 ; 2}. Construya P ( A) y efectúe P( A)  A .
2) a) Dé un ejemplo de conjuntos A ; B ; C y D tales que : A  C y B  D. Observe que
A x B  C x D.
b) Suponiendo que A x B  C x D ¿se sigue de esto necesariamente que
A  C y B  D ?. Explique.
3) Sean A = { x  N / 1  x  5 } y B = { 3 ; 4; 5 }. Se define R  A x B mediante
(x,y) R  x + y  5.
i) Definir R por extensión. ii) Representar A x B y R. iii) Determinar R-1.
4) Se consideran A = { 1; 2; 3; 4; 5 } ; B={ 1; 4; 6; 16 } ; C = {2 ;3 ;8 ;10} y las relaciones
R  A x B ; S  B x C, definidas por : (x,y)  R  y = x2
y
(y,z)  S  z = y/2
Se pide :
i) Determinar R y S por extensión.
ii) Definir la composición S º R  A x C por extensión.
iii) Determinar los dominios e imágenes de las tres relaciones.
5) Analizar si las siguientes relaciones son o no de equivalencia.
R = {( -1,-3) ; (-2,0) ; (0,0) ; (-1,-1)}
en A = { -3, -2, -1, 0 }
S = {(2,2) ; (2,1) ; (3,3) ; (1,1) ; (3,2) ; (0,0)}
en B = {x  N0 / x  3 }
6) Sea R una relación binaria sobre el conjunto de todas las sucesiones de ceros y unos, tal
que : R = {(a, b) / a  b son sucesiones que tienen el mismo número de ceros}. ¿Es R
reflexiva? ¿simétrica? ¿antisimétrica? ¿transitiva? ; ¿es relación de equivalencia? ¿es
relación de orden?.
7) Descubrir la falla del razonamiento en la siguiente argumentación, que pretende probar
que la reflexividad es una consecuencia de la simetría y de la transitividad :
xRyxRyyRxxRx
8) a) Determinar si el conjunto P constituye una partición de Z ; P = { A1; A2 }
con A1={x  Z : 2 / x} y
A2 = { x  Z : 2  x }
b) Determinar si el conjunto Q constituye una partición de Z ;
Q = { N; Z- }
1
Licenciatura en Sistemas de Información - Año 2009
Facultad de Ciencias Exactas, Naturales y Agrimensura - UNNE
MATEMATICA l (Algebra)
Trabajo Práctico Nº 2 - Relaciones y Funciones
9) Dado el conjunto de conjuntos A = {1, 2, 3}. i) Construir P(A); ii) Determinar la relación 
definida en A2 ; iii) Analizar si la relación hallada es látice
2
10) Sea A  a, b, c, d , e, f , g y la relación R  A donde:
R  (a, a);(b, b);(c, c);(d , d );(e, e);( f , f );(a, b);(a, c);(a, d );(a, e);(a, f );(a, g );(b, e);(b, g );
(c, e);(c, f );(c, g );(d , f );(d , g );(e, g );( f , g );( g, g )
i) Clasifique R.
ii) Determine si R es láttice, justifique su respuesta.
11) Diga si las siguientes relaciones son funciones y represéntelas gráficamente :
a) F : R  R / f(x) = - 5 x
b) g : Z  Z / g(x) =
x
2
c) h : N  N / h(x) = 2 x + 3
12) Sean los conjuntos: A  {a, b, c} B  {a, b, c, d} C  {1,2,3,4} D  {1,2,3}
Analice si cada una de las siguientes relaciones es función, en tal caso, clasifíquela.
i)
De A  C definida por: f (a)  3
f (b)  4 f (c)  1
f (a)  2 f (b)  1 f (c)  3 f (d )  2
f (a)  4 f (b)  1 f (c)  3 f (d )  2
f (a)  2 f (b)  1 f (c)  2 f (d )  3
f (a)  2 f (a)  4 f (b)  1 f (c)  3
ii)
De B  D definida por
iii)
De B  C definida por
iv)
De B  C definida por
v)
De A  C definida por
EJERCICIOS COMPLEMENTARIOS
1) Demostrar que (A  B) x C = (A x C)  (B x C)
2) Demostrar que (A - B) x C = (A x C) - (B x C)
3) Sea R  A2. Demostrar que la relación R  R-1 es simétrica
Sean los conjuntos :
A = {a1, a2, a3, a4}
B = {b1, b2, b3, b4}
C = {c1, c2, c3}
D = {d1, d2, d3}
2
Licenciatura en Sistemas de Información - Año 2009
Facultad de Ciencias Exactas, Naturales y Agrimensura - UNNE
MATEMATICA l (Algebra)
Trabajo Práctico Nº 2 - Relaciones y Funciones
y las funciones
f : A  B = {(a2, b3) ; (a3, b2) ; (a4, b2)}
g : B  C = {(b2, c3) ; (b3, c3) ; (b4, c3)}
h : C  D = {(c1, d1) ; (c2, d2) ; (c3, d3)}
a) Determinar g º f
b) Determinar h º (g º f) y (h º g) º f
c) Demostrar que para funciones cualesquiera f, g y h : h º (g º f) = (h º g) º f
5) Dadas las relaciones :
R = {(x, y)  N2 / x  3  y = 2 x }
S = { (x, y)  Z2 / x  2  y = - x }
a) Determinar R y S por extensión
b) Representar R y S en gráficos cartesianos
6) Sea : R = {(a, b)  Z+ x Z+ / a = b}. ¿ Es R reflexiva ? ¿ simétrica ? ¿ antisimétrica ?
¿ transitiva ? ; ¿ es una relación de equivalencia ?¿ es una relación de orden ?
7) Sea A un conjunto de libros. Sea R1 una relación binaria definida en A/(a,b) R1 el libro a
cuesta mas y tiene menos hojas que b. ¿ Es R1 reflexiva ? ¿ simétrica ? ¿ antisimétrica ?
¿ transitiva ?.
8) Sea R una relación binaria sobre el conjunto de todos los enteros positivos ,
tal que : R = {(a, b) / a - b es un entero positivo impar}. ¿ Es R reflexiva ? ¿ simétrica ?
¿ antisimétrica ? ¿ transitiva ?;¿ es una relación de equivalencia ? ¿ es una relación de
orden?
9) Sea P la propiedad a R b y c R b (dos elementos relacionados con un tercero, están
relacionados entre sí). Demostrar que si una relación es simétrica y transitiva, tiene la
propiedad P ; y si es simétrica y tiene la propiedad P, es transitiva.
10) Analizar si las siguientes relaciones son o no de equivalencia :
U = {(x, y)  R2 / y = - 2 x + 1 }
V = {(x, y)  R2 / x + 1 = y + 1 }
11) Clasificar las siguientes relaciones, de acuerdo con las propiedades que se verifiquen en
cada caso :
3
Licenciatura en Sistemas de Información - Año 2009
Facultad de Ciencias Exactas, Naturales y Agrimensura - UNNE
MATEMATICA l (Algebra)
Trabajo Práctico Nº 2 - Relaciones y Funciones
R1 = {(x, y)  Z2 / x = y  x = - y }
R2 = {(-1, -3) ; (-2, 0) ; (0, 0) ; (-1, -1)}  A2, siendo A = {-3, -2, -1, 0}
R3 = {(2, 2) ; (2, 1) ; (3, 3) ; (1, 1) ; (3, 2), (0, 0)}  B2, siendo B = {x  N0 / x  3}
R4 = {(x, y)  R2 / y = - 2 x + 1}
R5 = {(x, y)  Z2 / sgte(x) = sgte(y)}
12) Dado el conjunto de conjuntos M = {A, B, C, }, donde A = {1, 2, 3, 4} ; B = {1, 3}
y C = {3}. Clasificar en M la relación “  ”. Analizar si (M,  ) es láttice
13) Demostrar que (P(S), ) es láttice, siendo S un conjunto cualquiera.
14) Analizar si (N, ) y (N, / ) son láttices.
15) Sea (A, ) un conjunto ordenado. Sea R una relación binaria sobre A tal que para a y b
en A, a R b si y solo si b  a.
a) Demostrar que R es una relación de orden.
b) Demostrar que si (A, ) es láttice, entonces (A, R) también es láttice.
16) Representar gráficamente las siguientes funciones :
i : N  Z / i(x) = - 2 x + 1
j : Z  Z / j(x) = - 2 x - 1
k : Q  Q / k(x) = x / 2
17) Dar un ejemplo de función biyectiva, diagramarlo, graficarlo y anotar su función inversa.
4
Licenciatura en Sistemas de Información - Año 2009
Facultad de Ciencias Exactas, Naturales y Agrimensura - UNNE