ALGEBRA Y MATEMATICAS DISCRETAS

Problemas de Conjuntos, Relaciones y Aplicaciones

1. Sean A  1, 4, 7, 10, B  1, 2, 3, 4, 5 y C  2, 4, 6, 8. Calcular A  B, B  C, A  B y

B  C  A.
2. Enumerar cada uno de los siguientes conjuntos:
a) x    x 2  45 b ) x    x 2  2x  0 c) x    x 2  4  6 d) x    x 4  1.
3. Dados los subconjuntos de   1, 2, 3, 4, 5, . . .  :
A  x    x  2n, n   B  x    x  3n, n  
C  x    x  4n  1, n   D  x    x  4n  1, n  ,
c
hallar A  B, C  D, C  D, A    A, A  C  D.
4. Sea A  x    x  3n  4m, n, m  . Hallar A c .
5. Dados los siguientes subconjuntos de la recta real, A  2, 1, B  1, 0 y C  1, 1  0.
Calcular
A c  B  B c  A . y A  B  C c

6. Sean A, B y C tres conjuntos. Usando diagramas de Venn, comprobar las igualdades:

a) A  B  C  A  B  A  C
b) C  A  B  C  A  C  B
c) C  A  B  C  A  C  B
7. Usando las propiedades de la unión, intersección y complementarios, comprobar que
a) A  B  C c  C c  B c   A c
b) A  B  A  C  B  A  C  B.
c) A  B  C c   A  B c  C c   A  C c .
8. Sean A, B y C subconjuntos de U.
a) Si A  B  A  C y A c  B  A c  C, entonces B  C.
b) Si A  B  A  C y A c  B  A c  C, ¿se sigue que B  C ?
9. Si A  a, b, c, d, hallar PA.
10. Si A  1, 2, 3, B  2, 3, 4 y C  3, 4, 5, hallar A  A  B  C.
11. Probar que A  B  C  A  B  A  C.
12. Si A  B  A  C, ¿es necesariamente B  C?
13. Sea A  2, 3, 4, 5, 6. Enumerar los pares ordenados que forman parte de la relación R en A :
a) a R b  a  b  8 b) a R b  a  b c) a R b  MCDa, b  1
(a  b significa "a divide a b" y MCDa, b es el máximo común divisor de a y b.
Determinar si cada una de estas relaciones es reflexiva, simétrica, antisimétrica o transitiva.
14. Dibujar las gráficas de las relaciones en  :
a) x R y  |x|  |y| b) x R y  x 2  y 2

1
y decir si cumplen las propiedades reflexiva, simétrica, antisimétrica o transitiva.
15. Sean U  1, 2, 3, 4, 5, X  3, 4 y C  1, 3. En PU (el conjunto de las partes de U se define
la relación A R B  A  X  B  X. Comprobar que es de equivalencia y determinar la clase generada por
C.
16. En  se considera la relación x R y  x  y  . Comprobar que es de equivalencia y encontrar un
sistema de representantes.
17. En    se considera la relación a, b R c, d  a  d  b  c. Comprobar que es de equivalencia
y encontrar un sistema de representantes.
18. En  se considera la relación m R n  m 2  n 2 es múltiplo de 5. Comprobar que es de equivalencia.
¿Cuántos elementos tiene el conjunto cociente?
19. ¿Son ciertas las siguientes relaciones de congruencia?
117  22 mod 5, 44  5 mod 7,  19  5 mod 11,

20. Probar que si p  5 es primo, entonces p  1 mod 6 ó p  5 mod 6.

21. Probar que si n es impar, entonces n 2  1 mod 8.
22. En A  2, 3, 4, 5,   se considera la relación de divisibilidad: a R b  a  b. Probar que es una
relación de orden. ¿Es parcial o total? Sea B  6, 9, 18, 24. Calcular cotas y extremos, si los hay, de B.
23. En  se considera la relación x R y  y  x    0. Probar que es una relación de orden. ¿Es
parcial o total?
24. En el plano  2 se considera la relación a, b  c, d  a  c y b  d. Probar que, efectivamente,
es una relación de orden. ¿Es parcial o total? Calcular cotas y extremos, si los hay, del conjunto
x, y   2  x 2  y 2  1.
25. Dado U un conjunto cualquiera, se considera en PU la relación A R B  A  B. Probar que es una
relación de orden. ¿Es parcial o total? Respecto a esta relación, ¿qué representa A  B? ¿y A  B?
26. Demostrar por inducción que:
nn  12n  1
a) 1 2  2 2  3 2    n 2 
6
n n  1 2
2
b) 1 3  2 3  3 3    n 3 
4
n1
c) 1  x  x 2    x n  x  1 , si x  1.
x1
d) 1  1  1    1  n
1·3 3·5 5·7 2n  12n  1 2n  1
e)  n   7 n  2 n es divisible por 5
f)  x    n   |sen nx|  n|sen x|.
27. De las siguientes relaciones de A  1, 2, 3, 4 en B  a, b, c, d, determinar cuáles son la gráfica de
una aplicación:
a) R  1, a, 2, a, 3, a, 4, a
b) R  1, d, 2, a, 2, b, 3, a, 4, c
c) R  1, c, 2, a, 3, b, d, 4.

