Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teoria Conjuntos
Teoria Conjuntos
ii
ndice general
0.1. Prefacio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1. Introduccin
1.1. Pinceladas histricas . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Teora intuitiva de conjuntos . . . . . . . . . . . . . . . . . . . .
1.2.1. La selva de Cantor . . . . . . . . . . . . . . . . . . . . . .
3
3
4
4
6
6
7
7
2. lgebra de Conjuntos
2.1. El lenguaje de la Teora de Conjuntos . . . . . . . . . . . . . . .
2.2. Igualdad, inclusin y conjunto vaco . . . . . . . . . . . . . . . .
2.3. Operaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9
9
10
10
3. Relaciones y Funciones
3.1. Clases unitarias, pares y dadas . . . . . . . . . . . . . . . . .
3.2. Conjunto potencia (o conjunto de las partes de un conjunto)
3.3. Gran unin y gran interseccin . . . . . . . . . . . . . . . . .
3.4. Producto cartesiano . . . . . . . . . . . . . . . . . . . . . . .
3.5. Relaciones binarias . . . . . . . . . . . . . . . . . . . . . . . .
3.6. Relacin inversa, producto relativo y restriccin . . . . . . . .
3.7. Imagen bajo una relacin y relacin identidad. . . . . . . . .
3.8. Propiedades de ciertas relaciones . . . . . . . . . . . . . . . .
3.9. Relaciones de equivalencia . . . . . . . . . . . . . . . . . . . .
3.10. Relaciones de Orden . . . . . . . . . . . . . . . . . . . . . . .
3.11. Funciones, composicin . . . . . . . . . . . . . . . . . . . . .
3.12. Funciones de A en B . . . . . . . . . . . . . . . . . . . . . . .
13
13
13
14
14
15
15
16
16
17
18
19
19
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
iv
NDICE GENERAL
.
.
.
.
.
.
.
.
25
25
26
26
27
27
27
27
28
6. La Jerarqua de Zermelo
31
6.1. Construccin de la Jerarqua . . . . . . . . . . . . . . . . . . . . 31
6.2. Axiomas involucrados en la construccin de la jerarqua . . . . . 32
7. Los Axiomas de Eleccin y Constructibilidad
7.1. Axioma de la eleccin . . . . . . . . . . . . . . . .
7.1.1. Otras formulaciones del axioma de eleccin
7.1.2. Importancia del Axioma de Eleccin . . . .
7.2. Axioma de Constructibilidad . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
35
35
36
36
36
8. Ejercicios
8.1. Igualdad, Inclusin y Conjunto vaco . . . . . . . .
8.2. Operaciones: Algebra de conjuntos . . . . . . . . .
8.3. Clases Unitarias, Pares y Dadas . . . . . . . . . .
8.4. Conjunto Potencia (o Conjunto de las Partes de un
8.5. Gran Unin y Gran Interseccin . . . . . . . . . .
8.6. Producto Cartesiano . . . . . . . . . . . . . . . . .
8.7. Relaciones Binarias . . . . . . . . . . . . . . . . . .
8.8. Relacin Inversa, Producto Relativo y Restriccin .
8.9. Imagen bajo una Relacin y Relacin de Identidad
8.10. Propiedades de ciertas relaciones . . . . . . . . . .
8.11. Relaciones de Equivalencia . . . . . . . . . . . . . .
8.12. Relaciones de Orden . . . . . . . . . . . . . . . . .
8.13. Funciones, Composicin . . . . . . . . . . . . . . .
8.14. Funciones de A en B . . . . . . . . . . . . . . . . .
8.15. Induccin . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
Conjunto) .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
39
39
39
40
40
40
41
41
42
42
43
43
43
43
44
44
9. Bibliografa
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
49
0.1. PREFACIO
0.1.
Prefacio
Las notas que siguen constituyen una gua para un curso bsico de teora de
conjuntos. La primera parte, formada por tres captulos, se podran insertar en
un curso de introduccin de lgica, entre la lgica proposicional y la de primer
orden. Si el curso se piensa dar en Facultades de Letras, se puede complementar
con una serie de ejercicios an ms elementales (que estamos elaborando) cuyo
objetivo es que el alumno sepa trasegar con conjuntos y relaciones concretas. No
se incluyen las demostraciones, que son la parte fundamental del curso, ya que
las hacemos en la pizarra. Esto no es un libro, son unos apuntes que esperamos
os sean de alguna ayuda.
El bloque completo de estas notas constituye un curso de 20 horas para
alumnos de primer ciclo. Por tratarse de una asignatura de las denominadas
de LIBRE CONFIGURACIN (esto quiere decir que no es de ninguna carrera
en particular, que la pueden elegir alumnos de cualquier titulacin) no se puede
suponer un conocimiento previo homogneo, de ah proviene su estilo mestizo.
vi
NDICE GENERAL
Parte I
TEORA BSICA DE
CONJUNTOS
Captulo 1
Introduccin
1.1.
Pinceladas histricas
En el ltimo cuarto del siglo XIX se vivi un episodio apasionante de la historia de las matemticas que las ligara desde entonces a la historia de la lgica.
Primero, Georg Boole (1815-1864) en su Mathematical Analysis of Logic trat
de presentar la lgica como parte de las matemticas. Poco despus Gottlob
Frege (1848-1925) intent mostrar que la aritmtica era parte de la lgica en su
Die Grundlagen der Arithmetik. Pero, dando un gran paso tanto en la historia
de las matemticas como en la historia de la lgica, G. Cantor se haba adelantado a Frege con una fundamentacin lgica de la aritmtica. Cantor haba
demostrado que la totalidad de los nmeros naturales comprendidos en el intervalo de extremos 0 y 1 no es numerable, en el sentido de que su infinitud no es
la de los nmeros naturales. Como una consecuencia de esa situacin, Cantor
cre una nueva disciplina matemtica entre 1874 y 1897: la teora de conjuntos.
Su obra fue admirada y condenada simultneamente por sus contemporneos.
Desde entonces los debates en el seno de la teora de conjuntos han sido siempre
apasionados, sin duda por hallarse estrechamente conectados con importantes
cuestiones lgicas.
Segn la definicin de conjunto de Cantor, ste es una coleccin en un todo
de determinados y distintos objetos de nuestra percepcin o nuestro pensamiento, llamados los elementos del conjunto. Frege fue uno de los admiradores de
la nueva teora de Cantor, y dio una definicin de conjunto similar.
En 1903 B. Russell demostrara que la teora de conjuntos de Cantor era
inconsistente y cuestionara la definicin de conjunto en la teora de Cantor.
Pero pronto la teora axiomtica de Zermelo (1908) y refinamientos de sta
debidos a Fraenkel (1922), Skolem (1923), von Newman (1925) y otros sentaron
las bases para la teora de conjuntos actual.
Es indiscutible el hecho de que la teora de conjuntos es una parte de las
matemticas, es adems, la teora matemtica dnde fundamentar la aritmtica
3
CAPTULO 1. INTRODUCCIN
1.2.
1.2.1.
La selva de Cantor
a, b y c.
B = {, , , , }. Donde B es el conjunto formado exactamente por
esos cinco crculos.
Entonces es cierto que b A y que b
/ B.
El inconveniente para este mtodo de listado o enumeracin de los elementos del conjunto es que stos deben poseer un nmero finito de elementos
y, en la prctica, un nmero muy pequeo
Qu hacer cuando la coleccin es infinita, o cuando es finita pero numerosa?
Describir los objetos. Cuando el nmero de elementos del conjunto es infinito (como el de los nmero impares) o demasiado numeroso (como el de
todas las palabras que pueden formarse con el alfabeto latino) se utiliza
el mtodo de definicin por intensin, que consiste en la descripcin de
un conjunto como la extensin de un predicado, esto es, mediante una o
varias propiedades (el predicado) que caracterizan a los elementos de ese
conjunto.
En principio podra tomarse cualquier lengua natural para describir los objetos (espaol, ingls, italiano, vasco, cataln, etc), sin embargo es preferible
utilizar un lenguaje formal que ofrezca rigor y precisin. Dicho lenguaje debe
ser suficientemente rico; esto es, lo suficientemente expresivo como para poder
describir todas las colecciones matemticas. Pero tambin lo suficientemente restrictivo como para limitarse a slo las colecciones de objetos matemticos. Para
expresar predicados utilizaremos el lenguaje formal de la la lgica de predicados de primer orden (el lenguaje de la lgica de proposiciones con los smbolos
lgicos de las conectivas , , , , ms los cuantificadores universal y existencial ) al que se aade variables, igualdad y el relator binario de pertenencia.
Este lenguaje puede ser ampliado con los smbolos propios de las operaciones,
relaciones o funciones del lenguaje especfico de teora de conjuntos.
En la primera parte, al presentar la Teora bsica de conjuntos, utilizaremos
con frecuencia el lenguaje natural para describir propiedades. Estas propiedades
pueden ser aritmticas (<, , /, etc.) o matemticas en general, pero tambin
pueden ser propiedades expresadas en lenguaje natural (nombres, verbos,...) que
describan colecciones no estrictamente matemticas.
Ejemplo:
C = {x / 0 < x < 230000 2/x}, donde es el conjunto de los nmeros
naturales con la ordenacin habitual, < significa menor que y 2/x significa
que 2 divide a x.
D = {x/ x es una palabra de 2 letras del alfabeto griego (pueden estar repetidas)}
E = {x/ P2 (x) P3 (x) P10 (x)} . Donde Pi (x) significa x es una palabra
de i letras del alfabeto griego (pueden estar repetidas).
1.2.2.
CAPTULO 1. INTRODUCCIN
1.2.3.
1.3.
El Universo matemtico
1.4.
CAPTULO 1. INTRODUCCIN
3. Los teoremas, que son todas las proposiciones demostrables con herramientas lgicas a partir de los axiomas.
Captulo 2
lgebra de Conjuntos
2.1.
A continuacin presentamos el lenguaje de primer orden L en el que escribiremos la Teora de Conjuntos. Puede entenderse de dos maneras distintas:
como lenguaje formal y como abreviaturas de expresiones en espaol. Esta segunda interpretacin ser posiblemente la conveniente en un curso introductorio,
antes de conocer la lgica de primer orden.
Los smbolos del lenguaje formal de la teora de conjuntos sern:
Los smbolos de conjuntos sern las letras del alfabeto, maysculas y
minsculas.
El smbolo de la relacin de pertenencia entre conjuntos es .
Los smbolos lgicos de la lgica de predicados: (negacin), (conjuncin),
(disyuncin), (implicacin), (equivalencia), (cuantificador universal) y (cuantificador existencial) y (, ) (parntesis).
Con estos signos bsicos se generan todas las frmulas de la teora de conjuntos. Las reglas de formacin de frmulas son las habituales en la lgica de
primer orden. A saber:
1. x y y x = y son frmulas. Para cualesquiera variables x, y.
2. Si y son frmulas, tambin lo son: , , , y
3. Si es una frmula, x y x tambien lo son.
FORM(L ) se generan mediante las reglas precedentes:
9
10
2.2.
Definiciones:
A
/ B es la abreviacin de no pertenencia (A B)
Igualdad (Axioma de extensionalidad). x(x A x B) A = B
Si todo elemento lo es de A si y slo si lo es tambin de B entonces A y
B coinciden.
Inclusin, subconjunto: A B A est incluido en B (A es subconjunto
de B), es una abreviatura de x(x A x B)) (todo elemento de A
es elemento de B).
Inclusin estricta: A B es una abreviatura de (A B) (A 6= B).
Conjunto vaco: es el nico conjunto tal que x(x
/ ) para todo x,
x no pertenece a (ningn elemento pertenece a )
Teoremas: Los resultados siguientes son teoremas que se deducen de manera
directa de las definiciones anteriores
1.
A( A)
2.
A (A A)
3.
AB ((A B) (B A) (A = B))
4.
2.3.
Operaciones
Definiciones
Unin. A B = {x/ (x A) (x B))} A unin B est formado por
los elementos que estn en A o en B. Se verifica: x(x A B (x
A) (x B))
Interseccin A B = {x/ (x A) (x B)} A interseccin B est
formado por los elementos que estn en A y tambin en B. Se verifica:
x(x A B (x A) (x B))
Diferencia AB = {x/ (x A) (x
/ B)} A menos B est formado por
los elementos que estn en A pero no en B. Se verifica: x(x A B
(x A) (x B))
2.3. OPERACIONES
Teoremas
1.
AB (A A B)
2.
AB (A B A)
3.
AB ((A B) (A B = B))
4.
AB ((A B) (A B = A))
5.
A (A A = A). Idempotencia.
6.
A (A A = A). Idempotencia.
7.
AB (A (A B) = A). Absorcin.
8.
AB (A (A B) = A). Absorcin.
9.
AB (A B = B A). Commutatividad.
10.
AB (A B = B A). Commutatividad.
11.
AB (A B = B A)
12.
A ( A = )
13.
A (A = A)
14.
A (A = )
15.
16.
11
12
Captulo 3
Relaciones y Funciones
3.1.
Definiciones
Par desordenado. {x, y} = {z/ (z = x) (z = y)}) ; es el conjunto formado por los elementos x, y.
Clase unitaria. {x} = {x, x}
Notacin: {x, y, z} = {x, y} {z} .
Par ordenado. hx, yi = {{x} , {x, y}}
Teoremas
1.
2.
xy (x = y hx, yi = {{x}})
3.
3.2.
Definicin
Partes de un conjunto. PA = {C/ C A} , partes de A est formado por
los subconjuntos de A.
13
14
Teoremas
1.
A ( PA)
2.
A (A PA)
3.
4.
3.3.
Definiciones
[
Gran unin.
A = {x | A (A A x A)} . La gran unin del conjunto A est formado por los objetos que son elementos de algn elemento
de A.
\
Gran interseccin.
A = {x | A (A A x A)} . La gran interseccin del conjunto A est formado por los objetos que son elementos de
todos los elemento de A.
\
Convencin:
=
Teoremas
1.
2.
3.
4.
3.4.
AB (
AB (
{A, B} = A B)
{A, B} = A B)
[
AA ((A A) (A
A))
[
A ( PA = A)
Producto cartesiano
ABC (A (B C) = (A B) (A C))
2.
3.
4.
AB (A B PP(A B))
3.5.
15
Relaciones binarias
Definiciones
Relacin binaria. Una relacin binaria es una clase de pares ordenados.
R(R es una relacin yz (x = hy, zi).
La llamaremos simplemente relacin.
Dominio. Dom R = {x | y hx, yi R}
Rango. Rang R = {x | y hy, xi R}
Campo. Camp R = Rang R Dom R
Teoremas Los resultados siguientes son teoremas que se deducen de manera
directa de las definiciones anteriores.
1.
es un relacin
2.
3.
4.
5.
6.
7.
8.
3.6.
Definiciones
Relacin inversa. R1 = {hx, yi | hy, xi R}
Producro relativo. R/S = {hx, yi | z (hx, zi R hz, yi S}
xy (hx, yi R1 hy, xi R)
R (R1 es una relacin)
R ( (R1 )1 R )
16
3.7.
Definiciones
Imagen de A bajo R. R [A] = Rang R A
Identidad sobre A. IA = {hx, xi | x A}
Teoremas
1.
2.
3.
4.
5.
6.
3.8.
Definiciones
R es reflexiva si y slo si x ((x Camp R) (hx, xi R))
R es simtrica si y slo si xy ((hx, yi R) (hy, xi R))
R es transitiva si y slo si xyz ((hx, yi R hy, zi R) (hx, zi R))
R es irreflexiva si y slo si x ((x Camp R) (hx, xi
/ R))
R es asimtrica si y slo si xy ((hx, yi R) (hy, xi
/ R))
R es intransitiva si y slo si xyz ((hx, yi R hy, zi R) (hx, zi
/
R))
R es antisimtrica si y slo sixy ((hx, yi R hy, xi R) (x = y))
R est conectada syss xy ((x, y Camp R) x 6= y) (hx, yi
R hy, xi R))
R est fuertemente conectada syss xy((x, y Camp) (hx, yi R
hy, xi R))
R es eucldea syss xyz ((hx, yi R hx, zi R) (hy, zi R))
R es incestuosa syss xyz((hx, yi R hx, zi R) (u(hy, ui R
hz, ui R)))
17
Teoremas
1.
2.
3.9.
Relaciones de equivalencia
Definiciones
R es una relacin de equivalencia si y slo si R es una relacin y R es
reflexiva, simtrica y transitiva
R es una relacin de equivalencia sobre A si y slo si Camp R = A y R es
una relacin de equivalencia
Clase de equivalencia de x Camp R segn R : [x]R = {y | hy, xi R}
Cociente. Si R una equivalencia sobre A , el cociente de A por R es A/R =
{[x]R | x A}
Particiones. H es una particin de A si y slo si
x (x H x 6= ) xy (x, y H x 6= y x y = )
H =A
2.
3.
4. A(R(((R A) (R es de equivalencia) ) (
([A]/R es una
A es de equivalencia))
18
3.10.
Relaciones de Orden
Definiciones
R es una relacin de orden (parcial) si y slo si R es una relacin y R es
reflexiva y antisimtrica y transitiva
R es un orden (parcial) sobre A si y slo si Camp R = A y R es una
relacin de orden
R es un orden lineal si y slo si R es una relacin de orden y R esta
conectada
R es un orden lineal sobre A si y slo si Camp R = A y R es una relacin
de orden lineal
Un conjunto parcialmente ordenado es un par hA, Ri formado por un conjunto A y un orden parcial sobre A.
Un conjunto linealmente ordenado es un par hA, Ri formado por un conjunto A y un orden lineal sobre A.
Sea hA, Ri un conjunto parcialmente ordenado y sea Y A.
Un elemento a Y es un elemento minimal de Y si y slo si x(x
Y hx, ai R).
Un elemento a Y es primer elemento de Y (mnimo de Y ) si y slo si
x(x Y ha, xi R).
Un conjunto parcialmente ordenado hA, Ri , est bien fundado si cada
subconjunto no vacio de A posee elemento minima.
Cuando hA, Ri est linealmente ordenado y bien fundado decimos que est
bien ordenado.
Notacin: Habitualmente escribiremos en vez de R para relaciones de orden,
y hA, i para conjuntos ordenados tanto parcial como linealmente.
Teoremas
1.
2.
3.
4.
3.11.
19
Funciones, composicin
Definiciones
Funcin. f es una funcin si y slo si f es una relacin y (xyz(((hx, yi
f ) (hx, zi f )) (y = z)))
Composicin: f g = g/f
Notacin: Si f es una funcin notaremos f (x) = y para indicar hx, yi f
Teoremas
1.
2.
3.
4.
5.
6.
7.
8.
3.12.
Funciones de A en B
Definiciones
f es una funcin de A en B si y slo si f es una funcin y Dom f =
A y Rang f B
Notacion: para indicar que f es una funcion de A en B escribiremos f : A
B
f es una funcion inyectiva si y slo si f es una funcin y (xyz (hx, yi
f hz, yi f x = z))
f : A B es exhaustiva si y slo si Rang f = A
f : A B es biyectiva si y slo si f es inyectiva & exhaustiva
Notacion: AB denotar el conjunto de todas las funciones de B en A
20
Teoremas
1.
2.
3.
Parte II
Teora de Conjuntos
Axiomtica
21
Captulo 4
Primeros Axiomas
Los axiomas de la teora ZF son propiedades indemostrales que se aceptan
como verdaderas y que tienen por objeto garantizar que en la Jerarqua de
Conjuntos ZF todo lo construdo son conjuntos y as evitar las paradojas.
4.1.
Definicin
Axioma de Extensionalidad: AB (A = B x(x A x B). Este
axioma asegura que el smbolo lgico = para la igualdad de objetos de la
teora coincide con la intuicin de que dos conjuntos son iguales si tienen
los mismos elementos.
Axioma de Separacin: AB(x B (x A (x)) . Expresa que
si (x) es una frmula del lenguaje de la teora de conjuntos, con a lo
sumo la variable x libre y A es un conjunto, entonces la clase (coleccin)
{x/x A (x)} es un conjunto. El axioma de separacin obliga a que
los conjuntos estn formados de elementos de conjuntos ya construdos.
Hay que observar que ms que un slo axioma es un esquema de axiomas,
ya que tenemos un axioma para cada predicado.
4.2.
Definicin
Axioma del Par: ABC(x(x C x = A x = B) . Expresa que
si A y B son conjuntos entonces la clase {A, B} es un conjunto.
En particular, si A es un conjunto entonces la clase {A} es un conjunto (por
extensionalidad ). Este axioma asegura que las colecciones de conjuntos son conjuntos.
23
24
4.3.
Axioma de Reemplazamiento
Axioma de Reemplazamiento:
x!y(x, y) ABy(y B x(x A (x, y))
Expresa que la imagen de un conjunto por una funcin es un conjunto.
Captulo 5
Construccin de los
Ordinales
5.1.
26
5.1.1.
5.1.2.
Llamamos al conjunto de los nmeros naturales con su ordenacin habitual. es un conjunto bien ordenado y por tanto vale el teorema de induccin
Teorema de Induccin para (1) Induccin fuerte.
Sea X tal que (n )(n X n X), entonces X =
(2) Induccin dbil.
Sea X tal que
(i) 0 X
(ii) (n )(n X (n + 1) X)
entonces X =
(3) Expresin de la induccin dbil mediante frmulas.
Sea P(x) un predicado o propiedad del lenguaje de la teora de conjuntos especfica para los nmeros naturales . Si se satisface:
(i) P(0)
(ii) (n )(P(n) P(n + 1))
entonces (n )(P(n))
(4) Expresin generalizada de la induccin dbil mediante frmulas.
Sea P(x) un predicado o propiedad del lenguaje de la teora de conjuntos especfica para los nmeros naturales . Si se satisface:
(i) P(n0 ) para un cierto nmero natural n0 .
(ii) (n n0 )(P(n) P(n + 1))
entonces (n n0 )P(n)
Demostracin de (4): (4) Es consecuencia directa del teorema de induccin
en conjuntos bien ordenados y el hecho de que {n/ n < n0 } es un conjunto
bien ordenado cuyo primer elemento es n0 .
27
5.2.
5.2.1.
5.2.2.
Segmento
Definicin Sea hX, i un conjunto bien ordenado y a X. Llamamos segmento de X determinado por a al conjunto Xa = {x X | x < a}
Teoremas
1. Sea hX, i un conjunto bien ordenado. No hay ningn isomorfismo de X
en un segmento de X.
2. Sea hX, i un conjunto bien ordenado y sea A = {Xa | a A} . Entonces
hX, i
= hA, i .
5.2.3.
Ordinal
28
5.3.
29
Aqu x y porque
{, {}} {, {} , {, {}}}
Mientras que x y porque
{, {} , {, {}}}
{} {, {} , {, {}}}
{X(n)}n=0
tal que
{X(n + 1)}n=0
es una sucesin decreciente infinita de elementos de X(0).
Pero X(0) es un ordinal, est bien ordenado mediante y por lo tanto no
puede haber tales cadenas descendentes infinitas.
30
Usaremos letras griegas minsculas para denotar ordinales. Puesto que el orden es siempre no hace falta especificarlo. Sin embargo, recordaremos siempre
que un ordinal no es slo un conjunto, sino un conjunto y un orden.
Para denotar el orden de los ordinales se usa indistintamente < ,
o .
Puesto que los ordinales miden conjuntos bien ordenados, en particular
medirn conjuntos finitos. Definiremos a los naturales como ordinales finitos.
Cmo es un ordinal?
Si es un ordinal, entonces = { | < }
Ordinales finitos
{0} = {}
{0, 1} = {, {}}
..
.
Primer ordinal
Segundo ordinal
Tercer ordinal
..
.
Denotacin
Denotacin
Denotacin
..
.
0
1
2
..
.
{0, 1, 2, ..., n 1}
..
.
Ordinal ensimo+1
..
.
Denotacin
..
.
n
..
.
Captulo 6
La Jerarqua de Zermelo
6.1.
Construccin de la Jerarqua
<
32
Va
Ord
que no es un conjunto.
Finalmente, todas las colecciones matemticas estn, porque tenemos el
axioma de separacin.
6.2.
Hemos ya formulado el axioma de separacin y dejaremos para un tratamiento posterior los axiomas de eleccin y constructibilidad.
Cuales son los principios usados en la construccin de la Jerarqua?
Claramente
V =
Va
Ord
Es decir, V =
{V : < } . Pero, sabemos si {V : < } es un conjunto?. En realidad, podramos conseguirlo a partir de { : < } reemplazando cada por V . Para ello necesitaramos contar con los ordinales
y utilizar el axioma del reemplazamiento. Dejemos de momento de lado a
los ordinales, supongamos que ya contamos con ellos.
3. El axioma de reemplazamiento dice que si tenemos una frmula (x, y)
tal que a cada conjunto a le asigna un nico conjunto b tal que (a, b) entonces, a partir de un conjunto A cualquiera podemos definir otro, B, en
el que los elementos a de A son reemplazados por los b que cumplen (a, b)
x!y(x, y) ABy(y B x(x A (x, y))
Retomemos la cuestin anterior, Qu necesitamos para poder construir
a los ordinales?
4. En primer lugar, necesitamos el conjunto vaco, . para ello aadimos el
axioma que dice que hay un conjunto que carece de elementos
Bx(x
/ B)
5. Tambin necesitamos el axioma de infinitud, que dice que hay un conjunto
que contiene al y que est cerrado bajo la operacin del siguiente
B( B y(y B y {y} B))
34
Captulo 7
7.1.
Axioma de la eleccin
Axioma de la eleccin: A(
/ A xy(x A y A x 6= y x y =
) Bz(z A !v(v z B)))
Este axioma asegura la existencia de un conjunto B obtenido a partir de una
coleccin cualquiera A de conjuntos no vacos y disjuntos dos a dos. De cada
conjunto de A elije un nico conjunto para poner en B.
Este axioma no se puede demostrar en la teora ZF, y si queremos asegurar
la existencia de las llamadas funciones de eleccin o de la buena ordenacin de
cualquier conjunto debe aadirse a los dems axiomas. La teora de conjuntos
axiomtica resultante se conoce con las siglas ZFC (C del ingls Choice), y es
la que en realidad se conoce como teora de Zermelo Fraenkel.
Si ZFC es consistente todo lo que se demuestre en esta teora ser verdadero.
Sin embargo, como consecuencia del teorema de Gdel no hay esperanza de
poder demostrar la consistencia de la teora ZFC, ya que para demostrar su
consistencia tendramos que hacer la prueba en una teora ms fuerte que ZFC,
cuya consistencia sera an ms difcil de demostrar. Otro teorema de Gdel
35
7.1.1.
7.1.2.
7.2.
Axioma de Constructibilidad
37
V+1 = P(V )
esto es, V+1 es el conjunto de todos los subconjuntos de V . Sin embargo
la nocin de subconjunto no fue definida en realidad y cuando nos hacemos
preguntas como qu es un subconjunto arbitrario del conjunto de los nmeros
naturales y cuntos de ellos hay, no es posible responder sin determinar lo que
se entiende por subconjunto. Podemos tomar como nocin de conjunto la de
una coleccin descriptible por una frmula expresada en el lenguaje formal de
la tera de conjuntos. De esta manera obtendremos los conjuntos necesarios
en matemticas, excepto quizs los conjuntos indescriptibles provenientes del
axioma de eleccin. ?? se puede redefinir la jerarqua de conjuntos substituyendo
la nocin de conjunto de las partes de un conjunto por la de conjunto descriptible
de las partes de un conjunto. Indicaremos el nivel Ord de la jerarqua por
la nueva notacin L .
L0 =
L+1 =todas las colecciones de elementos de L que son describibles con
frmulas del lenguaje de la teora de conjuntos)
Y cundo es un ordinal lmite:
[
L+1 =
L
<
Axioma de Constructibilidad: L = V.
Captulo 8
Ejercicios
8.1.
AB ((A B) (B A))
2.
A ((A ) (A = ))
3.
AB ((A B) (B A))
4.
5.
6.
A (( A A))
8.2.
2.
3.
4.
5.
AB ((A B) B = A B = A (B A))
6.
AB ((A B) B = )
7.
ABC (A (B C) = (A B) (A C))
8.
40
CAPTULO 8. EJERCICIOS
9.
10.
8.3.
AB ((A B) (A (B A) = B))
AB (A B = A (A B))
2. Definamos h[x, y]i = {{x, } , {y, {}}}. Demostrad lo siguiente: xyzv(h[x, y]i =
h[z, v]i (x = z) (y = v))
3. Es siempre verdad que si {x, y, z} = {x, y.v} entonces z = v?
8.4.
1.
2.
P = {}
3.
P {} = { {}}
4.
PP = { {}}
5.
6.
7.
8.
8.5.
[\
xy (
{{x} , {x, y}} = x)
\[
xy (
{{x} , {x, y}} = x y)
\
xy ( hx, yi = {x})
A) (x, y
[[
A)))
xy (
7.
xy (
8.
9.
[\
\S
hx, yi = x)
hx, yi = x y)
[
[
AB ((A B) ( A
B))
10.
A (A P(
11.
AB ((A B) (PA PP
12.
AB ((B 6= ) (A (
8.6.
41
A))
A B))
B))
B) =
{A x | x B}))
Producto Cartesiano
ABC (A (B C) 6= (A B) (A C))
2.
3.
4.
5.
6.
8.7.
AB (A B = B A A = B A = B = )
\
\
AB (A B =
{A z | z B})
AB ((
\
(A B) 6= ) (x (A = {x})))
Relaciones Binarias
2.
3.
4.
5.
6.
42
CAPTULO 8. EJERCICIOS
7.
8.
8.8.
1.
AB ((A B)1 = A1 B 1 )
2.
AB ((A B)1 = A1 B 1 )
3.
AB ((A B)1 = B A)
4.
5.
AB (Dom(A/B) Dom A)
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
8.9.
1.
2.
3.
AR (R A = (R (A Rec R)) )
4.
5.
8.10.
43
1.
2.
3.
4.
5.
R ((R es asimtrica ) (R R1 = ))
6.
7.
8.
9.
10.
8.11.
Relaciones de Equivalencia
2.
8.12.
Relaciones de Orden
1.
2.
8.13.
Funciones, Composicin
es una funcin
2.
Domg x((x
44
CAPTULO 8. EJERCICIOS
3.
f gA (((f g) A) = (f (g A)))
4.
5.
f ( (f es funcin
((f 1 f )(x) = x)))
6.
f gh ((f g) h = f (g h))
7.
8.
9.
8.14.
f 1 es funcin )
((x((x Domf ))
Funciones de A en B
Demostrad lo siguiente:
1.
2.
f ((f : A B A 6= ) ( (f es inyectiva ) (g (g : B
A g f = IA ))))
3.
f ((f : A B A 6= ) ( (f es exhaustiva ) (g (g : B
A f g = IB ))))
8.15.
Induccin
8.15. INDUCCIN
45
(i) probar que la conjetura es vlida para el menor de los nmeros naturales n0 a
que hace referencia (en (a) n0 = 1,(b) y (c) n0 = 0, pero en (c) n0 = 2, en (d) es
n0 = 3 y en (e) es n0 = k), esta fase habr sido ya probada en las comprobaciones
para enunciar la conjetura; (ii) suponiendo que la conjetura es cierta para un
nmero natural arbitrario p n0 probar que tambin lo es para p + 1.
46
CAPTULO 8. EJERCICIOS
8.15. INDUCCIN
47
48
CAPTULO 8. EJERCICIOS
Captulo 9
Bibliografa
1. Devlin, K. The Joy of Sets. Springer-Verlag. New York. 1993.
2. Enderton, H. Elements of Set Theory. Academic Press. New York.
1977
3. Halmos, P. Naive Set Theory. Springer-Verlag. New York. 1974.
4. Suppes, P. Axiomatic Set Theory. Dover. New York. 1972.
49