CORTE 4 LIBRO PINTER

3 ORDEN DE LOS NÚMEROS CARDENALES

Dado que los números cardinales miden el tamaño de los conjuntos, naturalmente
esperamos que el número cardinal de un conjunto más pequeño sea "menor que" el
número cardinal de un conjunto mayor. Esto sugiere un ordenamiento natural de los
números cardinales: Sea a y b cardinales, y sea A y B conjuntos tales que a = #A yb = #B.
La relación se define por

a ≤ b si y solo si A ∁ B

Nota. Claramente, un a ≤ b si y sólo si A ESTA CONTENIDA EN Bb. En particular, a b si y

sólo si existe una función inyectiva f: a → b. Nuestro objetivo en esta sección es mostrar
que la relación definida anteriormente es una relación de orden entre los números
cardinales y, en particular, que la clase de todos los números cardinales está bien ordenada
con
Respecto a esta relación.

8.5 Teorema (Schröder-Bernstein). Sea a y b números cardinales; Si a≤ b y b≤ a,

entonces a = b.

Prueba. Supongamos que a≤ b y b≤ a; Si A y B son conjuntos tales que a = #A yb = #B,

entonces A esta contenido en B y B esta contenido en A, es decir, existen funciones
inyectivas f: A → B y g: B → A. Si C ⊆ A, (C) = A - g[B - f(C)]; Es fácil ver que si C y D
son subconjuntos de A, entonces

Ahora, S = {B: B ⊆ A y B ⊆ Δ (B)}, y sea A1 = Union de B E S ( B ). Probaremos que A1 = Δ

(A1).
I) Si a ∈ A1, entonces a ∈ B para algunos B ∈ S, pero B ⊆ A1, así por (1), (B) ⊆ (A1). Así
tenemos
(A1), por tanto, por (1), Δ (A1) ⊆ Δ [Δ (A1)], por lo que Δ (A1) ∈ S. Pero A1 es la unión de
todos los elementos de S, por lo que Δ (A1) ⊆ A1. Por lo tanto, hemos demostrado que A1 =
(A1), que es el mismo que
Por álgebra de clase elemental (ver Ejercicio 11, Ejercicio Conjunto 1.3) esto da
Ahora bien, f y g son funciones inyectivas, por tanto A1 ≈ (A1) y, por (2),
Pero (A1) ≈ A1; Por tanto, por 7.9, A ≈ B.
Es inmediato que la relación entre los números cardinales sea reflexiva y transitiva; Por 8.5
es antisimétrico, por lo tanto es una relación de orden. De hecho, los números cardinales
están linealmente ordenados por. Es decir, cualquier dos cardenales son comparables.

8.6 Teorema Si a y b son números cardinales entonces a≤ b o b≤ a.

Prueba. Puesto que a y b son conjuntos, se deduce de 5.22 que a y b pueden ser bien
ordenados. Así, a partir de 4,62, existe una inyección a → b o b → a.

8.7 Teorema Cada clase de números cardinales tiene un elemento mínimo.

Prueba. Sea ϑ una clase arbitraria de números cardinales, y sea a ∈ ϑ ; Si a es el menor
elemento de ϑ , estamos hechos; De lo contrario, sea β = {b ∈ϑ : b < a}. Usando el teorema
de ordenamiento, ordenemos bien a; Para cada b ∈ β , sea φ (b) el menor elemento x ∈ a tal
que b ≈ Sx. Ahora el conjunto {φ (b): b ∈ β } tiene un elemento menor φ (d) porque es un
subconjunto de a; Mostraremos que d es el menor elemento de. De hecho, sea b un
elemento arbitrario de; Φ (d) φ (b), por lo tanto Sφ (d) ⊆ Sφ (b). Así tenemos funciones
inyectivas
(Λ es la función de inclusión), de ahí d b. Así, d es el menor elemento de Let, de ahí el
menor elemento de. Podemos concluir:

8.8 Teorema La clase de todos los números cardinales, ordenada por ≤, está bien
ordenada. Las "reglas de desigualdad" familiares se aplican a los números cardinales, como
veremos a continuación.

