Fonction localement intégrable

Pour toute fonction f : Ω → ℂ, les propriétés suivantes sont équivalentes :

• f est localement intégrable (au sens ci-dessus) ;
• f est Lebesgue-mesurable et pour tout compact K de Ω,${\displaystyle \int _{K}|f|~{\rm {d}}\lambda _{n}<+\infty }$ ;
• pour toute fonction test φ sur Ω (c'est-à-dire toute fonction C^∞ à support compact de Ω dans ℂ), fφ est Lebesgue-intégrable ;
• f est Lebesgue-mesurable et pour toute fonction test φ sur Ω,${\displaystyle \int _{\Omega }|f\varphi |~{\rm {d}}\lambda _{n}<+\infty }$.

• Toute fonction intégrable est localement intégrable.
• Plus généralement, L¹_loc(Ω) contient L^p(Ω) pour tout p ∈ [1, +∞][1].
• Toute fonction mesurable localement bornée (en particulier toute fonction continue) est localement intégrable.
• La fonction f définie (presque partout) par f(x) = 1/x — qui appartient donc à L¹_loc(ℝ*) — n'appartient pas à L¹_loc(ℝ).

L¹_loc(Ω) est un espace de Fréchet, pour sa structure d'espace localement convexe associée à la famille, indexée par les compacts K de Ω, des semi-normes ║ ║_K définies par :

${\displaystyle \|f\|_{K}=\int _{K}|f|~{\rm {d}}\lambda _{n}}$.

Pour cette topologie, l'espace des fonctions complexes continues sur Ω, à supports compacts contenus dans Ω , est dense dans L¹_loc(Ω).

• Distribution (mathématiques)
• Mesure absolument continue
• Théorème de Radon-Nikodym-Lebesgue