Обсуждение:Внешняя мера

При построении меры в 2)

[math]\exists E_1, E_2, \dots, E_n, \dots \in R, A\subset \bigcup\limits_{n} E_n[/math]

ну да, это, вроде, и значит, что А можно покрыть не более чем счетным количеством множеств из полукольца. --Андрей Рыбак 23:57, 6 января 2012 (MSK)

Кстати, нельзя ли при доказательстве корректности просто сказать, что раз мера [math] A [/math] - нижняя грань множества мер всех возможных покрытий, а мера рассматриваемого объединения принадлежит этому множеству, то сразу [math] \mu^*(A) \le \sum\limits_n \mu^* A_n [/math]? --Мейнстер Д. 01:49, 9 января 2012 (MSK)