Modular functionals and perturbations of Nakano spaces

ITAI BEN-YAACOV

defines L₀(X,𝓑,μ) to be the space of measurable functions f:X→ℝ up to a.e. equality.

Here we define that and give an example.

Note that the Lp seminorm MeasureTheory.eLpNorm is equal to 0 for p=0.