Diferencia entre revisiones de «Conjunto numerable»

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''. >\mathbb{R}</math>Algunos autores extienden la definición para incluir los conjuntos finitos, y elbajo esta extensión un conjunto numerable es aquel que se puede poner en biyección con un ''subconjunto'' de laslos números naturales. Esta extensión será designada en este artículo con la expresión «conjunto a lo sumo numerable» o «conjunto finito o numerable».<ref>Formalmente, para que estas dos expresiones sean equivalentes, hace falta demostrar que todo partessubconjunto de <math>\mathbb{N}</math> noes sonfinito numerables,o ynumerable.</ref> asimismo muestra laEn existenciacaso de numerososque infinitospueda distintoshaber deambigüedad, lossiempre anterioresse ypuede especificar que tampocoun conjunto equipotente con <math>\mathbb{N}</math> es un «conjunto son''infinito'' numerablesnumerable».