355
правок
Изменения
Добавлено объяснение измеримости, дописано определение множеств A и B.
}}
Если <tex> A = \bigcup\limits_m F_m </tex> (все <tex>F_m</tex> - замкнуты) замкнуто, то оно называется множеством типа <tex> F_{\sigma} </tex>.
Если <tex> B = \bigcap\limits_m G_m </tex> (все <tex>G_m</tex> - открыты) открыто, то оно называется множеством типа <tex> G_{\Delta} </tex>.
Такие множества также являются измеримыми по Лебегу , как счетное объединение (это очевидно?пересечение) измеримых множеств (ранее показывалось, что открытые и замкнутые множества измеримы).
{{Теорема