Tuesday, June 18, 2013

2.18

Let $Q = [0,1]$. Since $|f(x) - f(y)| \in L^1(Q \times Q)$, and $|f(x)| < \infty \hspace{0.25cm} \forall x \in Q$, it follows directly from Fubini's Theorem that for almost every $y \in Q$: $$\int_Q |f(x)-f(y)| \hspace{0.1cm}dx = \int_Q |f(x)- C| \hspace{0.1cm}dx < \infty$$ Where $C$ is a fixed real number in the range of $f$. Thus, it's easy to see: $$\int_Q |f(x)| \hspace{0.1cm} dx \leq \int_Q |f(x) - C| + |C| \hspace{0.1cm} dx = \ldots$$ $$\ldots = |C| + \int_Q |f(x) - C| \hspace{0.1cm} dx < \infty$$ Thus, $f \in L^1(Q)$, as desired.

No comments:

Post a Comment