2014 dxdy logo

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

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




На страницу 1, 2  След.
 
 симметрическая разность, мера, неравенство
Сообщение14.04.2013, 13:59 
Аватара пользователя
в первом нужно доказать неравенство, а во втором измеримость и посчитать меру.

1) даны $X, \mu, A$ - пространство, мера и $\sigma$-алгебра
определяют для любых A,B
$d(A, B)=\mu(A \vartriangle{B})$
i) доказать неравенство $|\mu(A)-\mu(B)|\le d(A,B)$
это неравенство не получается доказать, хотя ничего сложного там быть не должно.
ii) верно ли что для любых A, B, C
$d(A, C) \le d(A, B) + d(A, C)$
думаю что нет, если взять $A=C \ne B$

2) доказать измеримость и найти меру множества
$A= \bigcup ( \frac{n}{5}, \frac{n}{5}+ \frac{n+1}{2^n})$
тут объединение непересекающихся отрезков. сумма ряда выходит 4, минус нулевой член - 3. это и будет мера. верно ли?
и как именно красиво объясняется измеримость? "это счетное объединение".."это подмножество борелева множества - и оно измеримо"?

 
 
 
 Re: симметрическая разность, мера, неравенство
Сообщение14.04.2013, 14:13 
Аватара пользователя
1) Расишите симметрическую разность. Там получается сумма дизъюнктных множеств, которая разбивается на сумму мер. Дальше понятно, думаю.
2) Достаточно сказать, что счетное объединение открытых множеств открыто, потому и измеримо

 
 
 
 Re: симметрическая разность, мера, неравенство
Сообщение14.04.2013, 20:10 
tavrik в сообщении #709986 писал(а):
i) верно ли что для любых A, B, C
$d(A, C) \le d(A, B) + d(A, C)$

может, все-таки, "неравенство треугольника" $d(A, C) \le d(A, B) + d(B, C)$?

SpBTimes в сообщении #709990 писал(а):
2) Достаточно сказать, что счетное объединение открытых множеств открыто, потому и измеримо

Наверное, правильнее сказать, счетное объединение измеримых - измеримо (и обосновать, почему).

А вообще, tavrik, неплохо было бы, чтобы вы различали общее понятие счетно-аддитивной меры (в первом вашем задании) и понятие лебеговой меры (во втором задании) как ее частного случая.

 
 
 
 Re: симметрическая разность, мера, неравенство
Сообщение15.04.2013, 12:03 
Аватара пользователя
hum,
да, во втором случае это мера Лебега. отличие лишь в том что она определена на $\operatorname{R_n}$?
то есть тем классом множеств на котором она определена.

в одном из вопросов спрашивают существует ли на $\operatorname{R}$ неизмеримое по Лебегу множество которое включает все рациональные числа.
такого нет, это верно?

и да, там - неравенство треугольника...

SPB
$|\mu(a)-\mu(b)| \le \mu(A\backslash{B}) + \mu(B\backslash{A})$
в смысле, к этой сумме мер?

 
 
 
 Re: симметрическая разность, мера, неравенство
Сообщение15.04.2013, 13:57 
Аватара пользователя
tavrik в сообщении #710417 писал(а):
в одном из вопросов спрашивают существует ли на $\operatorname{R}$ неизмеримое по Лебегу множество которое включает все рациональные числа.
такого нет, это верно?

Почему нет? Ведь неизмеримое множество существует? Добавьте к нему множество $Q$ (оно измеримо, его мера 0). Это объединение и будет искомым.

 
 
 
 Re: симметрическая разность, мера, неравенство
Сообщение15.04.2013, 16:05 
provincialka в сообщении #710461 писал(а):
tavrik в сообщении #710417 писал(а):
в одном из вопросов спрашивают существует ли на $\operatorname{R}$ неизмеримое по Лебегу множество которое включает все рациональные числа.
такого нет, это верно?

Почему нет? Ведь неизмеримое множество существует? Добавьте к нему множество $Q$ (оно измеримо, его мера 0). Это объединение и будет искомым.

Ага, только предусмотрев, чтобы при добавлении к неизмеримому множеству измеримого результат не стал измеримым :)

 
 
 
 Re: симметрическая разность, мера, неравенство
