Facultad de Ciencias Exactas, Ingeniera y Agrimensura

Escuela de Ciencias Exactas y Naturales

Departamento de Matematica
Algebra y Geometra I
Lic. en Cs. de la Computacion - Ano 2016
Trabajo Practico No 2: Conjuntos
1. Escribir los siguientes conjuntos por extension.

a) {1 + (1)n : n N}. e) {n N, / 4 n 8, n = 2k + 1, k Z}
2
b) {y/y = t , t N, t 5} f ) {u Z/0 u 9, u + 1 < 7}
c) {n3 + n2 : n {0, 1, 2, 3, 4}}. g) {n + 1/n : n {1, 2, 3, 5, 7}}.
2

d ) {1/(n + n) : n N, n impar , n 11}. h) {z R/ z N, z 2 25}

Ademas, observar si hay relaciones entre los mismos. Que se deduce en cuanto a la forma de
definir un conjunto? Intentar otras formas de definir los conjuntos de (a), (b) y (c).
2. Escribir los siguientes conjuntos por comprension usando lenguaje simbolico:
a) El conjunto de los numeros racionales positivos cuyos denominadores son mayores que
los numeradores.
b) El conjunto de los divisores de 20.
c) El conjunto de los numeros pares multiplos de 3.
d ) El conjunto de los numeros reales cuyas races cuadradas son menores a 1.
e) {3}
3. Indicar en cada caso cuales afirmaciones son verdaderas y cuales falsas, justificando la res-
puesta.
a) A = {N, Z, 4}

1) 4 N 4) Z B 7) 6 N 10) 8 N
2) 4 Z 5) N B 8) 6 Z 11) 8 Z
3) 4 A 6) N Z 9) 6 B 12) 8 B

b) B = {1, 2, 3, 4, {5}}

1) 2 {1, 2} 3) {1, 2} B 5) 1
/B 7) 4
/B 9) {3, 4} B
2) 2 B 4) 3 B 6) 5 B 8) 5 {5} 10) {3} B

4. Dar un ejemplo de tres conjuntos W, , X , Y tales que W X, X Y pero W

/ Y . Que
puede decirse de la airmacion W XX Y W Y ?
5. Dado A = {1, {1}, 2}, determinar cuales de las siguientes proposiciones son verdaderas, jus-
tificando la respuesta.

a) N es un universo para A. d ) {1} A. g) {2} A.

b) 1 A. e) {{1}} A. h) {{2}} A.
c) {1} A. f ) {2} A.
1 i) {{1, 2}} A.
2

6. Dados V = {a, b}, X = {d, b}, Z = {a, d, e}, W = {a, b, d, e} y Y = {d, e}, determinar cuales
de las siguientes proposiciones son verdaderas, justificando la respuesta.

a) V W c) V Z e) Y + X g) Y W i ) XW
b) Y * V d ) Y W f) Z Y h) V * Z j ) XZ

7. Determinar cuales de las siguientes proposiciones son verdaderas, justificando la respuesta.

a) . b) . c) . d ) {}. e) {}. f ) {}.

8. Sean A, B, C, D, E Z, A = {2n : n Z}, B = {3n : n Z}, C = {4n : n Z},

D = {6n : n Z} y E = {8n : n Z}. Determinar cuales de las siguientes proposiciones son
verdaderas y cuales falsas, justificando adecuadamente la respuesta.

a) E C A c) B D e) D A
b) A C E d) D B

9. Para los conjuntos A, B, C U demostrar la verdad o falsedad (con un contraejemplo) de lo

siguiente: Si A B y B * C, entonces A * C.
10. En cada caso, analizar si los conjuntos dados son iguales.
a) {5, 6, 7} y {5, {6}, 7}
b) {n N/n es par} y {n N/n = p + q, p, q N, p, q impares}
c) {2, 5} y {{2, 5}}
11. En la teora abstracta general de conjuntos, formulada por George Cantor (1845-1918), un
conjunto se defina como cualquier coleccion de un todo de objetos definidos y separados en
nuestra intuicion o pensamiento. En 1901, esta definicion condujo a Bertrand Russel (1872-
1970) al descubrimiento de una contradiccon que hoy se conoce como Paradoja de Russel.
Hoy se han encontrado varias vas para definir las ideas basicas de la teora de conjuntos de
modo que esta contradiccion ya no aparezca.
La paradoja de Russel surge cuando nos preguntamos si un conjunto puede ser un elemento de
si mismo. Por ejemplo, el conjunto de todos los numeros naturales no es un numero natural,
es decir, N
/ N. Pero el conjunto de todas las abstracciones es una abstraccion.
La paradoja de Russel es la siguiente: sea S el conjunto de todos los conjuntos A que no son
elementos de si mismos. Esto es, S = {A : A es un conjunto y A
/ A}. Mostrar que S S si
y solo si S
/ S.
12. Sean A, B y C conjuntos. Demostrar que:
a) Si A B y B C, entonces A C.
b) Si A B y B C, entonces A C.
13. Dar ejemplos de conjuntos que verifiquen las condiciones indicadas en cada caso:
a) AB, BC, DC, A * D
b) AB, B C, CD
c) A B, B * C, A C
d ) A B, B * C, A
/C
 3

