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

$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 ?

Spaces $L^p$ of $\Omega$

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$.

Definition of the space $L^1(\Omega)$

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 $$

Definition of the space $L^2(\Omega)$

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 $$

Definition of the $L^\infty(\Omega)$ space

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.

Examples of using the $L^p$ norm

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

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.

Also in this section

  1. How to get dots in Latex \ldots,\cdots,\vdots and \ddots
  2. $L^1$, $L^2$, $L^p$ and $L^\infty$ spaces in Latex
  3. Horizontal and vertical curly Latex braces: \left\{,\right\},\underbrace{} and \overbrace{}
  4. How to display formulas inside a box or frame in Latex ? \boxed
  5. How to write a vector in Latex ? \vec,\overrightarrow
  6. How to write algorithm and pseudocode in Latex ?\usepackage{algorithm},\usepackage{algorithmic}
  7. How to write angle in latex langle, rangle, wedge, angle, measuredangle, sphericalangle
  8. How to write matrices in Latex ? matrix, pmatrix, bmatrix, vmatrix, Vmatrix
  9. How to write number sets N Z D Q R C with Latex: \mathbb, amsfonts and \mathbf
  10. How to write table in Latex ? begin{tabular}...end{tabular}
  11. Latex absolute value
  12. Latex arrows
  13. Latex backslash symbol
  14. Latex binomial coefficient
  15. Latex bra ket notation
  16. Latex ceiling function
  17. Latex complex numbers
  18. Latex congruent symbol
  19. Latex convolution symbol
  20. Latex copyright, trademark, registered symbols
  21. Latex degree symbol
  22. LateX Derivatives, Limits, Sums, Products and Integrals
  23. Latex empty set
  24. Latex euro symbol
  25. Latex expected value symbol - expectation
  26. Latex floor function
  27. Latex gradient symbol
  28. Latex hat symbol - wide hat symbol
  29. Latex horizontal space: qquad,hspace, thinspace,enspace
  30. Latex how to hide page number
  31. Latex how to insert a blank or empty page with or without numbering \thispagestyle,\newpage,\usepackage{afterpage}
  32. Latex how to write a fraction
  33. Latex how to write bar
  34. Latex how to write percent
  35. Latex how to write text in math mode
  36. Latex how to write underscore
  37. Latex imaginary part symbol
  38. Latex indicator function
  39. Latex infinity symbol
  40. Latex jacobian symbol
  41. Latex natural numbers
  42. Latex normal distribution symbol
  43. Latex not parallel symbol
  44. Latex not subset symbol
  45. Latex numbering equations
  46. Latex orthogonal symbol - Latex perpendicular symbol
  47. Latex overset and underset
  48. Latex parallel symbol
  49. Latex piecewise function
  50. Latex plus or minus symbol
  51. Latex product symbol
  52. Latex quaternion numbers
  53. Latex rational numbers
  54. Latex real numbers
  55. Latex real part symbol
  56. Latex square root symbol
  57. Latex subset symbol
  58. Latex symbol average
  59. Latex symbol belongs to
  60. Latex symbol checkmark
  61. Latex symbol different
  62. Latex symbol exists
  63. Latex symbol for all x
  64. Latex symbol if and only if / equivalence
  65. Latex symbol multiply
  66. Latex symbol norm for vector and sum
  67. Latex symbol not equal
  68. Latex symbol not exists
  69. Latex symbol not in
  70. LaTex symbol partial derivative
  71. Latex symbol Planck constant h
  72. Latex symbol there exists one and only one
  73. Latex tensor product
  74. Latex yen symbol
  75. Strikethrough - strike out text or formula in LaTeX