Сообщение15.04.2013, 16:49 
Аватара пользователя
_hum_ в сообщении #710535 писал(а):
provincialka в сообщении #710461 писал(а):
tavrik в сообщении #710417 писал(а):
в одном из вопросов спрашивают существует ли на $\operatorname{R}$ неизмеримое по Лебегу множество которое включает все рациональные числа.
такого нет, это верно?

Почему нет? Ведь неизмеримое множество существует? Добавьте к нему множество $Q$ (оно измеримо, его мера 0). Это объединение и будет искомым.

Ага, только предусмотрев, чтобы при добавлении к неизмеримому множеству измеримого результат не стал измеримым :)


Это почти очевидно. Пусть $A$ - неизмеримое множество, а $B=A\cup Q$ - измеримо. Но $A=B\setminus Q \cup (A\cap Q)$. Первое множество измеримо как разность двух измеримых. Второе - как подмножество множества меры 0.

 
 
 
 Re: симметрическая разность, мера, неравенство
Сообщение15.04.2013, 18:36 
provincialka, вот именно, что "почти очевидно" и является полезным упражнением для начинающего изучать теорию меры. А вы своим выписыванием решения оказываете ТС "медвежью услугу".

 
 
 
 Re: симметрическая разность, мера, неравенство
Сообщение15.04.2013, 20:50 
Аватара пользователя
_hum_ в сообщении #710623 писал(а):
provincialka, вот именно, что "почти очевидно" и является полезным упражнением для начинающего изучать теорию меры. А вы своим выписыванием решения оказываете ТС "медвежью услугу".

Согласна! Мой прокол.

 
 
 
 Re: симметрическая разность, мера, неравенство
Сообщение15.04.2013, 23:43 
Аватара пользователя
ну, да ладно...я зла не держу...:)
а почему подмножество множества меры ноль - измеримо(и его мера тоже ноль, я понимаю)...это как если бы мы взяли частичную сумму сходящегося ряда...?

-- Пн апр 15, 2013 22:45:23 --

только с покрытиями

 
 
 
 Re: симметрическая разность, мера, неравенство
Сообщение16.04.2013, 05:13 
Аватара пользователя
tavrik в сообщении #710811 писал(а):
а почему подмножество множества меры ноль - измеримо(и его мера тоже ноль, я понимаю)...это как если бы мы взяли частичную сумму сходящегося ряда...?

А вот это посмотрите в лекциях. Есть такое свойство меры Лебега - счетная аддитивность.

 
 
 
 Re: симметрическая разность, мера, неравенство
Сообщение16.04.2013, 08:00 
Аватара пользователя
да, смотрю. есть ведь утверждение "всякое множество положительной меры содержит неизмеримое по Лебегу подмножество"...получается и его обратный вариант тоже верен...

-- Вт апр 16, 2013 07:19:08 --

в общем, понял...любое подмножество(множества меры ноль) измеримо по лебегу...единственное что - оно может не быть борелевым...

 
 
 
 Re: симметрическая разность, мера, неравенство
Сообщение16.04.2013, 22:25 
Аватара пользователя
Мера Лебега обладаем важным свойством полноты. Из-за этого
tavrik в сообщении #710811 писал(а):
подмножество множества меры ноль - измеримо

 
 
 
 Re: симметрическая разность, мера, неравенство
Сообщение16.04.2013, 22:49 
Аватара пользователя
SpBTimes в сообщении #711292 писал(а):
Мера Лебега обладаем важным свойством полноты. Из-за этого
tavrik в сообщении #710811 писал(а):
подмножество множества меры ноль - измеримо

На это я и намекала! В некотором смысле, "ради этого" и вводится мера Лебега.

 
 
 
 Re: симметрическая разность, мера, неравенство
Сообщение16.04.2013, 23:12 
Аватара пользователя
provincialka
Как это следует из счетной аддитивности?
Это ведь следует из свойств сужения внешней меры на сигма-алгебру

-- Вт апр 16, 2013 23:15:15 --

tavrik в сообщении #710417 писал(а):
в смысле, к этой сумме мер?

$A \vartrianle B = (A \backslash B) \cup (B \backslash A)$
Причем объединение дизъюнктных множеств. Так что:
$\mu(A \vartrianle B) = \mu (A \backslash B) + \mu (B \backslash A)$

 
 
 [ Сообщений: 18 ]  На страницу 1, 2  След.


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