The space consists of measurable functions with finite -norm, identified when they agree almost everywhere. This quotient is necessary because the integral seminorm vanishes on functions supported on null sets.
Articles by others on the same topic
In functional analysis, an \( L^p \) space (or Lebesgue \( p \)-space) is a vector space of measurable functions for which the \( p \)-th power of the absolute value is integrable.
Integrable functions to the power , usually and in this text assumed under the Lebesgue integral because: Lebesgue integral of is complete but Riemann isn't