MATEMATICA l (Algebra)

Trabajo Prctico N 2 - Relaciones y Funciones

TRABAJO PRACTICO N 2 - RELACIONES Y FUNCIONES

1) Sea A = {1 ; 2}. Construya P ( A) y efecte 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 extensin. 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 extensin.
ii) Definir la composicin S R A x C por extensin.
iii)
Determinar los dominios e imgenes 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 relacin 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 nmero de ceros}. Es R
reflexiva? simtrica? antisimtrica? transitiva? ; es relacin de equivalencia? es
relacin de orden?.
7) Descubrir la falla del razonamiento en la siguiente argumentacin, que pretende probar
que la reflexividad es una consecuencia de la simetra y de la transitividad :
xRyxRyyRxxRx
8) a) Determinar si el conjunto P constituye una particin 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 particin de Z ;

Q = { N; Z- }
1

Licenciatura en Sistemas de Informacin - Ao 2009

Facultad de Ciencias Exactas, Naturales y Agrimensura - UNNE

MATEMATICA l (Algebra)
Trabajo Prctico N 2 - Relaciones y Funciones

9) Dado el conjunto de conjuntos A = {1, 2, 3}. i) Construir P(A); ii) Determinar la relacin
definida en A2 ; iii) Analizar si la relacin hallada es ltice
2
10) Sea A a, b, c, d , e, f , g y la relacin 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 lttice, justifique su respuesta.
11) Diga si las siguientes relaciones son funciones y represntelas grficamente :
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 funcin, en tal caso, clasifquela.
i)
ii)
iii)
iv)
v)

De
De
De
De
De

AC
BD
BC
BC
AC

definida por:
definida por
definida por
definida por
definida por

f (a) 3
f (a) 2
f (a) 4
f (a) 2
f (a ) 2

f (b) 4 f (c) 1
f (b) 1 f (c ) 3 f (d ) 2
f (b) 1 f (c) 3 f (d ) 2
f (b) 1 f (c ) 2 f ( d ) 3
f (a ) 4 f (b) 1 f (c) 3

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 relacin R R-1 es simtrica
Sean los conjuntos :
A = {a1, a2, a3, a4}

B = {b1, b2, b3, b4}

C = {c1, c2, c3}

D = {d1, d2, d3}

y las funciones
2
Licenciatura en Sistemas de Informacin - Ao 2009
Facultad de Ciencias Exactas, Naturales y Agrimensura - UNNE

MATEMATICA l (Algebra)
Trabajo Prctico N 2 - Relaciones y 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 extensin

b) Representar R y S en grficos cartesianos
6) Sea : R = {(a, b) Z+ x Z+ / a = b}. Es R reflexiva ? simtrica ? antisimtrica ?
transitiva ? ; es una relacin de equivalencia ? es una relacin de orden ?
7) Sea A un conjunto de libros. Sea R1 una relacin binaria definida en A/(a,b) R1 el libro a
cuesta mas y tiene menos hojas que b. Es R1 reflexiva ? simtrica ? antisimtrica ?
transitiva ?.
8) Sea R una relacin binaria sobre el conjunto de todos los enteros positivos ,
tal que : R = {(a, b) / a - b es un entero positivo impar}. Es R reflexiva ? simtrica ?
antisimtrica ? transitiva ?; es una relacin de equivalencia ? es una relacin de
orden?
9) Sea P la propiedad a R b y c R b (dos elementos relacionados con un tercero, estn
relacionados entre s). Demostrar que si una relacin es simtrica y transitiva, tiene la
propiedad P ; y si es simtrica 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 :
R1 = {(x, y) Z2 / x = y x = - y }
3
Licenciatura en Sistemas de Informacin - Ao 2009
Facultad de Ciencias Exactas, Naturales y Agrimensura - UNNE

MATEMATICA l (Algebra)
Trabajo Prctico N 2 - Relaciones y Funciones

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 relacin . Analizar si (M, ) es lttice
13) Demostrar que (P(S), ) es lttice, siendo S un conjunto cualquiera.
14) Analizar si (N, ) y (N, / ) son lttices.
15) Sea (A, ) un conjunto ordenado. Sea R una relacin 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 relacin de orden.

b) Demostrar que si (A, ) es lttice, entonces (A, R) tambin es lttice.
16) Representar grficamente 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 funcin biyectiva, diagramarlo, graficarlo y anotar su funcin inversa.

4
Licenciatura en Sistemas de Informacin - Ao 2009
Facultad de Ciencias Exactas, Naturales y Agrimensura - UNNE