Sobre los innitos

Kepler Ck Ikastegia Diciembre de 2013

1.

Conjuntos equipotentes

on entre Denici on 1.1 Se dice que dos conjuntos X e Y son equipotentes si existe una biyecci X e Y. Si X es un conjunto nito, X = {a1 , . . . , an }, el conjunto Y tiene la misma potencia que X si y s olo si ambos tienen el mismo n umero n de elementos. El concepto de conjuntos equipotentes coincide, en el caso de los conjuntos nitos, con el concepto elemental de tener ambos conjuntos el mismo n umero de elementos; pero el concepto de equipotencia es m as general, ya que tambi en puede aplicarse a conjuntos innitos. La relaci on X es equipotente a Y es una relaci on de equivalencia en la categor a Set o clase de todos los conjuntos. Esta relaci on posee un cierto n umero de propiedades, reejo de las operaciones de la teor a de conjuntos. Sean X1 , Y1 , X2 , Y2 cuatro conjuntos; supongamos X1 equipotente a Y1 , X2 equipotente a Y2 . Entonces el conjunto X1 X2 es equipotente a Y1 Y2 (el producto cartesiano de dos biyecciones es una biyecci on en los productos). X2 Del mismo modo, el conjunto X1 de las aplicaciones de X2 en X1 es equipotente al conjunto Y2 Y1 de las aplicaciones de Y2 en Y1 . Finalmente, supuesto que X1 y X2 sean disjuntos, as como Y1 e Y2 , el conjunto X1 X2 es equipotente a Y1 Y2 ; en efecto, si f1 : X1 Y1 es una biyecci on y f2 : X2 Y2 es una biyecci on se dene una biyecci on g : X1 X2 Y1 Y2 , poniendo
{

g (x) =

f1 (x) si x X1 f2 (x) si x X2

Al lado de estas propiedades, de enunciado simple y demostraci on inmediata, existen otros resultados, de enunciados igualmente simples pero de demostraci on incomparablemente m as dif cil; la m as sorprendente es la siguiente, que expresa intuitivamente que dados dos conjuntos cualesquiera X e Y , se puede siempre comparar el n umero (sic) de elementos de X con el n umero de elementos de Y . 1

Kepler Ck Ikastegia

Sobre los innitos

Teorema 1.1 (de BernsteinSchroeder o de CantorBernstein) Sean M y N dos conjuntos. Una al menos de las dos siguientes armaciones es verdadera: M es equipotente a una parte de N N es equipotente a una parte de M Adem as, si estos dos asertos son verdaderos simult aneamente entonces M y N son equipotentes. Este enunciado, que fue conjeturado por Cantor desde sus primeras investigaciones, no fue, sin embargo, demostrado hasta 1897; la segunda parte por Bernstein, y la primera, mucho m as dif cil, por Zermelo en 1904. Daremos una demostraci on de la segunda parte. Demostraci on: Por hip otesis, podemos suponer dadas aplicaciones biyectivas entre M y N1 N , digamos f : M N1 y entre N y M1 M , digamos g : N M1 . El problema consiste en hallar una aplicaci on biyectiva entre M y N . Sea A0 = M M1 = {m M | m / M1 }. La biyecci on f : M N1 hace corresponder los elementos de A0 M a elementos que forman un cierto subconjunyo B1 de N1 , y por tanto de N , es decir, f : A0 B1 . Con la correspondencia g : N M1 los elementos de B1 N corresponder an a elementos que forman un subconjunto A1 de M1 , luego de M , es decir, g : B1 A1 y as sucesivamente: A0 B1 A1 B2 A2 La situaci on puede ilustrarse imaginando que M y N son espejos en los que la parte A0 de M que excede a M1 es reejada una y otra vez produciendo im agenes A1 , A2 , A3 , . . . , en M y B1 , B2 , B3 , . . . , en N , tal y como se observa en la gura: M A0 A1 A2
E E E E E E E E E E E E E f E g E f E g E E E E E E E E E E E E E E E E E E E E
f g f g

B1

B2

Sean A = A0 A1 A2 M B = B1 B2 B3 N A n de obtener la aplicaci on biyectiva h de M en N , establecemos una regla que determine para cada elemento de M un elemento correspondiente en N y demostramos que se trata, en efecto, de una biyecci on entre M y N . Consideremos: M = A (M |A) luego m M es m A o m M |A. Si m A, el correspondiente elemento de N , digamos, h(m), ser a el que corresponde a m seg un la aplicaci on f : M N1 . Si m M |A necesariamente m M1 y su correspondiente elemento de N , h(m), ser a el que le corresponde 1 seg un la biyecci on g : N M1 , es decir, g (m). La aplicaci on as denida es biyectiva; en efecto: 2

Kepler Ck Ikastegia

Sobre los innitos

1. Inyectiva: si m1 , m2 M son tales que m1 = m2 entonces sus im agenes respectivas n1 , n2 N son tales que n1 = n2 Si m1 , m2 A o m1 , m2 M |A es claro, pues se han utilizado biyecciones para denir sus im agenes. Si m1 A y m2 M |A entonces n1 B y n2 / B luego n1 = n2 ; an alogamente si m1 M |A y m2 A. 2. Suprayectiva: sea n N ; como es N = B (N |B ), si n B entonces f 1 (n) A luego h(f 1 (n)) = f (f 1 (n)) = n. Si n N |B entonces g (n) M |A y as se deduce que h(g (n)) = g 1 (g (n)) = n. Obs ervese que no puede ser g (n) A, pues si g (n) Ak para alg un k 1 se deduce que n B que es absurdo, y si es g (n) A0 es tambi en absurdo pues g (n) M1 . Los elementos de B corresponden todos a los elementos de A y los de N |B a elementos en M |A. Para extender al caso general la noci on de n umerode elementos de un conjunto nito y asignar n umeros trasnitos a conjuntos innitos , asociamos a cada conjunto X un objeto matem atico que denotamos por Card(X ) o por |X |, llamado cardinal o potencia de X y que est a denido de tal modo que dos conjuntos tienen el mismo n umero cardinal si y s olo si son equipotentes, es decir, si y s olo si puede establecerse una aplicaci on biyectiva entre ellos. Denici on 1.2 Se dice que un objeto matem atico x es un n umero cardinal si existe un conjunto X tal que Card(X ) = x. Denici on 1.3 Se dice que la potencia de un conjunto A es menor o igual que la de un conjunto B si existe una inyecci on (que puede ser, en particular, biyecci on) de A en B . Denici on 1.4 Dados dos n umeros cardinales x e y , decimos que x y si existen dos conjuntos X e Y tales que x = Card(X ), y = Card(Y ) y la potencia de X es menor o igual que la de Y . Esta denici on es, evidentemente, independiente de la elecci on de los conjuntos X e Y representantes de las clases a las que se asocian los n umeros cardinales x e y . La relaci on entre los n umeros cardinales es una relaci on de orden. La demostraci on es inmediata; en efecto: 1. Reexiva: Si x = Card(X ) entonces la inclusi on j : X X es inyectiva y prueba que xx 2. Transitiva: Si x = Card(X ), y = Card(Y ) y z = Card(Z ) con x y , y z entonces existen aplicaciones inyectivas j1 : X Y , j2 : Y Z con lo que la composici on de ambas j2 j1 : X Z prueba que x z etrica: Si x = Card(X ), y = Card(Y ), y es x y y tambi en es y x entonces 3. Antisim existen aplicaciones inyectivas j1 : X Y , j2 : Y X . Por tanto, las aplicaciones j1 : X j1 (X ), j2 : Y j2 (Y ) son biyectivas, luego X es equipotente a una parte de Y e Y es equipotente a una parte de X , y por el teorema de BernsteinSchroeder o de CantorBernstein, X e Y son equipotentes, es decir, x = y , c.q.d. Si se tiene x y pero es x = y decimos que x es estrictamente menor que y y se escribe x < y .

Kepler Ck Ikastegia

Sobre los innitos

Denici on 1.5 El cardinal de la clase del conjunto vac o es 0. Es el cardinal m nimo, sin embargo, no existe un n umero cardinal m aximo, como prueba el siguiente Teorema 1.2 Sea X un conjunto cualquiera y P (X ) el conjunto de las partes de X ; entonces Card(X ) < Card(P (X )) Demostraci on: Si X es nito y Card(X ) = n, se sabe que Card(P (X )) = 2n > n = Card(X ). En el caso general, evidentemente, se tiene Card(X ) Card(P (X )), pues la aplicaci on j : X P (X ) x j (x) = {x} es una inyecci on de X en P (X ). Falta probar que no puede existir ninguna biyecci on de X sobre P (X ). Lo probaremos por reducci on al absurdo. Supongamos que existe una tal biyecci on, digamos f : X P (X ), luego a cada elemento x X le asociamos un subconjunto f (x) X . Distinguimos dos posibilidades: x puede pertenecer o no a su imagen f (x). Elegimos el siguiente subconjunto B de X : B = {x X | x / f (x)} P (X ). Sea b = f 1 (B ) X ; entonces: Si b B = b / f (b) = B ABSURDO Si b / B = b f (b) = B ABSURDO luego no existe tal biyecci on y, en denitiva, Card(X ) < Card(P (X )).

2.

Conjuntos numerables

Denici on 2.1 Decimos que un conjunto X es numerable si se puede poner en correspondencia biyectiva con el conjunto de los n umeros naturales IN. Denici on 2.2 Decimos que un conjunto X es contable si es numerable o nito. Teorema 2.1 Las siguientes armaciones son verdaderas: (1) Cualquier subconjunto de un conjunto contable es contable. (2) Todo superconjunto de un conjunto no contable es no contable. (3) Cualquier conjunto innito posee un subconjunto numerable. (4) Cualquier conjunto innito es equipotente a un subconjunto propio. (5) 0 = Card(IN) es el m nimo cardinal innito. Demostraci on: (1) Sea A un conjunto contable. Desde luego, si A es nito toda parte es nita, luego contable. Supongamos, pues, que A es numerable, digamos A = {a1 , a2 , a3 , . . . , an , . . .} y sea A. Si = , es contable. Sea entonces = , luego existir a un primer elemento de A que pertenece a , digamos an1 A. Consideremos el conjunto A1 = {an1 } A, que o bien es vac o en cuyo caso = {an1 } es contable, o bien no es vac o, en cuyo caso existir a un primer elemento de A que pertenece a A1 , digamos an2 A1 A. Consideremos el conjunto A2 = {an1 , an2 }. Reiterando el proceso obtenemos: 4

Kepler Ck Ikastegia

Sobre los innitos

Ak = {an1 , . . . , ank }, que o bien es vac o en cuyo caso = {an1 , . . . , ank } que es nito luego contable, o bien no es vac o en cuyo caso sea ank+1 el primer elemento de A que gura en Ak . Obtendremos as (salvo que alg un Ak sea vac o) una sucesi on {an1 , . . . , ank , . . .} en la cu al est an s olo elementos de , y adem as todos, pues si existiese n IN tal que an y n = nk , k , tendr amos evidentemente an comprendido entre un cierto ank y ank+1 , es decir, ank < an < ank+1 , y esto es absurdo pues ya no ser a ank+1 el primer elemento de A que pertenece a Ak sino an , lo cu al es contradictorio. Por tanto, , o bien era nito, luego contable, o bien = {an1 , . . . , ank , . . .} que es evidentemente numerable, luego contable. IN ank k (2) Sea A un conjunto no contable y sea S A. Si fuese S contable, por (1) ser a A contable, contradicci on. As , necesariamente es S no contable. (3) Sea A un conjunto innito. Puesto que A = , e innito, existen dos elementos, al menos, a0 , a1 A. Sea el conjunto A1 = A {a0 , a1 } = , luego existe, al menos, un elemento a2 A1 . Supongamos ahora el conjunto An = A {a1 , . . . , an } que es no vac o, por lo que existir a, al menos, un elemento an+1 An . As pues,por el principio de inducci on se obtiene un subconjunto = {a1 , . . . , an , . . .} A numerable (se podr a haber hecho uso del axioma de elecci on en lugar del principio de inducci on) que adem as es propio, pues a0 A pero a0 / . (4) Sea A un conjunto innito. Por (3), existe una parte propia numerable de A, digamos, por ejemplo = {a1 , a2 , . . . , a2n , a2n+1 , . . .} A. Consideremos los conjuntos 1 = {a1 , a3 , . . . , a2n+1 , . . .} y 2 = {a2 , . . . , a2n , . . .}. Entonces A = c = 1 2 c (uni on disjunta), y si llamamos A = 2 c , que es parte propia de A, existe una biyecci on entre A y A determinada por f : A A x f (x) =
{

x a2p

si x c si x = ap

(5) Sean A, B conjuntos innitos tales que Card(A) = 0 y Card(B ) = = 0 . Entonces, por (3), B posee una parte propia numerable, es decir, existe B1 B tal que Card(B1 ) = 0 luego 0 y como = 0 se deduce que 0 < . Teorema 2.2 El producto cartesiano de dos (y generalmente de un n umero nito de) conjuntos numerables es un conjunto numerable. Demostraci on: Demostraremos que IN IN es numerable. Dados dos elementos cualesquiera (m, n), (m , n ) IN IN consideremos que es anterior aqu el cuya suma de componentes del par sea menor y si m + n = m + n ser a anterior el par que tenga menor su primer elemento. Esto nos permite presentar el conjunto IN IN en forma de sucesi on del siguiente modo: {(1, 1), (1, 2), (2, 1), (1, 3), (2, 2), (3, 1), . . .} La funci on que establece la biyecci on entre IN IN y IN es f : IN IN IN (m, n) f (m, n) = m + 5 (m + n 1)(m + n 2) 2

Kepler Ck Ikastegia

Sobre los innitos

Dado un elemento arbitrario (m, n) IN IN para calcular el lugar que ocupa en la sucesi on hay que contar los elementos que hay antes que el; as , hay que sumar los elementos cuyas coordenadas suman 2 m as los elementos cuyas coordenadas suman 3 y as sucesivamente, m as los elementos cuyas coordenadas suman m + n 1. Hagamos el c alculo: S olo hay 1 elemento cuyas coordenadas suman 2 y es (1, 1) Hay 2 elementos cuyas coordenadas suman 3, (1, 2) y (2, 1) Hay 3 elementos cuyas coordenadas suman 4, (1, 3), (2, 2) y (3, 1), etc. y, en general, hay (p 1) elementos cuyas coordenadas suman p, luego habr a (m + n 2) elementos cuyas coordenadas suman (m + n 1). As pues, como constituyen una progresi on aritm etica de diferencia 1, primer t ermino 1, u ltimo t ermino (m + n 2) y hay (m + n 2) sumandos resulta que la suma es (m + n 1)(m + n 2) 2 Finalmente hay que a nadir el n umero de elementos cuya suma es m + n y que son anteriores al elemento (m, n), es decir, (m1) elementos, que son (1, m+n1), (2, m+n2), . . . , (m1, n+1). En denitiva, el lugar en la sucesi on que le corresponde al elemento (m, n) es f (m, n) = m 1 + (m + n 1)(m + n 2) (m + n 1)(m + n 2) +1=m+ 2 2 c.q.d.

Teorema 2.3 La uni on de una familia de conjuntos contables es contable. Demostraci on: Consideremos una uni on nita o numerable de conjuntos contables Ei donde i = 1, 2, 3, . . . y que podemos suponer disjuntos dos a dos y no vac os. Numeramos los elementos de cada Ei y llamamos aij a su elemento j- esimo. Entonces la aplicaci on h:

Ei IN IN aij h(aij ) = (i, j )

es inyectiva, por lo que

Ei tiene el mismo cardinal que una parte de IN IN que es numerable. Ei contable.

Entonces seg un el teorema 2.1 apartado (1) es

Teorema 2.4 El conjunto Z Z de los n umeros enteros es contable. Demostraci on: Escribimos Z Z como uni on de dos conjuntos contables: Z Z = {1, 2, 3, . . .} {0, 1, 2, 3, . . .} Teorema 2.5 El conjunto Q I de los n umeros racionales es contable. Demostraci on: Si n es un n umero natural (entero positivo), llamamos Qn al conjunto de todos los n umeros racionales que se pueden expresar con el denominador n; entonces, por el teorema 2.4 es { } m Qn = |m Z Z contable y ahora del teorema 2.3 se sigue que Q I = Qn es contable. n nI N Denici on 2.3 Se dice que un n umero es algebraico si es ra z de un polinomio con coecientes 3 racionales o, equivalentemente, con coecientes enteros; por ejemplo, 2, 3, 2 + 3 son ejemplos de n umeros algebraicos, ya que son ra ces, respectivamente, de los polinomios 2 3 4 2 x 2, 8x 3, x 10x + 1 6

Kepler Ck Ikastegia Teorema 2.6 El conjunto de los n umeros algebraicos es contable.

Sobre los innitos

Demostraci on: Sea T el conjunto de todos los n umeros algebraicos. Sea S el conjunto de todos los polinomios con coecientes enteros. Para cada f S , sea T (f ) el conjunto de ra ces de f . Cada T (f ) es, entonces, nito. Ahora bien, T = T (f ). Entonces, por el teorema 2.3, basta probar que S
f S

es contable. Cada f S es de la forma: f = a0 + a1 x + a2 x2 + + an xn donde a0 , a1 , . . . , an son enteros. Si an = 0 decimos que f tiene grado n. Llamamos Sn al conjunto de los polinomios de grado n. Como S = Sn se sigue del teorema 2.3 que es suciente probar que cada Sn es contable. Fijado un valor de n, sea f = |a0 | + |a1 | + + |an | Para cada entero positivo k , sea Snk el subconjunto de Sn que consta de aquellos f tales que f k , es decir, Snk = {f Sn | f k } Evidentemente, Sn =

nI N

Snk es contable. De hecho, cada Snk es obviamente nito, luego contable. A la vista de estos resultados, podr amos pensar que todos los conjuntos innitos son contables, sin embargo, no es as . Existen conjuntos innitos no contables como, por ejemplo, el conjunto IR de todos los n umeros reales. Para probarlo, utilizaremos el llamado argumento diagonal de Cantor. umeros reales no es contable. Teorema 2.7 El conjunto IR de los n Demostraci on: Demostraremos que el intervalo I = [0, 1] no es numerable, con lo cu al, quedar a demostrado para IR. Escribiremos cada elemento x I por su representaci on decimal: x = 0 a1 a2 a3 a4 . . . donde cada ai designa uno de los d gitos 0, 1, 2, . . . , 9. Debe observarse que ciertos n umeros reales admiten dos representaciones distintas; en efecto, cuando a partir de un cierto lugar k las cifras decimales son todas iguales a 9, ak = 9, ak+1 = 9, ak+2 = 9, etc., se puede sustituir ak por ak + 1 y todas las dem as que le siguen por 0. 1 se puede escribir cmo 0 10000 . . . o como 0 09999 . . .. Este hecho no va a inuir Por ejemplo, 10 en la demostraci on. Ya que hay innitos n umeros racionales en el intervalo I = [0, 1], el conjunto I no puede ser nito. Supongamos que es numerable, es decir, que sus elementos se pueden numerar: x1 = 0 a1 a2 a3 . . . x2 = 0 b1 b2 b3 . . . etc. x3 = 0 c1 c2 c3 . . . Sea ahora y1 un d gito diferente de 0, de a1 y de 9. Sea y2 un d gito diferente de 0, de b2 y de 9.

k I N

Snk . De nuevo, bastar a entonces, por el teorema 2.3, probar que cada

Kepler Ck Ikastegia

Sobre los innitos

Sea y3 un d gito diferente de 0, de c3 y de 9, etc. Consid erese el n umero y cuya representaci on decimal es y = 0 y1 y2 y3 . . . con cada yi = 0 e yi = 9. Claramente 0 y 1 y adem as y = xn n IN, ya que los n- esimos d gitos en las representaciones decimales de y y de xn son distintos. Por lo tanto, cualquier colecci on numerable de n umeros reales del intervalo no contiene a todos los n umeros reales del mismo. Denici on 2.4 Un n umero real es llamado trascendente si no es algebraico. Ya que el conjunto de los n umeros reales es no numerable, mientras que el conjunto de los n umeros algebraicos es numerable, se sigue que deben existir n umeros reales trascendentes; es m as, el conjunto de los n umeros reales trascendentes es claramente no numerable, as que se ha probado que existen hordas de n umeros trascendentes. Ejemplos concretos de n umeros trascendentes son y e. La trascendencia de e fue probada por Hermite en 1873; la de por Lindemann en 1882. Uno de los problemas planteados por Hilbert en Par s en 1900, en el Congreso Internacional Matem atico fue probar que es trascendente si y son algebraicos con = 0, 1 y irracional. Fue probado por Gelfond en 1943, y por Schneider independientemente. Denici on 2.5 Se denota por 1 al m nimo cardinal de entre los que son mayores que 0 = Card(IN). Obs ervese que, seg un el teorema 1.2, Card(IN) < Card(P (IN)), luego existen cardinales mayores que 0 . Proposici on 2.1 Si denotamos D = {0, 1}IN = { : IN {0, 1} | es aplicaci on } entonces Card(P (IN)) = Card(D) Demostraci on: Consideremos la aplicaci on: f : P (IN) D A f (A) = A donde A es la llamada funci on caracter stica de A, es decir, A : IN {0, 1} { 0 si n /A n A (n) = 1 si n A Veamos que esta aplicaci on es biyectiva; en efecto, si A, B IN y A = B , existe n A tal que n / B o bien existe m B tal que m / A; si ocurre lo primero es A (n) = 1 = 0 = B (n) y si ocurre lo segundo es A (m) = 0 = 1 = B (m); en cualquier caso se deduce que A = B f (A) = f (B ), luego es f inyectiva. Por otra parte, si D, sea A = 1 (1) = {n IN { | (n) = 1} IN; }veamos que f (A ) = ; 0 si n / A = (n) luego en efecto, sea n IN, entonces f (A )(n) = A (n) = 1 si n A f (A ) = , y as es f suprayectiva y, por tanto, biyectiva. c.q.d. Proposici on 2.2 Si denotamos por C = Card(IR) entonces C = Card(P (IN)) = Card(D) = 20 Demostraci on: Sea D0 = { D | n IN | (n) = 0 n n }. Puede verse que es D0 numerable, es decir, Card(D0 ) = 0 y como Card(D) > 0 se tiene que 8

Kepler Ck Ikastegia Card(D D0 ) = Card(D). Sea ahora la aplicaci on h : D D0 (0, 1] h( ) = 0, (1) (2) (3)

Sobre los innitos

Esta aplicaci on es biyectiva ya que cada n umero real del intervalo (0, 1] tiene una u nica expresi on en c odigo binario no terminada en ceros, es decir, un u nico elemento D D0 que se le puede asociar. En denitiva, Card(P (IN)) = Card(D) = Card(D D0 ) = Card((0, 1]). Es f acil, por otra parte, comprobar que Card((0, 1]) = Card([0, 1)); en efecto, la aplicaci on g : [0, 1) (0, 1] x g (x) =
{

x 1

si x = 0 si x = 0

es biyectiva. As pues, Card(D) = Card((0, 1]) = Card([0, 1)). Ahora, puede verse que Card([0, 1)) = Card((0, 1)); en efecto, la aplicaci on s : [0, 1) (0, 1)
x

si x = 1 si x =

1 ,n 2 n 1 ,n 2 n

x s(x) =

n+1 1

si x = 0

es biyectiva, luego Card(P (IN)) = Card(D) = Card((0, 1]) = Card([0, 1)) = Card((0, 1)) Finalmente, puede comprobarse que Card((0, 1)) = Card(IR); en efecto, basta doblar por la mitad el intervalo (0, 1) como se muestra en la gura, de forma que el segmento que une los puntos 0 y 1 sea paralelo a la recta real y el punto P sea su punto medio. As , a cada x (0, 1) se le asigna el punto t(x) intersecci on entre la recta que une x con P y la recta real.
@ @ @ P 0 1 @ J @

J x < 1/2 @
x > 1/2 J
@ J J
@

IR

t(x)

t(x)

La expresi on anal tica de esta aplicaci on es: t : (0, 1) IR

) ( 1 x cos 2 2x

si 0 < x < si x =

1 2 1 2

x t(x) =

1 cos 2 2(1 x)

si

1 <x<1 2

Kepler Ck Ikastegia

Sobre los innitos

donde 0 < < 90 es un angulo jo, y es biyectiva. En denitiva, C = Card(IR) = Card((0, 1)) = Card(P (IN)) = Card(D) = 20

c.q.d.

Desde principios del siglo XX, se ha intentado en vano establecer si existe un cardinal tal que 0 < < C . Georg Cantor sostuvo la conjetura de que la respuesta a tal pregunta es negativa; se conoce esta conjetura con el nombre de Hip otesis del Continuo. Al n, en 1962, y de acuerdo a lo que algunos l ogicos supon an por aquella epoca, un joven matem atico americano, Paul Cohen, estableci o que la Hip otesis del Continuo es indecidible, es decir, que no se puede probar ni refutar a partir de los axiomas del sistema formal, luego no se sabe si es verdadero o falso. Este resultado formidable prueba que se puede a nadir al sistema de las Matem aticas un nuevo axioma independiente de los precedentes, la Hip otesis del Continuo o su negaci on. Axioma 2.1 (Hip otesis del Continuo) Card(IR) = 1

3.

Aritm etica cardinal

Denici on 3.1 (Suma cardinal) Sean x, y dos cardinales. Elegimos dos conjuntos disjuntos X, Y tales que x = Card(X ), y = Card(Y ); se llama suma de x e y al cardinal del conjunto X Y y se denota por x + y = Card(X Y ) donde X Y =

Es f acil ver que la denici on es independiente de la elecci on de X e Y . Denici on 3.2 (Producto cardinal) Sean x, y dos cardinales. Elegimos dos conjuntos arbitrarios X, Y tales que x = Card(X ), y = Card(Y ); se llama producto de x por y al cardinal del conjunto X Y y se denota por xy = Card(X Y )
( )

La denici on es intuitiva pues Card(X Y ) = Card

bY

Card(X ) = Card(X ) Card(Y )

bY

X {b}

bY

Card(X {b}) =

Es f acil ver que la denici on no cambia si se reemplazan X e Y por conjuntos equipotentes X e Y , respectivamente. Teorema 3.1 Las operaciones de adici on y multiplicaci on de cardinales es asociativa y conmutativa; y la de multiplicaci on es distributiva respecto de la adici on, es decir, para cardinales cualesquiera x, y, z se cumple: 1. (x + y ) + z = x + (y + z ) 2. (xy )z = x(yz ) 3. x + y = y + x 4. xy = yx 5. x(y + z ) = xy + xz 10

Kepler Ck Ikastegia

Sobre los innitos

Demostraci on: Se deja al lector la vericaci on de estas propiedades. Sin embargo, no todas las propiedades de la adici on y multiplicaci on de los n umeros naturales son v alidas para los cardinales (entre los que se encuentran los n umeros trasnitos) en general. Por ejemplo, la ley de cancelaci on que es v alida para los n umeros naturales, falla. No es cierto, pues, que si x + z = y + z = x = y Ve amoslo con un contraejemplo: 0 + 0 = 0 = 1 + 0 = / 0 = 1 0 0 = 0 = 1 0 = / 0 = 1 Denici on 3.3 Tambi en puede denirse la exponenciaci on cardinal; en efecto, pueden introducirse exponentes en la aritm etica cardinal como sigue: Sean x, y dos cardinales. Elegimos dos conjuntos arbitrarios X, Y tales que x = Card(X ), y = Card(Y ); se llama cardinal x elevado a y al cardinal del conjunto X Y = {f : Y X | f es aplicaci on } y se denota por xy = Card X Y
( )

Obs ervese que en la proposici n 2.2 ya la hab amos utilizado. on ( o ) ( La ) denici ( es intuitiva pues: ) Si b Y entonces Card X b = Card(X ), luego Card X Y = Card X {b} X Y {b} = Card X {b} Card X Y {b} = Card(X ) = Card(X ) Card(X ) con tantos factores como indica el cardinal de Y . Esta operaci on satisface las siguientes propiedades: 1. xy+z = xy xz 2. (xy )z = xz y z 3. (xy )z = xyz 4. x0 = 1 5. x1 = x Demostraci on: Daremos la demostraci on de una de ellas, la primera, y el resto se deja al lector. Sean x = Card(X ), y = Card(Y ), z = Card(Z ) y sean Y, Z disjuntos, de tal forma que y + z = Card(Y Z ). Basta probar que los conjuntos X Y Z y X Y X Z son equipotentes. La aplicaci on f : X Y Z X Y X Z g f (g ) = (g |Y , g |Z ) es biyectiva. c.q.d. Denici on 3.4 Se dene el cardinal 2 como el cardinal m as peque no de entre todos los que son mayores que el cardinal de IR, es decir, que 1 . Si se acepta la Hip otesis del continuo generalizada, abreviadamente, H.C.G., es decir, la de que si A es un conjunto innito, no existe otro conjunto B tal que Card(A) < Card(B ) < Card(P (A)) = 2Card(A) , entonces como 11
( ) ( )

Kepler Ck Ikastegia

Sobre los innitos

1 Card(IR) < Card(P (IR)) = 2Card(IR) se deduce que 2 = 2 . ( ) I R Puede verse tambi en que 21 = 1 1 = Card IR donde IRIR es el conjunto de todas las funciones reales de variable real, es decir, IRIR = {f : IR IR | f aplicaci on }; consideremos la siguiente aplicaci on:

IRIR {0, 1}IR : IR {0, 1} f f { 0 x f (x) = f (x)(x)

si x / IN si x IN

donde se ha tenido en cuenta que al existir una biyecci on entre IR y {0, 1}IN puede interpretarse el n umero real f (x) como una aplicaci on de IN en {0, 1}. Veamos que es inyectiva: I R (x) = g Sean f, g IR con f = g ; existe pues x IR tal que f (x); obviamente ha de ser x IN pues de lo contrario ser a f (x) = 0 = g (x). As pues, f (x)(x) = g (x)(x) luego f (x) = g (x) = f = g c.q.d. ( ) ( ) En denitiva, Card IRIR Card {0, 1}IR = 21 = 2 y como, por otra parte, evidentemente Card {0, 1}IR Card IRIR (la funci on identidad es inyectiva) resulta que 1 1 1 2 = 2 1 2 = 2 de donde 1 1 = 2 c.q.d. 1 = 2 En general, si se acepta la H.C.G., se tiene que
{
=

+1

si < si

por lo que

0 1 = 1

Estos apuntes son, esencialmente, salvo alguna aportaci on personal, una parte del pre ambulo del curso de Topolog a General impartido por la profesora y catedr atica de la U.P.VE-H.U. Mar a Angeles de Prada Vicente durante el a no acad emico 198788 en la Facultad de Ciencias de Leioa (Bizkaia). Pido disculpas al lector, por los errores que puedan contener. Por tanto, al Rey de los siglos, inmortal, invisible, al u nico y sabio Dios, sea honor y gloria por los siglos de los siglos. Am en. 1 Timoteo 1:17

Referencias
[1] KAPLANSKY:, Set Theory and Metric Spaces Ed. Allyn and Bacon. [2] LIPSCHUTZ:, Teor a de Conjuntos y Temas anes Serie de compendios Schaum. [3] KURATOWSKI:, Introducci on a la Teor a de conjuntos y a lal Topolog a Ed. VicensVives. [4] GODEMENT, R.:, Courses dAlgebre Ed. Hermann.

12