Ejercicio · ZW-CONJUNTO-FINITO-004 · ★★☆ Intermedio
Si \(A\sim\{1,\dots,n\}\) y \(A\sim\{1,\dots,m\}\), ¿qué se puede afirmar?
Elige una opción.
Ver respuesta
- A. \(n=m\)
Ejercicio · ZW-CONJUNTO-FINITO-004 · ★★☆ Intermedio
Elige una opción.
Por el principio del palomar, las dos biyecciones fuerzan \(n=m\). Así \(|A|\) está bien definido.
Un conjunto \(A\) es finito si existe una biyección entre \(A\) y \(\{1,\dots,n\}\) para algún \(n\in\mathbb{N}\), donde \(\{1,\dots,0\}=\varnothing\).