Alef cero

En matemtica, se define (primera letra del alfabeto hebreo llamada lef) como el cardinal (un nmero transfinito, en este caso) del conjunto de los nmeros naturales. Su
definicin formal permite equipararlo a cualquier conjunto numerable, esto es, cualquier conjunto que pueda ponerse en correspondencia biunvoca con los nmeros naturales

El trmino se lee como "lef-sub-cero" o "lef cero

El cardinal indica el nmero o cantidad de elementos de un conjunto, sea esta cantidad finita o infinita. Los nmeros cardinales constituyen una generalizacin interesante del concepto de nmero natural, permitiendo comparar la cantidad de elementos de conjuntos infinitos. Dado un conjunto , el cardinal de este conjunto se simboliza mediante

Conjunto numerable
De Wikipedia, la enciclopedia libre Saltar a navegacin, bsqueda

En matemticas, un conjunto es numerable o contable cuando sus elementos pueden ponerse en correspondencia uno a uno con el conjunto de los nmeros naturales. Algunos autores toman una definicin alternativa de conjunto numerable que incluye tambin a los conjuntos finitos. Esta definicin establece que un conjunto es numerable cuando existe correspondencia uno a uno entre el conjunto y algn subconjunto de los nmeros naturales y es por esto que en ocasiones se especifica conjunto infinito numerable o a lo sumo numerable para evitar ambigedades, refiriendo la primera expresin nicamente a conjuntos infinitos y la segunda permitiendo conjuntos finitos. Georg Cantor fue el primero que hizo uso de este concepto en un artculo publicado en 1874 que marcara el nacimiento de la teora de conjuntos.[1] Sin embargo, su importancia se manifiesta en numerosos campos de las matemticas, en particular en el anlisis, en teora de la medida y en topologa.

Ejemplos
y

El conjunto de todos los nmeros pares, es numerable porque la funcin:

es una biyeccin: cada nmero natural corresponde a un nico nmero par y viceversa.
y y y y

El conjunto de todos los enteros tambin es numerable. El conjunto es numerable. Como consecuencia del ejemplo anterior, el conjunto de todos los racionales tambin es numerable. Por induccin puede probarse que entero k. son numerables para cualquier nmero

Definiciones

De manera ms formal, un conjunto C se dice que es numerable cuando es equipotente con el conjunto de los nmeros naturales , es decir, cuando existe una biyeccin de con C. Algunos autores extienden la definicin para incluir los conjuntos finitos, y bajo esta extensin un conjunto numerable es aquel que se puede poner en biyeccin con un subconjunto de los nmeros naturales. Esta extensin ser designada en este artculo con la expresin conjunto a lo sumo numerable o conjunto finito o numerable.[2] En caso de que pueda haber ambigedad, siempre se puede especificar que un conjunto equipotente con es un conjunto infinito numerable. Por el contrario, un conjunto (infinito) no numerable es un conjunto infinito que no es equipotente con . El argumento de la diagonal de Cantor permite demostrar que el conjunto de los nmeros reales y el conjunto de las partes de no son numerables, y asimismo muestra la existencia de numerosos infinitos distintos de los anteriores y que tampoco son numerables.
[editar] Teorema de Cantor Artculo principal: Teorema de Cantor

Un conjunto que contiene un subconjunto infinito numerable es necesariamente infinito. A partir de los axiomas de la teora de conjuntos, en particular el axioma de eleccin, se puede mostrar que el infinito numerable es el infinito ms pequeo en el sentido de que todo conjunto infinito contiene un conjunto infinito numerable. Se puede entonces caracterizar un conjunto infinito como un conjunto que contiene un subconjunto numerable, definicin que tiene aplicaciones en teora de la cardinalidad.

El cardinal de , y por tanto el cardinal de cualquier conjunto numerable, se denota (alef cero). Es el primero de los ordinales transfinitos lef, que representan todos los cardinales dado el axioma de eleccin.

Teora de conjuntos
Los conjuntos finitos tienen una propiedad "intuitiva" que los caracteriza; dada una parte propia de los mismos, sta contiene un nmero de elementos menor que todo el conjunto. Es decir, no puede establecerse una biyeccin entre una parte propia del conjunto finito y todo el conjunto. Sin embargo, esa propiedad "intuitiva" de los conjuntos finitos no la tienen los conjuntos infinitos, y formalmente decimos que:
Un conjunto subconjunto y . es infinito si existe un subconjunto propio tal que de , es decir, un entre

