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:
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:
Obviamente se espera que la relación binaria anterior sea antisimétrica, es decir:
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 potencia de A y defínase la siguiente aplicación hp sobre dicho conjunto:
Donde:
Primero debe probarse que la aplicación hp anterior tiene un punto fijo. Para ello se considera la colección de conjuntos:
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:
Para probar que falta probar la inclusión recíproca para ello se tiene que:
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:
Puede comprobarse que la aplicación así definida es la biyección buscada.
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.