Teorema de Cantor-Bernstein-Schröder

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

El teorema de Schröder y Bernstein establece un criterio para establecer si existe una función biyectiva entre dos conjuntos cualesquiera A y B:

Para cualesquiera conjuntos A y B, si existe una función inyectiva de A en B y existe una función inyectiva de B en A, entonces existe una correspondencia biunívoca entre B y A. Formalmente:

\exists f,g\ (f:A\to B \land g:B\to A)\ \land\ (f, g\ \mbox{inyectivas}) \Rightarrow
\exists h\ (h:A\to B)\ \land\ (h\ \mbox{biyectiva})

El teorema puede parecer trivial para conjuntos finitos, pero el enunciado del teorema se cumple para conjuntos de cualquier cardinalidad. El teorema resulta útil en muchos casos para poder determinar si un conjunto tiene la misma cardinalidad que otro conjunto, ya que dos conjuntos tienen la misma cardinalidad justo cuando existe una correspondencia biunívoca entre ellos.


Aplicaciones[editar]

El teorema de Cantor-Schröder-Bernstein permite definir correctamente la cardinalidad como clase de equivalencia ya que como punto de partida de la relación de orden "tener más elementos que" se toma:

|A| \le |B| \Leftrightarrow \exists f\ (f:A\to B)\ \land\ (f \mbox{inyectiva})

Obviamente se espera que la relación binaria anterior sea antisimétrica, es decir:

|A| \le |B|\ \land\ |B| \le |A| \Rightarrow |B| = |A|

Pero eso, es lo que el teorema de Cantor-Shröder-Bernstein precisamente afirma, a saber, que se da la implicación anterior, con lo cual la relación binaria efectivamente es antisimétrica.

Demostración[editar]

Considérese el conjunto de partes de A y defínase la siguiente aplicación hp sobre dicho conjunto:

h_p:\mathcal{P}(A) \to \mathcal{P}(A), \qquad h_p(U)=A-g[B-f[U]]

Donde:

Y-X := \{x| x\in Y\ \land\ x\notin X\}
f[U] := \{Y\in \mathcal{P}(A)| \exists X\in \mathcal{P}(A): f(X)=Y\}

Primero debe probarse que la aplicación hp anterior tiene un punto fijo. Para ello se considera la colección de conjuntos:

\mathcal{U}:=\{U\in\mathcal{P}(A)| U\subset h_p(U)\}

Y se considera la unión de conjuntos de la colección anterior, que por la propia de definición de la colección \mathcal{U} se tiene que:

W:= \bigcup_{U\in\mathcal{U}} U \subset \bigcup_{U\in\mathcal{U}} h_p(U) \subset h_p(W)

Para probar que \scriptstyle W = h_p(W) falta probar la inclusión recíproca para ello se tiene que:

W \subset h_p(W) \Rightarrow h_p(W) \subset h_p(h_p(W))) \Rightarrow h_p(W)\in \mathcal{U}
\Rightarrow h_p(W) \subset W

Y por tanto queda probado que el conjunto W es un punto fijo de la aplicación hp, para demostrar el teorema de Cantor-Schröder-Bernstein falta definir la biyección explícitamente. consideremos por ejemplo:

h(x):=\begin{cases} f(x) & x\in W \\ g^{-1}(x) & x\notin W \end{cases}

Puede comprobarse que la aplicación \scriptstyle h:A\to B así definida es la biyección buscada.