Теорема Лузина-Данжуа - История изменений

Maintenance script: rollbackEdits.php mass rollback

2022-09-04T16:25:58Z

rollbackEdits.php mass rollback

103.251.167.21 в 05:01, 1 сентября 2022

2022-09-01T05:01:59Z

Niko в 13:32, 26 июня 2012

2012-06-26T13:32:16Z

217.66.146.209 в 13:26, 26 июня 2012

2012-06-26T13:26:13Z

Komarov в 13:05, 26 июня 2012

2012-06-26T13:05:31Z

Komarov в 12:24, 26 июня 2012

2012-06-26T12:24:36Z

Dgerasimov: блин, зачем 'абсолютно' убрали? оно нужно.

2012-06-25T23:41:55Z

блин, зачем 'абсолютно' убрали? оно нужно.

Dmitriy D. в 21:21, 25 июня 2012

2012-06-25T21:21:28Z

Dmitriy D. в 21:14, 25 июня 2012

2012-06-25T21:14:54Z

Sementry в 15:58, 24 июня 2012

2012-06-24T15:58:40Z

← Предыдущая		Версия 16:25, 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 Майкл Наки].
−	\|}
−
	[[L_2-теория рядов Фурье\|<<]][[Теорема Джексона\|>>]]		[[L_2-теория рядов Фурье\|<<]][[Теорема Джексона\|>>]]

← Предыдущая		Версия 05:01, 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 Майкл Наки].
		+	\|}
		+
	[[L_2-теория рядов Фурье\|<<]][[Теорема Джексона\|>>]]		[[L_2-теория рядов Фурье\|<<]][[Теорема Джексона\|>>]]

@@ Строка 55: / Строка 55: @@
 <tex> \left( \sum\limits_{k=n}^{\infty}(a_k^2 + b_k^2) \right)^{\frac12} </tex> равно <tex> E_{n-1}(f)_2 </tex>
-<tex> \sum\limits_{k=n}^{\infty} \left( \frac1{k^2} \right)^{\frac12} \le \sum\limits_{k=n}^{\infty} \left( \frac1{k}\frac1{k-1} \right)^{\frac12} \le \sum\limits_{k=n}^{\infty} \left( \frac1{k-1} - \frac1k \right)^{\frac12} \le \frac{1}{\sqrt{n-1}} </tex>
+<tex> \left( \sum\limits_{k=n}^{\infty}  \frac1{k^2} \right)^{\frac12} \le \left( \sum\limits_{k=n}^{\infty} \frac1{k}\frac1{k-1} \right)^{\frac12} \le \left( \sum\limits_{k=n}^{\infty} \frac1{k-1} - \frac1k \right)^{\frac12} \le \frac{1}{\sqrt{n-1}} </tex>
 Таким образом, получили, что <tex>\sum\limits_{k=1}^{\infty} \sqrt{a_k^2 + b_k^2} \le \sqrt{a_1^2 + b_1^2} + \sum\limits_{n=2}^{\infty} \frac{cE_{n-1}(f)_{L_2}}{\sqrt{n-1}} < + \infty </tex>, таким образом, ряд из <tex> r_n </tex> сходится.

@@ Строка 31: / Строка 31: @@
 Тогда <tex> \exists A_0 \subset A: \lambda A_0 > 0, \alpha(x) </tex> — ограничена на <tex> A_0 </tex>. <tex> A = \bigcup\limits_{n = 1}^{\infty} A(0 \le \alpha(x) \le n), \lambda A > 0 \Rightarrow \lambda A_n \to \lambda A \Rightarrow \exists n_0 : \lambda A_{n_0} > 0 </tex>, обозначим такой <tex>A_{n_0} </tex> за <tex> A_0 </tex>.
