2 CONJUNTOS

1
2 CONJUNTOS
2
2.1 Conceptos y trminos bsicos
2.2 Operaciones con conjuntos
2.3 Diagramas de Venn
2.4 Cardinalidad
2.5 Conjuntos finitos e infinitos

2.1 CONCEPTOS Y TRMINOS BSICOS
3
+Conjunto
- Definicin. Un conjunto es una coleccin de objetos distintos,
llamados elementos, que en general tienen ciertas propiedades
comunes.
+Pertenencia o membresa de un objeto a un conjunto
- Cualquier objeto que pertenece a un conjunto es llamado
miembro o elemento de ese conjunto.
- Se dice que un conjunto est bien definido si es posible
determinar por medio de ciertas reglas si un objeto dado
pertenece o no a dicho conjunto.
peA: el objeto p pertenece al conjunto A
qeA (q e A): q no est en A
CONCEPTOS Y TRMINOS BSICOS
4
+ Notacin
- Especificacin de un conjunto: elementos separados por
comas entre corchetes (especificacin por enumeracin o a
granel)
Ej: S={1, 3, a}: el conjunto S est formado por
los elementos 1, 3, y a
1eS, 3eS, aeS
- Especificacin por descripcin de las propiedades que lo
caracterizan
Ej: S
1
= {x , x es un entero par positivo}
S
2
= {x , x es un vertebrado
en general S = {x , x posee cierta propiedad}
CONCEPTOS Y TRMINOS BSICOS
5
- Otra forma: S
3
={1, 3, 5, ...}
S
4
={2, 4, 6, ..., 18}
S
5
={a, a
2
, a
3
, ...}

- Conjunto vaco (nulo): conjunto sin elementos; se
denota por {} o por C.

- Se pueden tener conjuntos dentro de otro conjunto
Ej: S= { a, b, {a, b, c}, d}
CONCEPTOS Y TRMINOS BSICOS
6
Ejemplos:
A={rojo, negro}; rojoeA; blancoeA
B={(x,y)|x
2
+y
2
=1}; (1,0)eB; (2,2)eB

Conjuntos de nmeros:
Nmeros naturales: N={1,2,3,4,...}
Nmeros enteros: Z={-,...,-2,-1,0,1,2,..., }
Nmeros racionales Q={x| x=r/s, r,seZ}
Nmeros reales:
R={-,...,-2.0,1.9,...,-1,...,0,...1,..., }
Nmeros irracionales: I={x | xeR y xeQ}
Nmeros complejos: C={a+bi| a,beR e i
2
=-1}
CONCEPTOS Y TRMINOS BSICOS
7
+ Inclusin e igualdad
- Subconjuntos.
Definicin. Sean P y Q dos conjuntos. Se dice que P es
subconjunto* de Q ( P _ Q) si todo elemento de P es
tambin elemento de Q. Se denota tambin Q _ P.
*alternativas P est includo en Q
Ej: {1, 2} _ {1, 2, 3}; {a, c} _ {d, c, b, a}

Propiedades. Para 3 conjuntos cualesquiera A, B, C
i) A _ A (reflexiva)
ii) (A_B) . (B_C) (A_C) (transitiva)
x [(xeA xeB) . (xeB xeC) (xeA xeC)]
CONCEPTOS Y TRMINOS BSICOS
8
- Igualdad
Definicin. Se dice que dos conjuntos A y B son iguales
ssi A _ B y B _ A, es decir. Ambos contienen la misma
coleccin de elementos.
Ej: {1, 2, 4} = {1, 4, 2}; {{1, 2}, 4} = {1, 2, 4}
{x , x es un entero par no mayor que 10} =
{x , x= y + z donde ye{1, 3, 5}, ze{1, 3, 5}}
{1, 3, 5, ...}={x , x es un entero impar positivo}

- Subconjunto propio
Definicin. Se dice que A es un subconjunto propio de B
si A _ B y A = B. Se denota A c B. (inclusin propia)
CONCEPTOS Y TRMINOS BSICOS
9
- Conjunto Universal o universo
Definicin. Un conjunto es llamado universal si incluye a
todos y cada uno de los conjuntos en una discusin o contexto
particular. Se denota por U o E. Cada conjunto A _ U.
U={x , P(x) . P(x)} P(x): cumple cierta propiedad

