Ejercicio · ZW-TEOREMA-DIAGONAL-CANTOR-009 · ★★★ Avanzado

Sea \(A\) el conjunto de sucesiones binarias con finitos unos. ¿Es \(A\) numerable?

Elige una opción.

Ver respuesta
  • D. Sí: cada elemento de \(A\) queda determinado por una cadena finita de ceros y unos, y las cadenas finitas forman un conjunto numerable.

Explicación

Una sucesión con finitos unos se puede truncar después de su último 1, y las cadenas finitas de símbolos binarios forman un conjunto numerable. Un subconjunto de un conjunto no numerable puede ser numerable.

Estudiar Teoría de conjuntos en ZWMath →

Repasa el concepto: Teorema diagonal de Cantor

Teorema que prueba que el conjunto \(\{0,1\}^{\mathbb{N}}\) de sucesiones de ceros y unos no es numerable, construyendo una sucesión que no está en ninguna lista.

\[t(n)=1-s_n(n)\]

Más ejercicios de teorema diagonal de cantor

← ZW-TEOREMA-DIAGONAL-CANTOR-008 ZW-TEOREMA-DIAGONAL-CANTOR-010 →