REPASO DE ALGEBRA DE CONJUNTOS

V.Abraira
Definiciones
Dado un conjunto A={a, b, c, d}, la relacin de pertenencia se representa por a e
A.
Se llama cardinal del conjunto, y se representa car(A), al nmero de elementos que
contiene.
Se llama conjunto vaco, y se representa por C, al conjunto que no contiene ningn
elemento. No desespere, estamos de acuerdo en que si no contiene ningn
elemento, no es un conjunto, sin embargo su definicin como tal es muy til.
Se llama universo o conjunto universal, y se suele representar por H, al conjunto
formado por todos los elementos que se estn considerando.
Dado un conjunto A, se llama complementario del mismo, y se representa por A
c
, al
conjunto formado por los elementos del universo que no son de A.
Dos conjuntos son iguales si estn formados por los mismos elementos.
Se dice que B es subconjunto de A, y se representa B c A, si todos los elementos
de B pertenecen a A. Se dice tambin que B est incluido en A.
Dados dos conjuntos A y B, se llama unin de ambos, y se representa A B, al
conjunto formado por los elementos que pertenecen a A o a B.
Ejemplo 1: A={a, b, c, d} B={c, d, e, h}
A B = {a, b, c, d, e, h}
Ejemplo 2: C={personas obesas} D={personas hipertensas}
C D = {personas obesas o hipertensas}
Se llama interseccin y se representa A B, al conjunto formado por los elementos
que pertenecen a A y a B.
Ejemplo 3: para los conjuntos anteriores
A B = {c, d} C D = {hipertensos y obesos}
Si dos conjuntos no tienen elementos comunes, se llaman disjuntos y su
interseccin es el conjunto vaco. Si, para el ejemplo 2, en el universo que se est
considerando no hay nadie que sea hipertenso y obeso C D = C
Al conjunto formado por todos los subconjuntos de un conjunto dado se le
denomina conjunto de las partes del conjunto o lgebra y se representa por P(A)
Ejemplo: A = {1, 2, 3}
P(A) = {C , {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3}}
Propiedades
Propiedades de la inclusin
i) A c A
ii) C c A
iii) A c B B . A ; slo si A = B
iv) A c B y B c D ==> A c D
Propiedades de la unin e interseccin

i) Identidad A C = A A H = A
ii) Idempotencia A A = A A A = A
iii)
Commutatividad
A B = B A A B = B A
iv) Asociatividad (A B) D = A (B D) (A B) D = A (B D)
v) Distributividad (A B) D = (A D) (B D) (AB) D = (A D) (B
D)
vi) Absorcin A (A B) = A A (A B) = A
vii)
Complementaridad
A A
c
= H A A
c
= C
Nota: A todo conjunto en el que se hayan definido dos operaciones que tengan
estas propiedades, se le denomina Algebra de Boole.
Funcin de conjunto: toda regla que de un modo perfectamente determinado
haga corresponder un nmero real a cada elemento del conjunto. Se representa por
f: A 9
el nmero x que le corresponde al elemento a, se representa por x=f(a)
Se denomina imagen de la funcin al conjunto de nmeros que estn en
correspondencia con algn elemento, a travs de la funcin.
im f = { x e9; a e A , f(a)=x }