Викиконспекты - Вклад участника [ru]

Теорема Фейера

2012-06-26T10:01:22Z

95.27.198.4: /* Теорема Фейера в L_1 */ вынес следствие о двух пределах из текста теоремы

[[Наилучшее приближение в линейных нормированных пространствах|<<]][[Лемма Римана-Лебега|>>]]

Пусть <tex>f \in L_1</tex>, <tex>\sigma (f, x) = \int\limits_Q f(x + t) \Phi_n(t)dt</tex>

<tex>(\sigma_n(f, x) = \frac{1}{n+1} \sum\limits_{k = 0}^n S_k(f))</tex>

Поставим вопрос о сходимости сумм Фейера к <tex>f</tex> либо в индивидуальной
точке, либо в пространстве <tex>L_p</tex> (по норме этих пространств).

Любая сумма Фейера {{---}} тригонометрический полином: <tex>\sigma_n(f) \in H_n</tex>.

__TOC__

== Теорема Фейера в L_1 ==

{{Теорема
|author=Фейер
|statement=Пусть <tex>f \in L_1</tex>, <tex>s \in \mathbb{R}</tex>, <tex>x \in \mathbb{R}</tex>,
<tex>\lim\limits_{t\to +0} \frac1t \int\limits_0^t |f(x + t) + f(x - t) - 2s| dt = 0</tex>. Тогда
<tex>\lim\limits_{n\to\infty} \sigma_n(f, x) = s</tex>
|proof=
{{Определение
|definition=Точку <tex>x</tex> принято называть '''регулярной''', если
в этой точке существуют односторонние пределы.
}}
Например, любая точка непрерывности {{---}} регулярная.
<tex>\varphi_x(t) \stackrel{\mathrm{def}}= f(x + t) + f(x - t) - 2s</tex>

Используя результаты, полученные [[Интеграл_Фейера|здесь]], <tex>\sigma_n(f, x) - s = \int\limits_0^\pi \varphi_x(t)\frac1{2\pi(n+1)} \frac{\sin^2\frac{n + 1}{2}t}{\sin^2\frac t2} dt</tex>

Надо доказать, что этот интеграл при <tex>n\to\infty</tex> стремится к <tex>0</tex>.

Воспользуемся положительностью <tex>\Phi_n</tex>: <tex>|\sigma_n(f, x) - s| \leq \int\limits_0^\pi |\varphi_x(t)|\Phi_n(t) dt</tex>.

Нужно доказать, что этот интеграл стремится к нулю. Разобьем его на два интеграла: <tex>h_n = \frac1n</tex>, <tex>\int\limits_0^\pi = \int\limits_0^{h_n} + \int\limits_{h_n}^\pi</tex>, и рассмотрим по отдельности.

{{Утверждение
|statement=<tex>\int\limits_0^{h_n}|\varphi_x(t)| \frac1{2\pi(n+1)}\frac{\sin^2\frac{n+1}2 t}{\sin^2\frac t2} dt \to 0</tex>
|proof=Воспользуемся неравенствами <tex>|\sin nt| \leq n|\sin t|</tex> и <tex>\frac2\pi t \leq \sin t \leq t</tex> (<tex>t \in [0; \frac\pi2]</tex>)

<tex>\sin^2(n+1)\frac{t}2 \leq (n+1)^2\sin^2\frac{t}2</tex>

<tex>\frac{\sin^2(n+1)\frac t2}{\sin^2\frac{t}2} \leq (n + 1)^2,\ n + 1 \leq 2n</tex>

Значит, <tex>\int\limits_0^{h_n} \leq \frac1{2\pi}(n+1)\int\limits_0^{1/n} |\varphi_x(t)|dt \leq \frac1{\pi} \cdot \frac1{h_n}\int\limits_0^{h_n}|\varphi_x(t)|dt</tex>.

По условию теоремы, <tex>\frac1{h_n}\int\limits_0^{h_n}|\varphi_x(t)|dt \to 0</tex>.
}}

{{Утверждение
|statement=
<tex>\int\limits_{h_n}^\pi|\varphi_x(t)| \frac1{2\pi(n+1)}\frac{\sin^2\frac{n+1}2 t}{\sin^2\frac t2} dt \to 0</tex>
|proof=
<tex>\sin^2 \frac{n+1}2 t \leq 1</tex>, <tex>\sin^2 \frac t2 \geq \left(\frac2\pi \frac t2\right)^2 = \left(\frac{t}{\pi}\right)^2</tex>.

<tex>\int\limits_{h_n}^\pi|\varphi_x(t)| \frac1{2\pi(n+1)}\frac{\sin^2\frac{n+1}2}{\sin^2\frac t2} dt \leq</tex><tex>\int\limits_{h_n}^\pi |\varphi_x(t)| \frac1{2\pi(n + 1)} \frac1{\left(\frac{t}\pi\right)^2} \leq</tex>

<tex>\leq \int\limits_{h_n}^\pi |\varphi_x(t)| \frac{\pi^2}{2\pi t^2(n+1)} dt = </tex><tex>\frac\pi2 \frac1{n+1} \int\limits_{h_n}^\pi\frac{|\varphi_x(t)|}{t^2} dt \le \frac\pi2 h_n \int\limits_{h_n}^\pi \frac1{t^2}d\Phi_x(t) = </tex>

(<tex>\Phi_x(t) = \int\limits_{0}^{t} |\phi_x(y)| dy </tex>; проинтегрируем по частям. '''Здесь <tex>\Phi_x(t)</tex> {{---}} НЕ ядро Фейера, а просто определённый интеграл''')

<tex>= \frac\pi2 h_n \left(\frac1{t^2}\Phi_x(t) \bigg|_{h_n}^{\pi} + 2\int\limits_{h_n}^\pi \Phi_x(t) \frac1{t^3} dt \right)</tex>.

Оценим каждое из слагаемых.

Первое слагаемое (<tex>h_n \frac1{\pi^2} \Phi_x(\pi) - h_n \frac1{h_n^2}\Phi_x(h_n)</tex>):

<tex>\frac1{\pi^2} \Phi_x(\pi)</tex> - константа, <tex> h_n \to 0</tex>;

<tex>h_n \frac1{h_n^2} \Phi_x(h_n) = \frac1{h_n} \int\limits_0^{h_n} |\varphi_x(y)| dy \to 0</tex> по условию теоремы.

Второе слагаемое:

<tex>h_n \int\limits_{h_n}^\pi\Phi_x(t) \frac1{t^3} dt = </tex><tex>h_n\int\limits_{h_n}^\pi \left(\frac1t\int\limits_0^t|\varphi_x(y)| dy \right) \frac1{t^2} dt</tex>

По условию теоремы, <tex> \left(\frac1t\int\limits_0^t|\varphi_x(y)| dy \right) \to 0 </tex>. Распишем это по определению:

<tex>\forall\varepsilon\exists\delta : 0 < t < \delta : \frac1t\int\limits_0^t|\varphi_x(y)|dy < \varepsilon</tex>.

Пусть, начиная с какого-то <tex>N</tex>, <tex> h_n < \delta</tex>

Тогда <tex>h_n\int\limits_{h_n}^\pi(...)\frac1{t^2} \stackrel{h_n < \delta}{=} h_n \int\limits_{h_n}^\delta + h_n\int\limits_\delta^\pi</tex>

<tex>h_n \int\limits_{h_n}^\delta(...)\frac1{t^2} dt < \varepsilon h_n \int\limits_{h_n}^\delta \frac1{t^2} dt = </tex><tex>\varepsilon h_n \left(\frac1{h_n} - \frac1\delta\right) \leq a \varepsilon</tex>

Второй интеграл <tex>h_n \int\limits_\delta^\pi \to 0</tex>, так как <tex>\int\limits_\delta^\pi</tex> {{---}} константа для данного <tex>\delta</tex>, а <tex>h_n \to 0</tex>.
}}

Оба интеграла стремятся к нулю, теорема Фейера доказана.
}}

