Beruflich Dokumente
Kultur Dokumente
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 }
Q = { N; Z- }
1
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
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}
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
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 }
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.
4
Licenciatura en Sistemas de Informacin - Ao 2009
Facultad de Ciencias Exactas, Naturales y Agrimensura - UNNE