, tal que existe una biyeccin

La idea de cardinalidad de un conjunto se basa en la nocin anterior de biyeccin. De dos conjuntos entre los que se puede establecer una biyeccin se dice que tienen la misma cardinalidad. Para un conjunto finito su cardinalidad puede representarse por un nmero natural. Por ejemplo, el conjunto {manzana, pera, durazno} tiene 3 elementos. Esto significa de modo ms formal que se puede establecer una biyeccin entre tal conjunto y el nmero 3 que es el conjunto {0,1,2}:

Dicho de otra forma, es posible hacer parejas (0, manzana), (1, pera), (2, durazno) de modo que cada elemento de los dos conjuntos se utilice exactamente una vez. Cuando es posible establecer tal relacin "uno a uno" entre dos conjuntos se dice que ambos conjuntos tienen la misma cardinalidad, lo cual, para conjuntos finitos, equivale a que tengan el mismo nmero de elementos.
[editar] Primera definicin positiva de conjunto infinito

La primera definicin positiva de conjunto infinito fue dada por Georg Cantor y se basa en la siguiente observacin: Si un conjunto S es finito y T es un subconjunto propio, no es posible construir una biyeccin entre S y T. Por ejemplo, si S = {1,2,3,4,5,6,7,8} y T = {2,4,6,8} no es posible construir una biyeccin entre S y T, porque de ser as tendran la misma cardinalidad (el mismo nmero de elementos).

Un conjunto es infinito si es posible encontrar un subconjunto propio del mismo que tenga la misma cardinalidad que el conjunto original. Consideremos el conjunto de los nmeros naturales N={0,1,2,3,4,5,...}, el cual es un conjunto infinito. Para verificar tal afirmacin es necesario encontrar un subconjunto propio y construir una biyeccin entre ambos. Para este caso, consideremos el conjunto de enteros positivos pares P={0,2,4,6,8,10,...}. El conjunto P es un subconjunto propio de N, y la regla de asignacin es una biyeccin:

ya que a todo elemento de N le corresponde un nico elemento de P y viceversa.

[editar] Nmeros ordinales infinitos Artculo principal: Nmero ordinal (teora de conjuntos)

Los nmeros ordinales sirven para notar una posicin en un conjunto ordenado (primer, segundo, tercer elemento ...). El ejemplo ms elemental es el de los nmeros naturales, que se definen rigurosamente as: Se nota el conjunto vaco:

se nota el conjunto que slo contiene :

luego se nota el conjunto que slo contiene

y :

Y as sucesivamente:

Por construccin, 0 est incluido en 1, quin a su vez est incluido en 2, ya que obviamente:

La inclusin permite convertir a los ordinales en un conjunto bien ordenado (dos elementos distintos siempre se pueden comparar, y aadiendo la igualdad dara un orden total) entre estos conjuntos que se prefiere, por costumbre, escribir "<", lo que da las relaciones 0 < 1 <

2 < 3. Decir que un ordinal es menor (estrictamente) que otro significa, cuando se les considera a ambos como conjuntos, que est incluido en el otro. Si a y b son ordinales, entonces aUb, la unin de los conjuntos, tambin es un ordinal. En particular, si son ordinales finitos (conjuntos finitos) correspondientes a los naturales a y b, entonces aUb corresponde al mayor de los dos, a o b. En general, si los conjuntos ai son ordinales, donde i toma todos los valores de un conjunto I, entonces a = Uai tambin lo ser. Y si el conjunto I no es finito, tampoco lo ser a. As obtendremos ordinales (o sea nmeros) infinitos. Acabamos de caer en una "trampa", al hablar de conjunto finito sin definir el concepto. Para definirlo rigurosamente, debemos compararlo con los ordinales. Dos conjuntos bien ordenados A y B son isomorfos (con relacin al orden) si existe una biyeccin f entre ambos que respeta el orden: si a < a' en A, entonces f(a) < f(a) en B. Resulta obvio constatar que si A es un conjunto ordenado con n elementos (n entero natural) entonces A es isomorfo an = {0, 1, 2, ..., n-1}. Basta con renombrar cada elemento de A para obtener A = {a0, a1, a2, ..., an-1}. Un isomorfismo es meramente un cambio de apelacin. Diremos que un ordinal es finito si cada una de sus partes no vacas tiene un elemento mximo. Por lo tanto todo natural es un ordenal finito. La intuicin nos dice que no hay otros ordenales finitos. Lgicamente, diremos que un conjunto ordenado es finito si es isomorfo a un ordinal finito, o sea a un natural. Para introducir los ordinales infinitos, es preciso dar ahora la definicin exacta de un ordinal:
Un conjunto A totalmente ordenado (por la inclusin) es un ordinal si y slo si cada elemento de A es tambin un subconjunto de A

