定義
(X, Φ, μ) を 測度空間(過去スレ007の317)とする。
(f_n), n ≧ 0 を L^p (>>267) の関数列とする。

(f_n) が L^p の関数 f に L^p のノルム N_p (>>268)
に関して収束するとき、
即ち n → ∞ のとき N_p(f - f_n) → 0 のとき、
(f_n) は f に L^p 収束すると言う。