各点収束
各点収束
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/05/24 03:03 UTC 版)
上と同じ設定のもとで、関数列 f1, f2, . . . が S 上で μ に関してほとんど至る所で関数 f へと各点収束するなら、 ∫ S f d μ ≤ lim inf n → ∞ ∫ S f n d μ {\displaystyle \int _{S}f\,d\mu \leq \liminf _{n\to \infty }\int _{S}f_{n}\,d\mu \,} が成立する。
※この「各点収束」の解説は、「ファトゥの補題」の解説の一部です。
「各点収束」を含む「ファトゥの補題」の記事については、「ファトゥの補題」の概要を参照ください。
- 各点収束のページへのリンク