3.1 Conjuntos.

Dentro de la teora se consideran como primitivos o trminos no

definidos los conjuntos y los elementos. En general, se designan los
conjuntos usando letras latinas maysculas y los elementos con letras
minsculas.
Intuitivamente, un conjunto es una coleccin o clase de objetos bien
definidos. Estos objetos se llaman elementos o miembros del
conjunto.
Si un objeto x es elemento de un conjunto A, se escribe:
x e A.
que se puede leer tambin "x pertenece a A" o "x est en A". Si por el
contrario, un objeto x no es elemento de un conjunto A, se escribe:
x e A.
Un conjunto se puede definir haciendo la presentacin efectiva de
cada uno de sus elementos, as el conjunto A cuyos elementos son 2,
3, 5, se escribe:
A = { 2, 3, 5}
Esto se conoce como expresin por extensin del conjunto.
Otra forma de definir un conjunto es enunciando una propiedad que
permita seleccionar de un conjunto ya formado, aquellos que
verifiquen dicha propiedad. Por ejemplo, dentro del conjunto de los
nmeros podemos seleccionar el conjunto B de los nmeros pares, en
este caso se emplea una letra, por lo general x, para representar un
elemento cualquiera y se escribe:

B = { x / x es par}
lo que se lee: "B es el conjunto de los nmeros x tales que x es par".
Esta forma de definir un conjunto de llama por comprensin.
3.1.1 Definiciones.
3.1.1.1 Igualdad de Conjuntos. El conjunto A es igual al conjunto
B si ambos tienen los mismos elementos, es decir, si cada elemento
de A es tambin elemento de B y recprocamente. Luego, podemos
escribir:
(A = B) ( x)(x e A x e B).


3.1.1.2 Subconjuntos. Si todo elemento de un conjunto A es
tambin elemento de un conjunto B, entonces se dice que A es un
subconjunto de B. Esta relacin se denomina relacin de inclusin y
se denota como: AcB.
Simblicamente esto se puede expresar as:

A c B ( x)(x e A x e B)
Esta relacin tambin se puede leer: "A est contenido en B", "A es
una parte de B". Para expresar que A no est contenido en B,
escribimos: A.B.
Con esta definicin de subconjunto se puede dar de otra manera la
definicin de igualdad de dos conjuntos, as:

(A = B) (A c B) . (B c A)
Puesto que todo conjunto A es subconjuto de si mismo, se dir que A
es un subconjunto propio de B; si A es subconjuto de B y A no es
igual a B. Ms brevemente, A es subconjuto propio de B si A c B y A
= B. Esta situacin puede representarse mediante un diagrama as:

3.1.1.3 Conjunto Universal. Es el conjunto de todos los elementos
en discusin. Tambin se le llama dominio de discusin o referencial.
El conjunto universal se designa con el smbolo 1.

Ejemplos

1. En geometra plana el conjunto universal es el de todos los puntos
del plano.
2. En los estudios de poblacin humana el conjunto universal estar
formado por todos los seres humanos del mundo.


3.1.1.4 Conjunto Vaco. Es el conjunto que carece de elementos.
Este conjunto se denotar por 0. Un conjunto vaco se puede definir
mediante una propiedad que sea contradictoria, por ejemplo:
Sea A = {x / x
2
= 4 . x es impar}.

3.1.1.5 Conjunto de Partes de un Conjunto. El conjunto de todos
los subconjuntos de un conjunto A, se denomina conjunto de partes
de A y se denota P (A).

En consecuencia,
x e P(A) x c A
P(A) = {x / x c A}
3.1.2 Operaciones Fundamentales con Conjuntos.
3.1.2.1 Unin. La unin de los conjuntos A y B, es el conjunto de
todos los elementos que pertenecen a A o a B o a ambos. Se denota
la unin de A y B por A + B y se llama unin de A y B.
En consecuencia,
x e ( A + B) x e A v x e B.

Entonces se puede expresar por comprensin este conjunto as:
A + B = {x / x e A v x e B }

Una interpretacin grfica de la unin de A y B es la siguiente:
En la grfica la regin rayada
corresponde a la unin de A y B. Se presentan los conjuntos dentro
de un rectngulo que representa el conjunto referencial del cual se
seleccionan los conjuntos A y B.


3.1.2.2 Interseccin. La interseccin de dos conjuntos A y B es el
conjunto de los elementos que son comunes a A y a B, esto es,
aquellos que pertenecen a A y que tambin pertenecen a B. Se
denota la interseccin de A y B por A - B y se lee "A interseccin B".
En consecuencia,
x e A- B x e A . x e B.

El conjunto A- B est dado por:
A- B = { x / x e A . x e B }.

Grficamente, una representacin de A- B es:



La regin rayada corresponde a A- B. Cuando A y B no tienen
elementos comunes, se dice que son disjuntos.

3.1.2.3 Complemento. El complemento de un conjunto A es el
conjunto de todos los elementos que no pertenecen a A, es decir, el
conjunto de todos los elementos que estn en el Universal y no estn
en A. El complemento de A se denota por A'.
En consecuencia,
x e A' x e 1 . x e A.


Grficamente, su representacin est dada por:

A' = {x / x e 1 . x e A }.


3.1.3 Leyes del lgebra de Conjuntos.

Si 1 designa al conjunto universal y 0 al conjunto vaco, las siguientes
identidades son vlidas en el lgebra de conjuntos para conjuntos
arbitrarios X, Y, Z.
Leyes conmutativas
XY = YX X + Y = Y + X.

Leyes asociativas
X(YZ) = (XY)Z X + (Y + Z) = (X + Y) + Z.

Leyes distributivas
X(Y + Z) = XY + XZ X + YZ = (X + Y) (X + Z).
Leyes de idempotencia
XX = X X + X = X.
Leyes de complementacin
XX' = 0 X + X' = 1.
Leyes de absorcin
X (X + Y) = X X + XY = X.
Leyes de D'Morgan
( XY)' = (X' + Y') (X + Y )' = X'Y'.

Leyes con 0 y 1
X 1 = X X + 0 = X.
X 0 = 0 X + 1 = 1.
0' = 1 1' = 0.
Ley de complemento doble
(X')' = X.

Es importante destacar la dualidad dada en estas leyes, es decir, si
en cualquiera de las identidades, cada unin se reemplaza por una
interseccin, cada interseccin por una unin, cada 0 por 1 y cada 1
por 0, la expresin resultante es tambin una identidad.