Conjuntos

Conjunto de Partes o Conjunto Potencia

Si A es un conjunto cualquiera, llamamos conjunto potencia de A o conjunto de
partes de A al conjunto formado por todos los subconjuntos de A.
Este conjunto lo notaremos as: (A)
Ejemplo:
Si A = {1, 2, 3}, entonces
(A) = {, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, A}

Cardinal de un conjunto
El cardinal de un conjunto es el n
umero de elementos que posee.
Ejemplo:
Si A = {a, b, c}, entonces Car(A) = 3
A=

{a,
l
1

b,
l
2

c}
l
3

3 Elementos

Comparemos el conjunto de los n

umeros naturales (N) y el conjunto de los n
umeros pares (P):
P es un subconjunto propio de N (P N), sin embargo se puede establecer una
correspondencia biunvoca en el sentido de que a cada elemento de N le corresponde uno y s
olo un elemento de P. Es decir, a pesar de que el conjunto de los

N=
P=

{0,
l
{0,

1,
l
2,

2,
l
4,

3,
l
6,

4,
l
8,

5,
l
10

...,
...

n,
l
2n,

n + 1,
l
2(n + 1),

...}
...}

pares P est
a incluido en los naturales N,hay tantos elementos en P como en N:
car(P) = car(N). Esto s
olo ocurre con los conjuntos infinitos, en los cuales se tiene
que el todo no es mayor que la parte.
Haca finales del siglo XIX, Cantor demostro que si se generalizaba esta manera
de contar, se poda demostrar la existencia de infinitos mas grandes que otros.
Cantor empieza apoy
andose en los trabajos de Bernard Bolzano, especialmente en
su libro Las paradojas del infinito (Bolzano, 1991), el cual constituye la primera
crtica directa a la manera en que se haba tomado el infinito hasta el siglo XIX.
En este libro, Bolzano presenta un cambio de actitud frente a la tradicion aristotelica del infinito; no destierra el infinito actual, sino que lo retoma a pesar de su
car
acter parad
ojico. Cantor va mas alla que Bolzano, demostrando que: Existen
diversos tama
nos de infinito.
Con esto, Cantor se alejaba de la creencia, que haba perdurado durante mas de
veinte siglos, y que estableca la existencia de un solo infinito inalcanzable y no real.
Cantor parta de la negaci
on del principio filosofico milenario, sustentado desde
Euclides en sus Elementos como nocion com
un 5, seg
un el cual, el todo es mas
que una de sus partes. Para ello incorpora el concepto de potencia, que es la
generalizaci
on del n
umero de elementos de un conjunto, o n
umero cardinal. De
esta forma, dos conjuntos tendran la misma potencia (son equipotentes) cuando
se pueda establecer una relacion biunvoca entre sus elementos; o, dicho de otra
manera, cuando se pueda definir una funcion biyectiva entre los dos conjuntos.
Proposici
on: Si el conjunto A tiene n elementos, entonces (A) tiene 2n elementos.
Demostraci
on:
Tenemos que el car(A) = n y car((A)) = 2n
Razonemos por inducci
on
Si consideramos que 0 N, entonces para n = 0 tenemos que el car(A) = 0, se
cumple que si A = en este caso () = {} y por tanto car(()) = 20 = 1

Si n = 1 entonces, A = {F}, tenemos (A) = {, A} donde car((A)) = 21 = 2

Si n = 2, entonces, A = {, }, tenemos (A) = {, {}, {}, A} donde car((A)) =
22 = 4
Ahora suponemos que es valido para n = k y designamos por A a un conjunto de
cardinalidad k + 1.
Sea a A veamos que car(A {a}) = k luego, tenemos que car((A {a})) = 2k .
Dado N (A) obtenemos un subconjunto de A{a} si sucede que: N permanece
inalterado en A {a}; entonces a no es un elemento de N , si proviene de cierto
conjunto N = N {a} entonces a era un elemento de N .
De acuerdo son lo anterior, cuando hacemos variar a los subconjuntos de A, obtenemos a todos los subconjuntos de A {a}. Por tanto car((A)) = 2.car((A
{a})) = 2. 2k = 2k+1 por tanto queda demostrado que car((A)) = 2n

Conjuntos Coordinables o Equipotentes

Dos conjuntos A y B se dice que son equipotentes si se puede definir una funcion
biyectva, f : A B. En este caso se dice que los dos conjuntos se encuentran
biunvocamente emparejados o que tienen el mismo n
umero de elementos, esto es:
car(A) = car(B).

Conjuntos Finitos
Un conjunto A se dice que es finito si, y solo si, es coordinable con un conjunto
de la forma {1, 2, 3, 4, 5, ...n} donde n es un n
umero natural. En tal caso decimos
que el conjunto A tiene n elementos.

Conjunto Infinito
Un conjunto A se dice que es infinito si y solo si no es finito.
Observaci
on: Otra manera de caracterizar a los conjuntos infinitos es la siguiente,
decimos que un conjunto es infinito si, y solo si, es coordinable con alguno de sus
subconjuntos propios.

