TEORIA DE CONJUNTOS

El concepto de conjunto es intuitivo y por lo tanto aprovecharemos

la intuicin para trabajar con ellos.
Ejemplos
a) El conjunto de nmeros enteros
b) El conjuntos da las instituciones escolares
c) El conjunto de funciones continuas
d) El conjunto de los nmeros pares mayores que 10.000
y menores que 25.000
e) El conjunto de las letras de una palabra
Los conjuntos se representan por las letras maysculas, asi por ejemplo:
A, B, C, D, .....
Los elementos que componen un conjunto se representan por las letras
minsculas, asi por ejemplo: a , b , c , d , e , .......
Los conjuntos se pueden desacribir de dos formas:
a) Por enumeracin, en cual se nombran todos los elementos de
conjunto
Ejemplo
A = a , e , i , o , u
B =1, 2, 3, 4, 5, 6, 7, 8, 9, 0
Esta forma no es conveniente cuando el conjunto tiene muchos elementos
b) Por comprensin, en cual se aprovecha una propiedad comn
a todos los
elementos que componen el conjunto
Ejemplo
C = consonantes
D = Los dgitos
Z = Los nmeros enteros
F = x Z = 0 < x < 13
G =

x Q

= x x
1
= 1

H =

x R = x
2
4 = 0

Denicin
Sea A un conjunto y x es un elemento de a, diremos
1
A
B
A
B
Fig 1
A
B
A
B
Fig 1
A
B
A
B
Fig 1
A
B
A
B
Fig 1
x A
Podemos decir que x A es una proposicin y la negacin de ella
~ ( x A) == x = A es tambin una proposicin
Denicin
La cantidad de elementos de un conjunto se llama cardinalidad del conjunto
se anota
# A cantidad de elementos de A
a) # A = n < entonces A es un conjunto nito
b) # A =: entonces A es un conjunto innito
Ejemplo
A = a,b,c,d,e,f,g comjunto nito y # A = 6
N; Z; Q; R; C son conjuntos innitos
Denicion
? = x A . x = A llamado conjunto vaco
Denicin: Sub conjunto ( _ )
A , B conjuntos y A es subconjunto de B si y slo si todos los elementos
de A
son elementos de B, es decir:
A _ B == [ \ x A == x B]
Gracamente
Propiedades
Sean A , B y C conjuntos distintos de vaco
a) A _ B . B _ C == A _ C
2
b) ? _ A
c) A _ B == # A _ # B
d) A _ ? == A = ?
Observacion
Sea U = conjunto universo de referencia y A U
Axioma de la igualdad
A _ B . B _ A == _ A = B
Denicin
}( A) = B / B _ A llamado conjunto potencia de A, es el
conjunto que reune a todos los sub-
conjuntos
de A.
Ejemplo
a) Sea A = 0 ; 1
Resolucin
}( A) = ? ; 0 ; 1 ; A ; #}( A) = 4 = 2
2
?