-На <tex> A_0 </tex> <tex> \alpha </tex> — суммируема, по [[Классические теоремы о предельном переходе под знаком интеграла Лебега#Теорема Леви|теореме Б. Леви]], ряд можно почленно интегрировать. {{TODO|t=Почему можно выделить такое множество <tex>A_0</tex> конечной меры?}}
+На <tex> A_0 </tex> <tex> \alpha </tex> — суммируема, по [[Классические теоремы о предельном переходе под знаком интеграла Лебега#Теорема Леви|теореме Б. Леви]], ряд можно почленно интегрировать.
 <tex> \int\limits_{A_0} \alpha(x) dx = \sum\limits_{n=1}^{\infty} r_n \int\limits_{A_0} \cos^2(nx + \varphi_{n, x}) =  \sum\limits_{n=1}^{\infty} r_n \int\limits_{A_0} \frac{1 + \cos(2nx + 2\varphi_{n, x})}{2} =  </tex>

@@ Строка 31: / Строка 31: @@
 Тогда <tex> \exists A_0 \subset A: \lambda A_0 > 0, \alpha(x) </tex> — ограничена на <tex> A_0 </tex>. <tex> A = \bigcup\limits_{n = 1}^{\infty} A(0 \le \alpha(x) \le n), \lambda A > 0 \Rightarrow \lambda A_n \to \lambda A \Rightarrow \exists n_0 : \lambda A_{n_0} > 0 </tex>, обозначим такой <tex>A_{n_0} </tex> за <tex> A_0 </tex>.
-На <tex> A_0 </tex> <tex> \alpha </tex> — суммируема, по [[Классические теоремы о предельном переходе под знаком интеграла Лебега#Теорема Леви|теореме Б. Леви]], ряд можно почленно интегрировать.
+На <tex> A_0 </tex> <tex> \alpha </tex> — суммируема, по [[Классические теоремы о предельном переходе под знаком интеграла Лебега#Теорема Леви|теореме Б. Леви]], ряд можно почленно интегрировать. {{TODO|t=Почему можно выделить такое множество <tex>A_0</tex> конечной меры?}}
 <tex> \int\limits_{A_0} \alpha(x) dx = \sum\limits_{n=1}^{\infty} r_n \int\limits_{A_0} \cos^2(nx + \varphi_{n, x}) =  \sum\limits_{n=1}^{\infty} r_n \int\limits_{A_0} \frac{1 + \cos(2nx + 2\varphi_{n, x})}{2} =  </tex>

@@ Строка 11: / Строка 11: @@
 Обратное в общем случае неверно, тригонометрический ряд может абсолютно сходиться в бесконечном числе точек, но при этом числовой будет расходиться.
-Рассмотрим, например, <tex> \sum\limits_{n=1}^{\infty} \sin (\pi n! x), x_k = \frac{\pi}{k!} </tex>, тогда при <tex> n \ge k: \sin(\pi n! x_k) = \sin(\pi n (n - 1) \dots (k + 1)) = 0 </tex>, то есть, ряд абсолютно сходится. Однако, <tex> b_{n!} = 1 </tex>, и ряд из коэффициентов расходится.
+Рассмотрим, например, <tex> \sum\limits_{n=1}^{\infty} \sin (n! x), x_k = \frac{\pi}{k!} </tex>, тогда при <tex> n \ge k: \sin(n! x_k) = \sin(\pi n (n - 1) \dots (k + 1)) = 0 </tex>, то есть, ряд абсолютно сходится. Однако, <tex> b_{n!} = 1 </tex>, и ряд из коэффициентов расходится.
 Однако, есть важная теорема:

@@ Строка 23: / Строка 23: @@
 Лузин, Данжуа
 |statement=
-Пусть тригонометрический ряд сходится на множестве положительной меры. Тогда ряд из <tex> r_n = \sqrt{a_n^2 + b_n^2} </tex> сходится, следовательно, исходный тригонометрический ряд будет абсолютно сходящимся на всей числовой оси.
+Пусть тригонометрический ряд абсолютно сходится на множестве положительной меры. Тогда ряд из <tex> r_n = \sqrt{a_n^2 + b_n^2} </tex> сходится, следовательно, исходный тригонометрический ряд будет абсолютно сходящимся на всей числовой оси.
 |proof=
 <tex> \sum\limits_{n=1}^{\infty} r_n |\cos (nx + \varphi_n)| </tex> — сходится для любого <tex> x </tex> в <tex> A </tex> по условию теоремы, где <tex> \lambda A > 0 </tex>.

@@ Строка 7: / Строка 7: @@
 <tex> |a_n \cos nx + b_n \sin nx| \le |a_n| + |b_n| </tex>
-Если <tex> \sum\limits_{n=1}^{\infty} (|a_n| + |b_n|) </tex> сходится, то тригонометрический ряд также будет сходящимся.
+Если <tex> \sum\limits_{n=1}^{\infty} (|a_n| + |b_n|) </tex> сходится, то тригонометрический ряд будет абсолютно сходящимся.
 Обратное в общем случае неверно, тригонометрический ряд может абсолютно сходиться в бесконечном числе точек, но при этом числовой будет расходиться.

@@ Строка 1: / Строка 1: @@
 Рассмотрим произвольный тригонометрический ряд:
@@ Строка 9: / Строка 11: @@
 Обратное в общем случае неверно, тригонометрический ряд может абсолютно сходиться в бесконечном числе точек, но при этом числовой будет расходиться.
-Рассмотрим, например, <tex> \sum\limits_{n=1}^{\infty} \sin (\pi n! x), x_k = \frac{\pi}{k!} </tex>, тогда при <tex> n \ge k: \sin(\pi n! x_k) = \sin(\pi n (n - 1) \dots (k + 1)) = 0 </tex>, то есть ряд абсолютно сходится. Однако, <tex> b_{n!} = 1 </tex>, и ряд из коэффициентов расходится.
+Рассмотрим, например, <tex> \sum\limits_{n=1}^{\infty} \sin (\pi n! x), x_k = \frac{\pi}{k!} </tex>, тогда при <tex> n \ge k: \sin(\pi n! x_k) = \sin(\pi n (n - 1) \dots (k + 1)) = 0 </tex>, то есть, ряд абсолютно сходится. Однако, <tex> b_{n!} = 1 </tex>, и ряд из коэффициентов расходится.
 Однако, есть важная теорема:
@@ Строка 23: / Строка 25: @@
 Пусть тригонометрический ряд абсолютно сходится на множестве положительной меры. Тогда ряд из <tex> r_n = \sqrt{a_n^2 + b_n^2} </tex> сходится, следовательно, исходный тригонометрический ряд будет абсолютно сходящимся на всей числовой оси.
 |proof=
-<tex> \sum\limits_{n=1}^{\infty} r_n |\cos (nx + \varphi_n)| </tex> — сходится для любого <tex> x </tex> в <tex> A </tex> по условию теоремы, где <tex> \lambda A > 0 </tex>
+<tex> \sum\limits_{n=1}^{\infty} r_n |\cos (nx + \varphi_n)| </tex> — сходится для любого <tex> x </tex> в <tex> A </tex> по условию теоремы, где <tex> \lambda A > 0 </tex>.
-Пусть <tex> \alpha(x) = \sum\limits_{n=1}^{\infty} r_n \cos^2(nx + \varphi_n) </tex> — измерима и конечна на <tex> A </tex>, так как <tex> r_n \cos^2(nx + \varphi_n) \le r_n |\cos(nx + \varphi_n)| </tex>.
+Пусть <tex> \alpha(x) = \sum\limits_{n=1}^{\infty} r_n \cos^2(nx + \varphi_n) </tex>. <tex> \alpha(x) </tex> измерима и конечна на <tex> A </tex>, так как <tex> r_n \cos^2(nx + \varphi_n) \le r_n |\cos(nx + \varphi_n)| </tex>.
 Тогда <tex> \exists A_0 \subset A: \lambda A_0 > 0, \alpha(x) </tex> — ограничена на <tex> A_0 </tex>. <tex> A = \bigcup\limits_{n = 1}^{\infty} A(0 \le \alpha(x) \le n), \lambda A > 0 \Rightarrow \lambda A_n \to \lambda A \Rightarrow \exists n_0 : \lambda A_{n_0} > 0 </tex>, обозначим такой <tex>A_{n_0} </tex> за <tex> A_0 </tex>.
-На <tex> A_0 </tex> <tex> \alpha </tex> — суммируема, по [[теореме Б. Леви]] ряд можно почленно интегрировать.
+На <tex> A_0 </tex> <tex> \alpha </tex> — суммируема, по [[Классические теоремы о предельном переходе под знаком интеграла Лебега#Теорема Леви|теореме Б. Леви]], ряд можно почленно интегрировать.
-<tex> \int\limits_{A_0} \alpha(x) dx = \sum\limits_{n=1}^{\infty} r_n \int\limits_{A_0} \cos^2(nx + \varphi_{n, x}) = </tex>{{TODO|t=какого фига зависимость \phi от x появилась?}} <tex> = \sum\limits_{n=1}^{\infty} r_n \int\limits_{A_0} \frac{1 + \cos(2nx + 2\varphi_{n, x})}{2} =  </tex>
+<tex> \int\limits_{A_0} \alpha(x) dx = \sum\limits_{n=1}^{\infty} r_n \int\limits_{A_0} \cos^2(nx + \varphi_{n, x}) =  \sum\limits_{n=1}^{\infty} r_n \int\limits_{A_0} \frac{1 + \cos(2nx + 2\varphi_{n, x})}{2} =  </tex>
-<tex> = \sum\limits_{n=1}^{\infty} \frac12 r_n \left( \lambda A_0 + \int\limits_{A_0} \cos(2\varphi_{n,x}) \cos (2nx) - \int\limits_{A_0} \sin(2\varphi_{n,x}) \sin (2nx) \right) </tex>. Оба интеграла стремятся к нулю по [[лемме Римана-Лебега]], следовательно, разность этих интегралов с некоторого номера больше <tex> -\frac12 \lambda A_0 </tex> , а значит, <tex> n </tex>-е слагаемое ряда больше <tex> \frac12 r_n \frac12 \lambda A_0 </tex>. Значит, из сходимости исходного ряда по признаку сравнения следует сходимость <tex> \sum\limits_{n=1}^{\infty} r_n </tex>.
+<tex> = \sum\limits_{n=1}^{\infty} \frac12 r_n \left( \lambda A_0 + \int\limits_{A_0} \cos(2\varphi_{n,x}) \cos (2nx) - \int\limits_{A_0} \sin(2\varphi_{n,x}) \sin (2nx) \right) </tex>. Оба интеграла стремятся к нулю по лемме Римана-Лебега, следовательно, разность этих интегралов с некоторого номера больше <tex> -\frac12 \lambda A_0 </tex> , а значит, <tex> n </tex>-е слагаемое ряда больше <tex> \frac12 r_n \frac12 \lambda A_0 </tex>. Значит, из сходимости исходного ряда по признаку сравнения следует сходимость <tex> \sum\limits_{n=1}^{\infty} r_n </tex>.
 }}
 Таким образом, отождествили сходимость рядов <tex> \sum\limits_{n=1}^{\infty} (a_n \cos nx + b_n \sin nx) </tex> и <tex> \sum\limits_{n=1}^{\infty} (|a_n| + |b_n|) </tex>.
-Запишем условие абсолютной сходимости на языке [[наилучших приближений]].
+Запишем условие абсолютной сходимости на языке наилучших приближений.
 {{Теорема
@@ Строка 48: / Строка 50: @@
 <tex> E_n^2(f)_2 = \pi \sum\limits_{k=n+1}^{\infty} (a_k^2 (f) + b_k^2 (f)) </tex>. Для абсолютной сходимости достаточно доказать, что <tex> \sum\limits_{k=1}^{\infty} \sqrt{a_k^2 + b_k^2} < + \infty </tex> в условиях теоремы.
-<tex>\sum\limits_{k=1}^{\infty} \sqrt{a_k^2 + b_k^2} =</tex> <tex> \sum\limits_{n=1}^{\infty} \sum\limits_{k = n}^{\infty} \frac{\sqrt{a_k^2 (f) + b_k^2 (f)}}{k} \le </tex> (используем [[неравенство Коши для сумм]])
+<tex>\sum\limits_{k=1}^{\infty} \sqrt{a_k^2 + b_k^2} =</tex> <tex> \sum\limits_{n=1}^{\infty} \sum\limits_{k = n}^{\infty} \frac{\sqrt{a_k^2 (f) + b_k^2 (f)}}{k} \le </tex> (используем [[Неравенства Гёльдера, Минковского#Теорема Гёльдера|неравенство Коши для сумм]])
 <tex> \le \sum\limits_{n=1}^{\infty} \left( \sum\limits_{k=n}^{\infty}(a_k^2 + b_k^2) \right)^{\frac12} \left( \sum\limits_{k=n}^{\infty}  \frac1{k^2} \right)^{\frac12} </tex>
-<tex> \left( \sum\limits_{k=n}^{\infty}(a_k^2 + b_k^2) \right)^{\frac12} </tex> равно <tex> c E_{n-1}(f)_2 </tex>
+<tex> \left( \sum\limits_{k=n}^{\infty}(a_k^2 + b_k^2) \right)^{\frac12} </tex> равно <tex> E_{n-1}(f)_2 </tex>
 <tex> \sum\limits_{k=n}^{\infty} \left( \frac1{k^2} \right)^{\frac12} \le \sum\limits_{k=n}^{\infty} \left( \frac1{k}\frac1{k-1} \right)^{\frac12} \le \sum\limits_{k=n}^{\infty} \left( \frac1{k-1} - \frac1k \right)^{\frac12} \le \frac{1}{\sqrt{n-1}} </tex>
@@ Строка 60: / Строка 62: @@
 == См. также ==
 [http://en.wikipedia.org/wiki/Denjoy%E2%80%93Luzin_theorem Denjoy-Luzin_theorem]