- Conjunto potencia
Definicin. El conjunto potencia de un conjunto A, denotado
P(A) (tambin 2
A
), es el conjunto o familia de todos los
subconjuntos de A.
Ej: P (C) = {C}; P ({a})={C, {a}}
P ({a, b}) = {C, {a}, {b}, {a, b}}
P ({a, b, c})={C, {a}, {b}, {c}, {a,b}, {a,c}, {b,c} {a,b,c}}

CONCEPTOS Y TRMINOS BSICOS
10
- Conjuntos indizados
Si se supone que los elementos de un conjunto estn
ordenados de una cierta manera, algn elemento particular
puede ser llamado 1er elemento, el siguiente el segundo y
as sucesivamente. (el ordenamiento no est implicado en
la definicin de conjunto).

Ejemplo. A= {A
1
, A
2
, ..., A
r
} ={Ai}
ieJ

J = {1, 2, ..., r}
2.2 OPERACIONES CON CONJUNTOS
11
- El uso de estas operaciones construye nuevos conjuntos
combinando, bajo ciertas reglas, elementos de otros conjuntos.
+ Definiciones
Sean A, B y C conjuntos arbitrarios
- Interseccin
La interseccin de A y B, escrita AB, es el conjunto de
elementos que pertenece a A y a B simultneamente.
AB = {x , (xeA).(xeB)}
De la definicin se sigue que
AB = BA (conmut.);
AA = A (idempot.) y
AC = C
OPERACIONES CON CONJUNTOS
12
Como es un AB conjunto
(AB)C = {x , (xeAB).(xeC)}
(AB)C = ABC = A(BC) (asociativ.)
Para A= {A
1
, A
2
, ..., A
n
} A
1
A
2
...,A
n
= A
i


- Conjuntos disjuntos
Dos conjuntos disjuntos no tienen elementos en comn:
AB=C
OPERACIONES CON CONJUNTOS
13
- Coleccin disjunta
Una coleccin de conjuntos es llamada coleccin disjunta
(por pares) si para cada par de conjuntos en la coleccin
estos son disjuntos. Los elementos de la coleccin son
mutuamente disjuntos.
Sea A ={Ai}
ieJ
; A es una coleccin disjunta ssi
A
i
A
j
=C i,jeJ, i=j

Ejemplo
OPERACIONES CON CONJUNTOS
14
- Unin
La unin de A y B, escrita AB es el conjunto de todos los
elementos que son miembros de A o de B o de ambos.
AB = {x , (xeA) v (xeB)}
Propiedades: AB = BA; AA = A; AC = A
(AB) C = ABC = A(BC)
Para A={Ai}
ieJ
A
1
A
2
...,A
n
= A
i

A
i
= {x , xeA para al menos una ieJ}
Ejemplo.

OPERACIONES CON CONJUNTOS
15
- Diferencia (complemento relativo)
La diferencia de A y B (complemento relativo de B en A),
denotada por A B (tambin por A\B es el conjunto de todos
los elementos de A que no estn en B.
A - B = {x , (xeA) . (xeB)}
Ejemplo. A = {2, 5, 6}, B = {3, 4, 2}; A B ={5, 6}

- Complemento
El complemento relativo de A respecto a U (U - A) es
llamado el complemento absoluto de A. Se denota ~A.
~A = U A = {x , (xeU) . (xeA)}
Propiedades: ~(~A) = A, ~U=C ~C= U
A~A = U = {x , (xeA) v (xeA)}
A~A = C = {x , (xeA) . (xeA)}
OPERACIONES CON CONJUNTOS
16
Ejemplos: A = {2, 5, 6}, B = {3, 4, 2}, C = {1, 3, 4}
~A = {1, 3, 4}
A B = {5, 6}
B A = {3, 4}
A C = {2, 5, 6}

Ejercicio. Mostrar a) A B = A~B
b) A _ B ~B _ ~A
c) A (AB) = A B
OPERACIONES CON CONJUNTOS
17
- Diferencia Simtrica
La diferencia simtrica de A y B, denotada por AB es el
conjunto definido por AB = (A - B) (B A)
y eAB
y e { x , [(xeA) . (xeB)] v [(xeB) . (xeA)]}}

Propiedades: AB = BA; (AB)C = A(BC)
A C = A; A A = C
AB =(A~B) (B~A)

