EL TEOREMA CANTOR-SCHRODER-BERNSTEIN

EN TOPOLOGIA

MIGUEL A. MALDONADO

Probado por G. Cantor (en 1897), E. Schroder (en 1896 aunque con un error corregido
despues) y por F. Bernstein (en 1898) el Teorema de Cantor-Schroder-Bernstein (CSB)
afirma que si existen funciones inyectivas entre conjuntos
(**) A B, BA
entonces existe una biyeccion entre A, B. El resultado es de gran importancia dentro de la
Teora de Conjuntos pues permite establecer resultados relacionados a la cardinalidad de
conjuntos: para conjuntos finitos las funciones inyectivas en (**) equivalen a las desigual-
dades | A| | B| | B| | A|, que juntas implican | A| = | B|. Para el caso infinito, el teorema
se emplea para construir una biyeccion entre los puntos de la recta real R y puntos en el
plano R2 = R R ([1]).

EN OTROS CONTEXTOS

Resulta natural preguntarse: si dotamos a los conjuntos de una estructura adicional y

pedimos que las funciones inyectivas en (**) preserven dicha estructura, el Teorema CSB
determina una equivalencia entre los conjuntos con su estructura adicional?. Para el caso
de grupos finitos y al pedir que las funciones en (**) sean monomorfismos el teorema
garantiza un isomorfismo de grupos. En el caso de grupos infinitos la inyectividad de las
funciones no es suficiente y el teorema no induce un isomorfismo; de hecho, considerando
los grupos G = i Z/2i Z, H = i Z/4i Z es posible construir un contraejemplo; vease [3],
Seccion 3.

Ahora, que ocurre para espacios topologicos?, el Teorema CSB induce una equivalencia
entre los espacios cuando pedimos que las funciones en (**) sean inyectivas y continuas?
Como veremos en los siguientes ejemplos la respuesta a la ultima pregunta es NO.

DOS CONTRAEJEMPLOS TOPOLOGICOS

Recordemos que una funcion entre espacios topologicos f : X Y es continua si para

toda sucesion convergente limi xi = x en X se tiene que limi f ( xi ) = f ( x ) en Y. Una
funcion f es un homeomorfismo si es funcion biyectiva, continua y ademas su inversa f 1
es tambien continua.

EJEMPLO. Tomemos los conjuntos X = (0, 1), Y = [0, 1] con topologas relativas de la recta
real R. Definamos f : X Y como la inclusion y g : Y X mediante g( x ) = 14 + 2x y
notamos que ambas son funciones inyectivas y continuas. Por otro lado sabemos que los
espacios no homeomorfos pues uno es compacto y el otro no. J

1
2 MIGUEL A. MALDONADO

EJEMPLO. Sean X, Y subespacios de la recta real dados por X = (0, 1) {2}, Y = (0, 1]

Definamos funciones f : X Y, g : Y X mediante

( (
x, x (0, 1) x, x (0, 1)
f (x) = g( x ) =
1, x = 2 2, x=1
Observemos que, de hecho, f es una biyeccion continua pero f 1 no es continua en 1
pues f 1 (1 n1 ) = 1 n1 converge a 1 pero f 1 (1) = 2.J

PALABRAS FINALES

El ultimo ejemplo de arriba puede ser generalizado a subespacios de R mas grandes;

vease [5], Seccion 4.5 donde se construyen dichos subespacios.
El Teorema CSB se relaciona con dos resultados de gran importancia dentro de la
Topologa: la Invarianza del Dominio y las Space Filling Curves o Curvas de Peano;
vease [4].
Como ocurre de manera frecuente en Matematicas un enunciado sencillo de es-
tablecer como el Teorema CSB tiene implicaciones de gran trascendencia y una de-
mostracion no inmediata; vease [2] para una revision historica de este resultado.
Al observar que el Teorema CSB no es valido en otros contextos distintos al conjun-
tista resulta interesante preguntarse por las condiciones que deben imponerse a los
objetos para que el resultado sea valido; vease [3] para resultados en este sentido.

References
[1] Enderton, H.B., Elements of Set Theory, Academic Press, 1977.
[2] Hinkis, A., Proofs of the Cantor-Bernstein Theorem: A Mathematical Excursion, Birkhuser, 2013.
[3] Laackman, D., The Cantor-Shreder-Bernstein Property in Categories, 2010. Disponible aqui
[4] McCleary, J., A Fist Course in Topology: Continuity and Dimension, AMS Student Mathematical
Library, 2006.
[5] Queffelec, H., Topologie, Dunod, France, 2007.

Miguel A. Maldonado
Unidad Academica de Matematicas,
Universidad Autonoma de Zacatecas.
mmaldonado@uaz.edu.mx