Retornando al Hotel de Hilbert = Returning to Hilbert's Hotel
Se construyen particiones particulares del conjunto de los naturales a través de procesos recursivos generando, de esta manera, numerables ejemplos de conjuntos numerables y disjuntos cuya unión es un conjunto también numerable. El proceso es constructivo por lo cual no se hace uso del axioma de ele...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Electronic Article |
| Language: | Spanish |
| Subjects: | |
| Online Access: | Texto completo |
| Summary: | Se construyen particiones particulares del conjunto de los naturales a través de procesos recursivos generando, de esta manera, numerables ejemplos de conjuntos numerables y disjuntos cuya unión es un conjunto también numerable. El proceso es constructivo por lo cual no se hace uso del axioma de elección. Se presenta un programa que genera una de estas particiones especiales y se muestra cómo generar infinitas de las mismas. Esta línea de razonamiento puede tener múltiples aplicaciones en la teoría de conjuntos y de modelos. Probamos que la cantidad de formas de realizar estas particiones de los naturales es no numerable, existe mayor cantidad de estas particiones, bautizadas doblemente numerables, que números naturales. Para cada número natural mayor que 1, mostramos un procedimiento efectivo que genera estas particiones. Some partitions of Natural Number set are built through recursive processesgenerating in this manner countable examples of countable and disjoint sets whose unionis a set also countable. This process is constructive, so the Axiom of choice is not used.We provide a PC program that generates one of these special partitions and shows howto generate infinite of them. This line of reasoning can have multiple applications in Settheory and Model theory. We proved that the number of ways to make these partitionsof natural numbers is not countable, there are more of these partitions (named doublycountable) than natural numbers. For each natural number greater than 1, we show aneffective procedure that generates these partitions. |
|---|---|
| Item Description: | Sección Artículos de matemática |
| Physical Description: | 1 recurso en línea (p. 67-87) |