Archivo de la etiqueta: sucesión

Teoría de los Conjuntos I: Conjuntos infinitos no numerables.

Por Gabriela Hernández Aguilar

Introducción

Al hablar de conjuntos infinitos, resulta natural pensar que entre cualesquiera dos de ellos debería existir una manera de «emparejar» sus elementos, es decir, establecer una biyección entre tales conjuntos, ya que, al fin y al cabo, ambos contienen infinitos elementos. Esta idea puede deberse a que, cuando uno piensa en conjuntos infinitos, lo primero que viene a la mente es el conjunto de los números naturales o el de los enteros, los cuales están ordenados de una manera bastante agradable y nos resulta «fácil» ubicarlos en una recta, como si fueran números colocados sobre una cinta métrica infinita.

Sin embargo, no todos los conjuntos infinitos poseen un orden tan agradable como el de estos dos conjuntos, y muchos de ellos presentan propiedades considerablemente diferentes. Por ejemplo, algunos conjuntos infinitos pueden no tener un buen orden como el de los naturales, o quizás exista tal orden pero nos resulte extremadamente difícil de identificar.

El teorema de Cantor nos demuestra que, efectivamente, la idea de emparejar los elementos de cualesquiera dos conjuntos infinitos es incorrecta. Un ejemplo específico es el conjunto de los números naturales $\mathbb{N}$ y su conjunto potencia $\mathcal{P}(\mathbb{N})$; es imposible emparejar cada elemento de $\mathbb{N}$ con uno y solo un elemento de $\mathcal{P}(\mathbb{N})$. Así se descubrió que existen infinitos de diferentes tamaños.

Esta entrada está dedicada precisamente a esta cuestión: exhibir conjuntos infinitos con «diferentes tamaños», específicamente, conjuntos que no sean numerables, es decir, que no sean equipotentes con $\mathbb{N}$. Como hemos venido haciendo, también emplearemos el muy importante teorema de Cantor-Schröder-Bernstein para probar ciertas equipotencias

Conjuntos más grandes que $\mathbb{N}$

Por el teorema de Cantor sabemos que para cada conjunto $A$ se tiene $|A|<|\mathcal{P}(A)|$, es decir, que existe una función inyectiva de $A$ en $\mathcal{P}(A)$ pero no una función biyectiva. Así pues, por ejemplo, $\mathcal{P}(\mathbb{N})$ además de ser un conjunto infinito tiene «más» elementos que $\mathbb{N}$, el cual es también infinito. Esto es una muestra de que existen conjuntos infinitos que no son equipotentes. En lo subsecuente exhibiremos algunos otros conjuntos infinitos que sí se pueden biyectar con $\mathcal{P}(\mathbb{N})$ y que por tanto no son numerables.

Comenzaremos proporcionando ejemplos que involucran conceptos que hemos visto en la entrada anterior.

Ejemplo.

El conjunto de sucesiones en $\mathbb{N}$, que denotaremos por $\mathbb{N}^{\mathbb{N}}$, es equipotente a $\mathcal{P}(\mathbb{N})$.

Demostración.

