Intereting Posts

Basis for $\Bbb Z$ over $\Bbb Z$
Roots of unity filter, identity involving $\sum_{k \ge 0} \binom{n}{3k}$
The “Easiest” non-smoothable manifold
Solve $x^2+2=y^3$ using infinite descent?
What is (a) geometry?
Help evaluating a gamma function
Infinite Series $\sum\limits_{n=1}^\infty\frac{x^{3n}}{(3n-1)!}$
Lower bound for $\phi(n)$: Is $n/5 < \phi (n) < n$ for all $n > 1$?
Bounded convergence theorem
Inverse Matrices and Infinite Series
Prove that if a|b and b|c then a|c using a column proof that has steps in the first column and the reason for the step in the second column.
Testing Zeros Of The Riemann Hypothesis
Why are measures real-valued?
How to calculate volume given by inequalities?
Prove that $\dfrac{|x+y|}{1+|x+y|}\leq\dfrac{|x|}{1+|x|}+\dfrac{|y|}{1+|y|}$ for any $x,y$

If $f \in L_p, 1\le p\le \infty$, and $g \in L_\infty$, then the product $fg \in L_p$ and $\|fg\|_p \le \|f\|_p\|g\|_\infty$.

I am still trying to show the first part, that $fg \in L_p$. What I have tried so far is the following:

We must try and show that $$\int |fg|^p \, d\mu < \infty.$$

Notice that $$|fg|=|f||g|\le |f|\|g\|_\infty,$$ since $|g(x)|\le \|g\|_\infty$ for every $x$. Now \begin{align}\int |fg|^p d\mu &= \int \left(|f|~|g|\right)^p \, d\mu \\ &= \int |f|^p|g|^p d\mu \\ &\le \int |f|^p \|g\|_\infty^p \, d\mu \\ &= \|g\|_\infty^p \int |f|^p\, d\mu <\infty,\end{align} i.e. $fg \in L_p$.

- How do we justify differentiating under the integral for Poisson Integral
- Is it always true that $\sum^{\infty}a_{i}1_{A_{i}}-\sum^{\infty}b_{i}1_{B_{i}}=\sum^{\infty}c_{i}1_{C_{i}}$?
- Show there is a continuous isomorphism $l_{\infty}\rightarrow \left(l_1\right)^* $
- A question about Measurable function
- Helmholtz theorem
- How to explain the why here?

Is this correct?

EDIT: The inequality in question then follows directly from seeing that $||fg||_p=(\int |fg|^p d\mu)^{\frac{1}{p}}$ and applying the inequality we obtained above.

- Properties of $||f||_{\infty}$ - the infinity norm
- Why do we consider Borel sets instead of measurable sets?
- Subset $A\subset\mathbb R$ such that for any interval $I$ of length $a$ the set $A\cap I$ has Lebesgue measure $a/2$
- $\int_X f^p d\mu = p\int_{[0,+\infty)} t^{p-1}\mu(\{x\in X: f(x)>t\}) d\mu_t$ for any natural $p\ge 1$
- Expected value - continuous random variable
- Dirac delta distribution & integration against locally integrable function
- “+”-Sets are measurable.
- Dominated convergence theorem for absolutely continuous function
- Semigroups: Entire Elements (II)
- If $\int f=0$ and $f(x) \ge 0$ for all $x \in \mathbb{R}^d$, then $f=0$ a.e.

- Existence theorem for antiderivatives by Weierstrass approximation theorem
- Asymptotic behaviour of the length of a curve .
- The definition of metric space,topological space
- Exponential map on the n-sphere
- Proof of derivative of $e^x$ is $e^x$ without using chain rule
- Analysing a set in the complex plane
- Convergence/divergence of $\int_0^{\infty}\frac{x-\sin x}{x^{7/2}}\ dx$
- Solving the general quadratic congruence mod $2^k$
- Finding the derivative of the norm
- Predicting the number of decimal digits needed to express a rational number
- Is an Anti-Symmetric Relation also Reflexive?
- Lie bracket of a semidirect product
- weak homotopy equivalence (Whitehead theorem) and the *pseudocircle*
- Is there an easy proof for ${\aleph_\omega} ^ {\aleph_1} = {2}^{\aleph_1}\cdot{\aleph_\omega}^{\aleph_0}$?
- Do “other” trigonometric functions than Tan Sin Cos and their derivatives exist?