Conjuntos Contables o Enumerables

Un conjunto A es contable o enumerable si, y solo si, es finito o en caso de ser infinito se puede poner en correspondencia biunvoca con el conjunto de los n
umeros

naturales (N)
Proposici
on: Todo subconjunto A N es numerable.
Demostraci
on:
Si A N es finito, entonces A es numerable.
Supongamos que A N es infinito, por tanto tenemos que ver que se puede
establecer una correspondencia biunvoca con el conjunto de los n
umeros naturales.
Definamos la funci
on: f : N A de la siguiente manera:
f (0) es el menor elemento de A.
f (1) es el menor elemento de A f (1) 6= f (0).
f (2) es el menor elemento de A f (2) 6= f (1) 6= f (0).
f (3) es el menor elemento de A f (3) 6= f (2) 6= f (1) 6= f (1).
Y as sucesivamente,
f (p) es el menor elemento de A f (p) 6= f (0) 6= f (1) 6= f (2) 6= ... 6= f (p 1).
Si existe p tal que no podamos hacer lo anterior, es decir f (p) 6 f (0) 6= ... 6= (p1),
es que A ya no tiene mas elementos y por tanto es finito.
En caso contrario podemos continuar y para cada p N, f (p) Af (p) 6= f (i),
para i < p, lo cual f es biyectiva y f (p) > p.
Por tanto A N es numerable.
Proposici
on: El conjunto de los n
umeros reales (R) no es numerable.
Demostraci
on:
Para ello vamos a considerar u
nicamente los n
umeros reales entre 0 y 1 y vamos
a ver que ellos ya forman un conjunto no numerable, por lo que el conjunto total
de los reales ser
a ciertamente no numerable ya que contiene un subconjunto no
numerable.
El conjunto de todos los n
umeros reales entre 0 y 1 esta formado por todas las
expresiones decimales que tienen 0 como parte entera. Razonemos por reduccion
al absurdo y supongamos que s pueden numerarse dichas expresiones decimales.

Supongamos que los n

umeros reales en el intervalo (0, 1) tienen la misma potencia
que los n
umeros naturales. Eso significa que existe una funcion biyectiva entre los
naturales y los reales; lo que quiere decir que la totalidad de los reales del intervalo
en cuesti
on se pueden listar en una sucesion de la forma:

x1 , x2 , x3 , x4 , x5 , ..., xn , ...

Dado que cada uno de estos n

umeros esta ubicados en el intervalo (0, 1) quiere
decir que su expansi
on decimal consta de la parte entera igual a cero, y los podemos
representar de la siguiente manera:
x1 = 0.a11 a12 a13
x2 = 0.a21 a22 a23
x3 = 0.a31 a32 a33
.
.
.
xn = 0.an1 an2 an3

a14 a15 ... a1n ...

a24 a25 ... a2n ...
a34 a35 ... a3n ...

an4 an5 ... ann ...

Suponemos que en la lista se encuentran la totalidad de los reales del intervalo

(0, 1). Formemos el n
umero real,

b = 0.b1 b2 b3 b4 b5 ... bn ...

Tal que, bi 6= aii , para todo i. Observemos que,

b 6= x1 , porque b1 6= x11
b 6= x2 , porque b2 6= x22
b 6= x3 , porque b3 =
6 x33
.
.
.
b 6= xn , porque bn 6= xnn
Entonces b es diferente a todos los elementos de la lista x1 , x2 , x3 , x4 , x5 , ..., xn , ...,
lo cual contradice el hecho de que en la lista se encontraban todos los reales del
intervalo (0, 1).

Los aspectos anteriores nos describen las dos siguientes propiedades de los conjuntos infinitos:

a. Hay infinitos m
as grandes que otros. Por ejemplo, N y R. son dos conjuntos
infinitos. pero de diferente tama
no. El tama
no de R es mayor que el tama
no
de R.
b. Hay subconjuntos de los conjuntos infinitos que son de igual tama
no que el
todo. Por ejemplo, los pares y los naturales tienen igual tama
no a pesar de
que los pares son una parte de los naturales.
Esos dos aspectos dan al traste con dos opiniones del sentido com
un: la creencia
de que hay un solo infinito y la idea de que el todo es mayor que la parte.
El segundo de los aspectos anteriores fue establecido por Euclides como axioma
en la noci
on com
un 5. Para los conjuntos infinitos este axioma es reemplazado
por una nueva noci
on que relaciona los subconjuntos del conjunto con el conjunto
mismo.Si designamos como (A) al conjunto formado por todos los subconjuntos
de A, denominado partes de A, se tiene que:

car((A)) > car(A)

Si partimos del conjunto de los n

umeros naturales N, se puede construir un conjunto mayor tomando el conjunto de sus partes:

car((N)) > car(N)