{{Утверждение
|about=
следствие Фейера о двух пределах
|statement=
Пусть точка <tex>x</tex> — регулярная, тогда в ней <tex>\lim\limits_{n \to \infty} \sigma_n(f, x) = \frac{f(x + 0) + f(x - 0)}2 </tex>
|proof=
Пусть <tex>s = \frac{f(x - 0) + f(x + 0)}{2} </tex>.

Так как <tex>f(x + t) \xrightarrow[t\to +0]{} f(x + 0), f(x - t) \xrightarrow[t\to -0]{} f(x - 0) </tex>, по определению предела <tex> \forall\varepsilon\exists\delta : 0 < t < \delta : |f(x \pm t) - f(x \pm 0)| < \varepsilon</tex>.

Для таких <tex>t</tex>: <tex>|f(x + t) + f(x - t) - 2s| \leq |f(x + t) - f(x + 0)| + |f(x - t) - f(x - 0)| < 2\varepsilon</tex>,

и интересующий нас интеграл <tex>\frac1t\int\limits_0^t|f(x+t)+f(x-t)-2s| \leq \frac1t\int\limits_0^t2\varepsilon = 2\varepsilon</tex>.

Значит, условие теоремы Фейера для данного интеграла выполняется, и в регулярной точке, <tex>\lim\limits_{n \to \infty} \sigma_n(f, x) = \frac{f(x + 0) + f(x - 0)}2 </tex>.

В частности, в точке непрерывности функции суммы Фейера всегда сходятся к значению функции в данной точке.
}}

