Conjunto no numerable

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

Un conjunto no numerable es un conjunto que no puede ser enumerado, es decir, un conjunto tal que no existe una función sobreyectiva del conjunto de los número naturales a dicho conjunto. Es decir, un conjunto A es no numerable si no existe ninguna función f tal que:

f:\mathbb{N} \to A \quad \land \quad f: \mbox{sobreyectiva}

El argumento diagonal de Cantor es una demostración sencilla de que existen conjuntos infinitos que no son numerables.

Caracterizaciones alternativas[editar]

  • Un conjunto A es no numerable si no existe una función inyectiva: f:A \to \N
  • Un conjunto A es no numerable si su cardinal es mayor que Aleph-0: \mbox{card}(A) > \aleph_0

Ejemplos[editar]

Véase también[editar]