Está en la página 1de 12
TEORIA DE CONJUNTOS Definición
TEORIA DE CONJUNTOS
Definición
CONCEPTO
CONCEPTO

Un conjunto es una reunión 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 matemática, 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.

RELACION DE CONJUNTOS
RELACION DE CONJUNTOS

El símbolo usual para representar esta relación es el símbolo , una versión de la letra griega (épsilon). Los segundos argumentos de la relación son llamados conjuntos, y los primeros argumentos son llamados elementos. Así, si la fórmula

RELACION DE CONJUNTOS  El símbolo usual para representar esta relación es el símbolo  ,

La negación de se escribe:

RELACION DE CONJUNTOS  El símbolo usual para representar esta relación es el símbolo  ,
Los axiomas de Zermelo-Fraenkel
Los axiomas de Zermelo-Fraenkel

1. Axiomas de intencionalidad.- Dos conjuntos X e Y son iguales (lo que se representa por ) X=Y únicamente si contienen los mismos elementos. Más formalmente, y en la simbología usual:

Los axiomas de Zermelo-Fraenkel  1. Axiomas de intencionalidad.- Dos conjuntos X e Y son iguales

2. Axioma del conjunto

vacío.

Existe

un

conjunto

(representado por Ø) sin elementos. Esto es:

Los axiomas de Zermelo-Fraenkel  1. Axiomas de intencionalidad.- Dos conjuntos X e Y son iguales
3. Axioma de pares. Dados cualesquiera conjuntos X e Y , existe otro conjunto, representado por
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
unión. Dada cualquier colección de
conjuntos C
,
existe
un conjunto,
representado por Uc y

llamado unión de C , que contiene todos los elementos de cada conjunto de . Esto es:

3. Axioma de pares. Dados cualesquiera conjuntos X e Y , existe otro conjunto, representado por
  • 5. Axioma del conjunto potencia Para cualquier conjunto x existe otro conjunto, representado por P(x), que contiene todos los subconjuntos de x . En símbolos:

3. Axioma de pares. Dados cualesquiera conjuntos X e Y , existe otro conjunto, representado por
6. Esquema axiomático de especificación.- Entonces, para cualquier conjunto x existe un conjunto y cuyos elementos
6. Esquema axiomático de especificación.- Entonces, para
cualquier conjunto x existe un conjunto y cuyos elementos son
aquellos elementos de que cumplen (a) . Formalmente:
7. Esquema axiomático de remplazo. Si
es una

sentencia tal que para cualquier elemento a de un conjunto x

el conjunto

6. Esquema axiomático de especificación.- Entonces, para cualquier conjunto x existe un conjunto y cuyos elementos

existe, entonces existe una función

f:x→y tal que f(a)=y. Formalmente, si

6. Esquema axiomático de especificación.- Entonces, para cualquier conjunto x existe un conjunto y cuyos elementos

entonces

6. Esquema axiomático de especificación.- Entonces, para cualquier conjunto x existe un conjunto y cuyos elementos
AXIOMAS Y DEFINICIONES  El axioma de intencionalidad El axioma de intencionalidad dice que dos conjuntos
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 extensión (todos sus elementos). Una relación más general que la igualdad es la inclusión (), que se define como sigue:

AXIOMAS Y DEFINICIONES  El axioma de intencionalidad El axioma de intencionalidad dice que dos conjuntos
8. Axioma de infinitud.- Existe un conjunto x tal que   x y tal que
8.
Axioma de infinitud.- Existe un conjunto x tal que   x
y tal que si y  x, entonces y  y x. En símbolos:
9.
Axioma de Regularidad.- Para todo conjunto no vacío x
xy. Esto es, en términos

existe un yx conjunto tal que formales:

8. Axioma de infinitud.- Existe un conjunto x tal que   x y tal que

10. Lema de Zorn.- Todo conjunto inductivo no-vacío tiene elemento maximal.

EL AXIOMA DEL CONJUNTO VACÍO El axioma del conjunto vacío nos da un conjunto sin elementos.
EL AXIOMA DEL CONJUNTO VACÍO
El
axioma
del
conjunto
vacío
nos
da
un conjunto sin
elementos. Este axioma se presentó usando el símbolo  .
Esto está justificado, pues el axioma de intencionalidad nos
dice que este conjunto es único.
EL AXIOMA DEL CONJUNTO VACÍO El axioma del conjunto vacío nos da un conjunto sin elementos.

El axioma del conjunto vacío puede deducirse de otro axioma más débil, que afirma la existencia de un conjunto, digamos x, y del esquema de especificación con la fórmula aa aplicada a este conjunto . Así, el conjunto vacío es el conjunto:

EL AXIOMA DEL CONJUNTO VACÍO El axioma del conjunto vacío nos da un conjunto sin elementos.
AXIOMAS PARES
AXIOMAS PARES

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 EL axioma de pares , establece que, dos cualesquiera dos conjuntos x e y,
AXIOMAS DE UNION
AXIOMAS DE UNION

Si es una colección de conjuntos, entonces la unión A contiene aquellos y solo aquellos elementos que están en algún conjunto de A . Si A= x1,x2xn, un conjunto con elementos, entonces es común escribir:

AXIOMAS DE UNION Si es una colección de conjuntos, entonces la unión  A contiene aquellos

De

modo

que

el

axioma

de

unión

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

especificación

junto

con

los

axiomas restantes.

AXIOMA DEL CONJUNTO POTENCIA El axioma del conjunto potencia nos da un conjunto que
AXIOMA DEL CONJUNTO POTENCIA
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

AXIOMA DEL CONJUNTO POTENCIA El axioma del conjunto potencia nos da un conjunto que contiene a
AXIOMA DEL CONJUNTO POTENCIA El axioma del conjunto potencia nos da un conjunto que contiene a

especificación para obtener el conjunto

AXIOMA DEL CONJUNTO POTENCIA El axioma del conjunto potencia nos da un conjunto que contiene a