Заметим, что если в теореме Фейера <tex>f \in C</tex> (непрерывные <tex>2\pi</tex>-периодические функции), то теорема выполнена в каждой точке <tex>x</tex>, и, самое важное, равномерно по <tex>x</tex>, то есть,

В этом случае, <tex>\sigma_n(f) \stackrel{n \to \infty}{\rightrightarrows} f</tex> на <tex> \mathbb{R} </tex>.

Это связано с тем, что условия Фейера выполнены равномерно по <tex>x</tex>
(из теоремы Кантора: <tex>f</tex> {{---}} непрерывно на <tex>[a; b]</tex> <tex>\Rightarrow</tex> <tex>f</tex> {{---}} равномерно непрерывна на нём)

== Теорема Фейера в L_p ==
Установим теперь теорему Фейера в <tex>L_p</tex>.

{{Утверждение
|statement=
<tex>f \in L_p \Rightarrow \| \sigma_n(f)\|_p \le \|f\|_p </tex>
|proof=
Так как <tex> \sigma_n(f) \in H_n </tex>, то <tex> \sigma_n(f) \in L_p </tex>.

<tex> \| \sigma_n(f)\|^p_p = \int\limits_{Q} |\sigma_n(f)|^pdx, \sigma_n(f, x) = \int\limits_{Q} f(x+t) \Phi_n(t) dt </tex>.

<tex> |\sigma_n(f, x)| \le \int\limits_{Q} |f(x + t)|\Phi_n(t) dt = </tex> (возьмем <tex> q:\ \frac1p + \frac1q = 1 </tex>)

<tex>= \int\limits_{Q} |f(x + t)\Phi_n^{\frac1p}(t)| \Phi_n^{\frac1q}(t) dt \le (\int\limits_{Q} |f(x + t)|^p \Phi_n(t) dt)^{\frac1p} (\int\limits_{Q} \Phi_n(t) dt)^{\frac1q}</tex> (здесь мы воспользовались неравенством Гельдера). Несложно заметить, что второй множитель равен <tex> 1 </tex>. Подставим это неравенство под знак интеграла в предыдущем равенстве:

<tex> \|\sigma_n(f)\|^p_p \le \int\limits_{Q}(\int\limits_{Q} |f(x+t)|^p\Phi_n(t) dt)dx = </tex> (по [[Теорема Фубини|теореме Фубини]] меняем порядок интегрирования)

<tex> = \int\limits_{Q}(\int\limits_{Q} |f(x+t)|^p\Phi_n(t) dx)dt = \int\limits_{Q}\Phi_n(t) (\int\limits_{Q} |f(x+t)|^p dx)dt =</tex> <tex>\int\limits_{Q}\Phi_n(t) (\int\limits_{Q} |f(x)|^p dx)dt = \int\limits_{Q} |f(x)|^p dx </tex>.

Возводя неравенство в степень <tex> \frac1p </tex>, получаем требуемое.

}}

