Ejercicio · ZW-EQUIPOTENCIA-010 · ★★★ Avanzado

Sea \(f\colon A\to B\) biyectiva, con \(A\) finito. ¿Por qué \(B\) también es finito?

Elige una opción.

Ver respuesta
  • D. Porque la inversa \(f^{-1}\) compuesta con una biyección \(A\to\{1,\dots,n\}\) da una biyección \(B\to\{1,\dots,n\}\)

Explicación

Si \(A\) tiene \(n\) elementos, hay una biyección \(\varphi\colon A\to\{1,\dots,n\}\). Entonces \(\varphi\circ f^{-1}\) es una biyección \(B\to\{1,\dots,n\}\), y \(B\) es finito.

Estudiar Teoría de conjuntos en ZWMath →

Repasa el concepto: Equipotencia

Dos conjuntos \(A\) y \(B\) son equipotentes si existe una biyección \(f\colon A\to B\). Se escribe \(A\sim B\).

\[A\sim B \iff \exists\, f\colon A\to B\ \text{biyectiva}\]

Más ejercicios de equipotencia

← ZW-EQUIPOTENCIA-009