Пространство L p(E) - История изменений

Maintenance script: rollbackEdits.php mass rollback

2022-09-04T16:19:09Z

rollbackEdits.php mass rollback

171.25.193.80 в 05:25, 1 сентября 2022

2022-09-01T05:25:15Z

194.85.161.2: викификация

2015-02-23T20:24:37Z

викификация

194.85.161.2: викификация

2015-02-23T20:23:33Z

викификация

194.85.161.2: викификация

2015-02-23T20:17:53Z

викификация

192.168.0.2: /* Всюду плотность C в L_p */

2012-01-10T09:51:44Z

‎Всюду плотность C в L_p

192.168.0.2: /* Всюду плотность C в L_p */

2012-01-10T07:23:15Z

‎Всюду плотность C в L_p

192.168.0.2: /* Всюду плотность C в L_p */

2012-01-10T07:13:32Z

‎Всюду плотность C в L_p

Андрей Шулаев в 07:02, 10 января 2012

2012-01-10T07:02:30Z

192.168.0.2 в 01:01, 10 января 2012

2012-01-10T01:01:31Z

← Предыдущая		Версия 16:19, 4 сентября 2022
Строка 1:		Строка 1:
−	~~{\| class="wikitable" align="center" style="color: red; background-color: black; font-size: 56px; width: 800px;"~~
−	\|+
−	~~\|-align="center"~~
−	~~\|'''НЕТ ВОЙНЕ'''~~
−	~~\|-style="font-size: 16px;"~~
−	\|
−	24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.
−
−	Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
−
−	Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
−
−	Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
−
−	~~''Антивоенный комитет России''~~
−	~~\|-style="font-size: 16px;"~~
−	\|Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
−	~~\|-style="font-size: 16px;"~~
−	\|[https://meduza.io/ meduza.io], [https://www.youtube.com/c/popularpolitics/videos Популярная политика], [https://novayagazeta.ru/ Новая газета], [https://zona.media/ zona.media], [https://www.youtube.com/c/MackNack/videos Майкл Наки].
−	\|}
−
	[[Классические теоремы о предельном переходе под знаком интеграла Лебега\|<<]][[Мера подграфика\|>>]]		[[Классические теоремы о предельном переходе под знаком интеграла Лебега\|<<]][[Мера подграфика\|>>]]

← Предыдущая		Версия 05:25, 1 сентября 2022
Строка 1:		Строка 1:
		+	{\| class="wikitable" align="center" style="color: red; background-color: black; font-size: 56px; width: 800px;"
		+	\|+
		+	\|-align="center"
		+	\|'''НЕТ ВОЙНЕ'''
		+	\|-style="font-size: 16px;"
		+	\|
		+	24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.
		+
		+	Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
		+
		+	Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
		+
		+	Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
		+
		+	''Антивоенный комитет России''
		+	\|-style="font-size: 16px;"
		+	\|Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
		+	\|-style="font-size: 16px;"
		+	\|[https://meduza.io/ meduza.io], [https://www.youtube.com/c/popularpolitics/videos Популярная политика], [https://novayagazeta.ru/ Новая газета], [https://zona.media/ zona.media], [https://www.youtube.com/c/MackNack/videos Майкл Наки].
		+	\|}
		+
	[[Классические теоремы о предельном переходе под знаком интеграла Лебега\|<<]][[Мера подграфика\|>>]]		[[Классические теоремы о предельном переходе под знаком интеграла Лебега\|<<]][[Мера подграфика\|>>]]

@@ Строка 91: / Строка 91: @@
 <tex> f_n \in L_p(E)  </tex>
-Прежде чем выяснить ответ на этот вопрос, посмотрим, что происходит с интегралом Римана:
+Прежде чем выяснить ответ на этот вопрос, посмотрим, что происходит с [[Определение интеграла Римана, простейшие свойства|интегралом Римана]]:
 Пусть <tex> E = [a, b], \lambda </tex> — мера Лебега на <tex> E </tex>.

@@ Строка 41: / Строка 41: @@
 {{Теорема
 |statement=
-<tex> L_p(E) </tex> с нормой, определенной как <tex> ||f||_p = \left( \int\limits_E |f|^p \right)^{1/p} </tex> — нормированное пространство.
+<tex> L_p(E) </tex> с нормой, определенной как <tex> ||f||_p = \left( \int\limits_E |f|^p \right)^{1/p} </tex> — [[Нормированные пространства|нормированное пространство]].
 |proof=

@@ Строка 4: / Строка 4: @@
 Пусть <tex> E </tex> измеримо, <tex> p \ge 1 </tex>.
-<tex> L_p(E) = \{f </tex> - измерима на <tex> E, \int\limits_E  {|f|}^p d \mu < + \infty \} </tex>, то есть пространство функций, суммируемых с <tex> p </tex>-ой степенью на <tex> E </tex>. Измеримость <tex> f </tex> на <tex> E </tex> принципиальна, так как в общем случае из измеримости <tex> |f| </tex> не вытекает измеримость <tex> f </tex>.
+<tex> L_p(E) = \{f </tex> - [[Определение измеримой функции|измерима]] на <tex> E, \int\limits_E  {|f|}^p d \mu < + \infty \} </tex>, то есть пространство функций, суммируемых с <tex> p </tex>-ой степенью на <tex> E </tex>. Измеримость <tex> f </tex> на <tex> E </tex> принципиальна, так как в общем случае из измеримости <tex> |f| </tex> не вытекает измеримость <tex> f </tex>.
 Пример, который подтверждает это:

@@ Строка 146: / Строка 146: @@
 Измеримые ограниченные функции образуют всюду плотное множество в <tex>L_p</tex>
 |proof=
-По абсолютной непрерывности интеграла для любого <tex>\varepsilon</tex> существует <tex>\delta</tex> такое, что для <tex>A \subset E</tex> из <tex>\mu A < \delta</tex> следует <tex>\int\limits_A f^p d\mu < \varepsilon^p</tex>.
+По абсолютной непрерывности интеграла для любого <tex>\varepsilon</tex> существует <tex>\delta</tex> такое, что для <tex>A \subset E</tex> из <tex>\mu A < \delta</tex> следует <tex>\left| \int\limits_A f^p d\mu \right| < \varepsilon^p</tex>.
 Далее, рассмотрим множества <tex>A_n = E(|f| > n)</tex>. Очевидно, <tex>\bigcap\limits_{n = 1}^\infty A_n = \varnothing</tex> и <tex>A_{n + 1} \subset A_n</tex>, следовательно, <tex>\lim\limits_{n \rightarrow \infty} \mu A_n = 0</tex>. Значит, найдётся такое <tex>k</tex>, что <tex>\mu A_k < \delta</tex>. Положим <tex>g(x) = f(x)</tex>, если <tex>x \notin A_k</tex> и <tex>g(x) = 0</tex> иначе. Эта функция измерима и ограничена.
-Тогда <tex>\|f - g\|^p = \int\limits_E (f - g)^p d\mu = \int\limits_{E(f \neq g)} (f - g)^p = \int\limits_{E(f \neq g)} f^p < \varepsilon^p</tex>, то есть, <tex>\|f - g\| < \varepsilon</tex>. Значит, измеримые ограниченные функции образуют всюду плотное множество в <tex>L_p</tex>.
+Тогда <tex>\|f - g\|^p = \left| \int\limits_E (f - g)^p d\mu \right| = \left| \int\limits_{E(f \neq g)} (f - g)^p \right| = \left| \int\limits_{E(f \neq g)} f^p \right| < \varepsilon^p</tex>, то есть, <tex>\|f - g\| < \varepsilon</tex>. Значит, измеримые ограниченные функции образуют всюду плотное множество в <tex>L_p</tex>.
 }}

@@ Строка 146: / Строка 146: @@
 Измеримые ограниченные функции образуют всюду плотное множество в <tex>L_p</tex>
 |proof=
-По абсолютной непрерывности интеграла для любого <tex>\varepsilon</tex> существует <tex>\delta</tex> такое, что для <tex>A \subset E</tex> из <tex>\mu A < \delta</tex> следует <tex>\int_A f^p d\mu < \varepsilon^p</tex>.
+По абсолютной непрерывности интеграла для любого <tex>\varepsilon</tex> существует <tex>\delta</tex> такое, что для <tex>A \subset E</tex> из <tex>\mu A < \delta</tex> следует <tex>\int\limits_A f^p d\mu < \varepsilon^p</tex>.
 }}