8.9 Teorema Sea a, b números cardinales. Entonces a ≤ b si y sólo si existe c tal que b = a
+ c.
Prueba
i) Supongamos que b = a + c; Que A, B, C sean conjuntos (supongamos A ∩ C = Ø)
tales que a=cara b= carB c= carC .Entonces existe una función bijectiva f: A ∪ C →
B. Claramente f [A] es una función inyectiva de A a B, por lo que A≤ B.
ii) Supongamos que a ≤b; Que A, B sean conjuntos disjuntos tales que, existe una
función inyectiva f: A → B; Ya que f es inyectiva, A ≈ f(A), así que a = #f (A). Si C =
B - f (A) y c = #C, claramente b = a + c.

8.10 Teorema Sea a, b, c, d números cardinales. Si a ≤ c y b≤ d, entonces tenemos lo

siguiente:
i) a + b≤ c + d,
iii) ab ≤ cd,
iv) a a la b ≤ c a la d

Prueba. Por el teorema 8.8, existe r, s tal que c = a + r y d = b + s.

i) c + d = a + r + b + s = (a + b) + (r + s), así por 8,8, a + b ≤ c + d.
ii) cd = (a + r) (b + s) = ab + as + rb + rs = ab + (as + rb + rs), Teorema 8.8, ab ≤ cd.
iii) Primero debemos demostrar que a a la b≤ (a + r) a la b; Es decir, si A, R, B son
conjuntos tales que a = #A, b = #B y r = #R, debemos demostrar que existe una
función inyectiva σ: A B → AUR B. Definimos σ por …
Y no (ver 2.4) que una función f: B → A es también una función f: B → A ∪ R. Es
inmediato que σ es inyectivo, por lo tanto a^b ≤ (a + r) ^ b, que es a^b≤ cb.
Finalmente, usando la parte (ii), tenemos

Observación. Es importante notar que 8.8 nos da nueva información valiosa sobre la
relación A B entre conjuntos. De hecho, las siguientes son dos consecuencias inmediatas de
8.8:
1) Si A y B son conjuntos arbitrarios, entonces A B o B A.
2) Si A B y B A, entonces A ≈ B.
El ítem (2) es especialmente útil cuando Necesitamos demostrar que dos conjuntos
están en correspondencia uno a uno, ya que ahora es suficiente para
demostrar que hay una función inyectiva de A a B y una función inyectiva de B a A
(alternativamente, una función surjectiva de A a B y una función subretiva de B a A).

4 PROPIEDADES ESPECIALES DE NÚMEROS CARDINALES INFINITOS

Algunas reglas aritméticas notables se sostienen exclusivamente para los cardenales
infinitos. Como resultado de estas reglas, la aritmética de números cardinales infinitos es
una cuestión muy simple.

8.11 Teorema Si a es un número cardinal infinito, entonces aa = a.

Prueba. Sea A un conjunto tal que a = #A. Dado que A es infinita, A tiene un subconjunto
denumerable D. Por el Corolario 7.21, D ≈ D × D; Es decir, existe una función bijectiva
φ: D → D × D. Ahora, sea A el conjunto de todos los pares (B, f) que satisfagan las
siguientes condiciones:
i) B es un subconjunto de A yf es una función biyectiva De B a B × B. }
ii) D ⊆ B.
iii) φ ⊆ f.
Ordenamos por la relación (B1, f1) (B2, f2) iff B1 ⊆ B2 y f1 ⊆ f2. Es no vacío, para (D, φ) ∈
A. Ahora es fácil verificar que satisface las hipótesis del Lema de Zorn (los detalles se dejan
como un ejercicio para el lector). Así, tiene un elemento máximo (C, g); Sólo queda mostrar
que #C = a. Lo demostraremos por contradicción, asumiendo que #C <a y demostrando
que esto es imposible. Sea b = # C y asuma que b <a. Como C × C ≈ C, se sigue que bb = b;
además,
y
Por lo tanto b = b + b. Ahora d = # (A - C); C y A - C son disjuntos, por lo que
Observamos que b <d, para d b implica que
Lo que contradice nuestro supuesto de que b <a. De b <d se deduce que A - C tiene un
subconjunto E tal que #E = b. Ahora
Donde C × C, C × E, E × C, E × E son conjuntos mutuamente disjuntos, cada uno de los
cuales tiene el cardinal bb = b. Así
Por lo tanto, existe una función biyectiva
Se sigue por 7.8 que g ∪ h es una función bijectiva de C ∪ E a
Por lo tanto (C ∪ E, g ∪ h)> (C, g), lo cual es imposible porque (C, g) es un elemento
máximo de. La suposición de que b <a ha llevado a una contradicción; Así b = a, así que aa
= a.

