UNIDAD 2

Conjuntos
Conjunto es cualquier coleccin de objetos o lista de objetos bien definidos.
Elementos son los objetos de los que consta un conjunto .
Los conjuntos se denotan con letras maysculas A, B, X, Y, ,.. y los elementos con minsculas
a,b,x,y,.
Si A es un conjunto y x es cualquier elemento de este conjunto la notacin utilizada para indicar
que x pertenece a este conjunto es: x A. En caso de que el elemento x no pertenezca al
conjunto A. Entonces se indica xeA.
Para especificar un conjunto se emplean llaves , entre las cuales estarn los objetos separados por
comas o descritos.
Los conjuntos se definen por enumeracin o por comprensin, determinando un conjunto por la
lista de elementos que lo forman, o estableciendo la regla de pertinencia que lo describe,
respectivamente.
Un conjunto sin elementos denota el conjunto vacio que se denota C. A =C Significa que el
conjunto A no tiene elementos.
Un conjunto B es subconjunto de otro conjunto A si cada elemento de A est tambin en B es
decir: B _A si y slo si x(x B x A)
El conjunto vacio es subconjunto de cualquier otro conjunto.
Se dice que B no es un subconjunto de A si al menos un elemento de B no est en A. Es decir
B .A.
Se dice que el conjunto B es un subconjunto propio de A si se cumple que B _ A y B = A. En tal
caso escribimos B . A o no est en B c A.
Dada una familia de conjuntos, todos estos conjuntos se consideran estos como subconjuntos de
un mismo conjunto U. U es el conjunto universo para una familia dada.
Dos conjuntos son iguales si y solo si A _ B y B _ A , de aqu se deduce que B y A tienen los
mismos elementos. Entonces si A = B si y slo si x(x B x A).


OPERACIONES CON CONJUNTOS.
Sean A y B dos conjuntos arbitrarios.
La unin de los conjuntos A y B es el conjunto de todos los elementos que estn en A y B. Se
denota AB . Esto es:
AB = {x: (x A) (x B )}
La interseccin de los conjuntos A y B es el conjunto de todos los elementos que estn en A y en
B, esto es, los elementos que A y B tienen en comn. Se denota AB. Esto es:
AB = {x: (x A) y (x B )}
Si A y B no tienen elementos en comn: AB=C, entonces A y B son disjuntos.
Sea un conjunto A, tal que A_U. El complemento de A respecto de U, A U-A es el conjunto de
todos los elementos que no estn en A:
A = {x: (x U) y (x e A )}
La diferencia entre A y B es el conjunto de todos los elementos que estn en A y no estn en B.
A\B = {x: (x A) y (x e B )}
La diferencia simtrica entre A y B es el conjunto de todos los elementos de A o de B, pero no de
ambos. Se denota A B.
AB = {x: x (AB) y x e (AB) }
Dos conjuntos son comparables si A_C B_A. Y no son comparables si hay un elemento de A que
no est en B o hay un elemento de B que no est en A.

DIAGRAMAS DE VENN-EULER (completar las partes sombreadas)


U U
A A
B B

a) AB b) AB
U U-A
A A
B

c) A y B son disjuntos d) A

U U
A A
B B

e) A-B f) A B

U U
A A
B B

g) A y B son comparables h) A y B no son comparables

LEYES DE LGEBRA DE CONJUNTOS
Leyes de idempotencia: A A =A , A A =A
Leyes asociativas: (A B)C = A ( BC) , (A B)C = A ( BC)
Leyes conmutativas: A U B=B U A : A B=B A
Leyes distributivas: A (BC) = (A B) (AC) , A (BC) = (A B)(AC)
Leyes de identidad: A U = A, A = , A U U = U, A U =A
Leyes de complemento: A A = U, A A= , (A) = A , U = , = U.
Leyes de Morgan: (A B) = AB , (A B) = A B
CARDINALIDAD
El nmero de elementos diferentes que tiene un conjunto es su cardinalidad. Dependiendo de
la cardinalidad, los productos pueden ser finitos o infinitos. El conjunto es finito si el proceso de
contar sus elementos termina; es decir su cardinalidad es un nmero determinado. Un conjunto se
llama infinito si el proceso de contar sus elementos no termina; y su cardinalidad es infinita.

Si A es un conjunto, el conjunto de todos los subconjuntos de A se denomina conjunto potencia:
P(A) = {B: B _ A}. Se puede demostrar que si A contienen n elementos, entonces el conjunto
potencia de A tendr 2
n
elementos.
CONJUNTOS NUMRICOS
R conjunto de nmeros reales;
N conjunto de nmeros naturales: N ={1,2,3,4,5}
Z conjunto de los enteros
Q conjunto de los racionales , nmeros que pueden expresarse como la razn de dos enteros,
donde el denominador es diferente de cero: Q = {p/q : (p Z, q = 0)};
I conjunto de los nmeros irracionales, nmeros que no pueden ser escritos como razn de dos
enteros: I = {r R: r eQ}
Se tienen las siguientes relaciones:
NcZcQcR+










Ejercicios 1.1
1) Liste los elementos en cada uno de los siguientes conjuntos, usando llaves y elipsis donde sea
necesario.
a) {x : x es un nmero natural divisible por 5}
b) {x : x es un nmero entero negativo impar}
c) {x : x es un nmero primo par}
d) {x : x -1 es un entero divisible por 4
e) {x : x es un entero divisible por dos y por cinco}
f) El conjunto de todos los re -arreglos de letras en la palabra math
g) El conjunto de todos los re -arreglos de letras en la palabra boot