{{Теорема
|author=
Фейер
|statement=
<tex>f\in L_p \Rightarrow \|f - \sigma_n(f)\|_p \xrightarrow[n \to \infty]{} 0</tex>.
|proof=

<tex>\sigma_n(f) \in H_n</tex>, <tex>E_n(f)_p \leq \|f-\sigma_p(f)\|_p</tex>

Используем тот факт, что в <tex>C</tex> теорема Фейера выполнена, то есть, для непрерывной функции суммы Фейера сходятся равномерно на <tex> \mathbb{R}</tex>:

<tex>f\in C \Rightarrow \sigma_n(f) \stackrel{\mathbb{R}}{\rightrightarrows} f,\ n \to \infty</tex>.

Рассмотрим произвольную функцию <tex> g \in L_p </tex>.

[[Пространство L_p(E)|Ранее]] нами уже было доказано, что пространство <tex>C</tex> всюду плотно в <tex>L_p</tex> : <tex>\forall\varepsilon>0\forall g\in L_p\exists \varphi \in C : \|g - \varphi\|_p<\varepsilon</tex>.

<tex>\|\sigma_n(g) - g\|_p = \|(\sigma_n(g) - \sigma_n(\varphi)) - (g - \varphi) + (\sigma_n(\varphi) - \varphi)\|_p \leq</tex> (по [[Интеграл_Фейера|записи интеграла Фейера]] очевидно <tex>\sigma_n(g) - \sigma_n(\varphi)) = \sigma_n(g - \varphi)</tex>)

<tex>\leq \|\sigma_n(g-\varphi)\|_p + \underset{\leq \varepsilon}{\underbrace{\|g - \varphi\|_p}} + \|\sigma_n(\varphi) - \varphi\|_p </tex>.

По доказанному только что утверждению, <tex> \|\sigma_n(g-\varphi)\|_p \leq \|g-\varphi\|_p \leq \varepsilon </tex>.

Значит, <tex>\|\sigma_n(g) - g\|_p \leq 2\varepsilon + \|\sigma_n(\varphi) - \varphi\|_p</tex>

<tex>\forall f\in C : \|f\|_p^p = \int\limits_Q|f(t)|^p dt</tex>.

<tex>|f(t)| \leq \|f\|_\infty = \max\limits_Q |f(t)|</tex>

<tex>\|f\|_p^p \leq 2\pi\|f\|_\infty^p</tex>

<tex>\|f\|_p \leq (2\pi)^{1/p}\|f\|_\infty</tex>

<tex>\varphi\in C</tex>, <tex>\sigma_n(\varphi) \in C</tex>, <tex>\sigma_n(\varphi) - \varphi \in C</tex>

<tex>\|\sigma_n(\varphi) - \varphi\|_p \leq (2\pi)^{1/p} \|\sigma_n(\varphi) - \varphi\|_\infty</tex>

<tex>\|\sigma_n(g) - g\|_p \leq 2\varepsilon + \|\sigma_n(\varphi) - \varphi\|_p</tex>

Так как в <tex>C</tex> верна теорема Фейера, то <tex>\forall \varepsilon>0\exists N \forall n > N : \|\sigma_n(\varphi) - \varphi\|_\infty < \varepsilon</tex>

Значит, <tex>\forall n > N\forall\varepsilon > 0 : \|\sigma_n(g) - g\|_p \leq (2 + (2\pi)^{1/p}) \varepsilon</tex>, и теорема верна по определению предела.
}}

