Ортогональные функции: различия между версиями
| [отпатрулированная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
EmausBot (обсуждение | вклад) м Перемещение 5 интервики-ссылок в Викиданные (d:Q2637908) |
Нет описания правки |
||
Строка 1:
Две вещественные [[Функция (математика)|функции]] <math>\varphi_1(t)</math> и <math>\varphi_2(t)</math> на интервале <math>[a,b]</math> называются [[Ортогональность|ортогональными]], если▼
: <math>\int\limits_{a}^{b}\!\varphi_1(t)\varphi_2(t)\,dt = 0</math>▼
▲Две
Для комплексных функций вводится [[комплексное сопряжение]] одной из функций под интегралом, для векторных — [[скалярное произведение]] функций под интегралом, а также интегрирование по отрезку заменяется на интегрирование по области соответствующей размерности.▼
▲Для
Полезным обобщением понятия ортогональности является ортогональность с определённым весом. Ортогональны с весом <math>w</math> функции <math>f</math> и <math>g</math>, если
Строка 9 ⟶ 11 :
где <math>\langle f(x), g(x)\rangle</math> — скалярное произведение векторов <math>f(x)</math> и <math>g(x)</math> — значений векторнозначных функций <math>f</math> и <math>g</math> в точке <math>x</math>, <math>x</math> — точка области <math>\Omega</math>, а <math>d\Omega</math> — элемент её объёма ([[Мера множества|меры]]). Эта формула записана наиболее общим способом по сравнению со всеми выше. В случае вещественных скалярных <math>f(x)</math>, <math>g(x)</math> скалярное произведение следует заменить на обычное; в случае комплексных скалярных <math>f(x)</math>, <math>g(x)</math>: <math>\langle f(x), g(x)\rangle = \bar f (x) g(x)</math>.
Требование принадлежности функций пространству <math>L_2(E)</math> связано с тем, что при <math>p \neq 2</math> пространства <math>L_p(E)</math> не образуют евклидова пространвства, а потому на них невозможно ввести скалярное произведение, а вместе с ним и ортогональность.
== Пример ==
| |||