2014 dxdy logo

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

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


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Мощность множества всех измеримых по Лебегу подмножеств
Сообщение30.03.2017, 21:19 


31/03/16
209
Здравствуйте!
Решаю задачку:
Доказать, что мощность множества всех измеримых по Лебегу подмножеств отрезка $[0,1]$ больше континуума.

Пытаюсь адаптировать для этого Теорему Кантора:
Обозначим множество всех измеримых по Лебегу подмножеств отрезка $[0,1]$ - $A$.
Предположим, что это множество имеет мощность континнума, то есть, что существует такая биекция $f$, ставящая в соответствие каждому элементу множества $[0,1]$ некоторое подмножество множества $A$.
Тогда Рассмотрим множество $B$, состоящее из всех элементов $x \in [0,1]$, не принадлежащих своим образам при отображении $f$.
$f$ биективно, а $B \subset [0,1]$, поэтому существует $y\in [0,1]$ такой, что $f(y)=B$.
Теперь посмотрим, может ли $y$ принадлежать $B$.
Если $y\in B$, то $ y\in f(y)$, а тогда, по определению $B$, $y \notin B$.
И наоборот, если $ y\notin B$, то $y \notin f(y)$, а следовательно, $y \in B$. В любом случае, получаем противоречие.
Следовательно, исходное предположение ложно и $[0,1]$ не равномощно $A$.

Но есть одна загвоздка - надо показать, что $B$ - существует и измеримо. Не могли бы подсказать как это сделать?

 Профиль  
                  
 
 Re: Мощность множества всех измеримых по Лебегу подмножеств
Сообщение30.03.2017, 21:31 


19/05/10

3940
Россия
Да не, берем континуальное множество меры нуль и все его подмножества

 Профиль  
                  
 
 Re: Мощность множества всех измеримых по Лебегу подмножеств
Сообщение30.03.2017, 21:37 
Заслуженный участник


12/08/10
1609
$B$ существует в предположении что существует такая биекция $f$, ставящая в соответствие каждому элементу множества $[0,1]$ некоторое подмножество множества $A$. То что вы сделали делать можно. Но доказать что оно неизмеримо у вас вряд ли получиться.

 Профиль  
                  
 
 Re: Мощность множества всех измеримых по Лебегу подмножеств
Сообщение30.03.2017, 21:40 
Заслуженный участник
Аватара пользователя


16/07/14
8355
Цюрих
Тут лучше без доказательства от противного - просто явно построить $B$, которое не лежит в образе $f$.
Не очень понятен вопрос про существование - вы же явно построили множество, какие сомнения?
С измеримостью проблема - полученное множество может быть неизмеримо (возьмите функцию, которая отображает элементы какого-нибудь неизмеримого множества в не содержащие их подмножества, а остальные элементы - в одноэлементные множества из них самих).

Попробуйте лучше придумать континуальное множество, любое подмножество которого измеримо.

 Профиль  
                  
 
 Re: Мощность множества всех измеримых по Лебегу подмножеств
Сообщение30.03.2017, 21:42 


31/03/16
209
mihailm в сообщении #1205052 писал(а):
Да не, берем континуальное множество меры нуль и все его подмножества

А как получить континуальное множество меры нуль из отрезка?
Просто взять каждый элемент из отрезка из них составить множество?

-- 30.03.2017, 22:49 --

А ну да, канторово множество же континуально и меры нуль. Спасибо за подсказку!

 Профиль  
                  
 
 Re: Мощность множества всех измеримых по Лебегу подмножеств
Сообщение30.03.2017, 22:02 
Заслуженный участник
Аватара пользователя


20/08/14
8062
А между прочим, нет ли такой теоремы, что минимальная сигма-алгебра над всеми одноточечными подмножествами $A$ мощнее самого $A$? Интуиция говорит, что должна быть.

 Профиль  
                  
 
 Re: Мощность множества всех измеримых по Лебегу подмножеств
Сообщение30.03.2017, 22:08 
Заслуженный участник
Аватара пользователя


16/07/14
8355
Цюрих
Нету, потому что счетные, конечные, ко-конечные и ко-счетные подмножества $A$ (которых для более чем счетных $A$ кажется столько же сколько элементов, по крайней мере для континуальных это точно так) все вместе образуют сигма-алгебру.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 7 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: tolstopuz


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group