14. Dado E = {1, {2}, {3, 4}, 5, {6, 7}} decir cuales de las siguientes afirmaciones son verdaderas,
justificando la respuesta.

a) 1 E e) {5}E i ) x E/{x} E
b) {2} E f ) {3, 4} P (E) j ) x E, {x}
/ P (E)
c) {1} P (E) g) {6, 7}E k ) x E/{x} * E
d ) {1}P (E) h) {6, 7}P (E) l ) x E/{x} * P (E)

15. Sean A, B, C, D, E Z, A = {2n : n Z}, B = {3n : n Z}, C = {4n : n Z},

D = {6n : n Z} y E = {8n : n Z}. Determinar cada uno de los siguientes conjuntos:

a) C E c) A B e) A
b) B D d) B D f) AE

16. Para U = {1, 2, 3, , 9, 10}, sean A = {1, 2, 3, 4, 5}, B = {1, 2, 4, 8}, C = {1, 2, 3, 5, 7} y
D = {2, 4, 6, 8}. Representar los conjuntos en un diagrama de Venn y determinar:

a) (A B) C d) C D g) (B C) D
b) A (B C) e) (A B) C h) B (C D)
c) C D f ) (A (B C)) i ) (A B) (C D).

17. Dados dos conjuntos A y B cualesquiera, demostrar que las siguientes proposiciones son
equivalentes:
a) A B
b) A B = B
c) A B = A.
18. Sea A un subconjunto del conjunto universal U . Demostrar las siguientes propiedades:

a) A A = A b) A A = A c) A = d) A U = U.

19. Determinar que relacion existe entre P (A B) con P (A) P (B) y entre P (A B) con
P (A) P (B).
20. Dados dos conjuntos A y B se define la diferencia simetrica entre A y B al conjunto

A 4 B = (A B) (A B).

a) Dados los siguientes subconjuntos de numeros enteros:

A = {z Z : |z| 1}, B = {z Z : |z| 2}, C = {z Z : z = 3k, k Z}

determinar:

1) A 4 B 3) B 4 C 5) (A C) 4 (B C)
2) A 4 C 4) (A B) 4 C 6) A 4 C
4

b) Dados A y B subconjuntos de un conjunto universal U , demostrar las siguientes propie-

dades de la diferencia simetrica:

1) A 4 B = B 4 A 3) A 4 U = A
2) A 4 = A 4) (A 4 B) 4 C = A 4 (B 4 C)

21. Demostrar las siguientes proposiciones, justificando en cada paso la propiedad de la teora de
conjuntos aplicada.
a) (A B) C A (B C).
b) A = (A B) (A B).
c) A B = A B.
d ) (A B) C B = B C.
e) A 4 B = A 4 B = A 4 B.
f ) (A B) [B ((C D) (C D))] = B (A C).
22. Para cada n N sea Bn = {n + 1, n + 2, n + 1, }. Determinar:

8 11
[ m
\
[ \
a) Bn , b) Bn , c) Bn , d) Bn ,
n=1 n=1 n=1 n=1
con m N fijo.

23. Sea U = R. Para cada n N, sea An = [2n, 3n]. Determinar:

7 7
a) A3 [ \ [
e) An f) An g) An
b) A4 n=1
n=1 n=1

c) A3 A4 \
h) An .
d ) A3 4 A4 n=1

24. Dado un universo U y un conjunto de ndices I, para cada i I sea Bi U . Demostrar que
para cada A U se verifican:
! !
[ [ \ \
a) A Bi = (A Bi ) b) A Bi = (A Bi )
iI iI iI iI

25. Sea I un conjunto cualquiera de ndices y {Ai }iI U una familia de conjuntos. Probar que
[
a) Aj B para cada j I si y solo si Ai B
\ iI
b) Ai Aj para cada j I
iI \
c) B Aj para cada j I si y solo si B Ai
iI