Редактирование: Мера Лебега в R^n

Перейти к: навигация, поиск

Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.

Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия Ваш текст
Строка 123: Строка 123:
 
Пусть <tex> E </tex> измеримо по Лебегу. Тогда <tex> \lambda E = \sup\limits_{F: F \subset E} \lambda F </tex> (F - замкнутые множества).
 
Пусть <tex> E </tex> измеримо по Лебегу. Тогда <tex> \lambda E = \sup\limits_{F: F \subset E} \lambda F </tex> (F - замкнутые множества).
 
|proof=
 
|proof=
Для доказательства достаточно воспользоваться вторым пунктом предыдущей теоремы и устремить <tex> \varepsilon </tex> к нулю.
+
Для доказательства достаточно воспользоваться вторым пунктом предыдущей теоремы и устремить <tex> \varepsilon <tex> к нулю.
 
}}
 
}}
  
Строка 136: Строка 136:
 
Пусть <tex> E </tex> измеримо по Лебегу. Тогда оно представимо в виде <tex> E = A \cup B </tex>, причем A - множество типа <tex> F_{\sigma} </tex>, а <tex> \lambda B = 0</tex>.
 
Пусть <tex> E </tex> измеримо по Лебегу. Тогда оно представимо в виде <tex> E = A \cup B </tex>, причем A - множество типа <tex> F_{\sigma} </tex>, а <tex> \lambda B = 0</tex>.
 
|proof=
 
|proof=
Воспользуемся вторым пунктом предпоследней теоремы: пусть <tex> \varepsilon_m = \frac1m </tex>, тогда будем брать <tex> F_m \subset E: \lambda(E\setminus F_m) < \frac1m </tex>.
+
Воспользуемся вторым пунктом предпоследней теоремы: пусть <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>.
 
Пусть <tex> A = \bigcup\limits_m F_m </tex>, по определению, <tex> A </tex> - множество типа <tex> F_{\sigma} </tex>.

Пожалуйста, учтите, что любой ваш вклад в проект «Викиконспекты» может быть отредактирован или удалён другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. Викиконспекты:Авторские права). НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!

Чтобы изменить эту страницу, пожалуйста, ответьте на приведённый ниже вопрос (подробнее):

Отменить | Справка по редактированию (в новом окне)