En la entrada anterior probamos que para cada $A\subseteq\mathbb{N}$ infinito, existe una única función biyectiva $F_A:\mathbb{N}\to A$ tal que $F_A(0)=\textnormal{min}(A)$ y que $F_A(n)<F_A(n+1)$ para cada $n\in\mathbb{N}$. Lo mismo mencionamos respecto a conjuntos finitos no vacíos, es decir, si $A\subseteq\mathbb{N}$ es un conjunto finito no vacío, digamos $|A|=n+1$ con $n\in\mathbb{N}$, existe una única función biyectiva $f_A:n+1\to A$ tal que $f_A(0)=\textnormal{min}(A)$ y que $f_A(m)<f_A(k)$ si y sólo si $m<k$ para cualesquiera $m,k\in n+1$.
Si $A\subseteq\mathbb{N}$ es finito, podemos extender la función $f_A$ a todo $\mathbb{N}$ de la siguiente manera: si $f_A:n+1\to A$ es la única función biyectiva que satisface $f_A(0)=\textnormal{min}(A)$ y $f_A(m)<f_A(k)$ si y sólo si $m<k$ para cualesquiera $m,k\in n+1$, definimos $F_A:\mathbb{N}\to A$ por medio de $$F_A(m)=\left\{\begin{array}{lcc}
f_A(m) & \textnormal{si}\ m\in n+1\\
\textnormal{min}(A) & \textnormal{si}\ m\notin n+1
\end{array}
\right.$$

Lo anterior nos permite asociar a cada elemento de $\mathcal{P}(\mathbb{N})\setminus\{\emptyset\}$ una única sucesión en $\mathbb{N}^{\mathbb{N}}$ por medio de la siguiente función: definamos $F:\mathcal{P}(\mathbb{N})\setminus\{\emptyset\}\to\mathbb{N}^{\mathbb{N}}$ como $F(A)=F_A$ para cada $A\in\mathcal{P}(\mathbb{N})$. Debido a la definición de las funciones $F_A$, en cualquier caso, ya sea que $A\subseteq\mathbb{N}$ es finito o infinito, se cumple que $F_A[\mathbb{N}]=A$; en consecuencia, si $A$ y $B$ son conjuntos no vacíos tales que $F(A)=F(B)$ tendríamos que para cada $k\in\mathbb{N}$, $F_A(k)=F_B(k)$ y, por ende, que $A=F_A[\mathbb{N}]=F_B[\mathbb{N}]=B$, lo cual muestra que $F$ es inyectiva.

Ahora bien, para cada $x\in\mathbb{N}^{\mathbb{N}}$ definamos $x+1:\mathbb{N}\to\mathbb{N}$ por medio de $(x+1)(n):=x(n)+1$ para cada $n\in\mathbb{N}$. La función $g:\mathbb{N}^{\mathbb{N}}\to\mathbb{N}^{\mathbb{N}}$ definida por medio de $g(x)=x+1$ es una función inyectiva, pues si $g(x)=g(y)$ para algunas $x,y\in\mathbb{N}^{\mathbb{N}}$, entonces, $x(n)+1=y(n)+1$ para cada $n\in\mathbb{N}$ y, por tanto, $x(n)=y(n)$ para cada $n\in\mathbb{N}$, es decir, $x=y$. Observemos además que $g(x)\not=x_0$ para cada $x\in\mathbb{N}^{\mathbb{N}}$, donde $x_0(n)=0$ para cada $n\in\mathbb{N}$; en efecto, si $x\in\mathbb{N}^{\mathbb{N}}$, entonces, $g(x)(n)=(x+1)(n)=x(n)+1\not=0$ para cada $n\in\mathbb{N}$ ya que $0$ no es sucesor de ningún número natural. Así, la función $g\circ F:\mathcal{P}(\mathbb{N})\setminus\set{\emptyset}\to\mathbb{N}^{\mathbb{N}}$ es inyectiva y $(g\circ F)(A)\not=x_0$ para cada $A\in\mathcal{P}(\mathbb{N})\setminus\{\emptyset\}$. Por tanto la función $h:\mathcal{P}(\mathbb{N})\to\mathbb{N}^{\mathbb{N}}$ definida como \[h(A)=\left\{\begin{array}{lcc}
(g\circ F)(A) & \textnormal{si}\ A\not=\emptyset\\
x_0 & \textnormal{si}\ A=\emptyset
\end{array}
\right.\] es inyectiva.

Para dar una función inyectiva de $\mathbb{N}^{\mathbb{N}}$ en $\mathcal{P}(\mathbb{N})$ retomaremos al conjunto de números primos $\mathbb{P}=\{p_n:n\in\mathbb{N}\}$ enumerado de tal forma que $p_n<p_{n+1}$ para cada $n\in\mathbb{N}$. Definamos ahora $T:\mathbb{N}^{\mathbb{N}}\to\mathcal{P}(\mathbb{N})$ por medio de $T(x)=\{p_n^{x(n)}:n\in\mathbb{N}\}$. Notemos que $T$ es una función inyectiva, pues si $T(x)=T(y)$, entonces, $\{p_n^{x(n)}:n\in\mathbb{N}\}=\{p_n^{y(n)}:n\in\mathbb{N}\}$ y así $p_n^{x(n)}=p_n^{y(n)}$ y $x(n)=y(n)$ para cada $n\in\mathbb{N}$, pues de otro modo se contradice al teorema fundamental de la aritmética. Por lo tanto, $x=y$ y $T$ es inyectiva.

Por el teorema de Cantor-Schröder-Bernstein concluimos que $|\mathcal{P}(\mathbb{N})|=|\mathbb{N}^{\mathbb{N}}|$.

$\square$

Al contrario de los conjuntos finitos, existen ejemplos de conjuntos infinitos que poseen subconjuntos propios equipotentes a ellos mismos, es decir, existe una biyección entre el subconjunto propio y el conjunto original. Un ejemplo de lo anterior es el conjunto de los números naturales, pues cualquier subconjunto propio de $\mathbb{N}$ que sea infinito resulta ser numerable. A continuación vamos a mostrar otro de estos ejemplos, pero esta vez con un conjunto infinito no numerable.

Ejemplo.

El conjunto $2^{\mathbb{N}}:=\{f\in\mathbb{N}^{\mathbb{N}}:f(n)\in\{0,1\}\ \textnormal{para cada}\ n\in\mathbb{N}\}$ es equipotente a $\mathcal{P}(\mathbb{N})$.

Demostración.

Para demostrar la equipotencia de este ejemplo vamos a exhibir una biyección entre tales conjuntos. Para ello haremos lo siguiente, si $A\in\mathcal{P}(\mathbb{N})$ definimos $\chi_{A}:\mathbb{N}\to\mathbb{N}$ por medio de $\chi_{A}(n)=\left\{\begin{array}{lcc}
1 & \textnormal{si}\ n\in A\\
0 & \textnormal{si}\ n\in\mathbb{N}\setminus A
\end{array}
\right.$

Lo anterior nos permite establecer una función entre $\mathcal{P}(\mathbb{N})$ y $2^{\mathbb{N}}$, función que de hecho resulta ser biyectiva. Veamos primero la inyectividad. Si para $A,B\in\mathcal{P}(\mathbb{N})$ se cumple $\chi_A=\chi_B$, entonces $\chi_A(n)=\chi_B(n)$ para cada $n\in\mathbb{N}$. En consecuencia, si $n\in A$, $1=\chi_A(n)=\chi_B(n)$ y por ende $n\in B$; análogamente, si $n\in B$, $1=\chi_B(n)=\chi_A(n)$ y por tanto $n\in A$. Por consiguiente $A=B$, lo que demuestra la inyectividad de la función.
Resta probar la sobreyectividad. Consideremos $\chi\in 2^{\mathbb{N}}$ un elemento arbitrario. Definamos $A:=\{n\in\mathbb{N}:\chi(n)=1\}$ y veamos que $\chi_A=\chi$. Si $n\in A$, entonces $\chi(n)=1$ por definición del conjunto $A$ y, por otro lado, $\chi_A(n)=1$ por definición de la función $\chi_A$. Si ahora $n\in\mathbb{N}\setminus A$, $\chi(n)=0$ por definición del conjunto $A$ mientras que $\chi_A(n)=0$ por definición de la función $\chi_A$. Esto muestra que $\chi(n)=\chi_A(n)$ para cada $n\in\mathbb{N}$ y por ende que $\chi=\chi_A$. Así pues, la función $F:\mathcal{P}(\mathbb{N})\to2^{\mathbb{N}}$ definida por medio de $F(A)=\chi_A$ para cada $A\in\mathcal{P}(\mathbb{N})$ es una biyección y, por tanto, $|\mathcal{P}(\mathbb{N})|=|2^{\mathbb{N}}|$.

$\square$

Como lo mencionamos previo al ejemplo, ahora contamos con un ejemplo de un conjunto infinito no numerable que posee un subconjunto propio equipotente a él, específicamente $\mathbb{N}^{\mathbb{N}}$ y $2^{\mathbb{N}}$ son equipotentes y $2^{\mathbb{N}}\subsetneq\mathbb{N}^{\mathbb{N}}$. Conjuntos de este tipo, es decir, conjuntos que poseen subconjuntos propios equipotentes a ellos reciben un nombre particular que anotamos en la siguiente definición.

Definición. Un conjunto $X$ se llama infinito según Dedekind si existe una función inyectiva $f:X\to X$ tal que $f[X]\not=X$.

Que un conjunto sea infinito según Dedekind implica que dicho conjunto es infinito, y ya que contamos con algunos ejemplos de conjuntos infinitos que también son infinitos según Dedekind, surge de manera natural la pregunta: ¿todo conjunto infinito es infinito según Dedekind? Dicha cuestión no la podemos responder con lo que hemos visto hasta ahora y es por eso que la dejaremos para más adelante.

Una consecuencia inmediata del último ejemplo es el siguiente corolario.

Corolario. Sean $a_0,a_1,\ldots,a_n\in\mathbb{N}$ naturales distintos con $n\geq1$. El conjunto $\{f\in\mathbb{N}^{\mathbb{N}}:f[\mathbb{N}]\subseteq\{a_0,a_1,\ldots,a_n\}\}$ es equipotente a $\mathbb{N}^{\mathbb{N}}$.

Demostración.

Dado que $j:\{f\in\mathbb{N}^{\mathbb{N}}:f[\mathbb{N}]\subseteq\{a_0,a_1,\ldots,a_n\}\}\to\mathbb{N}^{\mathbb{N}}$ definida por medio de $j(f)=f$ es una función inyectiva, basta exhibir una función inyectiva de $\mathbb{N}^{\mathbb{N}}$ en $\{f\in\mathbb{N}^{\mathbb{N}}:f[\mathbb{N}]\subseteq\{a_0,a_1,\ldots,a_n\}\}$.

Denotemos $A:=\{f\in\mathbb{N}^{\mathbb{N}}:f[\mathbb{N}]\subseteq\{a_0,a_1,\ldots,a_n\}\}$. Si denotamos $B:=\{f\in\mathbb{N}^{\mathbb{N}}:f[\mathbb{N}]\subseteq\{a_0,a_1\}\}$, entonces $B\subseteq A$. Para cada $\chi\in2^{\mathbb{N}}$ definamos $f_\chi:\mathbb{N}\to\mathbb{N}$ de la siguiente manera $f_\chi(n)=\left\{\begin{array}{lcc}
a_0 & \textnormal{si}\ \chi(n)=0\\
a_1 & \textnormal{si}\ \chi(n)=1
\end{array}
\right.$
A partir de la definición anterior tenemos que $f_{\chi}\in B$ para cada $\chi\in2^{\mathbb{N}}$, lo cual nos permite definir $F:2^{\mathbb{N}}\to B$ por medio de $F(\chi)=f_{\chi}$. Resulta que $F$ es una biyección. En efecto, por un lado es inyectiva ya que si $F(\chi)=F(\chi’)$, entonces $f_{\chi}(n)=f_{\chi’}(n)$ para cada $n\in\mathbb{N}$, de modo que si $\chi(n)=0$ se tiene que $a_0=f_{\chi}(n)=f_{\chi’}(n)$ y por tanto $\chi'(n)=0$; asimismo, si $\chi(n)=1$ se tiene que $a_1=f_{\chi}(n)=f_{\chi’}(n)$ por lo que $\chi'(n)=1$. Por tanto $\chi(n)=\chi'(n)$ para cada $n\in\mathbb{N}$ y así $\chi=\chi’$.
Ahora para mostrar que $F$ es sobreyectiva tomemos $f\in B$ elemento arbitrario y definamos $\chi:\mathbb{N}\to\mathbb{N}$ por medio de $\chi(n)=\left\{\begin{array}{lcc}
1 & \textnormal{si}\ f(n)=a_1\\
0 & \textnormal{si}\ f(n)=a_0
\end{array}
\right.$
Luego, $f_{\chi}=f$, pues si $n\in\mathbb{N}$ es tal que $f(n)=a_1$ se tiene que $\chi(n)=1$ por definición de $\chi$ y así $f_{\chi}(n)=a_1$; por otro lado, si $n\in\mathbb{N}$ es tal que $f(n)=a_0$ se tiene que $\chi(n)=0$ por definición de $\chi$ y por ende $f_{\chi}(n)=a_0$. Podemos concluir entonces que $F( \chi)=f_{\chi}=f$, lo que demuestra que $F$ es sobreyectiva. Por tanto $F$ es una biyección y $|2^{\mathbb{N}}|=|B|$.
Ahora, sean $h:\mathbb{N}^{\mathbb{N}}\to2^{\mathbb{N}}$ una función biyectiva (la cual sabemos que existe pues $|\mathbb{N}^{\mathbb{N}}|=|\mathcal{P}(\mathbb{N})|=|2^{\mathbb{N}}|$) y $\iota:B\to A$ la función inclusión, es decir, $\iota(f)=f$ para cada $f\in B$. Luego, $\iota\circ h:\mathbb{N}^{\mathbb{N}}\to A$ es una función inyectiva.
Por el teorema de Cantor-Schröder-Bernstein concluimos que $|\mathbb{N}^{\mathbb{N}}|=|A|$.

$\square$

Observemos que el corolario muestra que existen una infinidad de subcojuntos propios de $\mathbb{N}^{\mathbb{N}}$ equipotentes a él. Dado que $|\mathcal{P}(\mathbb{N})|=|\mathbb{N}^{\mathbb{N}}|$, entonces $\mathcal{P}(\mathbb{N})$ también posee una cantidad infinita de subconjuntos propios equipotentes a él. El siguiente ejemplo es uno de tales subconjuntos.

Ejemplo.

El conjunto $[\mathbb{N}]^{\mathbb{N}}:=\{A\subseteq\mathbb{N}:|A|=|\mathbb{N}|\}$ es equipotente a $\mathcal{P}(\mathbb{N})$.

Demostración.

Dado que $[\mathbb{N}]^{\mathbb{N}}\subseteq\mathcal{P}(\mathbb{N})$ lo único que hace falta es exhibir una función inyectiva de $\mathcal{P}(\mathbb{N})$ en $[\mathbb{N}]^{\mathbb{N}}$.

Consideremos al conjunto de números primos $\mathbb{P}=\{p_n:n\in\mathbb{N}\}$ donde $p_n<p_{n+1}$ para cada $n\in\mathbb{N}$. Definamos $g:\mathbb{N}^{\mathbb{N}}\to[\mathbb{N}]^{\mathbb{N}}$ como $g(x)=\{p_n^{x(n)+1}:n\in\mathbb{N}\}$. Dado que para cada $x\in\mathbb{N}^{\mathbb{N}}$, $x(n)+1\not=0$ para toda $n\in\mathbb{N}$, tenemos que $\{p_n^{x(n)+1}:n\in\mathbb{N}\}$ es un conjunto infinito, por lo que $g$ tiene el codominio adecuado. Por otro lado, $g$ es inyectiva ya que si $g(x)=g(y)$, entonces $p_n^{x(n)+1}=p_n^{y(n)+1}$ para cada $n\in\mathbb{N}$ por el teorema fundamental de la aritmética y, más aún, $x(n)+1=y(n)+1$ para cada $n\in\mathbb{N}$, lo que demuestra que $x=y$. Si $h:\mathcal{P}(\mathbb{N})\to\mathbb{N}^{\mathbb{N}}$ es una biyección se sigue que $g\circ h:\mathcal{P}(\mathbb{N})\to[\mathbb{N}]^{\mathbb{N}}$ es una función inyectiva. Por el teorema de Cantor-Schröder-Bernstein concluimos que $|\mathcal{P}(\mathbb{N})|=|[\mathbb{N}]^{\mathbb{N}}|$.

$\square$

Como un ejercicio para esta entrada dejaremos el siguiente ejemplo, el cual se puede probar con todo lo que hemos visto durante esta entrada.

Ejemplo.

$\mathbb{N}^{\nearrow\mathbb{N}}:=\{f\in\mathbb{N}^{\mathbb{N}}:f(n)<f(n+1)\ \textnormal{para cada}\ n\in\mathbb{N}\}$ es equipotente a $[\mathbb{N}]^{\mathbb{N}}$, y por tanto equipotente a $\mathcal{P}(\mathbb{N})$.

Para finalizar con esta serie de ejemplos de conjuntos no numerables y equipotentes a $\mathcal{P}(\mathbb{N})$ hablaremos del conjunto de números reales.
Para lo que sigue vamos a suponer que ya conocemos todas las propiedades básicas del conjunto de números reales, y si no se conocen dichas propiedades o lo que es un número real, puedes consultar cualquier libro introductorio a la teoría de conjuntos como el de Hernández1, o también puedes consultarlo en un libro de cálculo como el de Spivak2.
Además de lo dicho en el párrafo precedente, estaremos haciendo un abuso de notación escribiendo las contenciones $\mathbb{N}\subseteq\mathbb{Z}\subseteq\mathbb{Q}\subseteq\mathbb{R}$.
Dicho lo anterior tenemos la siguiente proposición.

Proposición. El intervalo abierto $(0,1)=\{r\in\mathbb{R}:0<r<1\}$ es equipotente a $\mathbb{R}$.

Demostración.

Definamos $f:\mathbb{R}\to(0,1)$ por medio de $f(x)=\left\{\begin{array}{lcc}
\frac{4x+1}{4x+2} & \textnormal{si}\ x\geq0\\
\frac{1}{2(1-2x)} & \textnormal{si}\ x<0
\end{array}
\right.$
Lo primero que se debe observar es que la función $f$ tiene el codominio adecuado, es decir, $f(x)\in(0,1)$ para cada $x\in\mathbb{R}$. Si $x\geq0$, entonces, $0<4x+1<4x+2$ y por tanto $0<\frac{4x+1}{4x+2}<1$, es decir, $f(x)\in(0,1)$; por otro lado, si $x<0$, entonces $0<-2x$ y así $1<1-2x$, lo cual implica que $0<\frac{1}{1-2x}<1$ y que $0<\frac{1}{2(1-2x)}<\frac{1}{2}<1$, es decir, $f(x)\in(0,1)$. Por tanto, $f(x)\in(0,1)$ para cada $x\in\mathbb{R}$. Es importante notar que para $x<0$ vimos que no sólo se cumple $0<f(x)<1$, sino también que $0<f(x)<\frac{1}{2}$. Por otro lado, para $x\geq0$, tenemos que $0<1+2x\leq1+4x$ por lo que $1\leq\frac{4x+1}{2x+1}$ y por tanto $\frac{1}{2}\leq\frac{4x+1}{4x+2}$; de modo que para $x\geq0$ no sólo se cumple que $f(x)\in(0,1)$, sino también que $f(x)\in[\frac{1}{2},1)$.
Veamos ahora que $f$ es una función inyectiva. Sean $x,y\in\mathbb{R}$ con $x\not=y$. Debido a que $\mathbb{R}$ posee un orden lineal podemos suponer que $y<x$. Tenemos los siguientes casos.
Caso 1. $y<0\leq x$. En este caso se tiene que $f(y)\in(0,\frac{1}{2})$ mientras que $f(x)\in[\frac{1}{2},1)$, razón por la cual $f(x)\not=f(y)$.
Caso 2. $0\leq y<x$. En este caso se tiene que $f(y)=\frac{4y+1}{4y+2}$ y $f(x)=\frac{4x+1}{4x+2}$. Luego, si ocurriera que $\frac{4y+1}{4y+2}=\frac{4x+1}{4x+2}$, entonces $(4y+1)(4x+2)=(4x+1)(4y+2)$, lo cual implica $(4y+1)(2x+1)=(4x+1)(2y+1)$, es decir, $8xy+4y+2x+1=8xy+4x+2y+1$ y por ende $2y=2x$, lo cual contradice que $x\not=y$. Por tanto, $f(x)\not=f(y)$.
Caso 3. $y<x<0$. Si ocurriera que $f(x)=f(y)$, entonces $\frac{1}{2(1-2x)}=\frac{1}{2(1-2y)}$ y por ende, $1-2x=1-2y$, de donde $x=y$ y eso contradice la elección de $x$ y $y$. Por tanto $f$ es una función inyectiva.

Veamos ahora que $f$ es sobreyectiva. Sea $r\in(0,1)$. Si $r\in(0,\frac{1}{2})$, entonces $2<\frac{1}{r}$, lo cual implica $\frac{1}{2}<\frac{1}{4r}$ y así $x:=\frac{1}{2}-\frac{1}{4r}$ es un número real menor a $0$; luego, para tal $x$ tenemos que $f(x)=\frac{1}{2(1-2x)}=\frac{1}{2(1-(1-\frac{1}{2r}))}=\frac{1}{2\cdot\frac{1}{2r}}=r$. Si ahora $r\in[\frac{1}{2},1)$, entonces $2r-1\geq0$ y $1-r>0$, por lo que $x:=\frac{2r-1}{4(1-r)}$ es un número real mayor o igual a $0$ para el cual se cumple $f(x)=\frac{4x+1}{4x+2}=\frac{4(\frac{2r-1}{4(1-r)})+1}{4(\frac{2r-1}{4(1-r)})+2}=\frac{\frac{2r-1}{1-r}+1}{\frac{2r-1}{1-r}+2}=\frac{\frac{2r-1+1-r}{1-r}}{\frac{2r-1+2-2r}{1-r}}=\frac{r}{1}=r$. Lo anterior prueba que $f$ es sobreyectiva.

Por lo tanto $f$ es una biyección y $|\mathbb{R}|=|(0,1)|$.

$\square$

Una consecuencia de la proposición anterior es el siguiente corolario.

Corolario. El intervalo $[0,1]:=\{r\in\mathbb{R}:0\leq r\leq1\}$ es equipotente a $\mathbb{R}$.

Demostración.

Dado que $[0,1]\subseteq\mathbb{R}$, basta mostrar que existe una función inyectiva de $\mathbb{R}$ en $[0,1]$. Por la proposición anterior existe una función biyectiva $f:\mathbb{R}\to(0,1)$ y así la función $F:\mathbb{R}\to[0,1]$ definida como $F(x)=f(x)$ para cada $x\in\mathbb{R}$ es inyectiva. Por el teorema de Cantor-Schröder-Bernstein concluimos que $|\mathbb{R}|=|[0,1]|$.

$\square$

Si bien la demostración del corolario anterior fue muy rápida y utilizamos el importante teorema de Cantor-Schröder-Bernstein, siempre resulta interesante determinar una biyección explícita, y precisamente en el caso del corolario anterior lo podemos hacer.

Definamos $S:=\{\frac{1}{n}:n\in\mathbb{N}\setminus\set{0}\}\cup\{0\}$. Definamos $g:[0,1]\to(0,1)$ por medio de $g(x)=\left\{\begin{array}{lcc}
x & \textnormal{si}\ x\notin S\\
\frac{1}{n+2} & \textnormal{si}\ x=\frac{1}{n},\ n\in\mathbb{N}\setminus\{0\}\\
\frac{1}{2} & \textnormal{si}\ x=0
\end{array}
\right.$

La función anterior resulta ser una biyección entre $[0,1]$ y $(0,1)$. Primero veremos que $g$ es inyectiva. Sean $x,y\in[0,1]$ con $x\not=y$. Tenemos algunos casos.

Caso 1. $x,y\notin S$. En este caso $g(x)=x\not=y=g(y)$.
Caso 2. $x\in S$, $y\notin S$. Dado que para cada $z\in S$ se tiene $g(z)\in S$, entonces, $g(x)\in S$ mientras que $g(y)=y\notin S$. Por tanto $g(x)\not=g(y)$.
Caso 3. $x\notin S$, $y\in S$. Análogo al caso $2$.
Caso 4. $x,y\in S$. Si $x=0$ y $y=\frac{1}{n}$ con $n\in\mathbb{N}\setminus\{0\}$, entonces $g(x)=\frac{1}{2}$ y $g(y)=\frac{1}{n+2}$. Como $n\geq1$ se tiene que $n+2\geq3$ y por tanto $\frac{1}{2}\not=\frac{1}{n+2}$, es decir, $g(x)\not=g(y)$. Análogamente, si $y=0$ y $x=\frac{1}{n}$ con $n\in\mathbb{N}\setminus\{0\}$, $g(x)\not=g(y)$. Supongamos ahora que $x=\frac{1}{n}$ y $y=\frac{1}{m}$ con $n,m\in\mathbb{N}\setminus\{0\}$ con $n\not=m$.
Luego, $g(x)=\frac{1}{n+2}\not=\frac{1}{m+2}=g(y)$ pues de lo contrario tendríamos $n+2=m+2$ y $n=m$, lo cual contradice $n\not=m$.
Los cuatro casos anteriores muestran que $g$ es inyectiva.

Veamos ahora que $g$ es sobreyectiva. Sea $x\in(0,1)$. Si $x\in S$, entonces $x=\frac{1}{n}$ con $n\in\mathbb{N}$, $n\geq2$, por lo que existe $m\in\mathbb{N}$ tal que $m+2=n$; si $m=0$, entonces $x=\frac{1}{2}=g(0)$ y si $m>0$, entonces, $g(\frac{1}{m})=\frac{1}{m+2}=\frac{1}{n}=x$.
Si $x\notin S$, entonces $g(x)=x$. Por tanto, $g$ es sobreyectiva y en consecuencia una biyección. Esto muestra que $[0,1]$ y $(0,1)$ son equipotentes y, por tanto, $[0,1]$ y $\mathbb{R}$ son equipotentes. Más aún, contamos con una biyección explícita entre $[0,1]$ y $\mathbb{R}$.

Para exhibir la biyección entre $[0,1]$ y $(0,1)$ utilizamos el hecho de que $[0,1]$ contiene un conjunto numerable, específicamente el conjunto $S=\{\frac{1}{n}:n\in\mathbb{N}\setminus\{0\}\}\cup\{0\}$. Precisamente este hecho fue el que jugó un papel fundamental, pues como veremos en la siguiente proposición, si $X$ es un conjunto infinito que contiene un conjunto numerable, entonces, para cada $A\subseteq X$ conjunto finito, se cumple $|X\setminus A|=|X|$.

Proposición. Sea $X$ un conjunto infinito tal que existe una función inyectiva $f:\mathbb{N}\to X$. Entonces, para cada $A\subseteq X$ conjunto finito, $|X\setminus A|=|X|$.

Demostración.

Como lo mostrarás en los ejercicios de esta sección, basta mostrar que para cada $x\in X$, los conjuntos $X\setminus\{x\}$ y $X$ son equipotentes.

Sea pues $x\in X$. Sea $f:\mathbb{N}\to X$ una función inyectiva y denotemos por $N$ a la imagen de $f$, esto es $N:=im(f)=\{f(n):n\in\mathbb{N}\}$.

Si $x\notin N$, definamos $g:X\to X\setminus\{x\}$ por medio de $g(y)=\left\{\begin{array}{lcc}
y & \textnormal{si}\ y\notin N\cup\{x\}\\
f(0) & \textnormal{si}\ y=x\\
f(n+1) & \textnormal{si}\ y=f(n)
\end{array}
\right.$

Comprobar que esta función es biyectiva es análogo a como lo hicimos con la función biyectiva que exhibimos entre los intervalos $[0,1]$ y $(0,1)$, por lo que lo dejaremos como un ejercicio para esta entrada.

Supongamos ahora que $x\in N$ y sea $n\in\mathbb{N}$ tal que $x=f(n)$. Para este caso definamos $h:X\to X\setminus\{x\}$ por medio de $h(y)=\left\{\begin{array}{lcc}
y & \textnormal{si}\ y\notin N\setminus\{f(m):m<n\}\\
f(m+1) & \textnormal{si}\ y=f(m),\ m\geq n
\end{array}
\right.$

Nuevamente, comprobar que esta función es biyectiva es similar a lo que hemos hecho. Esto nos permite concluir que $|X\setminus\{x\}|=|X|$ para cada $x\in X$.

$\square$

Para culminar la entrada mostraremos que $(0,1)$ y $\mathcal{P}(\mathbb{N})$ son equipotentes y que por tanto $\mathbb{R}$ y $\mathcal{P}(\mathbb{N})$ lo son. Esto lo escribiremos como un teorema.

Teorema. $(0,1)$ y $\mathcal{P}(\mathbb{N})$ son equipotentes.

Demostración.

Primero vamos a mostrar la siguiente afirmación: para cada $r\in(0,1)$, existe una única función $\chi_r:\mathbb{N}\to\mathbb{N}$ que satisface $\chi_r(n)\in\{0,1,2,3,4,5,6,7,8,9\}$ para cada $n\in\mathbb{N}$ y tal que $0\leq x-\sum_{i=0}^{n}\frac{\chi_r(i)}{10^i}<\frac{1}{10^{n}}$.

Sea pues $r\in(0,1)$. Probaremos por inducción que para cada $n\in\mathbb{N}$ existe una única función $\chi^{(n)}_r:n+1\to\mathbb{N}$ tal que $\chi^{(n)}_{r}[n+1]\subseteq\{0,1,2,3,4,5,6,7,8,9\}$ y $0\leq x-\sum_{i=0}^{n}\frac{\chi^{(n)}_{r}(i)}{10^i}<\frac{1}{10^n}$.
Para $n=0$ definamos $\chi^{(0)}_r:1\to\mathbb{N}$ por medio de $\chi^{(0)}_r(0)=0$. Luego, $0\leq r=r-\frac{\chi^{(0)}_r(0)}{10^0}<1=\frac{1}{10^0}$. Si $y:1\to\mathbb{N}$ es otra función tal que $y(0)\in\{0,1,2,3,4,5,6,7,8,9\}$ y $0\leq r-\frac{y(0)}{10^0}<\frac{1}{10^0}$, entonces, $y(0)\leq r<1$ y por tanto $y(0)=0$, ya que el único natural menor a $1$ es $0$. Por tanto, $\chi^{(0)}_r=y$, lo que demuestra que para $n=0$ el enunciado es verdadero.
Supongamos que el resultado es válido para algún $n\geq0$. Sea $\chi^{(n)}_r:n+1\to\mathbb{N}$ la única función de la hipótesis. Primero vamos a demostrar la existencia de una función $\chi^{(n+1)}_r$ con las propiedades deseadas y luego probaremos su unicidad. Dado que $0\leq r-\sum_{i=0}^{n}\frac{\chi^{(n)}_r(i)}{10^i}<\frac{1}{10^{n}}$ se sigue que $0\leq10^n(r-\sum_{i=0}^{n}\frac{\chi^{(n)}_r(i)}{10^i})<1$. Si ocurriera que $ r-\sum_{i=0}^{n}\frac{\chi^{(n)}_r(i)}{10^i}=0$, definimos $\chi^{(n+1)}_r:n+2\to\mathbb{N}$ como $\chi^{(n+1)}_r(i)=\left\{\begin{array}{lcc}
\chi^{(n)}_r(i) & \textnormal{si}\ i\in n+1\\
0 & \textnormal{si}\ i=n+1
\end{array}
\right.$
Definida de esa manera la función $\chi^{(n+1)}_r$ se satisfacen las hipótesis deseadas. Supongamos ahora que $0<r-\sum_{i=0}^{n}\frac{\chi^{(n)}_r(i)}{10^i}$ y definamos $\hat{r}:=10^n(r-\sum_{i=0}^{n}\frac{\chi^{(n)}_r(i)}{10^i})$, número real que sabemos satisface $0<\hat{r}<1$. Consideremos el conjunto $A=\{m\in\mathbb{N}:m\leq 10\hat{r}\}$, el cual es no vacío ya que $0<\hat{r}$ y por tanto $0\leq 10\hat{r}$; además, $A$ es acotado superiormente ya que $\hat{r}<1$ y por tanto $10\hat{r}<10$, de modo que si $m\in A$, entonces $m<10$. Así, existe $a=\textnormal{max}(A)$, el cual es un natural dentro del conjunto $\{0,1,2,3,4,5,6,7,8,9\}$. Por la maximalidad de $a$ se tiene que $10\hat{r}<a+1$ y así $\frac{a}{10}\leq\hat{r}<\frac{a}{10}+\frac{1}{10}$, es decir, $0\leq\hat{r}-\frac{a}{10}<\frac{1}{10}$.
Luego, dado que $\hat{r}=10^n(r-\sum_{i=0}^{n}\frac{\chi^{(n)}_r(i)}{10^i})$ se sigue que $0\leq r-\sum_{i=0}^{n}\frac{\chi^{(n)}_r(i)}{10^i}-\frac{a}{10^{n+1}}<\frac{1}{10^{n+1}}$. Si definimos $\chi^{(n+1)}_r:n+2\to\mathbb{N}$ por medio de $\chi^{(n+1)}_r(i)=\left\{\begin{array}{lcc}
\chi^{(n)}_r(i) & \textnormal{si}\ i\in n+1\\
a & \textnormal{si}\ i=n+1
\end{array}
\right.$

entonces $\chi^{(n+1)}_r$ es una función que satisface las condiciones deseadas. Así, hemos demostrado la existencia de una función con las características requeridas. Veamos que ésta es única. Supongamos que $\eta:n+2\to\mathbb{N}$ es otra función que satisface las mismas propiedades que $\chi_r^{(n+1)}$.
Luego, en particular, $0\leq r-\sum_{i=0}^{n+1}\frac{\eta(i)}{10^i}<\frac{1}{10^{n+1}}$ y por tanto $0\leq r-\sum_{i=0}^{n}\frac{\eta(i)}{10^i}<\frac{1}{10^{n+1}}+\frac{\eta(n+1)}{10^{n+1}}\leq \frac{1}{10^{n+1}}+\frac{9}{10^{n+1}}=\frac{10}{10^{n+1}}=\frac{1}{10^n}$. De este modo, la función $\eta\upharpoonright_{n+1}:n+1\to\mathbb{N}$ satisface las mismas condiciones que la función $\chi^{(n)}_r$, y por la unicidad de esta última función se sigue que $\eta(i)=\chi^{(n)}_r(i)$ para cada $i\in n+1$. Así, la función $\eta$ coincide con la función $\chi^{(n+1)}_r$ en $n+1$, por lo que resta probar que $\eta(n+1)=\chi^{(n+1)}_r(n+1)=a$.
Sabemos que $0\leq r-\sum_{i=0}^{n}\frac{\chi^{(n+1)}_r(i)}{10^i}-\frac{\eta(n+1)}{10^{n+1}}<\frac{1}{10^{n+1}}$ y por tanto, $0\leq 10^{n+1}(r-\sum_{i=0}^{n}\frac{\chi^{(n+1)}(i)}{10^i})-\eta(n+1)<1$, es decir, $\eta(n+1)\leq10\hat{r}<\eta(n+1)+1$, de modo que $\eta(n+1)\in A$ y por tanto $\eta(n+1)\leq a=\chi^{(n+1)}_r(n+1)$. Podemos elegir $k\in\{0,1,2,3,4,5,6,7,8,9\}$ tal que $\eta(n+1)+k=a$ y tenemos $a=\eta(n+1)+k\leq10\hat{r}$, razón por la cual \[k\leq10\hat{r}-\eta(n+1)<(\eta(n+1)+1)-\eta(n+1)=1\] y en consecuencia, $k=0$. Por tanto, $\eta(n+1)=a=\chi^{(n+1)}_r(n+1)$. Esto demuestra la unicidad de $\chi^{(n+1)}_r$.

Por lo tanto, para cada $n\in\mathbb{N}$ existe una única función $\chi^{(n)}_r:n+1\to\mathbb{N}$ tal que $\chi^{(n)}_r[\mathbb{N}]\subseteq\{0,1,2,3,4,5,6,7,8,9\}$ y $0\leq r-\sum_{i=0}^{n}\frac{\chi^{(n)}_r(i)}{10^i}<\frac{1}{10^n}$. En el proceso de la demostración de la existencia y unicidad de tales funciones, mostramos además que si $\chi^{(n+1)}_r:n+2\to\mathbb{N}$ es la única función con tales propiedades, entonces, $\chi^{(n)}_r=\chi^{(n+1)}_r\upharpoonright_{n+1}$, lo que muestra que el conjunto de funciones $\mathcal{F}:=\{\chi^{(n)}_r:n\in\mathbb{N}\}$ es un sistema de funciones compatibles y, por tanto, $\chi_r=\bigcup\mathcal{F}:\mathbb{N}\to\mathbb{N}$ es la única función con las propieades que enunciamos en la afirmación.

Estamos entonces en condiciones de definir una función $F:(0,1)\to\{f\in\mathbb{N}^{\mathbb{N}}:f[\mathbb{N}]\subseteq\{0,1,2,3,4,5,6,7,8,9\}\}$ por medio de $F(r)=\chi_r$. Dicha función es inyectiva, ya que si $\chi_r=\chi_{r’}$, entonces, para cada $n\in\mathbb{N}$, \[|r-r’|=|r-\sum_{i=0}^{n}\frac{\chi_r(i)}{10^i}+\sum_{i=0}^{n}\frac{\chi_{r’}(i)}{10^i}-r’|\] \[\leq|r-\sum_{i=0}^{n}\frac{\chi_r(i)}{10^i}|+|\sum_{i=0}^{n}\frac{\chi_{r’}(i)}{10^i}-r’|\] \[<\frac{1}{10^n}+\frac{1}{10^n}=\frac{2}{10^n}\] lo cual muestra que $|r-r’|=0$, es decir, $r=r’$. Por tanto, existe una función inyectiva de $(0,1)$ en $\mathbb{N}^{\mathbb{N}}$, de modo que $|(0,1)|\leq|\mathbb{N}^{\mathbb{N}}|=|\mathcal{P}(\mathbb{N})|$.

Ahora vamos a definir una función inyectiva de $2^{\mathbb{N}}$ en $(0,1)$. Sea $f\in2^{\mathbb{N}}$ y veamos que la sucesión de números racionales $(\sum_{i=0}^{n}\frac{f(i)}{10^{i+1}})_{n\in\mathbb{N}}$ converge. Dado que $f(i)\in\{0,1\}$ para cada $i\in\mathbb{N}$, la sucesión $(\sum_{i=0}^{n}\frac{f(i)}{10^{i+1}})_{n\in\mathbb{N}}$ es no decreciente. Luego, para cada $n\in\mathbb{N}$, $0\leq\sum_{i=0}^{n}\frac{f(i)}{10^{i+1}}\leq\sum_{i=0}^{n}\frac{1}{10^{i+1}}=\sum_{i=1}^{n+1}\frac{1}{10^i}=\frac{1-\frac{1}{10^{n+2}}}{1-\frac{1}{10}}-1=\frac{1-\frac{1}{10^{n+2}}}{(\frac{9}{10})}-1<\frac{1}{(\frac{9}{10})}-1=\frac{10}{9}-1=\frac{1}{9}<1$, por lo que dicha sucesión está acotada inferiormente por $0$ y superiormente por $\frac{1}{9}$ y, por tanto, converge a algún número real en el intervalo $[0,\frac{1}{9}]$. Sea $r_f\in[0,\frac{1}{9}]$ el límite de dicha sucesión.
Si la función $f$ no es la constante cero, entonces, $r_f\in(0,\frac{1}{9}]$, ya que existe $N\in\mathbb{N}$ tal que $f(N)=1$ y por tanto, para cada $n\geq N$, $\frac{1}{10^{N+1}}\leq\sum_{i=0}^{n}\frac{f(i)}{10^{i+1}}\leq r_f$.
Dado que el número real $r_f$ es único para cada $f\in2^{\mathbb{N}}$, estamos en condiciones de definir la siguiente función: sea $G:2^{\mathbb{N}}\to[0,1)$ tal que $G(f)=\left\{\begin{array}{lcc}
r_f & \textnormal{si}\ f\not=0\\
0 & \textnormal{si}\ f=0
\end{array}
\right.$

Veamos que $G$ es inyectiva. Por la definición de $G$ sabemos que si $f\not=0$, entonces $G(f)\not=G(0)$. Ahora, sean $f,h\in2^{\mathbb{N}}$ funciones no cero tales que $r_f=G(f)=G(h)=r_h$. Veamos que $f(n)=h(n)$ para cada $n\in\mathbb{N}$.
Algo que será de utilidad para probar esto último es la desigualdad $\sum_{i=n+1}^{m}\frac{1}{10^i}<\frac{1}{2\cdot10^n}$, la cual es cierta para cualesquiera $n,m\in\mathbb{N}$ tales que $n<m$. En efecto, si $n,m\in\mathbb{N}$ con $n<m$, tenemos \[\sum_{i=n+1}^{m}\frac{1}{10^i}=\sum_{i=0}^{m}\frac{1}{10^i}-\sum_{i=0}^{n}\frac{1}{10^i}=\frac{1-\frac{1}{10^{m+1}}}{1-\frac{1}{10}}-\frac{1-\frac{1}{10^{n+1}}}{1-\frac{1}{10}}=\frac{\frac{1}{10^{n+1}}-\frac{1}{10^{m+1}}}{(\frac{9}{10})}=\frac{\frac{1}{10^n}-\frac{1}{10^m}}{9}\] y este número racional es menor que $\frac{1}{2\cdot10^n}$, pues $\frac{1}{10^n}-\frac{1}{10^m}<\frac{1}{10^n}<\frac{9}{2}\cdot\frac{1}{10^n}$, pues $1<\frac{9}{2}$. Por tanto, para cualesquiera $n,m\in\mathbb{N}$ con $n<m$, $\sum_{i=n+1}^{m}\frac{1}{10^i}<\frac{1}{2\cdot10^n}$.

Ahora sí, veamos que $f(n)=h(n)$ para cada $n\in\mathbb{N}$.
Dado que las sucesiones de números racionales $(\sum_{i=0}^{n}\frac{f(i)}{10^{i+1}})_{n\in\mathbb{N}}$ y $(\sum_{i=0}^{n}\frac{h(i)}{10^{i+1}})_{n\in\mathbb{N}}$ convergen al número real $r_f$, existe $m\in\mathbb{N}$ tal que para cada $n>m$, $0\leq r_f-\sum_{i=0}^{n}\frac{f(i)}{10^{i+1}}<\frac{1}{4\cdot10}$ y $0\leq r_f-\sum_{i=0}^{n}\frac{h(i)}{10^{i+1}}<\frac{1}{4\cdot10}$. Luego, $$|\sum_{i=0}^{m+1}\frac{f(i)}{10^{i+1}}-\sum_{i=0}^{m+1}\frac{h(i)}{10^{i+1}}|=|\sum_{i=0}^{m+1}\frac{f(i)}{10^{i+1}}-r_f+r_f-\sum_{i=0}^{m+1}\frac{h(i)}{10^{i+1}}|$$ $$\leq|\sum_{i=0}^{m+1}\frac{f(i)}{10^{i+1}}-r_f|+|r_f-\sum_{i=0}^{m+1}\frac{h(i)}{10^{i+1}}|<\frac{1}{4\cdot10}+\frac{1}{4\cdot10}=\frac{1}{2\cdot10}.$$ Por otro lado, $|\frac{f(0)-h(0)}{10}|-|\sum_{i=1}^{m+1}\frac{f(i)-h(i)}{10^{i+1}}|\leq|\sum_{i=0}^{m+1}\frac{f(i)-h(i)}{10^{i+1}}|<\frac{1}{2\cdot10}$ y así \[|\frac{f(0)-h(0)}{10}|<\frac{1}{2\cdot10}+|\sum_{i=1}^{m+1}\frac{f(i)-h(i)}{10^{i+1}}|\leq\frac{1}{2\cdot10}+\sum_{i=1}^{m+1}\frac{|f(i)-h(i)|}{10^{i+1}}.\] Dado que $|f(i)-h(i)|=\left\{\begin{array}{lcc}
1 & \textnormal{si}\ \{f(i),h(i)\}=\{0,1\}\\
0 & \textnormal{si}\ f(i)=h(i)=0\ \textnormal{o}\ f(i)=h(i)=1
\end{array}
\right.$ entonces, $|f(i)-h(i)|\leq1$ para cada $i\in\mathbb{N}$ y, como $\sum_{i=1}^{m+1}\frac{1}{10^{i+1}}=\sum_{i=2}^{m+2}\frac{1}{10^i}<\frac{1}{2\cdot10}$, se sigue que \[\frac{|f(0)-h(0)|}{10}\leq\frac{1}{2\cdot10}+\sum_{i=1}^{m+1}\frac{1}{10^{i+1}}<\frac{1}{10}\] lo cual implica que $|f(0)-h(0)|=0$, es decir, $f(0)=h(0)$. Supongamos que para algún $n\in\mathbb{N}$ hemos probado que $f(m)=h(m)$ para cada $m\leq n$ y veamos que $f(n+1)=h(n+1)$.
Sea $m\in\mathbb{N}$, $m\geq n+1$, tal que para cada $k>m$, $|r_f-\sum_{i=0}^{k}\frac{f(i)}{10^{i+1}}|<\frac{1}{4\cdot10^{n+2}}$ y $|r_f-\sum_{i=0}^{k}\frac{h(i)}{10^{i+1}}|<\frac{1}{4\cdot10^{n+2}}$.
Luego, $|\sum_{i=n+1}^{m+1}\frac{f(i)-h(i)}{10^{i+1}}|=|\sum_{i=0}^{m+1}\frac{f(i)-h(i)}{10^{i+1}}|\leq|r_f-\sum_{i=0}^{m+1}\frac{f(i)}{10^{i+1}}|+|r_f-\sum_{i=0}^{m+1}\frac{h(i)}{10^{i+1}}|<\frac{1}{2\cdot10^{n+2}}$. Por otro lado, \[\frac{|f(n+1)-h(n+1)|}{10^{n+2}}-|\sum_{i=n+2}^{m+1}\frac{f(i)-h(i)}{10^{i+1}}|\leq|\sum_{i=n+1}^{m+1}\frac{f(i)-h(i)}{10^{i+1}}|<\frac{1}{2\cdot10^{n+2}}\] por lo que $$\frac{|f(n+1)-h(n+1)|}{10^{n+2}}<\frac{1}{2\cdot10^{n+2}}+|\sum_{i=n+2}^{m+1}\frac{f(i)-h(i)}{10^{i+1}}|\leq\frac{1}{2\cdot10^{n+2}}+\sum_{i=n+2}^{m+1}\frac{|f(i)-h(i)|}{10^{i+1}}$$ \[\leq\frac{1}{2\cdot10^{n+2}}+\sum_{i=n+2}^{m+1}\frac{1}{10^{i+1}}=\frac{1}{2\cdot10^{n+2}}+\sum_{i=n+3}^{m+2}\frac{1}{10^i}<\frac{1}{2\cdot10^{n+2}}+\frac{1}{2\cdot10^{n+2}}=\frac{1}{10^{n+2}}\]
y en consecuencia, $|f(n+1)-h(n+1)|=0$, es decir, $f(n+1)=h(n+1)$. Por tanto, para cada $n\in\mathbb{N}$, $f(n)=h(n)$, lo que demuestra que $f=h$.
Así, la función $G$ es inyectiva y, por consiguiente, $|2^{\mathbb{N}}|\leq|[0,1)|$. Dado que $|[0,1)|=|(0,1)|$, se sigue que $|\mathcal{P}(\mathbb{N})|=|2^{\mathbb{N}}|\leq|(0,1)|$. Por el teorema de Cantor-Schröder-Bernstein concluimos que $|(0,1)|=|\mathcal{P}(\mathbb{N})|$.

$\square$

Concluimos la entrada con el siguiente corolario, cuya prueba es consecuencia del teorema anterior y el hecho que $|\mathbb{R}|=|(0,1)|$.

Corolario. $\mathbb{R}$ y $\mathcal{P}(\mathbb{N})$ son equipotentes.

$\square$

Tarea moral

  1. Demuestra que el conjunto $\mathbb{N}^{\nearrow\mathbb{N}}:=\{f\in\mathbb{N}^{\mathbb{N}}:f(n)<f(n+1)\ \textnormal{para cada}\ n\in\mathbb{N}\}$ es equipotente a $[\mathbb{N}]^{\mathbb{N}}$.
  2. Demuestra que para cualquier conjunto infinito $X$ que contenga un conjunto numerable se cumple que $|X\setminus A|=|X|$, para cada $A\subseteq X$ conjunto finito.
  3. Sean $a,b\in\mathbb{R}$ con $a<b$. Demuestra que $|(a,b)|=|(0,1)|$.
  4. Exhibe una biyección entre $\mathbb{R}$ y $[0,\infty):=\{r\in\mathbb{R}:r\geq0\}$.

Más adelante…

Entradas relacionadas

  1. Hernández, F., Teoría de Conjuntos, México: Aportaciones Matemáticas No.13,
    SMM, 1998 ↩︎
  2. Spivak, M., Cálculo Infinitesimal (2a ed). México: Reverté, 1998. ↩︎

Seminario de Resolución de Problemas: La integral

Por Leonardo Ignacio Martínez Sandoval

Introducción

Ya hemos cubierto varios temas de cálculo y resolución de problemas. Comenzamos platicando acerca de continuidad y de dos teoremas importantes para funciones continuas: el teorema del valor intermedio y el teorema del valor extremo. Después, hablamos acerca de derivadas y de dos teoremas importantes para funciones diferenciables: el teorema de Rolle y el teorema del valor medio. Luego, vimos que la diferenciabilidad también nos ayuda a encontrar límites de cocientes y potencias de formas indefinidas mediante la regla de L’Hôpital. En esta entrada y la siguiente hablaremos de la integral y cómo las ideas detrás de su construcción, así como sus propiedades, pueden ayudar a resolver problemas.

Para entender esta sección bien, es importante que conozcas la construcción de la integral de Riemann en una variable, así como sus propiedades principales. También supondremos que conoces las técnicas usuales para resolver integrales. Esto se hace durante el primer año de un curso de cálculo a nivel licenciatura. También puedes revisarlo en la literatura clásica, como el libro de Cálculo de Spivak.

Usar la integral como un área

La integral es por definición un límite de sumas superiores o inferiores. Hay problemas en los que podemos aprovechar esto para entender una suma o una sucesión. A grandes rasgos lo que hacemos es:

  • Interpretar la sucesión o serie como una suma de areas correspondiente a una suma superior o inferior de cierta integral $\int f(x) \,dx$.
  • Usar lo que sabemos de integración para poder decir algo del área dada por $\int f(x)\, dx$
  • Regresar esta información al problema original.

Veamos un ejemplo de esto.

Problema. Calcula el siguiente límite $$\lim_{n\to \infty} \left(\frac{1}{n}+\frac{1}{n+1}+\ldots+\frac{1}{2n-1}\right).$$

La cantidad de términos de este límite depende de $n$, así que no podemos hacerlos uno por uno. No hay una forma sencilla de hacer la suma. Tampoco parece que podamos usar la regla de L’Hôpital. Lo que haremos es entender a la expresión dentro del límite de manera geométrica.

Sugerencia pre-solución. Haz una figura con la que puedas relacionar el límite que buscamos con cierta área que puedas expresar en términos de una integral.

Solución. Consideremos la gráfica de la función $f(x)=\frac{1}{x}$ en el intervalo $[n,2n]$ y el área debajo de esta gráfica, que mostramos en verde a continuación.

Integral de 1/x en el intervalo de n a 2n.
Gráfica de $1/x$ en el intervalo $[n,2n]$

Notemos que la suma que aparece en el problemas corresponde a sumar las áreas de los rectángulos de base $1$ y alturas $\frac{1}{n}$, $\frac{1}{n+1}$, $\ldots$, $\frac{1}{2n-1}$, que podemos encontrar en azul en la siguiente figura.

Cota con suma superior
Dar una cota inferior para nuestra expresión.

Así, obtenemos que podemos acotar inferiormente nuestra suma de la siguiente manera:

\begin{align*}
\frac{1}{n}+\ldots+\frac{1}{2n-1} &> \int_n^{2n} \frac{1}{x}\, dx\\
&= (\log x) \Big|_n^{2n} \\
&= \log 2.
\end{align*}

De manera similar, podemos pensar ahora en rectángulos que queden por debajo de la gráfica de la función, y que en total su area es menor que el valor de la integral. Los mostramos a continuación en color rojo:

Cota con suma inferior
Dar una cota superior para nuestra expresión (un poco cambiada)

De aquí, podemos dar la siguiente cota:

\begin{align*}
\frac{1}{n+1}+\ldots+\frac{1}{2n} &< \int_n^{2n} \frac{1}{x}\, dx\\
&= (\log x) \Big|_n^{2n} \\
&= \log 2.
\end{align*}

Si juntamos ambas desigualdades, deducimos que $$\log 2< \frac{1}{n}+\ldots+\frac{1}{2n-1}<\left(\frac{1}{n}-\frac{1}{2n}\right) + \log 2.$$

Ahora sí podemos hacer $n\to \infty$. Como ambos lados de la desigualdad convergen a $\log 2$, tenemos que la sucesión que nos interesa también debe converger a $\log 2$.

$\square$

Traducir a una integral y usar técnicas de integración

Hay varias técnicas que podemos usar para realizar integrales: cambio de variable, integración trigonométrica, integración por partes, integración por fracciones parciales, etc. En algunas ocasiones podemos transformar un problema a una integral, aplicar una de estas técnicas, y luego regresar al contexto original. Veamos un ejemplo de esto.

Problema. Demuestra que para cualquier par de enteros positivos $m$ y $n$ tenemos que $$\sum_{k=0}^n (-1)^k \binom{n}{k}\frac{1}{k+m+1} = \sum_{k=0}^m (-1)^k \binom{m}{k} \frac{1}{k+n+1}.$$

Sugerencia pre-solución. Intenta formular un problema equivalente aprovechando que para cualquier entero no negativo $r$ se tiene que $\frac{1}{r+1}=\int_0^1 t^r \, dt$. Tendrás que usar esto varias veces, usar la fórmula de binomio de Newton y después aprovechar una simetría para hacer un cambio de variable.

Solución. Notemos que $$\frac{1}{k+m+1}=\int_0^1 t^{k+m} \, dt.$$ Substituyendo en la expresión de la izquierda, obtenemos que la suma buscada es $$\sum_{k=0}^n(-1)^k\binom{n}{k}\int_0^1t^{k+m}\, dt.$$ Usando la linealidad de la integral y la fórmula del binomio de Newton tenemos que esta suma es igual a
\begin{align*}
&\int_0^1 \sum_{k=1}^n (-1)^k \binom{n}{k} t^{k+m}\, dt \\
=& \int_0^1 t^m(1-t)^n \, dt.
\end{align*}

Con el cambio de variable $s=1-t$, la integral anterior es igual a $$\int_0^1 s^n(1-s)^m.$$ Pero por un argumento inverso al que hicimos para llegar a la primer integral, esta segunda integral es igual a $$\sum_{k=0}^m (-1)^k\binom{m}{k}\frac{1}{k+n+1}.$$

Esto es justo el lado derecho en la identidad que queríamos.

$\square$

El teorema de Lebesgue

No todas las funciones son integrables con la definición de Riemann (que aquí simplemente llamaremos «ser integrable»), pues puede ser que el límite de las sumas superiores no sea igual al de las sumas inferiores. Un resultado profundo en cálculo es el criterio de Lebesgue, que caracteriza aquellas funciones acotadas que tienen integral de Riemann en un intervalo.

Teorema (criterio de Lebesgue). Una función acotada $f:[a,b]\to \mathbb{R}$ es integrable si y sólo si su conjunto de discontinuidades tiene medida $0$.

El teorema de Lebesgue da una prueba sencilla de que si $f$ y $g$ son integrables, entonces su producto también, lo cual no es fácil de probar a partir de la definición. A continuación esbozamos esta prueba.

Las discontinuidades de $f^2$ están contenidas en las de $f$, de modo que si $f$ es integrable, por el teorema de Lebesgue $f^2$ también. Además, suma y resta de integrables es sencillo ver que es integrable, de modo que $(f+g)^2$ también lo es. Para concluir, notamos que $$fg=\frac{(f+g)^2-f^2-g^2}{2},$$ de modo que $fg$ es integrable.

Veamos un problema que combina varias de las ideas de cálculo que hemos visto.

Problema. Si $f:[a,b]\to \mathbb{R}$ es una función tal que $f+\sin(f)$ es integrable, entonces $f$ también es integrable.

Sugerencia pre-solución. Usa el criterio de Lebesgue. Necesitarás estudiar las discontinuidades con cuidado, para lo cual es útil recordar cómo interactúan las funciones continuas con las sucesiones convergentes.

Solución. Como $f+\sin(f)$ es integrable, entonces es acotada. Así, $f$ también lo es. La función $g(x)=x+\sin(x)$ tiene derivada $1+\cos(x)\geq 0$ y que es $0$ sólo en un conjunto discreto de puntos, de modo que es estrictamente creciente. Además, los límites en $-\infty$ y $\infty$ son $-\infty$ e $\infty$ respectivamente. Por el teorema del valor intermedio, pasa por todos los reales. Así, $g$ es una función biyectiva.

Mostraremos que las discontinuidades de $f$ están contenidas en las de $f+\sin(f)$, o bien, dicho de otra forma, que si $f+\sin(f)$ es continua en $x$, entonces $f$ también. Tomemos una sucesión $\{x_n\}$ que converge a $x$. Como $f+\sin(f)$ es continua en $x$, tenemos que $\{f(x_n)+\sin(f(x_n))\}$ converge a $f(x)+\sin(f(x))=g(f(x))$.

Como $f$ es una función acotada, la sucesión $\{f(x_n)\}$ es acotada, y para ver que converge a un límite, basta ver que toda subsucesión convergente converge al mismo límite. Tomemos una subsucesión convergente digamos, al límite $L$. Tendríamos que $g(L)=g(f(x))$, y como $g$ es biyectiva tendríamos que $L=f(x)$. En otras palabras, toda subsucesión convergente de $\{f(x_n)\}$ converge a $f(x)$. De esta forma, $\{f(x_n)\}$ converge a $f(x)$. Con esto concluimos que $f$ es continua en $x$.

Concluimos que el conjunto de discontinuidades de $f$ está contenido en el de $f+\sin(f)$, el cual tiene medida $0$. De este modo, el de $f$ también tiene medida $0$ y por el criterio de Lebesgue, es integrable.

$\square$

Más problemas

Hay más ejemplos de problemas relacionados con la integral en la Sección 6.8 del libro Problem Solving through Problems de Loren Larson.

Trabajar hacia atrás

Por Leonardo Ignacio Martínez Sandoval

HeuristicasHay algunos laberintos en los cuales es más fácil empezar por la salida que por la entrada. Como que empezar al final nos da más información. De modo similar, hay algunos problemas que nos dan más información si empezamos por las conclusiones que por las hipótesis.

Así mismo, en algunos problemas se tiene que seguir un cierto proceso y la pregunta es acerca de algunos estados alcanzables. En vez de empezar con un estado y ver a dónde llega, es mejor preguntarse cómo pudimos llegar al estado buscado.

Estas ideas también sirven para saber «en donde estás» mientras resuelves un problema: ¿Qué es lo que quieres y qué es lo que sabes?

Ir a los videos…

Elegir notación efectiva

Por Leonardo Ignacio Martínez Sandoval

HeuristicasPara que las matemáticas realmente simplifiquen las cosas y no las compliquen más, una de las cosas que se necesita es tener una notación adecuada.

En esta serie de videos veremos algunos ejemplos en los cuales elegir variables adecuadas o una representación adecuada del problema puede ayudar en la solución del problema o bien simplifica algunas cuentas.

Ir a los videos…

Buscar un patrón

Por Leonardo Ignacio Martínez Sandoval

HeuristicasLa primer cosa que se puede hacer para empezar a resolver un problema es jugar con él. Hay que acostumbrarse a cómo funcionan sus elementos y para esto se hacen problemas chiquitos. En esta serie de videos veremos la idea general de buscar un patrón y realizaremos algunas conjeturas con esta técnica.

Ir a los videos…