¿Se puede dividir un conjunto infinito en un número infinito de conjuntos infinitos?
Respuestas
¿Demasiados anuncios?Una forma sencilla de dividir el conjunto de los números naturales.Toma los conjuntos $S_n$ de números con suma de dígitos $n$ para cada todo $n$ . Obviamente, ningún conjunto se superpone y cada $S_n$ contienen números de la forma $1111..0000...$ donde la cadena de 1's contiene $n$ de ellos, y tantos ceros como desee
Nota: He escrito esto porque es interesante, y "redondea" la teoría, de que podemos dividir $X$ en un número infinito de bloques, siendo cada uno de ellos contablemente infinito.
Estoy marcando esto como wiki de la comunidad. Si varias personas votan en contra de esto y/o publican comentarios que no están de acuerdo con mis sentimientos, borraré esto.
Proposición 1: Todo conjunto infinito $X$ puede dividirse en bloques, cada uno de los cuales es contablemente infinito.
Prueba
Elija una orden de pozo $\le$ en $X$ que no tiene elementos máximos (véase este ) y que $\sigma$ denota la función de sucesión en $X$ . Sea $L$ denotan los elementos de $X$ que no tienen un predecesor inmediato. Para cada $\alpha \in L$ definir
$\tag 1 L_\alpha = \{ S^n(\alpha) \, | \, \text{integer } n \ge 0\}$
Esta familia de particiones $X$ (ver este ) y cada conjunto debe ser también contablemente infinito. $\quad \blacksquare$ .
Si $L$ es finito tome cualquier $\alpha \in L$ y dividir el conjunto contablemente infinito $L_\alpha$ en un número infinito de bloques (véanse las muchas y buenas respuestas en este hilo). Así que tenemos
Proposición 2: Todo conjunto infinito $X$ puede dividirse en un número infinito de bloques
siendo cada una de ellas contablemente infinita.
- Ver respuestas anteriores
- Ver más respuestas
0 votos
Cuando dices conjunto infinito, ¿te refieres a que no tiene límites o a que tiene una cantidad infinita de elementos?
0 votos
@Raskolnikov: Tener un número infinito de elementos
0 votos
Véase también: math.stackexchange.com/questions/12213/
1 votos
Ver: es.wikipedia.org/wiki/paradoja_de_el_Gran_Hotel_de_Hilbert
1 votos
Considere $$\mathbb N_{>0} = \bigsqcup_{k \geq 0} \{ n \in \mathbb N_{>0} | v_p(n)=k\},$$ donde $v_p$ es el $p$ -valoración de los ádicos (para un primo fijo $p$ ).