Ya vimos que es el caso para los naturales: Por ejemplo, el conjunto 2 = {0, 1} admite 1= {0}, como elemento y por lo tanto tambin como subconjunto. Todo conjunto bien ordenado es isomorfo a un ordinal. Esto es obvio en el caso finito, y se muestra por induccin transfinita que lo es en el caso infinito. O sea, renombrando los elementos de un conjunto bien ordenado siempre obtenemos un ordinal.
[editar] Primer ordinal infinito

Ya hemos visto que una unin cualquiera de ordinales es un ordinal. Si tomamos una unin finita de ordinales finitos, fabricamos un ordinal finito. Para obtener el primer ordinal infinito tenemos que reunir un nmero no finito de ordinales finitos. Hacindolo, siempre caemos en el mismo conjunto, construido al reunir todos los ordinales finitos, es decir los naturales. El conjunto de todos los naturales, , es pues el primer ordinal infinito, lo que no debera sorprender, y lo notamos en este contexto (omega).

Para visualizar los ordinales, resulta muy prctico representar cada uno por un punto de una sucesin creciente convergente, como por ejemplo un = 1 - 1/(n+1). Esto da algo semejante a:
X__________X_________X_______X______X______X_____X____X___X__X_X_XXX........

Escojamos un punto de la sucesin, y miremos cuantos puntos estn ms a la izquierda. En el ejemplo, hay cuatro, y por lo tanto se trata de u4, lo que corresponde al ordinal 4. Para representar el ordinal w, resulta natural aadir a la sucesin previa un punto 'O' situado exactamente en el lmite de la sucesin:
X__________X_________X_______X______X______X_____X____X___X__X_X_XXX...O

A la izquierda de uw hay una infinidad de puntos, por lo tanto w es infinito. Pero si elegimos a cualquier otro punto de la sucesin a su izquierda, ya no es el caso, lo cual prueba que w es el primer ordinal infinito. Despus de w llega w+1, w+2 ... que se representan aadiendo a la derecha uno dos o ms puntos, inicialmente distantes, y luego ms cercanos entre s:
X________X________X_______X______X______X_____X____X___X__X_X_XXX...O_____ __X_____X

El ltimo punto dibujado corresponde a w+2. Ms generalmente, para sumar dos ordinales A y B se cambian los nombres de los elementos para que sean todos distintos, luego se juntan los conjuntos A y B, poniendo B a la derecha de A es decir imponiendo que cada elemento de B sea mayor que todos los de A. As hemos construido w+1, ... y as podemos construir 1+w: Notemos Y el elemento de 1, y X los de w:
Y__________X__________X_________X_______X______X______X_____X____X___X__X _X_XXX...

Salta a la vista que w y 1+w son muy parecidos. De hecho la funcin x x - 1 realiza un isomorfismo entre ellos (1+w tiene dos elementos llamados 0: 0A y 0B. El primero hace el papel de -1 en la funcin). Por lo tanto corresponden al mismo ordinal: 1+w = w. Mas no es el caso de w+1, que es distinto de w porque su el conjunto w+1 tiene un elemento mximo (el O del dibujo) mientras que el conjunto w no lo tiene (el lmite de los naturales no es un natural). El punto w (el O del dibujo) no tiene antecesor, es decir que no existe un n tal que n+1=w: se dice que w es un ordinal lmite. Cero tiene tambin esta propiedad pero no merece esta apelacin. Como w+1 1+w, la adicin no es conmutativa en los ordinales. Se construye del mismo modo w + w que se nota lgicamente 2w. La multiplicacin se define a partir de la adicin como para los naturales.

