Ортогональные системы векторов — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м (rollbackEdits.php mass rollback)
 
Строка 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 Майкл Наки].
 
|}
 
 
 
==Коэффициенты Фурье==
 
==Коэффициенты Фурье==
 
{{Определение
 
{{Определение

Текущая версия на 19:19, 4 сентября 2022

Коэффициенты Фурье

Определение:
Пусть [math]{\{e_i\}}^k_{i=1}[/math] — ОРТН-система векторов. Тогда числа [math]\varphi_i = \left\langle x, e_i\right\rangle[/math] называются коэффициентами Фурье вектора [math]x[/math] относительно системы [math]{\{e_i\}}^k_{i=1}[/math]

NB: [math]\mathcal{P}^{\bot}_L x = \sum\limits_{i=1}^{k}\varphi_{i}e_{i}\;\;(k \le n = \dim E)[/math]

Неравенство Бесселя

Лемма:
[math]{\Vert\mathcal{P}^{\bot}_L x\Vert}^2 = \sum\limits_{i=1}^k{|\varphi_{i}|}^2[/math]
Доказательство:
[math]\triangleright[/math]

[math]{\Vert\mathcal{P}^{\bot}_L x\Vert}^2 = \left\langle \mathcal{P}^{\bot}_L x; \mathcal{P}^{\bot}_L x\right\rangle = \left\langle\sum\limits_{i=1}^{k}\varphi_{i}e_{i}; \sum\limits_{j=1}^{k}\varphi_{j}e_{j}\right\rangle = \sum\limits_{i,j=1}^{k} \varphi_i\cdot\overline{\varphi_j}\left\langle e_i, e_j\right\rangle[/math];

Т.к. у нас ОРТН-базис, то [math]\left\langle e_i, e_j\right\rangle = \delta_{ij}[/math], поэтому одно суммирование можно убрать:

[math]\sum\limits_{i,j=1}^{k} \varphi_i\cdot\overline{\varphi_j}\left\langle e_i, e_j\right\rangle = \sum\limits_{i=1}^{k} \varphi_i\cdot\overline{\varphi_j} = \sum\limits_{i=1}^{k} {|\varphi_i|}^2[/math]
[math]\triangleleft[/math]
Теорема (неравенство Бесселя):
[math]\Vert x\Vert^2 \ge \sum\limits_{i=1}^{k} {|\varphi_i|}^2[/math]
Доказательство:
[math]\triangleright[/math]
Утверждается, что равенство напрямую следует из леммы
[math]\triangleleft[/math]

Равенство Парсеваля

Теорема (равенство Парсеваля):
[math]\Vert x\Vert^2 =\sum\limits_{i=1}^{k} {|\varphi_i|}^2 \Longleftrightarrow x\in L[/math]
Доказательство:
[math]\triangleright[/math]
Утверждается, что равенство напрямую следует из леммы
[math]\triangleleft[/math]
Теорема:
Для того, чтобы ОРТН-система векторов [math]{\{e_i\}}^n_{i=1}[/math] могла бы быть полной в евклидовом пространстве [math]E[/math], необходимо и достаточно, чтобы выполнялось равенство Парсеваля: [math]\Vert x\Vert^2 =\sum\limits_{i=1}^{n} {|\varphi_i|}^2[/math], где [math]n=\dim E[/math]
Доказательство:
[math]\triangleright[/math]

Достаточность: пусть [math]n\ne\dim E[/math], тогда т.к. [math]{\{e_i\}}^n_{i=1}[/math] — ОРТН-система, то набор [math]{\{e_i\}}^n_{i=1}[/math] — ЛНЗ(по определению ортонормированности), а значит он может быть полным, только если [math]n=\dim L[/math]

Необходимость: полностью следует из равенства Парсеваля.
[math]\triangleleft[/math]