Teorema de Cantor-Bernstein-Schröder

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 cualquier conjunto 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: Plantilla:Ecuación 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

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: Plantilla:Ecuación Obviamente se espera que la relación binaria anterior sea antisimétrica, es decir: Plantilla:Ecuación 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

Considérese el conjunto potencia de A y defínase la siguiente aplicación h_p sobre dicho conjunto: Plantilla:Ecuación Donde:

$Y-X:=\{x|x\in Y\wedge x\notin X\}$

$f[U]:=\{y\in B|\mathrm{\exists }x\in U,f(x)=y\}$

Primero debe probarse que la aplicación h_p anterior tiene un punto fijo. Para ello se considera la colección de conjuntos: Plantilla:Ecuación Y se considera la unión de conjuntos de la colección anterior, que por la propia de definición de la colección $𝒰$ se tiene que: Plantilla:Ecuación Para probar que $W=h_p(W)$ falta probar la inclusión recíproca para ello se tiene que: Plantilla:Ecuación Y por tanto queda probado que el conjunto W es un punto fijo de la aplicación h_p, para demostrar el teorema de Cantor-Schröder-Bernstein falta definir la biyección explícitamente. Consideremos, por ejemplo: Plantilla:Ecuación Puede comprobarse que la aplicación $h:A\to B$ así definida es la biyección buscada.