Una vez que se ha representado nw, con n natural, no resulta demasiado difcil imaginar lo que ser w.w, escrito w2. Luego se puede definir wn, con n natural, y, tomando el lmite, ww, tiene tantos elementos como la recta real. La sucesin tiene como lmite .

[editar] Nmeros cardinales infinitos Artculo principal: Nmero cardinal (teora de conjuntos)

El cardinal de un conjunto es el nmero de elementos que contiene. Esta nocin es por lo tanto distinta del ordinal, que caracteriza el lugar de un elemento en una sucesin. "Cinco" difiere de "quinto" aunque obviamente existe una relacin entre ambos. Se dice que dos conjuntos tienen el mismo cardinal si existe una biyeccin entre ellos. Contrariamente a los ordinales, esta biyeccin no tiene que respetar el orden (adems los conjuntos no tienen que ser ordenados). Como ya tenemos un surtido de conjuntos -los ordinales- veamos sus tamaos (o sea sus cardinales) respectivos. No es ninguna sorpresa que los ordinales finitos tambin son cardinales: entre dos conjuntos con n y m elementos, m y n distintos, no puede haber biyeccin, por lo tanto tienen cardinales distintos. Pero no es el caso con los ordenales infinitos: Por ejemplo, y + 1 estn en biyeccin por la funcin:

y , tal biyeccin no respeta el orden, por eso dos ordinales distintos pueden corresponder a un mismo cardinal.

Se suele notar |A| el cardinal de A. Se llama (alef0) el cardinal de w, o sea del conjunto de los naturales (donde alef es la primera letra del alfabeto hebreo). Si A y B son conjuntos, entonces , donde x designa el producto cartesiano de los conjuntos, y "" es el producto de los cardinales definidos por esta frmula. El conjunto de las partes de un conjunto A, P(A) est en biyeccin con el conjunto de las funciones de A hacia {0,1}, conjunto que de escribe 2A, como caso particular de YX que denota el conjunto de las aplicaciones de X hacia Y. El cardinal de R, conjunto de los reales, es por lo tanto 2alef0, porque R est en biyeccin con las partes de N, por medio de la escritura decimal de los reales. No se puede decidir, con los axiomas clsicos (los de la teora de los conjuntos, fundamentos de la matemtica), si existe un cardinal mayor que alef0 y menor que 2alef0, es decir si existe un conjunto con ms elementos que N pero con menos elementos que R. La hiptesis del continuo, que es un axioma adicional, afirma que no.

Hiptesis del continuo

De Wikipedia, la enciclopedia libre Saltar a navegacin, bsqueda

En teora de conjuntos, la hiptesis del continuo (abreviada HC) es una hiptesis, debida a Georg Cantor, sobre la cardinalidad del conjunto de los nmeros reales (denominado continuo por la recta real). Cantor introdujo el concepto de nmero cardinal para comparar el tamao de conjuntos infinitos, demostrando en 1874 que el cardinal del conjunto de los enteros es estrictamente inferior al de los nmeros reales. Lo siguiente a preguntarse es si existen conjuntos cuyo cardinal est incluido estrictamente entre el de ambos conjuntos. La hiptesis del continuo viene a decir:
No existen conjuntos cuyo tamao est comprendido estrictamente entre el de los enteros y el de los nmeros reales.

Matemticamente hablando, si el cardinal de los enteros es (aleph cero) y el cardinal de los nmeros reales es , la hiptesis del continuo afirma que:

donde |A| indica el cardinal de A. (aleph uno), el inmediato Admitiendo el axioma de eleccin, existe un nmero cardinal superior a , siendo la hiptesis del continuo equivalente a la igualdad

[editar] La HC como axioma independiente

Cantor trat en vano demostrar la hiptesis del continuo. La demostracin de sta constituye el primero de los clebres 23 problemas de Hilbert enunciados por David Hilbert en su famosa conferencia en Pars durante el Congreso Internacional de Matemticos de 1900. No fue hasta 1963 que se consigui demostrar que la hiptesis del continuo es un problema indecidible en el sistema axiomtico

Diagonalizacin de Cantor
De Wikipedia, la enciclopedia libre

(Redirigido desde Mtodo diagonal) Saltar a navegacin, bsqueda

