Diferencia entre revisiones de «Conjunto numerable»
Contenido eliminado Contenido añadido
m Revertidos los cambios de 186.14.26.130 a la última edición de 148.218.36.211 |
|||
Línea 36:
== Definiciones ==
De manera más formal, un [[conjunto]] ''C'' se dice que es '''numerable''' cuando es [[equipotencia|equipotente]] con el [[número natural|conjunto de los números naturales]] <math>\mathbb{N}</math>, es decir, cuando existe una [[biyección]] de <math>\mathbb{N}</math> con ''C''.
Por el contrario, un conjunto (infinito) no numerable es un conjunto infinito que no es equipotente con <math>\mathbb{N}</math>. El [[argumento de la diagonal de Cantor]] permite demostrar que el conjunto de los [[número real|números reales]] <math>\mathbb{R}</math> y el conjunto de las partes de <math>\mathbb{N}</math> no son numerables, y asimismo muestra la existencia de numerosos infinitos distintos de los anteriores y que tampoco son numerables.
{{AP|Teorema de Cantor}}
|