Knowledge base dedicated to Linux and applied mathematics.
Home > Latex > FAQ > Latex - FAQ > $L^1$, $L^2$, $L^p$ and $L^\infty$ spaces in Latex
All the versions of this article: <English> <français>
How to write L1 space in Latex ? How to write L2 space in Latex ? How to write Lp space in Latex ? How to write L infinity space in Latex ?
The spaces $L^p(\Omega)$ are functional spaces that describe integrable functions on a set $\Omega$. Specifically, a function $f$ is in the space $L^p(\Omega)$ if its $L^p$ norm is finite, where the norm is defined as:
$$
\|f\|_{L^p(\Omega)} = \left( \int_{\Omega} |f(x)|^p \mathrm{d}x \right)^{1/p}
$$
$$ \|f\|_{L^p(\Omega)} = \left( \int_{\Omega} |f(x)|^p \mathrm{d}x \right)^{1/p} $$
where $|f(x)|^p$ represents the absolute value of $f(x)$ raised to the power $p$, and $\mathrm{d}x$ represents the volume element in the space $\Omega$. The spaces $L^p(\Omega)$ are Banach spaces for $1 \leq p < \infty$.
The space $L^1(\Omega)$ is the space of functions $f$ such that:
$$
\int_{\Omega} |f(x)| \mathrm{d}x < \infty
$$
$$ \int_{\Omega} |f(x)| \mathrm{d}x < \infty $$
The space $L^2(\Omega)$ is the space of functions $f$ such that:
$$
\int_{\Omega} |f(x)|^2 \mathrm{d}x < \infty
$$
$$ \int_{\Omega} |f(x)|^2 \mathrm{d}x < \infty $$
The space $L^\infty(\Omega)$ consists of functions $f$ such that:
$$
\|f\|_{L^\infty(\Omega)} = \inf \{M \in \mathbb{R} : |f(x)| \leq M \text{ a.e. on } \Omega\}
$$
$$ \|f\|_{L^\infty(\Omega)} = \inf \{M \in \mathbb{R} : |f(x)| \leq M \text{ a.e. on } \Omega\} $$
where "a.e." means "almost everywhere". In other words, the norm $\|f\|_{L^\infty(\Omega)}$ is the smallest value $M$ such that $|f(x)| \leq M$ holds almost everywhere on $\Omega$. Functions in $L^\infty(\Omega)$ are sometimes called "essentially bounded" or "essentially supremum-bounded" functions.
When $p = 2$, the $L^p$ norm corresponds to the Euclidean norm in a Hilbert space, and is often denoted $\|f\|_{2}$. For a function $f \in L^2(\Omega)$, we have:
$$
\|f\|_2 = \sqrt{\int_{\Omega} |f(x)|^2 \mathrm{d}x}
$$
$$ \|f\|_2 = \sqrt{\int_{\Omega} |f(x)|^2 \mathrm{d}x} $$
The Hölder inequalities are inequalities that allow one to bound an integral of a product of functions in an $L^p(\Omega)$ space in terms of the $L^p$ norms of the individual functions. More precisely, if $p$ and $q$ are exponents such that $1/p + 1/q = 1$, then for any functions $f$ and $g$ in $L^p(\Omega)$, we have:
$$
\left|\int_{\Omega} f(x) g(x) \mathrm{d}x \right| \leq \|f\|_{L^p(\Omega)} \|g\|_{L^q(\Omega)}
$$
$$ \left|\int_{\Omega} f(x) g(x) \mathrm{d}x \right| \leq \|f\|_{L^p(\Omega)} \|g\|_{L^q(\Omega)} $$
These inequalities have important applications in functional analysis, probability theory, and mathematical physics.