Ejemplo
OPERACIONES CON CONJUNTOS
18
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
A (A B) = A
A (A B) = A
~(A B) = ~A ~B
~(A B) = ~A ~B
+Identidades
2.3 DIAGRAMAS DE VENN
19
- Se trata de una representacin esquemtica de conjuntos.
Descripcin usual:





- Los diagramas de Venn no constituyen pruebas (proofs) en
general de la veracidad de relaciones y operaciones entre
subconjuntos de U.
A
U: rectngulo
Conj A: trazos
cerrados
DIAGRAMAS DE VENN
20
Resta Simtrica Contencin
Unin
Interseccin
Resta
Complemento
Ejemplos
DIAGRAMAS DE VENN
21
Ejemplo. AB= (A~B)(~AB)(AB) se obtiene de
(AB)
B
(~ AB)
A
B
(A~B)
A
Ejemplo. Del siguiente diagrama se
obtiene AB = (A~B)(~AB) que
no es verdadera en general (solo para
conjuntos disjuntos.
B
A
2.4 CARDINALIDAD
22
+ Cardinalidad
La cardinalidad de un conjunto A denotada por ,A, es la
cantidad de elementos que contiene A.
A= {a, b, c, d, e}, ,A,=5

+ Resultados sobre la cardinalidad de conjuntos finitos
- ,PQ, s ,P, + ,Q, - ,PQ, s min(,P,, ,Q,)
- ,PQ, s ,P, + ,Q, - 2,PQ, - ,P - Q, > ,P, - ,Q,
- ,PQ, = ,P, + ,Q, - ,PQ,
- ,PQR, = ,P, + ,Q, + ,R, - ,PQ,- ,PR, - ,QR,
+,PQR,
CARDINALIDAD
23
Ejemplo. De 200 estudiantes, 50 toman el curso de
Matemticas, 140 el curso de Economa y 24 ambos cursos.
Como ambos cursos programaron exmenes para el da
siguiente, solo los estudiantes que no estn en ninguno de los
2 cursos podrn ir a la fiesta de la noche anterior. Cuntos
irn a la fiesta?
A1: est de Matemticas A2: est de Economa
,A1A2, = 50 + 140 24 =166
200-166=34 van a la fiesta

De los 200, 60 estudiantes son de los primeros aos, de estos
20 toman Matemticas, 45 toman Economa y 16 cursan
ambas materias. Cuantos estudiantes de los ltimos aos
estarn en la fiesta?
OPERACIONES CON CONJUNTOS
24
- Particin de un conjunto
Sea A un conjunto y L una coleccin de subconjuntos no
vacos. L es una particin de A si L es disjunta por pares y
L =A.
Ejemplo. A
1
={1, 2, 8}, A
2
= {4, 6}, A
3
={3, 5, 7}
L = {A1, A2, A3} es una particin de
A = {1, 2, 3, 4, 5, 6, 7, 8}
- Lista ordenada. Una n-ada (n-tupla se designa por (a
1
, a
2
,
..., a
n
). El producto cartesiano de los conjuntos A
1
, A
2
, ..., A
n

se define como el conjunto de todas las n-adas (a
1
, a
2
, ..., a
n
)
donde a
i
eA
i
para i=1, ..., n. (A
i
).
- AA tambin se escribe A
2
, AAA = A
3
, ...

Ejemplo

2.5 CONJUNTOS FINITOS E INFINITOS
25
+ Conjuntos finitos
Definicin. Un conjunto finito contiene un nmero finito de
elementos distinguibles, si no es un conjunto infinito.

+ Conjunto infinitos Contable o numerable;
No contable

- Conjunto infinito contable (cardinalidad infinita contable).
Un conjunto A es infinito contable ssi existe una corresponden-
cia uno a uno entre los elementos de N = {1, 2, 3, ...} y A.

Ejemplos: {0, 2, 4, 6, ...}, {0, 7, 14, 21, ...}
{...,-2, -1, 0, 1, 2, ...} = {0, 1, -1, 2, -2, ...}
CONJUNTOS FINITOS E INFINITOS
26
un conjunto es infinito contable si, comenzando con cierto
elemento, podemos listar sucesivamente todos los
elementos del conjunto para construir una
correspondencia uno a uno entre los elementos del
conjunto y los de N.

la unin de dos conjuntos infinitos contables es un conjunto
infinito contable.

- Conjunto infinito contable
No se pueden listar sus elementos.

Ejemplo: conjunto de los nmeros reales entre 0 y 1