2) Redefina cada uno de los siguientes conjuntos, usando notacin de construccin de conjuntos.
a) {-2,-4,-6,}
b) {0,3,-3,6,-6,9,}
c) {2,3,4,6,8,9,10,12,14,14,}
d) {1, ,1/3,1/4,}
e) {0,1,2,99,100}

3) Sea A = {x : x es racional y 0x2 } y sea B = {x : x es racional y 1x3}. Indique en cada relacin
si es verdadera o falsa.
a) 0.5 A
b) 2
1/2


B
c) 2.6 A 2.6 B
d) Para toda x {x A y x B}
4) Determine cuales de los siguientes pares de conjuntos son iguales.
a) S= { x : x es un entero divisible por ambos 3 y 2} y Q = {6,12,18,24,}
b) X={x: x es real y x
2
<x} y T= {x : x es real y 0<x<1}
















Ejercicios 1,2
Sea A= {x: x es un entero par}, sea B= {x : x es un entero divisible por 6 }, C= {x: x es un entero
divisible por 2 3} y sea D ={x : x es un entero divisible por 2 y 3 }. Determine cuales de las
siguientes relaciones son sostenibles.
A c B , B c C , C c B , D c B , A c C , D c C , C c D.
Repita las instrucciones del ejercicio anterior para A, B, C y D siguientes:
A={x : x1}, B= {x : x3 o x2 }, C = {x : x 3 y x2}
Y D ={x :x >0 y x
2
1}. Cada uno de los conjuntos A, B, C y D, son
subconjuntos de R .
Pruebe que cada una de las siguientes relaciones se cumple

a) A cC donde A= {x : x es un entero mltiplo de 10} y b={ x. x es un entero mltiplo de 5 }
b) A = B donde A = {x : x es un entero par y b ={}x : x
2
es un entero par }

Pruebe que si AcC y B cC entonces A cC.

Ejercicios 1.3
1. Sea U el conjunto de letras del alfabeto. A = {a, b, c,,f}, B = {h, i, j,q}, y C={o, p, q,z}.
Encuentre los elementos de cada uno de los siguientes conjuntos.
a) A B b) AC c) A (BC)
d) (AB) C e) A B f) (A B)
g) A\B h) B\A i) A\(B\C)
j) A\(C\ B)
2. Sea U el conjunto de enteros. A={x: x es divisible por 3}, B={x: x es divisible por 2}, y C={x: x
es divisible por 5}. Repetir de a)j) del ejercicio anterior.

3. Responder si es falso o verdadero.
a) AB = (AB) b) A=U\A
c) A(B C) = (AB) C d) A(B C) = (AB) C
e) A\(B\C) = (A\B)\C

4. Pruebe que A A = U y A A = C.
5. Pruebe que A\B = B\A son conjuntos disjuntos.
6. Sea A y B subconjuntos de los nmeros reales. A={x:0<x<5} y B={x: 2<x<8}. Exprese AB
como la unin de tres conjuntos disjuntos. (Use proposicin 2).


Ejercicios 1.4
1. Enliste todos los miembros del conjunto potencia de cada uno de los siguientes conjuntos:
A = {a, b,2,3}; B= {cat, dog, mouse}; C={{a},{b}} y D= {C,{C}}.
2. Sea A= {a,b,c,d,e}; B={ a,b}; C={B,C} y D= {a,b,{a,b}}. Encuentre AB, CD, AD, CP(A), y
DP(A).
3. Para los conjuntos del punto anterior indique si cada una de las siguientes relaciones es
verdadera o falsa. a) AeP(A) ; b) Cc P(A); c) D cP(A); d) BcC ; e) BeDy f) {a,b}eC.
4. Pruebe que si AcB, entonces P(A)cP(B).

Ejercicios 1.5
1. Sea A= {1,2}, B= {a,b,c}, y C= {x,y}. Liste todos los elementos en cada uno de los siguientes
conjuntos.
AC, BB, ABC, (AA) (CC)

2. Liste algunos de los elementos en cada uno de los siguientes conjuntos. Exprese cada uno
como un producto cartesiano o indique porqu esto no puede hacerse.
a) {(x,y): x es un entero positivo y y es un elemento negativo}
b) {(x,y): x es un dgito y y una letra}
c) {(x,y): xeN y y=x+1}
d) {(x,y): 0 x 1 y y 0 donde x y y estn en 9}
e) {(x,y): x es real y y=x
2
}

3. Enliste algunos de los elementos de los siguientes conjuntos: Exprese cada uno como un
producto cartesiano o indique porque no puede hacerse.
a) {(x,y,z): x e y son dgitos y z es cualquier entero
b) {(x,y,z): x,y y z son reales y x
2
+y
2
+z
2
=1}
c) {(x
1
, x
2
, x
3
,x
4
): donde x
k
es real y 0 <x
k
<1 para k = 1,2,3,4}





Los nmeros enteros

Divisibilidad: Sean a,b Z. Decimos que b divide a a (o que b es un factor de a o que a es un
mltiplo de b) si existe q Z tal que a= bq. Si a= bq y b=0 , entonces q es nico.
Notacin: b divide a a b|a.
Proposicin:
1. b|b , b Z
2. b|0, b Z
3. 1|a y -1|a b Z
4. 0|a a = 0
5. Si b|1, entonces b| 1
6. Si b|a y a|b entonces, a =b
7. Si b|a y a|c entonces b|c
8. Si b|a y b|c entonces b|a + c y b|a + c
9. Si b|a entonces b|ac c Z
10. Si b|a y b|c entonces b|as + ct s t Z
11. b|a b|-a -b|a - b|-a
12. b|a b|lal lbl|a l bl|l-al
13.