TEORIA DE CONJUNTOS

Definicin
CONCEPTO
Un conjunto es una reunin de objetos que cumplen con
cierta propiedad (llamados los elementos de ese conjunto)
y que, por tanto, queda definido por tal propiedad.
Un conjunto es una sola entidad matemtica, de modo
que puede a su vez ser contenido por otro conjunto.
Dos conjuntos que tengan los mismos elementos son
iguales. As, puede decirse que un conjunto est
determinado por sus elementos.
El smbolo usual para representar esta relacin es el
smbolo e , una versin de la letra griega e(psilon).
Los segundos argumentos de la relacin e son llamados
conjuntos, y los primeros argumentos son llamados
elementos. As, si la frmula


La negacin de se escribe:

RELACION DE CONJUNTOS
1. Axiomas de intencionalidad.- Dos conjuntos X e Y
son iguales (lo que se representa por ) X=Y nicamente
si contienen los mismos elementos. Ms formalmente, y
en la simbologa usual:


2. Axioma del conjunto vaco. Existe un conjunto
(representado por ) sin elementos. Esto es:

Los axiomas de Zermelo-Fraenkel
3. Axioma de pares. Dados cualesquiera conjuntos X e Y ,
existe otro conjunto, representado por x,y` , cuyos
elementos son nicamente x e y . Esto es:


4. Axioma de la unin. Dada cualquier coleccin de
conjuntos C , existe un conjunto, representado por Uc y
llamado unin de C , que contiene todos los elementos de
cada conjunto de . Esto es:


5. Axioma del conjunto potencia Para cualquier conjunto x
existe otro conjunto, representado por P(x), que contiene
todos los subconjuntos de x . En smbolos:

6. Esquema axiomtico de especificacin.- Entonces, para
cualquier conjunto x existe un conjunto y cuyos elementos son
aquellos elementos de que cumplen |(a) . Formalmente:


7. Esquema axiomtico de remplazo. Si es una
sentencia tal que para cualquier elemento a de un conjunto x
el conjunto existe, entonces existe una funcin
f:xy tal que f(a)=y. Formalmente, si


entonces



AXIOMAS Y DEFINICIONES

- El axioma de intencionalidad
El axioma de intencionalidad dice que dos conjuntos son iguales si
y solo si tienen los mismos elementos. En otras palabras, afirma
que un conjunto est determinado por su extensin (todos sus
elementos). Una relacin ms general que la igualdad es la
inclusin (_ ), que se define como sigue:

8. Axioma de infinitud.- Existe un conjunto x tal que | e x
y tal que si y e x, entonces y y`e x. En smbolos:


9. Axioma de Regularidad.- Para todo conjunto no vaco x
existe un yex conjunto tal que xy. Esto es, en trminos
formales:


10. Lema de Zorn.- Todo conjunto inductivo no-vaco tiene
elemento maximal.



El axioma del conjunto vaco nos da un conjunto sin
elementos. Este axioma se present usando el smbolo | .
Esto est justificado, pues el axioma de intencionalidad nos
dice que este conjunto es nico.


El axioma del conjunto vaco puede deducirse de otro axioma
ms dbil, que afirma la existencia de un conjunto, digamos x,
y del esquema de especificacin con la frmula a=a aplicada
a este conjunto . As, el conjunto vaco es el conjunto:



EL AXIOMA DEL CONJUNTO VACO


EL axioma de pares, establece que, dos cualesquiera dos
conjuntos x e y, existe otro conjunto, representado por
x,y` , cuyos elementos son nicamente y e x . Esto es:

AXIOMAS PARES
Si es una coleccin de conjuntos, entonces la unin A
contiene aquellos y solo aquellos elementos que estn en algn
conjunto de A . Si A= x1,x2xn` , un conjunto con elementos,
entonces es comn escribir:



De modo que el axioma de unin y el axioma de pares
garantizan la existencia del conjunto para cualesquiera
conjuntos x e y , un hecho que no puede deducirse
simplemente del esquema de especificacin junto con los
axiomas restantes.

AXIOMAS DE UNION
El axioma del conjunto potencia nos da un conjunto que
contiene a todos los subconjuntos de cualquier conjunto.
Por tanto, . Puesto que para cualquiera
que sea el conjunto , puede hacerse uso del esquema de
especificacin para obtener el conjunto


AXIOMA DEL CONJUNTO POTENCIA