MATEMATICAS.NET

Las sucesiones binarias y la cardinalidad del continuo (2)

Anuncios

Vamos a probar que el conjunto de todas las sucesiones binarias tiene el mismo cardinal que el de los números reales. Esto, en virtud del resultado demostrado anteriormente, nos muestra que el conjunto de las partes de tiene el cardinal del continuo.

Si es un conjunto, escribimos para denotar su cardinal. Si existe una aplicación inyectiva , escribimos . En esta demostración vamos a usar el teorema de Cantor-Schröder-Bernstein que nos dice que si y , entonces .
Sea el intervalo de la recta real. Cada de dicho intervalo se puede expresar en la forma
,
donde es una sucesión binaria. En el caso de que con , podemos obtener sucesiones binarias , distintas tales que
.
Por ejemplo, las sucesiones binarias

dan lugar a . Para evitar esto, consideramos que cada se expresa en forma binaria con un número finito de unos. De esta manera, a cada del intervalo le correspondería una única representación binaria y, en consecuencia, una única sucesión binaria. Así pues, la aplicación
,
que asigna a cada del intervalo la sucesión binaria tal que el conjunto es finito y , es una aplicación inyectiva. Esto significa que .
Sea una sucesión binaria. La aplicación
,
dada por , está bien definida y es inyectiva. En efecto, los desarrollos de la forma con dan lugar a números reales del intervalo . Además, al no existir en tales desarrollos una infinidad de nueves, resultan ser únicos. Por tanto, . Aplicando Cantor-Schröder-Bernstein tenemos que , lo que prueba que el conjunto de las sucesiones binarias tiene la cardinalidad del continuo.

Anuncios