2
28. De las siguientes relaciones en , determinar cuáles son la gráfica de una aplicación:
a) R  n, n 2   n  
b) R  n 2 , n  n  
c) R  n, m   2  n 2  m 2 
d) m R n  3  m  2n
e) m R n  n  m 2  m  1.
29. Sean f : A  B y g : B  A. Determinar g  f y f  g, siendo:
a) A  B  0, 1, 2, 3, f n  3  n, gn  n 2  1 mod 4.
b) A  B  , f n  3  n, gn  n 2  1.
c) A  B  , f x  2 1 , gx  x 2  1
x 1
d) A   2 , B  , f n, m  n 2  m 2 , gm  m  2, m 2 
e) A  B   2 , f x, y  x  y, x  y, g x, y  x cos y, y sen x.
30. Calcular la imagen de las aplicaciones f y g del apartado a) anterior. Calcular también las imagenes
inversas f 1 1 y g 1 1.
31. Sea f :   B  0, 1, 2,  , 7, f n  n 2 mod 8. Calcular la imagen de f y f 1 b para cada
elemento b  B.
32. Sea f :   , f x  x 2  x  1. Calcular:
a) f , f 0,  y f 1, 1
b) f 1 , f 1 1, , y f 1 2, 3.

33. Repetir el ejercicio anterior con la función f x  2x .

1  |x|
34. Sea f : 0, 2  , f x  ln2  cos x. Calcular f 0, 2 y f 1 0, 1.
35. ¿Cuáles de las siguientes aplicaciones de  en  son inyectivas o sobreyectivas?
f n  n  3, gn  n 2  1, hn  n 3 .
Calcular la inversa de la que sea ambas cosas.
36. ¿Cuáles de las siguientes aplicaciones de  en  son inyectivas o sobreyectivas?
f x  x  2 , gx  x 2  x  1, hx  e x .
3
Calcular la inversa de la que sea ambas cosas.

37. Probar que f :    12      12 , f x  x  3 es biyectiva y calcular su inversa.

1  2x
38. Probar que f :  2   2 , f x, y  x  y, x  y es biyectiva y calcular su inversa.
39. Sean f, g :   , f x  x 3 y g x  2x  3. Hallar f 1 , g 1 , g  f 1 , f  g 1 , f 1  g 1 y
g 1  f 1 .
40. Sean f : A  B y g : B  C. Demostrar:
a) Si g  f es inyectiva, entonces f también lo es.
b) Si g  f es sobreyectiva, entonces g también lo es.
c) Si g  f es inyectiva y f sobreyectiva, entonces g es inyectiva.
d) Si f y g son biyectivas, entonces g  f también lo es.