@@ Строка 153: / Строка 157: @@
 Непрерывные функции образуют всюду плотное множество в <tex>L_p</tex>
 |proof=
-Пусть <tex>f \in L_p</tex>, подберём ограниченную <tex>g</tex>, такую, что <tex>\|f - g\| < \varepsilon / 2</tex>. Пусть <tex>|g| \le K</tex>. По теореме Лузина существует такая непрерывная функция <tex>\varphi</tex>, что <tex>\mu E(\varphi \neq g) < \frac{\varepsilon^p}{(4K)^p}</tex> и <tex>|\varphi| \le K</tex>. Тогда <tex>\|\varphi - g\|^p = \int_E (\varphi - g)^p d\mu = \int_{E(\varphi \neq g)} (\varphi  - g)^p \le (2K)^p \cdot \mu E(\varphi \neq g) < (\varepsilon / 2)^p</tex>, то есть <tex>\|\varphi - g\| < \varepsilon / 2</tex>.
+Пусть <tex>f \in L_p</tex>, подберём ограниченную <tex>g</tex>, такую, что <tex>\|f - g\| < \varepsilon / 2</tex>. Пусть <tex>|g| \le K</tex>. По теореме Лузина существует такая непрерывная функция <tex>\varphi</tex>, что <tex>\mu E(\varphi \neq g) < \frac{\varepsilon^p}{(4K)^p}</tex> и <tex>|\varphi| \le K</tex>. Тогда <tex>\|\varphi - g\|^p = \int\limits_E (\varphi - g)^p d\mu = \int\limits_{E(\varphi \neq g)} (\varphi  - g)^p \le (2K)^p \cdot \mu E(\varphi \neq g) < (\varepsilon / 2)^p</tex>, то есть <tex>\|\varphi - g\| < \varepsilon / 2</tex>.
 По неравенству треугольника, <tex>\|f - \varphi\| < \varepsilon</tex>, следовательно, непрерывные функции образуют всюду плотное множество в <tex>L_p</tex>.

@@ Строка 138: / Строка 138: @@
 Примечание: на этапе выделения подпоследовательности <tex> f_{n_k} </tex>, стремящейся к <tex> f </tex> почти всюду, может получиться, что <tex> f </tex> — не интегрируема по Риману.
 }}
 [[Классические теоремы о предельном переходе под знаком интеграла Лебега|<<]][[Мера подграфика|>>]]
 [[Категория:Математический анализ 2 курс]]

@@ Строка 29: / Строка 29: @@
 <tex> E = E_1 \cup E_2 </tex>.
-Тогда <tex> \int\limits_E |f + g|^p \le \int\limits_E (|f| + |g|)^p = \int\limits_{E_1} + \int\limits_{E_2} \le \int\limits_{E_1} (2 |g|)^p + \int\limits_{E_2} (2 |f|)^p \le 2^p (\int\limits_{E_1} |f|^p + \int\limits_{E_2} |g|^p) < + \infty </tex>
+Тогда
 ) Если <tex> \int \limits_E |f|^p < +\infty </tex>, то и <tex> \int \limits_E |\alpha f|^p = |\alpha|^p \int \limits_E |f|^p < +\infty </tex>.