2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Измеримость борелевских множеств
Сообщение24.10.2019, 19:37 
Встретил утверждение, что все борелевские множества измеримы по Лебегу. Но если взять множество (-$\infty$, const), то оно, похоже, будет неизмеримо. Верно ли исходное утверждение в общем случае? Или только применительно к борелевским множествам на отрезке?

 
 
 
 Re: Измеримость борелевских множеств
Сообщение24.10.2019, 19:40 
Аватара пользователя
tiptoe
А Вам не встречалось утверждение, что всякое открытое множество измеримо по Лебегу?

 
 
 
 Re: Измеримость борелевских множеств
Сообщение24.10.2019, 19:43 
tiptoe в сообщении #1422260 писал(а):
Но если взять множество (-$\infty$, const), то оно, похоже, будет неизмеримо

Измеримое - это не то, у которого мера конечна. Там есть определение. Посмотрите.

 
 
 
 Re: Измеримость борелевских множеств
Сообщение24.10.2019, 19:52 
Насколько я знаю, множество С считается измеримым, если для любого $\varepsilon$ существует конечное число элементов полукольца B_1, B_2, ... B_N такое, что внешняя мера симметрической разности С и объединения B_i меньше $\varepsilon$. Это неверно?
Википедия: Множество называется измеримым относительно меры $\mu$ , если оно принадлежит $\sigma$-алгебре, на которой определена $\mu$.

 
 
 
 Re: Измеримость борелевских множеств
Сообщение24.10.2019, 20:08 
tiptoe в сообщении #1422263 писал(а):
конечное число

Счетное.

(Оффтоп)

Формулы оформляйте правильно, а то в Карантин унесут.

 
 
 
 Re: Измеримость борелевских множеств
Сообщение24.10.2019, 20:14 

(Оффтоп)

Спасибо Вам огромное!

 
 
 
 Re: Измеримость борелевских множеств
Сообщение25.10.2019, 19:42 
tiptoe в сообщении #1422263 писал(а):
Насколько я знаю, множество С считается измеримым, если для любого $\varepsilon$ существует конечное число элементов полукольца B_1, B_2, ... B_N такое, что внешняя мера симметрической разности С и объединения B_i меньше $\varepsilon$. Это неверно?

Это верно. Но обычно, в частности в учебнике Колмогорова, Фомина меру и измеримость вводят на семействе подмножеств отрезка (куба в многомерном случае), а потом уже распространяют по счётной аддитивности на неограниченные множества.

 
 
 
 Re: Измеримость борелевских множеств
Сообщение25.10.2019, 23:30 
Padawan в сообщении #1422429 писал(а):
Это верно.

И да.
И насколько я вижу, построенный в итоге класс измеримых множеств, просто в силу определений, ничем не отличается от того, если бы в определении множества сразу приближались счетными объединениями полукольца. Разве нет?

По крайней мере, я не вижу разницы.
Если же ее действительно нет, то у меня вопрос: не слишком понятно, зачем усложнять конструкцию.

 
 
 [ Сообщений: 8 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group