0 | 1
A
b) Sea B = a ; b ; c
}( B) = ? ; a ; b ; c ; a; b ; a; c ; b; c ; B
#}( B) = 8 = 2
3
?
|
a b c
| | |
a; b a; c b; c
|
B
Proposicin
A ,= ? . # A = n == # }( A) = 2
n
Demostracin: por induccin
3
A
B
Fig 2
A
B
AA
B
Fig 2
A
B
Fig 2
A
B
AA
B
Fig 2
a
b c
d e
x,y,z
Fig 3
a
b c
d e
x,y,z
Fig 3
a
b c
d e
x,y,z
Fig 3
a
b c
d e
x,y,z
Fig 3
Operaciones entre conjuntos
1.- Union de conjuntos
Sean A , B tal que
A ' B = x U / x A . x B llamado union de conjuntos
Gracamente
Ejemplo
A = a,b,c,d,e,f B = x,y,z,a
A ' B = a,b,c,d,e,f, x,y,z
Gracamente
Propiedades de la union
Sean A , B , C conjuntos distintos de vaco
a) A ' B = B ' A conmutativa
b) ( A ' B ) ' C = A ' ( B ' C) asociativa
c) A B == A ' B = B
d) A ' A = A
e) A ' O = A
4
Fig 4
A
B
Fig 4 Fig 4
A
B
Fig 4
a
e,4
b c d
f
1 2
g
a
e,4
b c d
f
1 2
g
Fig 5
a
e,4
b c d
f
1 2
g
a
e,4
b c d
f
1 2
g
Fig 5
a
e,4
b c d
f
1 2
g
a
e,4
b c d
f
1 2
g
Fig 5
a
e,4
b c d
f
1 2
g
a
e,4
b c d
f
1 2
g
Fig 5
f) A A ' B
Ejemplo
a)
A = z IR = z > 1 B = z IR = z < 0
A ' B = IR - [0 , 1]
2.- Intersecccin de conjuntos ( )
Sean A , B conjuntos distintos de vaco
A B = x U / x A . x B se llama
interseccin de conjun-
tos
Gracamente
Ejemplo
A = a ; b ; c ; d ; e ; f; 4 B = 1 ; 2 ; e ; 4 ; a ; g
A B = a ; e ; 4
Gracamente
Propiedades
5
Sean A , B , C conjuntos no vacios
a ) A B = B A conmutatividad
b) (A B) C = A (B C) asociatividad
c) A A = A
d) A O = O
e) A B A, A B B
f) A B A ' B
g) A B == A B = A
Ejemplo Demostrar
A B . B ' C = C == [ A (B C)] ' A = A
Demostracion
1) Como B ' C = C entonces B _ C
2) De 1) B C = B y reenplazando en [ A (B C)]' A
3) [ A B] ' A
4) Como A B entonces A B = A
5) 4) en 3) se tiene A ' A = A
Propiedad distributiva
Sean A , B , C conjuntos distintos de vaco
a) A ( B ' C) = (A B) ' (A C) distribuye '
b) A ' ( B C) = (A' B) (A' C) distribuye
Demostracin
a) Sea x A ( B ' C) == ( x A) . [ x ( B ' C)]
== ( x A).[( x B) . (x C)]
propiedad distributiva de . se tiene
== ( x A) . [( x B) . (x C)]
== [( x A) . ( x B)] . [( x A) . ( x C)]
== [ x A B] . [ x A C]
== x [ (A B) ' ( A C)]
Luego
A ( B ' C) = (A B) ' (A C)
b) para el lector
3.- Diferencia entre conjuntos
Sean A , B conjuntos distintos de vacio
A - B = x U / (x A) . (x = B) llamado diferncia entre
conjuntos.
Ejemplos
a) Z Z

= Z
+
0
b) R Q = II ( irracionales)
c) A = 1; 2; 3; 4; 5; 6 B = 3; 6; 4; 7; 1
A - B = 2; 5 B - A = 7
6
Fig 6
A
B 7
2 , 5
1,3,4,6
Fig 6
A
B 7
2 , 5
1,3,4,6
Fig 6
A
B 7
2 , 5
1,3,4,6
Fig 6
A
B 7
2 , 5
1,3,4,6
Gracamente
Propiedades
1.- A - A = O
2.- A - B ,= B - A
3.- A - O = A
4.- A - B = A - A B ; B - A = B - A B
Denicin
Sea U el conjunto universo relativo y A U
U - A = complemento de A respecto de U, se anota
U - A = A
c
U
Ejemplos
a) N
c
Z
= Z

0
b) II
c
R
= Q
Propiedades
1.- U
c
= O
2.- O
c
= U
3.- (A
c
)
c
= A
4.- A - B = A B
c
Demostracin ( slo 4)
Sea x (A - B) == x A . x = B
== x A . x B
c
== x ( A B
c
)
luego
A - B = A B
c
Leyes de Morgan
1.- (A B)
c
= A
c
' B
c
7
A - B
B - A
A
B
A - B
B - A
A
B
Fig 7
A - B
B - A
A
B
A - B
B - A
A
B
Fig 7
A - B
B - A
A
B
A - B
B - A
A
B
Fig 7
A - B
B - A
A
B
A - B
B - A
A
B
Fig 7
2.- (A' B)
c
= A
c
B
c
Demostracin
Slo 1.-
Sea x (A B)
c
== x = A B
== x = A . x = B
== x A
c
. x B
c
== x A
c
' B
c
luego
(A B)
c
= A
c
' B
c
Diferencia simtrica entre conjuntos ( )
Sean A , B conjuntos distintos de vaco
A B = x U / x A Y x B se llama diferencia
simtrica
entre conjuntos.
Gracamente
Ejemplos
a) A = 1; 2; 3; 4; 5; 6 B = 3; 6; 4; 7; 1
A B = 2 ; 5 ; 7
b) R Q = II
Propiedades
Sean A , B , C conjuntos distintos de vaco
a) A B = B A
b) ( AB) C = A ( B C)
c) A A = O
d) A B = (A B
c
) ' (B A
c
)
8
e) U A = A
c
f) A O = A
9