{{Теорема
|author=
Теорема Вейерштрасса в <tex>L_p</tex>
|statement=
<tex>f\in L_p \Rightarrow E_n(f)_p \xrightarrow[n \to \infty]{} 0</tex>.
|proof=
Эту теорему принято также называть '''обобщенной теоремой Вейерштрасса'''.

Любая сумма Фейера <tex>\sigma_n(f)\in H_n</tex>. Исходя из определения наилучшего приближения <tex>E_n(f)_p \le \|f-\sigma_n(f)\|</tex>. Значит <tex>E_n(f)_p \to 0</tex>.
}}

[[Наилучшее приближение в линейных нормированных пространствах|<<]][[Лемма Римана-Лебега|>>]]
[[Категория:Математический анализ 2 курс]]

Математический анализ 2 курс

2012-06-26T09:46:36Z

95.27.198.4: /* Глава XIII Ряды Фурье */ ссылки и так стоят там, где это необходимо, зачем они еще и здесь?!

[[Категория:Математический анализ 2 курс]]
<i>matan {{---}} убивать (исп.)</i>


[http://ru.wikipedia.org/wiki/%D0%9C%D0%BD%D0%BE%D0%B6%D0%B5%D1%81%D1%82%D0%B2%D0%BE_%D0%92%D0%B8%D1%82%D0%B0%D0%BB%D0%B8 Множество Витали]

=== Глава X Мера и интеграл Лебега ===
#[[Полукольца и алгебры]] Вопрос 1 [http://neerc.ifmo.ru/mediawiki/index.php?title=%D0%9F%D0%BE%D0%BB%D1%83%D0%BA%D0%BE%D0%BB%D1%8C%D1%86%D0%B0_%D0%B8_%D0%B0%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D1%8B&printable=yes печать]
#[[Мера на полукольце множеств]] Вопрос 2 [http://neerc.ifmo.ru/mediawiki/index.php?title=%D0%9C%D0%B5%D1%80%D0%B0_%D0%BD%D0%B0_%D0%BF%D0%BE%D0%BB%D1%83%D0%BA%D0%BE%D0%BB%D1%8C%D1%86%D0%B5_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B5%D1%81%D1%82%D0%B2&printable=yes печать]
#[[Внешняя мера]] Вопрос 3 [http://neerc.ifmo.ru/mediawiki/index.php?title=%D0%92%D0%BD%D0%B5%D1%88%D0%BD%D1%8F%D1%8F_%D0%BC%D0%B5%D1%80%D0%B0&printable=yes печать]
#[[Мера, порожденная внешней мерой]] Вопрос 4 [http://neerc.ifmo.ru/mediawiki/index.php?title=%D0%9C%D0%B5%D1%80%D0%B0,_%D0%BF%D0%BE%D1%80%D0%BE%D0%B6%D0%B4%D0%B5%D0%BD%D0%BD%D0%B0%D1%8F_%D0%B2%D0%BD%D0%B5%D1%88%D0%BD%D0%B5%D0%B9_%D0%BC%D0%B5%D1%80%D0%BE%D0%B9&printable=yes печать]
#[[Процесс Каратеодори]] Вопросы 5, 6, 7 [http://neerc.ifmo.ru/mediawiki/index.php?title=%D0%9F%D1%80%D0%BE%D1%86%D0%B5%D1%81%D1%81_%D0%9A%D0%B0%D1%80%D0%B0%D1%82%D0%B5%D0%BE%D0%B4%D0%BE%D1%80%D0%B8&printable=yes печать]
#[[Объём n-мерного прямоугольника]] Вопросы 8, 9 [http://neerc.ifmo.ru/mediawiki/index.php?title=%D0%9E%D0%B1%D1%8A%D1%91%D0%BC_n-%D0%BC%D0%B5%D1%80%D0%BD%D0%BE%D0%B3%D0%BE_%D0%BF%D1%80%D1%8F%D0%BC%D0%BE%D1%83%D0%B3%D0%BE%D0%BB%D1%8C%D0%BD%D0%B8%D0%BA%D0%B0&printable=yes печать]
#[[Мера Лебега в R^n]] Вопросы 10, 11, 12 [http://neerc.ifmo.ru/mediawiki/index.php?title=%D0%9C%D0%B5%D1%80%D0%B0_%D0%9B%D0%B5%D0%B1%D0%B5%D0%B3%D0%B0_%D0%B2_R%5En&printable=yes печать]

=== Глава XI Измеримые функции===
#[[Определение измеримой функции]] Вопросы 13, 14 [http://neerc.ifmo.ru/mediawiki/index.php?title=%D0%9E%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5_%D0%B8%D0%B7%D0%BC%D0%B5%D1%80%D0%B8%D0%BC%D0%BE%D0%B9_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%B8&printable=yes печать]
#[[Предельный переход в классе измеримых функций]] Вопросы 15, 16 [http://neerc.ifmo.ru/mediawiki/index.php?title=%D0%9F%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D1%8C%D0%BD%D1%8B%D0%B9_%D0%BF%D0%B5%D1%80%D0%B5%D1%85%D0%BE%D0%B4_%D0%B2_%D0%BA%D0%BB%D0%B0%D1%81%D1%81%D0%B5_%D0%B8%D0%B7%D0%BC%D0%B5%D1%80%D0%B8%D0%BC%D1%8B%D1%85_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%B9&printable=yes печать]
#[[Сходимость по мере]] Вопросы 17, 18 [http://neerc.ifmo.ru/mediawiki/index.php?title=%D0%A1%D1%85%D0%BE%D0%B4%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D1%8C_%D0%BF%D0%BE_%D0%BC%D0%B5%D1%80%D0%B5&printable=yes печать]
#[[Классические теоремы теории измеримых функций]] Вопросы 18(?), 19, 20, 21 [http://neerc.ifmo.ru/mediawiki/index.php?title=%D0%9A%D0%BB%D0%B0%D1%81%D1%81%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D1%82%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D1%8B_%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D0%B8_%D0%B8%D0%B7%D0%BC%D0%B5%D1%80%D0%B8%D0%BC%D1%8B%D1%85_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%B9&printable=yes печать]

=== Глава XII Интеграл Лебега ===
#[[Определение интеграла Лебега | Определение интеграла Лебега от ограниченных функций по множествам конечной меры]] Вопросы 22, 23 [http://neerc.ifmo.ru/mediawiki/index.php?title=%D0%9E%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5_%D0%B8%D0%BD%D1%82%D0%B5%D0%B3%D1%80%D0%B0%D0%BB%D0%B0_%D0%9B%D0%B5%D0%B1%D0%B5%D0%B3%D0%B0&printable=yes печать]
#[[Некоторые элементарные свойства интеграла Лебега]] Вопросы 24, 26 [http://neerc.ifmo.ru/mediawiki/index.php?title=%D0%9D%D0%B5%D0%BA%D0%BE%D1%82%D0%BE%D1%80%D1%8B%D0%B5_%D1%8D%D0%BB%D0%B5%D0%BC%D0%B5%D0%BD%D1%82%D0%B0%D1%80%D0%BD%D1%8B%D0%B5_%D1%81%D0%B2%D0%BE%D0%B9%D1%81%D1%82%D0%B2%D0%B0_%D0%B8%D0%BD%D1%82%D0%B5%D0%B3%D1%80%D0%B0%D0%BB%D0%B0_%D0%9B%D0%B5%D0%B1%D0%B5%D0%B3%D0%B0&printable=yes печать]
#[[Предельный переход под знаком интеграла Лебега]] Вопрос 27 [http://neerc.ifmo.ru/mediawiki/index.php?title=%D0%9F%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D1%8C%D0%BD%D1%8B%D0%B9_%D0%BF%D0%B5%D1%80%D0%B5%D1%85%D0%BE%D0%B4_%D0%BF%D0%BE%D0%B4_%D0%B7%D0%BD%D0%B0%D0%BA%D0%BE%D0%BC_%D0%B8%D0%BD%D1%82%D0%B5%D0%B3%D1%80%D0%B0%D0%BB%D0%B0_%D0%9B%D0%B5%D0%B1%D0%B5%D0%B3%D0%B0&printable=yes печать]
#[[Неотрицательные суммируемые функции]] Вопросы 28, 29 [http://neerc.ifmo.ru/mediawiki/index.php?title=%D0%9D%D0%B5%D0%BE%D1%82%D1%80%D0%B8%D1%86%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%81%D1%83%D0%BC%D0%BC%D0%B8%D1%80%D1%83%D0%B5%D0%BC%D1%8B%D0%B5_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%B8&printable=yes печать]
#[[Суммируемые функции произвольного знака]] Вопросы 28(?), 25, 30, 31 [http://neerc.ifmo.ru/mediawiki/index.php?title=%D0%A1%D1%83%D0%BC%D0%BC%D0%B8%D1%80%D1%83%D0%B5%D0%BC%D1%8B%D0%B5_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%B8_%D0%BF%D1%80%D0%BE%D0%B8%D0%B7%D0%B2%D0%BE%D0%BB%D1%8C%D0%BD%D0%BE%D0%B3%D0%BE_%D0%B7%D0%BD%D0%B0%D0%BA%D0%B0&printable=yes печать]
#[[Классические теоремы о предельном переходе под знаком интеграла Лебега]] Вопросы 32, 33, 34 [http://neerc.ifmo.ru/mediawiki/index.php?title=%D0%9A%D0%BB%D0%B0%D1%81%D1%81%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D1%82%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D1%8B_%D0%BE_%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D1%8C%D0%BD%D0%BE%D0%BC_%D0%BF%D0%B5%D1%80%D0%B5%D1%85%D0%BE%D0%B4%D0%B5_%D0%BF%D0%BE%D0%B4_%D0%B7%D0%BD%D0%B0%D0%BA%D0%BE%D0%BC_%D0%B8%D0%BD%D1%82%D0%B5%D0%B3%D1%80%D0%B0%D0%BB%D0%B0_%D0%9B%D0%B5%D0%B1%D0%B5%D0%B3%D0%B0&printable=yes печать]
#[[Пространство L_p(E)]] Вопросы 35, 36, 37 [http://neerc.ifmo.ru/mediawiki/index.php?title=%D0%9F%D1%80%D0%BE%D1%81%D1%82%D1%80%D0%B0%D0%BD%D1%81%D1%82%D0%B2%D0%BE_L_p(E)&printable=yes печать]
#[[Мера подграфика]] Вопросы 38, 39 [http://neerc.ifmo.ru/mediawiki/index.php?title=%D0%9C%D0%B5%D1%80%D0%B0_%D0%BF%D0%BE%D0%B4%D0%B3%D1%80%D0%B0%D1%84%D0%B8%D0%BA%D0%B0&printable=yes печать]
#[[Теорема Фубини]] Вопросы 40, 41 [http://neerc.ifmo.ru/mediawiki/index.php?title=%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_%D0%A4%D1%83%D0%B1%D0%B8%D0%BD%D0%B8&printable=yes печать]
#[[Точки Лебега суммируемой функции]] Нафиг не нужно

=== Глава XIII Ряды Фурье ===
# [[Определение ряда Фурье]] Вопрос 1
# [[Интеграл Дирихле]]
# [[Интеграл Фейера]]
# [[Наилучшее приближение в линейных нормированных пространствах]]
# [[Теорема Фейера]]
# [[Лемма Римана-Лебега]]
# [[Сходимость ряда Фурье в индивидуальной точке]]
# [[Функции ограниченной вариации]]
# [[Интеграл Римана-Стилтьеса]]
# [[Теорема Жордана]]
# [[О почленном интегрировании ряда Фурье]]
# [[L_2-теория рядов Фурье]]
# [[Теорема Лузина-Данжуа]]
# [[Теорема Джексона]]
# [[Об интеграле Фурье]]
# [[Явление Гиббса]]
# [[Неравенство Бернштейна]]
# [[Об обратных теоремах теории приближения функций]]

=== Экзамен ===
* [[Вопросы к экзамену по математическому анализу за 4 семестр]]
* [[Теоретический минимум по математическому анализу за 4 семестр]]
* [[Вопросы к экзамену по математическому анализу за 3 семестр]]
* [[Теоретический минимум по математическому анализу за 3 семестр]]