Изменения
→Цилиндры
5) <tex> E </tex> — произвольное измеримое множество.
Из сигма-конечности меры Лебега следует, что <tex> E = \bigcup\limits_{m=1}^{\infty} E_m </tex> — объединение <s>возрастающих последовательностей </s> ограниченных измеримых множеств.
Цилиндр <tex> G = \bigcup\limits_{m=1}^{\infty} G_m </tex>, где <tex> G_m = E_m \times [0, c] </tex>.
В противном случае, представим E в виде счетного объединения множеств с конечной мерой. Тогда <tex> G = \bigcup\limits_{m=1}^{\infty} G_m </tex>, где <tex> G_m </tex> — цилиндр с основанием <tex> E_m </tex> и высотой 0. По доказанному, <tex> \lambda_{n+1} G_m = 0</tex>, а тогда и <tex> \lambda_{n+1} G = 0 </tex>.
}}
== Теорема о мере подграфика ==
