Tema

(otro)Problema de Cardinalidad

5 respuestas 9846 visitas

Hola nuevamente yo con un problema de Cardinalidad. Esta vez el ejercicio es este: "hallar la cardinalidad de \(D=\lbrace (q_{n}) \subset \mathbb{Q} / (q_{n}) \text{ periodica}\rbrace\)".
Primero no se bien a que se refiere con \((q_{n}) \text{ periodica}\): una sucesión que de movida sea periódica, algo como \((1 1 1 1 1...)\) o \((1 2 1 2 1 2..)\) o una sucesión que a partir de algún término sea periódica, como \((1 2 3 4 5 6...567856785678...)\). De todas formas no sé si eso es un problema en sí. Ahora bien, de entrada creí que \(D\) es numerable, entonces a partir de ahí todo lo que hice fue buscar algún conjunto numerable con quien encontrar una biyección, o al menos una función inyectiva o sobreyectiva. Se me ocurrió pensar en alguna relación entre nuestro conjunto \(D\) y \(E=\lbrace (q_{n}) \subset \mathbb{Q}/ (q_{n}) \text{ tiene finitos terminos}\}\), este último es numerable, ya que está en biyección con la unión numerable de los \(\mathbb{Q}^{n}\) y cada \(\mathbb{Q}^{n}\) es numerable, entonces \(E~\sim\mathbb{N}\). Esta idea viene de pensar en que la sucesión \((1 2 3 4 5 5 5 5 5....)\dashrightarrow(1 2 3 4 5)\), o sea, que en el fondo, las sucesiones periódicas tienen finitos elementos.
Perdí todo el día pensando esto y no logre hallar una función entre \(D\) y\(E\). Alguna sugerencia de como encarar el ejercicio y si lo que pense tiene sentido o no?

Gracias!

Editado 1 vez.

Lo que te recomiendo es que uses \(\LaTeX\) para escribir expresiones matemáticas. Si no sabés usarlo hay una explicación en la sección de reglas.

Firma

Quimey

Recien ví tu sugerencia, y me salió eso, use el Texmaker que recomendaron en el foro. Gracias, espero que se entienda ahora un poco mejor, 😳

Venís bien, el conjunto ese es numerable. Y ya tenés el 90% del ejercicio al notar que alcanzan finitos términos para describir tu sucesión (no importa cuál de las dos definiciones de periódica uses, la respuesta es la misma).

saludos

Gracias por la respuesta, no me doy cuenta de como escribir esa función entre \(D\) y \(E\), de tal forma que \(D\) me resulte numerable como mencionamos antes.

Sea n el periodo (o sea el primer lugar a partir del que se repite), podés pensar a tu sucesión como un elemento de \(\mathbb{Q}^n\).