Ejercicio · ZW-AXIOMA-DE-ELECCION-009 · ★★★ Avanzado

Un estudiante afirma que la familia \(\{(0,n): n\in\mathbb{N}, n\ge 1\}\) no admite función de elección sin el axioma. ¿Qué contraejemplo refuta su afirmación?

Elige una opción.

Ver respuesta
  • C. La función \(f(n)=\tfrac{1}{2}\), que cumple \(f(n)\in(0,n)\) para todo \(n\ge 1\).

Explicación

Como \(\tfrac{1}{2}\) pertenece a cada intervalo \((0,n)\) con \(n\ge 1\), la función constante es una elección explícita y no se necesita el axioma. Las afirmaciones sobre equipotencia o numerabilidad no deciden por sí solas si existe una función de elección.

Estudiar Teoría de conjuntos en ZWMath →

Repasa el concepto: Axioma de elección

Afirmación de que toda familia de conjuntos no vacíos admite una función de elección \(f\) que escoge un elemento de cada conjunto de la familia.

\[\forall X\,(\emptyset\notin X \rightarrow \exists f\,\forall A\in X\,(f(A)\in A))\]

Más ejercicios de axioma de elección

← ZW-AXIOMA-DE-ELECCION-008 ZW-AXIOMA-DE-ELECCION-010 →