Luego se toma como partida (N) y se construye otro mayor tomando ((N)); y
as, sucesivamente.
Para designar la cantidad de elementos de un conjunto infinito, Cantor utilizo la
primera letra del alfabeto hebreo; la lengua sagrada por antonomasia, llamada
aleph y representada por el signo . 0 representa la totalidad de los n
umeros
naturales:

car(N) = 0

Cantor entendi
o muy bien que la cardinalidad era un concepto que dejaba por fuera algunas cuestiones que tienen que ver con cambios cualitativos. En este sentido
diferenci
o el orden de la cantidad. Si bien los cardinales transfinitos daban cuenta
de la cantidad, faltaba otro tipo de n
umeros que dieran cuenta del orden. Para
establecer una definici
on formal de los n
umeros ordinales, Cantor se baso en dos
principios b
asicos: la operacion de adicion de unidades y la adopcion de sucesiones divergentes. Por el primer principio se obtiene la secuencia: 0, 1, 2, 3, ..., n, ...
de nuestros n
umeros naturales. Esta sucesion es divergente. Cantor no encuentra
contradicciones en el hecho de incorporar un nuevo n
umero que fuera el mayor de
todos los naturales, el cual designo con el smbolo . A partir de poda obtener
nuevos ordinales mediante la adicion de unidades, y nuevamente aplicarle el lmite,
de tal suerte que se poda obtener una cadena infinita de ordinales:
0, 1, 2, 3, 4, ..., , + 1, + 2, ..., 2, 2 + 1, 2 + 2, 2 + 3, ...,
luego vienen 3, 4, 5,, ... despues de todos estos seguira 2 , donde se inicia
nuevamente el proceso:
2 , 2 + 1, 2 + 2, ..., 2 + , 2 + + 1, 2 + + 2, ..., 2 + 2, ...,

2 + 3, ..., 2 + 4, ..., 2 2, ..., 2 3, ..., 3 , ..., 4 , ..., , ..., , ...,

Si definimos como: = 0, 1 = 0, 2 = 0, 1, ..., = N = 0, 1, 2, ..., +1 = 0, 1, 2, ..., ...

observemos que tanto el cardinal de como el de + 1, son iguales al cardinal de
los n
umeros naturales.
De esta forma se pueden formar clases de conjuntos de la siguiente manera:
1. La primera clase de n
umeros (I): formada por los naturales.
2. La segunda clase (II): un ordinal es un n
umero de la clase (II), si el
conjunto conformado por los ordinales que le preceden a tiene la misma
potencia que los naturales; es decir, tiene cardinalidad 0 .
Cantor toma el conjunto W , formado por todos los ordinales transfinitos de la clase (II), y demuestra que tiene una cardinalidad mayor que 0 ; ade mas demuestra
que no hay ning
un otro cardinal entre 0 y el cardinal del conjunto formado por
los ordinales de la clase (II). A este ordinal Cantor lo designo como 1 corresponde
a un cardinal mayor que 0 ; es decir:

car(N) = 0 < 1

Utilizando el mismo metodo de generacion, Cantor fue construyendo una escalera

de infinitos cada vez m
as grandes:

0 , 1 , 2 , ...
A los alephs se les llama cardinales transfinitos o n
umeros infinitos.
Podemos demostrar que car(R) = car((N)) y por lo tanto car((N)) = car(R) >
1 . Los esfuerzos de Cantor se centraron en adelante en responder la pregunta:
cu
al es el cardinal del continuo? Supuso que la potencia del continuo era 1 ;
pero jam
as lo pudo demostrar, dejandolo como hipotesis. Es lo que se denomina:
hip
otesis del continuo.
Atendiendo al hecho que,
car(R) > car(N), car((N)) > car(N) y car((R)) > car((N))
Entonces,
c = car((N)) = car(R) > 1

En este sentido, (R) = c, podra ser ,1 , 2 o cualquier otro cardinal mayor. Cantor
supuso que c = 1 en lo que se conoce como hipotesis del continuo.
De esta forma la hip
otesis del continuo establece que no hay un conjunto de cardinalidad intermedia entre 0 y c. En otras palabras, un subconjunto infinito A
de R tienen dos posibilidades: car(A) = 0 o car(A) = 1 . Se puede demostrar
que efectivamente no hay un subconjunto de R, de cardinalidad intermedia entre
la cardinalidad de N y la cardinalidad de R? Esta pregunta encabezaba la lista
de 23 problemas que David Hilbert consideraba los dilemas mas importantes que
deban enfrentar los matematicos del siglo XX, como lo expuso en el primer congreso mundial de matem
aticas de 1900.
Muchos matem
aticos buscaron respuesta a la hip
otesis del continuo. Sin embargo,
fueron Kurt G
odel, en 1938, y Paul Cohen, en 1963, quienes de forma complementaria, demostraron que Zermelo-Fraenkel no era suficiente para demostrar ni la
hip
otesis del continuo ni su negacion. Eso significa que se puede adoptar c = 1 ,
o a cualquier otro cardinal mayor sin caer en contradicciones.