8.12 Corolario Sea a y b cardinales, donde a es infinito y b ≠ 0. Si b ≤ a, entonces ab = a.

Prueba. Puesto que b ≥ 1, así a = a1 ≤ab, pero ab≤ aa = a, por lo tanto ab = a.

8.13 Corolario Si a es un cardinal infinito, a + a = a.

Prueba. Tenemos a = 1a 2a aa = a; Pero 2a = (1 + 1) a = a + a, por lo que a + a = a.

8.14 Corolario Sea a y b cardinales, donde a es infinito. Si b≤ a, entonces a + b = a.

Prueba. Tenemos a = a + 0 a + b, pero a + b a + a = a, por lo que a + b = a.

8.15 Corolario Sea a y b infinitos números cardinales. Entonces

8.16 Teorema Sea a> 1 un número cardinal y sea b un número cardinal infinito. Si a b,
entonces ab = 2b.
Prueba. Por 7,4, a <2a, por lo que ab (2a) b = 2ab. Pero por el Corolario 8.12 ab = b,
entonces ab 2b. Por otra parte, 2a, por lo que 2b ab. En consecuencia ab = 2b.

Observación. El teorema 8.11 y sus corolarios pueden interpretarse muy provechosamente

en términos de conjuntos y la relación A B entre conjuntos. Por ejemplo, el teorema 8.11
nos dice que si A es un conjunto infinito, entonces A ≈ A × A. Esto tiene una consecuencia
interesante: A × A tiene una partición {Bx} x∈A donde Bx = {(x, y): Y ∈ A}. Por lo tanto, la
función biyectiva de A × A a A induce una partición correspondiente {Cx} x∈A de A, donde
A es el conjunto de índices y cada miembro de la partición es equipotente con A.

5 SUMAS INFINITAS Y PRODUCTOS DE NÚMEROS CARDENALES

Al principio de este libro hablamos de la unión de dos clases; Más adelante extendimos
esta noción definiendo la unión de una familia arbitraria de clases. Del mismo modo,
introdujimos el producto cartesiano de dos clases y después lo generalizamos al producto
de una familia de clases. En ambos casos, extender nuestra definición original parecía una
cosa perfectamente natural, porque los conceptos intuitivos de unión y producto pueden
aplicarse tan fácilmente a una familia de clases como a un par de clases. Lo mismo ocurre
con el proceso de sumar y multiplicar números cardinales; Se prestan a la siguiente y obvia
generalización. Sea {ai} i∈I una familia de números cardinales; Sea {Ai} i∈I una familia de
conjuntos disjuntos tales que ai = #Ai para cada i ∈ I. Entonces LA SUMATORIA DE
LOS NUMEROS CARDINALES es el número cardinal definido por

Sea {ai} i∈I una familia de números cardinales; Sea {Ai} i∈I una familia de conjuntos
disjuntos tales que ai = #Ai para cada i ∈ I. Entonces LA MULTIPLICACION DE LOS
NUMEROS CARDINALES es el número cardinal definido por

En la aritmética elemental aprendemos que ab es el resultado de "sumar a a sí mismo b

