Intereting Posts

If $\{x_n\}$ satisfies that $x_{n+1} – x_n$ goes to $0$, is $\{x_n\}$ a Cauchy sequence?
A spiralling sequence based on integer divisors. Has anyone noticed this before?
Integration method for $\int_0^\infty\frac{x}{(e^x-1)(x^2+(2\pi)^2)^2}dx=\frac{1}{96} – \frac{3}{32\pi^2}.$
Inductive proof that $(m!^n)n! \mid (mn)!$
what is the best book for Pre-Calculus?
Derivation of inverse sine, what is wrong with this reasoning?
When will a parametric solution generate all possible solutions?
Do you need the Axiom of Choice to accept Cantor's Diagonal Proof?
Prove that the function$\ f(x)=\sin(x^2)$ is not uniformly continuous on the domain $\mathbb{R}$.
Why is radian so common in maths?
Prove that if $n$ is composite, then $(n-1)! \equiv 0 \pmod n$
Does the series $\sum n!/n^n$ converge or diverge?
How does 2D spatial Fourier (kx-ky) transform result responds to rotation of the original?
Any equivalent to the Four color theorem for non-planar graphs?
Different ways to prove there are infinitely many primes?

I’m trying to show that $ {L^{2}}([0,1]) $ is contained in $ {L^{1}}([0,1]) $. This is what I have so far:

Since $ f \in {L^{2}}([0,1]) $, then we have that $(\int_0^1 |f|^2)^{\frac{1}{2}}<\infty$. Thus we have $\int_0^1 |f|^2=M<\infty$, making $|f|^2$ integrable over $[0,1]$. This means that we can write $\int_{A_1} |f|^2+\int_{A_2} |f|^2$, where $A_1=\lbrace x\in[0,1]||f|^2>|f|\rbrace$ and $A_2=\lbrace x\in[0,1]||f|^2\leq |f|\rbrace$. Thus we have that $\infty > M=\int_{A_1} |f|^2+\int_{A_2} |f|^2\geq \int_{A_1} |f|$. Thus $f$ is integrable on $A_1$, and since $x\in A_2$ implies $f(x)<1$, then $\int_{A_2}f$ is integrable as well, hence $\int_{A_1} |f|+\int_{A_2} |f|=\int_0^1 f$ is integrable.

- Proof that every polynomial of odd degree has one real root
- Is there a reference for compact imbedding of Hölder space?
- Greatest lower bound of $\{x+k\mid x\in A\}$
- Prove that a continuous function on a closed interval attains a maximum
- Under what condition we can interchange order of a limit and a summation?
- Infinite Series $1+\frac12-\frac23+\frac14+\frac15-\frac26+\cdots$

- Limit of measurable functions is measurable?
- For a $C^1$ function, the difference $|{g'(c)} - {{g(d)-g(c)} \over {d-c}} |$ is small when $|d-c|$ is small
- Taylor's series when x goes to infinity
- Continuity from below for Lebesgue outer measure
- Can this intuition give a proof that an isometry $f:X \to X$ is surjective for compact metric space $X$?
- Questions on limit superiors
- Comparing the deviation of a function from its mean on concentric balls
- lemma: Cauchy sequences are bounded.
- If every real-valued continuous function is bounded on $X$ (metric space), then $X$ is compact.
- Non-trivial open dense subset of $\mathbb{R}$.

You should be proving that $ {L^{2}}([0,1]) \subseteq {L^{1}}([0,1]) $ instead.

**Due to an earlier typo error in the title, there was some minor confusion as to the correctness of the OP’s proof, which is actually correct.**

Let $ f \in {L^{2}}([0,1]) $. Define

$$

A := \{ x \in [0,1] ~|~ |f(x)| \leq 1 \} \quad \text{and} \quad B := \{ x \in [0,1] ~|~ |f(x)| > 1 \}.

$$

For each $ x \in B $, we have $ |f(x)| < |f(x)|^{2} $, so

$$

\int_{B} |f|^{2} ~d{\mu} < \infty \Longrightarrow \int_{B} |f| ~d{\mu} < \infty.

$$

Next, notice that $ \displaystyle \int_{A} |f| ~d{\mu} < \infty $ because $ |f| $ is bounded by the value $ 1 $ on $ A $, which has finite measure. As $ \{ A,B \} $ partitions the interval $ [0,1] $, we see that

$$

\int_{[0,1]} |f| ~d{\mu} = \int_{A} |f| ~d{\mu} + \int_{B} |f| ~d{\mu} < \infty.

$$

Therefore, $ f \in {L^{1}}([0,1]) $.

**Conclusion:** $ {L^{2}}([0,1]) \subseteq {L^{1}}([0,1]) $.

Here is a lemma that will be of great use to you in the future.

Lemma.Let $1 \leq p \leq q \leq \infty$ and $\mu(X) < \infty$. If $f \in L^q$, then $f \in L^p$ and $\|f\|_p \leq \mu(X)^{1/p-1/q}\|f\|_q$.

To prove it note that the case $p=1$ is trivial, and for $p>1$ note that $q/p$ and $q/(q-p)$ are Holder conjugates so that $\|f\|_p^p \leq \|f\|_{q/p}\|1\|_{(q-p)/q} = \|f\|_q^p \mu(X)^{(q-p)/q}.$

This of course implies $L^q(X) \subseteq L^p(X)$ when $\mu(X) < \infty$ and $p\leq q$.

- What does countable union mean?
- Dedekind's theorem on the factorisation of rational primes
- Limits defined for negative factorials (i.e. $(-n)!,\space n\in\mathbb{N}$)
- Function $\mathbb{R}\to\mathbb{R}$ that is continuous and bounded, but not uniformly continuous
- Showing that $G/(H\cap K)\cong (G/H)\times (G/K)$
- What exactly is calculus?
- Why does the midpoint method have error $O(h^2)$
- Does regular representation of a finite group contain all irreducible representations?
- Representing natural numbers as matrices by use of $\otimes$
- Evaluate $\int x^2e^{x^2} dx$
- In every set of $14$ integers there are two that their difference is divisible by $13$
- If you have two envelopes, and …
- Foundational proof for Mersenne primes
- A nontrivial p-group has nontrivial center
- How does Tree(3) grow to get so big? Need laymen explanation.