102
правки
Изменения
→Плотность в $L^p$ множества ступенчатых функций
}}
=== Плотность в $L^p$ множества ступенчатых функций ===
{{Теорема
|statement=
<tex>(X, \mathfrak{A}, \mu), f - </tex> ступенчатая <tex> = \sum_{k=1}^{n} C_k \times</tex> <tex dpi=160>\chi_{Ek}</tex>
<tex>X = \bigsqcup X_k</tex>
<tex>\mu X (f \neq 0) -</tex> конечно
в <tex>L^p(X, \mu) (1 \leqslant p \leqslant +\infty)</tex> множество ступенчатых функций плотно
|proof=
}}
=== Лемма Урысона ===
{{Теорема