La diagonalizacin de Cantor, tambin conocida como mtodo diagonal, es una prueba matemtica vislumbrada por Georg Cantor para demostrar que los nmeros reales no son contables. Esta demostracin de la imposibilidad de contar los nmeros reales no fue la primera, pero si es ms sencilla y elegante que sta. Posteriormente esta prueba inspir otras demostraciones, conocidas como argumento diagonal por la analoga con esta demostracin.

[editar] Nmeros reales

La prueba original de Cantor muestra que el intervalo [0,1] no es numerable. Se extiende a todos los reales, ya que es posible equipotenciar estos al intervalo. La demostracin es por reduccin al absurdo.
y y y y

Suponemos que el intervalo [0,1] es infinito numerable. Podramos elaborar una secuencia de los nmeros, ( r1, r2, r3,... ) Sabemos que los reales entre 0 y 1 pueden ser representados solamente escribiendo sus decimales. Colocamos los nmeros en la lista (no necesariamente en orden). Considerando los decimales peridicos, como 0.499... = 0.500..., como los que tienen infinitos nueves.

La secuencia q
r4 = 0. 2 3 3 0 1 2 6... r5 = 0. 4 1 0 7 2 4 6... r6 = 0. 9 9 3 7 8 3 8... r7 = 0. 0 1 0 5 1 3 5... ...

Ah tenemos todos los nmeros reales entre 0 y 1. Vamos a construir un nmero x que debera estar en la lista. Para eso usamos los nmeros de la diagonal.
r1 = 0. 5 1 0 5 1 1 0... r2 = 0. 4 1 3 2 0 4 3... r3 = 0. 8 2 4 5 0 2 6...

r4 = 0. 2 3 3 0 1 2 6... r5 = 0. 4 1 0 7 2 4 6... r6 = 0. 9 9 3 7 8 3 8... r7 = 0. 0 1 0 5 1 3 5... ...

y

El nmero x est definido as: al dgito xk le corresponde el k-simo dgito de rk + 1 (si fuera un nueve, le asign el cero)

Entonces x= 0.6251346.... El nmero x es claramente un real. Pero.. Dnde est x ? Si yo quisiera decir que x est en el n-simo lugar de mi lista, no sera cierto, ya que el elemento n-simo dgito de rn es distinto al de x.
y y

Entonces esta no es una lista completa de los reales en el intervalo [0,1]. Existe una contradiccin, por suponer que estos nmeros son infinitos numerables.

Para extender este resultado a R tenemos que establecer una relacin biyectiva entre este intervalo y los reales. Esto es posible gracias a una funcin como esta:

definida por Con esto podemos decir que hay tantos nmeros reales como reales entre 0 y 1.
Cardinalidad

Podemos demostrar el siguiente resultado paradjico: el conjunto de Cantor est en biyeccin con el segmento [0, 1], es decir, tiene tantos elementos como l. Para demostrar eso, vamos a construir una funcin suprayectiva desde el conjunto de Cantor (llammosle C) al conjunto de los reales [0, 1]. De esta forma, la cardinalidad de C ha de ser no menor que la de [0, 1]. Por otra parte, como C es un subconjunto de [0, 1], C adems ha de tener una cardinalidad no mayor. Por tanto se concluye que las cardinalidades de C y [0, 1] han de ser iguales. La funcin suprayectiva la construiremos as: Si se considera la escritura en base tres de los nmeros, se nota que, al quitar siempre el segundo tercio de todos los segmentos, se suprime exactamente los nmeros que tienen un 1 en su escritura trienal: el intervalo (1/3; 2/3) corresponde a los nmeros que empiezan por 0,1 (menos el 1/3 que tambin se puede escribir 0, 02222222222..... en base tres); el intervalo (1/9;2/9) corresponde a los nmeros que empiezan por 0,01, el (7/9;8/9) por 0,21 y as sucesivamente.

La suprayeccin se construye as: a cada nmero escrito con slo ceros y dos se le hace corresponder el nmero en base dos obtenido remplazando todos sus dos por unos. Por ejemplo, 0,2002 en base tres (que vale 2/3 + 2/81 = 56/81) tiene como imagen 0,1001 en base dos (que vale 1/2 + 1/16 = 9/16). Se obtiene as todos los nmeros en base dos que empiezan por 0,... y que tienen ceros o/y unos despus de la coma: es el intervalo [0,1] entero!