Dejemos que $(X,\mathbb{X}, \lambda)$ sea un espacio de medidas.
Pregunta
Dejemos que $X=\mathbb{N}$ y que $\mathbb{X}$ sea la colección de todos los subconjuntos de $\mathbb{N}$ . Sea $\lambda$ sea definido por $$ \lambda(E)=\sum_{n \in E}\left(1 / n^{2}\right), E \in \mathbb{X} $$ (a) Demuestre que $f: X \rightarrow \mathbb{R}, f(n)=\sqrt{n}$ satisface $f \in L_{p}$ si y sólo si $1 \leq p<2 .$
Solución
Tenemos que $$ \int|f|^{p} \mathrm{d} \mu=\sum_{n=1}^{\infty} \frac{\sqrt{n}^{p}}{n^{2}}=\sum_{n=1}^{\infty} n^{p / 2-2} $$ Así, $f \in L_{p}$ si y sólo si $(p / 2-2)<-1$ lo que ocurre si y sólo si si $1 \leq p<2$
No entiendo cómo se obtiene la primera igualdad. ¿Cómo la encontramos? $$\int|f|^{p} \mathrm{d} \mu=\sum_{n=1}^{\infty} \frac{\sqrt{n}^{p}}{n^{2}}$$
Probé con la definición de la integral de Lebesgue tratando de encontrar una aproximación mediante una función simple $\phi$ de la función $f$ , pero no puedo encontrar $\phi$ con esta respuesta.