Ejercicio · ZW-TEOREMA-SCHRODER-BERNSTEIN-010 · ★★★ Avanzado
¿Cuál de las siguientes afirmaciones es falsa?
Elige una opción.
Ver respuesta
- B. Si \(f\colon \mathbb{N}\to\mathbb{N}\) es inyectiva, entonces \(f\) es biyectiva.
Ejercicio · ZW-TEOREMA-SCHRODER-BERNSTEIN-010 · ★★★ Avanzado
Elige una opción.
La función \(n\mapsto n+1\) de \(\mathbb{N}\) en sí mismo es inyectiva, pero no sobreyectiva, porque \(0\) no tiene preimagen. Las demás afirmaciones son verdaderas: el teorema de Schröder-Bernstein, y los hechos de que un conjunto inyectable en uno finito es finito y que un subconjunto de un conjunto finito es finito.
El teorema de Schröder-Bernstein afirma que si existen inyecciones de \(A\) en \(B\) y de \(B\) en \(A\), entonces existe una biyección entre \(A\) y \(B\).