veces" y que a b es el resultado de "multiplicar a por sí mismo b veces". Es útil saber que
esto es válido para todos los números cardinales a y b.
8.17 Teorema Sea a y b números cardinales, y sea I un conjunto tal que b = #I. Si a = ai,
∀i ∈ I, entonces
Prueba
i) Sea {Ai} i∈I una familia de conjuntos disjuntos tales que a = ai = #Ai para cada i
∈ I, y sea A un conjunto tal que a = #A. Como Ai ≈ A para cada i ∈ I, existe una
familia {fi: A → Ai} i∈I de funciones biyectivas. Definimos por Es elemental
verificar que f es biyectivo. Así es decir,

ii) Queremos mostrar que A a la I ≈ Productoria de Ai, donde Ai = A para cada i ∈ I. Pero
una mirada a las definiciones de AI y Productoria de Ai, (donde Ai = A, ∀i ∈ I) revelará
que ambas se refieren a la misma Conjunto-el conjunto de todas las funciones de I a A. El
teorema 8.9 tiene el siguiente análogo para sumas infinitas y productos.
8.18 Teorema Sea {ai} i∈I y {bi} i∈I sean familias de números cardinales. Si ai bi para
cada i ∈ I, entonces
 Prueba
I) Sea {Ai} i∈I y {Bi} i∈I una familia de conjuntos disjuntos tales que ai = #Ai y bi
= #Bi para cada i ∈ I. Como ai bi para todo i ∈ I, existe Una familia {fi: Ai → Bi}
i∈I de funciones inyectivas. Es fácil comprobar que es una función inyectiva de
(los detalles se dejan como un ejercicio para el lector).
II) ) Dada la familia {fi: Ai → Bi} i∈I presentada anteriormente, definimos una
función:

Como sigue: si, entonces

Verificamos que f es inyectivo: Si f (u) = f (v), entonces
Pero cada fi es inyectivo, así que ui = vi para todo i ∈ I; De ahí u = v. El teorema 8.17 y 8.18
tiene el siguiente corolario útil.
8.19 Corolario Sea {ai: i ∈ I} un conjunto de números cardinales, y sea b y c números
cardinales. Si ai b para cada i ∈ I y si #I = c, entonces

La prueba, que sigue inmediatamente de 8.17 y 8.18, se deja

como un ejercicio para el lector.

LIBRO JEACH

La Cardinalidad del Continuo

Conocemos ya las propiedades del número cardinal N ..
La cardinalidad de los conjuntos contables. Los resumimos aquí como referencia.
utilizando
Los conceptos de aritmética cardinal: introducidos en el azulejo anterior sectira ,.
Ca) n <No si y sólo si n N.
(B) n + N0 = N0 + No = N0 (n $ $ N).
(C) n. N0 = N ° N0 - N0 (n ≤ hr> 0).
(D) N ['= tq0 (nN, n> 0).
En la presente sección estudiamos la segunda nost importante cardin infinita, d
Número, la cardinalidad del continuo de la baldosa, 2 n "Para begiu con., Recordamos que
2 n "es de hecho la cardinalidad del conjunto R de todos los números reales.

2.1 Teorema] RI = 2 ".

Prueba. Esta es la segunda mitad del teorema 6.3 en el capítulo 4. [} q
El siguiente teorema resume las propiedades aritméticas de la cardinalidad de thv
Continuo

2.2 Teorema
Ca) n + 2 s "= No + 2" = 2 "+ 2" = 2 "(n N).
(B) n. 2 "= No- 2" = 2 $ "'2" = 2 "(n N, n> 0).
(C) (2 ") = (2") "= n" "- 2" ( N, n> 0).
Prueba.
a) Esto se deduce de la secuencia obvia de desigualdades
2 {'_ <n + 2 I% <No + 2 "_ <2" +2 "= 2-2" = 21+ "= 2"
Por el Teorema de Cantor-Bernstein.
(B) Si bien, tenemos
2 s "<_ n. 2" <_ No. 2 "<_ 2 s". 2 s "= 2 e" + "= 2".
(C) Tenemos ambos
y
2 s "5 (2s") "5 (2" ")" "= 2 s / '= 2"
2 s "<n n" 5 N "<(2") s "= 2 sX = 2 s".
MI]
Es interesante observar que el Teorema 2.2, aunque es un corolario de
Las leyes de la aritmética cardinal y el teorema de Cantor-Bernstein,
Consecuencias inesperadas.
Por ejemplo, 2 " 2 s" = 2 s "significa que IR x R [=
[R]; Sin embargo, el conjunto R x R de todos los pares de números reales está en un uno-a-
uno
Correspondencia con el conjunto de todos los puntos en el plano (a través de una
coordenada cartesiana
sistema). Así vemos que existe un mapeo uno-a-uno de una línea recta

