El teorema de Schröder-Bernstein ofrece una forma general de construir tales biyecciones.
Para casos simples como este, la construcción de una biyección es bastante simple: simplemente oculta los elementos adicionales cambiando una secuencia infinitamente contable.
Esto es exactamente como en el hotel de Hilbert. En la primera versión de ese rompecabezas tienes un hotel con un número infinito de habitaciones (etiquetadas 1, 2, 3, …), todas ellas ocupadas. ¿Cómo hacer espacio para un invitado más? Al mover a todos los invitados actuales: el invitado de la habitación [matemáticas] x [/ matemáticas] entrará en la habitación [matemáticas] x + 1 [/ matemáticas]. Todo el mundo todavía tiene una habitación pero voilà, la habitación 1 ahora está vacía.
- ¿Cuál es el significado de la suma de Cesaro?
- Las matemáticas se basan en la creencia en sus axiomas. ¿Qué pasa si estos axiomas están mal? ¿Se requeriría una prueba no matemática?
- ¿Qué fórmula matemática se puede usar para ver si la selección de un grupo es aleatoria o sesgada en función de una característica particular?
- ¿Existe una alternativa de código abierto / gratuita para Mathematica?
- Cómo decidir si el trabajo puede ser de una 'manivela', en lugar de un genio no reconocido
Por lo tanto, una posible forma de definir una biyección de [0,2) a (0,2) es la siguiente:
- Para cada [matemática] n \ geq 1 [/ matemática], asigne la fracción [matemática] 1 / n [/ matemática] a la fracción [matemática] 1 / (n + 1) [/ matemática].
- El paso anterior hizo “una habitación de hotel gratis” en 1, así que úsela para el nuevo huésped: mapa [matemáticas] 0 [/ matemáticas] a [matemáticas] 1 [/ matemáticas].
- Deje todos los demás elementos en sus lugares. (Es decir, para cada [matemática] x [/ matemática] que no sea 0 ni de la forma [matemática] 1 / n [/ matemática], asigne [matemática] x [/ matemática] a [matemática] x [/ matemática] .)