Dejemos que $n \in \mathbb{N}$ y que $A_n$ sea el conjunto dado por $$A_n:=\left\lbrace 1+ \frac{m^2}{n^2}: m \in \mathbb{N} \right\rbrace$$ ¿Puede ayudarme a determinar si $\lim_{n \to \infty} A_n $ ¿existe?
Gracias por cualquier ayuda.
Respuesta
¿Demasiados anuncios?
Para encontrar si el límite de una secuencia de los conjuntos existe necesitamos calcular $$ \liminf_{n\to\infty} A_n = \bigcup_{n\ge 1} \bigcap_{k\ge n} A_k$$ y $$ \limsup_{n\to\infty} A_n = \bigcap_{n\ge 1} \bigcup_{k\ge n} A_k$$ Si ambos conjuntos son iguales entonces definen $\lim_{n\to\infty} A_n$ .
Tenemos, para cualquier $n\in \mathbb N$ : \begin{align} \bigcap_{k\ge n}A_k &= \bigcap_{k\ge n} \left\{z: \exists m\in\mathbb N: z=1+\frac {m^2}{k^2} \right\}=\\&=\left\{z: \forall k\ge n \exists m\in\mathbb N: z=1+\frac {m^2}{k^2} \right\}= \\ &= \left\{1+q^2: \forall k\ge n \exists m\in\mathbb N: q=\frac mk \right\} =\\&= \left\{1+q^2: \forall k\ge n : kq \in\mathbb N\right\} =\\&= \left\{1+q^2: q \in\mathbb N\right\}\end{align} así que $$ \liminf_{n\to\infty} A_n = \bigcup_{n\ge 1} \bigcap_{k\ge n} A_k = \left\{1+q^2: q \in\mathbb N\right\}$$
También tenemos $$ \forall n\in\mathbb N \quad \forall q\in\mathbb Q_+ \quad \exists k\ge n \quad\exists m\in\mathbb N : q=\frac mk$$ $$ \forall n\in\mathbb N \quad \forall q\in\mathbb Q_+ \quad \exists k\ge n : 1+q^2\in A_k$$ $$ \forall n\in\mathbb N \quad \forall q\in\mathbb Q_+ : 1+q^2\in \bigcup_{k\ge n} A_k$$$$ \forall n\in\mathbb N :\{1+q^2:q\in\mathbb Q_+\} \subset \bigcup_{k\ge n}A_k$$ Por otra parte, es evidente que $$ \forall k\in\mathbb N: A_k \subset \{1+q^2:q\in\mathbb Q_+\}$$ así que $$ \forall n\in\mathbb N: \bigcup_{k\ge n}A_k \subset \{1+q^2:q\in\mathbb Q_+\}$$ y eso significa que $$ \forall n\in\mathbb N: \bigcup_{k\ge n}A_k = \{1+q^2:q\in\mathbb Q_+\}$$ $$ \bigcap_{n\ge 1} \bigcup_{k\ge n}A_k = \{1+q^2:q\in\mathbb Q_+\}$$ $$ \limsup_{n\to\infty} A_n = \{1+q^2:q\in\mathbb Q_+\}$$
Tenemos $$ \liminf_{n\to\infty} A_n = \left\{1+q^2: q \in\mathbb N\right\} \neq \left\{1+q^2:q\in\mathbb Q_+\right\} = \limsup_{n\to\infty} A_n $$ así que $\lim_{n\to\infty} A_n $ no existe.
