Sea \(A=\{\frac{m}{2^n}, m\in\mathbb{Z}, n\in\mathbb{N}\}\) Calcular la clausura de A.
Mi idea fue pensar \(A=\bigcup_{i\in\mathbb{Z}}A_i\) y cada uno de estos tiene a 0 como punto de acumulación. PEro después pensé que este conjunto se parece a los racionales no periódicos... que se acumulan en todas partes...¿cual es la verdad?
me olvidé de decir quienes son los Ai: \(A_i:=\{\frac{i}{2^n},n\in\mathbb{N}\}\)
La definición de Quimey es la de denso: \(A\) es denso en \(X\) si \(\overline{A}\eq=X\). Fijate que no es difícil probar que \(A\) es denso si toda bola centrada en \(x\in X\) tiene intersección no vacía con \(A\)(esto es... alrededor de cada punto de \(x\) tenés elementos de \(A\) tan cerquita como querés). Podés pensar el ejercicio de varias maneras; una, recordando la demostración que entre dos reales dados hay un racional. Otra, pensando en desarrollos binarios: dado un número real del \([0,1]\), lo podés escribir como \(\sum_{n\geq 1}{a}_{n}{2}^{-n}\) con los \({a}_{n}\in \{0,1\}\) para todo \(n\).
Fijate si te sirven estas ideas; en la primera vas a tener que usar alguna propiedad de la parte entera probablemente. La segunda es más directa...
Saludos
Firma
I offer her that kernel of myself that I have saved, somehow; the central heart that deals not in words, traffics not with dreams and is untouched by time, by joy, by adversities