R sobre un plano R x R (y similarmente, sobre un espacio tridimensional R x R x R, etc.).

Estos resultados (debido a Cantor) asombraron a sus contemporáneos:
Parecen bastante contraintuitivas, y el lector puede encontrar útil
Construir tal mapeo (véase el ejercicio 2.7). El siguiente teorema muestra que
Varios conjuntos importantes tienen la cardinalidad del continuo.
2.3 Teorema
(A) El conjunto de todos los puntos en el espacio n-
dimensional R 'tiene cardinalidad 2'.
(B) El conjunto de todos los números complejos tiene
cardinalidad 2 s ".
(C) El conjunto de todas las secuencias infinitas de
números naturales tiene cardinalidad 2 s ".
(D) El conjunto de todas las secuencias infinitas de
números reales tiene cardinalidad 2 s ".
Prueba.
(A) [R n] = (2s ")" por definición de exponenciación cardinal; (2s ")" = 2 s "por
Teorema 2.2 (c).
(B) Los números complejos están representados por pares de reales (véase el ejercicio 2.6
en
Capítulo 10), por lo que la cardinalidad del conjunto de todos los números complejos es I R
x R] =
(2 ^) 2 = 2 ,,.
(C) El conjunto de todas las secuencias infinitas de números naturales es / V N e I / VrVl =
0-
(A) In1 – 2

El siguiente teorema ayuda a establecer otros resultados de este tipo,

2.4 Teorema Si A es un subconjunto numerable orb e IBI - 2 s , entonces [B-AI = 2 ".

(Aquí remarcamos que usando el axioma de la elección, podemos mostrar en
General que si IAI <IBI, entonces lB - AI = I 1)
Prueba. Podemos asumir sin pérdida de generalidad que B - R x R.
R
Sea P = domA:
Xo
x
R
P = {x R I (x, y) A para algunos y}.
Desde IAI - tenemos IPI <R0. Así, x0 R tal que xo! PAG.
En consecuencia, el conjunto X - {x0} x R es disjunto de A, por lo que X c_ (R x R) - A,
Claramente,} X I = IRI = 2 , y tenemos [(R x R) - AI> 2 s '. []

2.5 Teorema
(a) El conjunto de todos los números irracionales
tiene cardinalidad 2 ".
(B) El conjunto de todos los conjuntos infinitos de
números naturales tiene cardinalidad 2a
(C) El conjunto de todas las asignaciones uno a uno
de N en N tiene cardinalidad 2 '.
prueba
(A) El conjunto de todos los racionales Q es contable, por lo tanto el conjunto R - Q de todo
irracional
Números tiene cardinalidad 2 "por Teorema 2.4.
(B) El conjunto de todos los subconjuntos de P /, P (N), tiene cardinalidad 2 $ ', y el
conjunto de todos
Subconjuntos finitos de P / es contable (véase el Corolario 3.11 en el Capítulo 4), por lo
tanto
El conjunto de todos los subconjuntos infinitos de N tiene la cardinalidad del continuo.
(C) Sea P el conjunto de todas las correspondencias uno-a-uno de / V en N; Como P _ {N}
N.
Claramente IPI _ 2 . Sea E y O, respectivamente, los conjuntos de todos pares y
Números naturales extraños. Si X _C E es infinito, defina una correlación fx: N / V
como sigue:
Fx (2k) = el elemento kth de X (k N):
Fx (2k + 1) = el elemento k de N - X (k N).
Observe que N - X _ O es infinita, por lo que fx es una correlación uno a uno de N
Sobre N. Además, es fácil demostrar que X X implica fx fx2. Nosotros
Por lo tanto tienen una correspondencia uno a uno entre subconjuntos infinitos de E y
Ciertos elementos de P. Puesto que hay 2 'subconjuntos infinitos de E por Teorema
2.5 (b), obtenemos [P] _ 2 s "según sea necesario.
Sin embargo, otros resultados similares son proporcionados por el siguiente teorema. Las
definiciones
Y las propiedades básicas de los conjuntos abiertos y funciones continuas se pueden
encontrar en
Sección 3, Capítulo 10.
2.6 Teorema
(A) El conjunto de todas las funciones
continuas de R a R tiene cardinalidad 2 ".
(B) El conjunto de todos los conjuntos abiertos de reales
tiene cardinalidad 2 ".
Prueba.
(A) Utilizamos el hecho (demostrado en el teorema 3.1 l, capítulo 10) que cada
Función en R se determina por sus valores en un conjunto denso, en particular por
Sus valores en argumentos racionales: Si fyg son dos funciones continuas
En R, y si f (q) = g (q) para cada número racional q, entonces f = 9. Tlms
Sea C el conjunto de todas las funciones reales de valor real en R. Sea F un
Cartografía de C en R definida por F (f) = f I. Por el hecho anterior. F
Es uno-a-uno, por lo que ICI _ IRQI = (2s ") $" = 2 $ "Por otro lado, claramente
ICI _ 2 s "(considere las funciones constantes).
(B) Cada conjunto abierto es una ración de un sistema de intervalos abiertos,
Puntos (véase el Lema 3.14 en el Capítulo 10). No hay intervalos abiertos con
Racionales (cada intervalo es determinado por un par ordenado de Racionales), y por lo
tanto 2 s tales sistemas. Esto muestra que hay como máximo 2 s "conjuntos abiertos" Por
otro lado, si a, b R, a b, entonces (a,
Así que hay por lo menos 2 s "juegos abiertos

Los resultados de esta sección demuestran la importancia del número cardinal

No debe sorprendernos que el problema de la determinación de la magnitud
Nitude de 2 es de importancia fundamental. Sabemos que 2 s es mayor que
I%, pero ¿cuánto mayor? Cantor conjeturó que 2 s "es el próximo cardenal
Número después de Ro- Esta es la famosa Hipótesis de Continuum.

La Hipótesis del Continuo No hay un número cardinal innumerable n tal

Que n <2 ".
En palabras, la Hipótesis de Continuo afirma que cada conjunto de números reales es
Ya sea finita o contable, o bien es equipotente al conjunto de todos los números reales.
No hay cardinalidades en el medio
En 1900, David Hilbert incluyó el
Continuum Problem en su famosa lista de problemas abiertos en matemáticas (como
Problema 1). Todavía no se resuelve completamente hoy. En 1939, Kurt GSdel demostró
que
La Hipótesis de Continuo es consistente con los axiomas de la teoría de conjuntos. Ese
Es, utilizando los axiomas de la teoría de conjuntos de Zermelo-Fraenkel (incluyendo el
axioma de
Choice), no se puede refutar la Hipótesis de Continuo. En 1963, Paul Cohen
Demostró que la Hipótesis de Continuo es independiente de los axiomas. Esta
Significa que uno no puede probar la Hipótesis Continua de los axiomas. Nosotros
Discuta estas preguntas con más detalle en el Capítulo 15.
Concluimos esta sección con un ejemplo de un conjunto que tiene cardinalidad mayor
Que el continuo.
2.7 Lemma El conjunto de todas las funciones
de valor real en números reales tiene
cardinalidad
2 2 . 2. '
Prueba. El número cardinal de R R es (2 "2" "= 2" "2" "= 2 2s".