689
правок
Изменения
м
oops
Пусть <tex> E </tex> измеримо по Лебегу. Тогда <tex> \lambda E = \sup\limits_{F: F \subset E} \lambda F </tex> (F - замкнутые множества).
|proof=
Для доказательства достаточно воспользоваться вторым пунктом предыдущей теоремы и устремить <tex> \varepsilon </tex> к нулю.
}}
Пусть <tex> E </tex> измеримо по Лебегу. Тогда оно представимо в виде <tex> E = A \cup B </tex>, причем A - множество типа <tex> F_{\sigma} </tex>, а <tex> \lambda B = 0</tex>.
|proof=
Воспользуемся вторым пунктом предпоследней теоремы: пусть <tex> \varepsilon_m = \frac1m </tex>, тогда будем брать <tex> F_m \subset E: \lambda(E\setminus F_m ) < \frac1m </tex>.
Пусть <tex> A = \bigcup\limits_m F_m </tex>, по определению, <tex> A </tex> - множество типа <tex> F_{\sigma} </tex>.
