Ортонормальность

редактировать

В линейной алгебре два вектора во внутреннем пространстве продукта являются ортонормированными, если они ортогональны или перпендикулярны вдоль линии, и единичные векторы. Набор векторов образует ортонормированный набор, если все векторы в наборе взаимно ортогональны и все имеют единичную длину. Ортонормированный набор, образующий базис, называется ортонормированным базисом.

Содержание
  • 1 Интуитивный обзор
    • 1.1 Простой пример
  • 2 Определение
  • 3 Значение
    • 3.1 Свойства
    • 3.2 Существование
  • 4 Примеры
    • 4.1 Стандартный базис
    • 4.2 Действительные функции
    • 4.3 Ряд Фурье
  • 5 См. Также
  • 6 Источники
Интуитивный обзор

Построение ортогональности векторов мотивировано желанием расширить интуитивное понятие перпендикулярных векторов на многомерные пространства. В декартовой плоскости два вектора называются перпендикулярными, если угол между ними составляет 90 ° (то есть если они образуют прямой угол ). Это определение можно формализовать в декартовом пространстве, определив скалярное произведение и указав, что два вектора в плоскости ортогональны, если их скалярное произведение равно нулю.

Точно так же построение нормы вектора мотивировано желанием расширить интуитивное понятие длины вектора на пространства более высокой размерности. В декартовом пространстве норма вектора - это квадратный корень из вектора, пунктирного над самим собой. То есть

‖ x ‖ = x ⋅ x {\ displaystyle \ | \ mathbf {x} \ | = {\ sqrt {\ mathbf {x} \ cdot \ mathbf {x}}}}\ | \ mathbf {x} \ | = \ sqrt {\ mathbf {x} \ cdot \ mathbf {x}}

Многие важные приводит к линейной алгебре, имеющей дело с наборами двух или более ортогональных векторов. Но часто бывает проще иметь дело с векторами единичной длины. То есть часто упрощается рассмотрение только векторов, норма которых равна 1. Понятие ограничения ортогональных пар векторов только теми, которые имеют единичную длину, достаточно важно, чтобы дать ему особое имя. Два ортогональных вектора длины 1 называются ортонормированными.

Простой пример

Как выглядит пара ортонормированных векторов в двумерном евклидовом пространстве?

Пусть u = (x 1, y 1) и v = (x 2, y 2). Рассмотрим ограничения на x 1, x 2, y 1, y 2, необходимые для создания u и v образуют ортонормированную пару.

  • Из ограничения ортогональности, u• v= 0.
  • Из ограничения единичной длины на u, || u || = 1.
  • Из ограничения длины блока на v, || v || = 1.

Расширение этих членов дает 3 уравнения:

  1. x 1 x 2 + y 1 y 2 = 0 {\ displaystyle x_ {1} x_ {2} + y_ {1} y_ {2} = 0 \ quad}x_1 x_2 + y_1 y_2 = 0 \ quad
  2. x 1 2 + y 1 2 = 1 {\ displaystyle {\ sqrt {{x_ {1}} ^ {2} + {y_ {1}} ^ {2}}} = 1}\ sqrt {{x_1} ^ 2 + {y_1} ^ 2 } = 1
  3. x 2 2 + y 2 2 = 1 {\ displaystyle {\ sqrt {{x_ {2}} ^ {2} + {y_ {2}} ^ {2}}} = 1}\ sqrt {{x_2} ^ 2 + {y_2} ^ 2} = 1

Преобразование декартовой системы в полярные координаты, и учитывая уравнение (2) {\ displaystyle (2)}(2)и уравнение (3) {\ displaystyle (3)}(3)немедленно дает результат r 1 = r 2 = 1. Другими словами, требование, чтобы векторы были единичной длины, ограничивает их расположение на единичной окружности .

После замены уравнение (1) {\ displaystyle (1)}(1) становится cos ⁡ θ 1 cos ⁡ θ 2 + sin ⁡ θ 1 sin ⁡ θ 2 = 0 {\ displaystyle \ cos \ theta _ {1} \ cos \ theta _ {2} + \ sin \ theta _ {1} \ sin \ theta _ {2} = 0}\ cos \ theta _1 \ cos \ theta _2 + \ sin \ theta _1 \ sin \ theta _2 = 0 . Перестановка дает загар ⁡ θ 1 = - кроватка ⁡ θ 2 {\ displaystyle \ tan \ theta _ {1} = - \ cot \ theta _ {2}}\ tan \ theta _1 = - \ cot \ theta _2 . Использование тригонометрического тождества для преобразования члена котангенса дает

tan ⁡ (θ 1) = tan ⁡ (θ 2 + π 2) {\ displaystyle \ tan (\ theta _ {1}) = \ загар \ влево (\ theta _ {2} + {\ tfrac {\ pi} {2}} \ right)}\ tan (\ theta_1) = \ tan \ left (\ theta_2 + \ tfrac {\ pi} {2} \ right)
⇒ θ 1 = θ 2 + π 2 {\ displaystyle \ Rightarrow \ theta _ {1} = \ theta _ {2} + {\ tfrac {\ pi} {2}}}\ Rightarrow \ theta _1 = \ theta _2 + \ tfrac {\ pi} {2}

Ясно, что на плоскости ортонормированные векторы - это просто радиусы единичной окружности, разность углов которой равна до 90 °.

Определение

Пусть V {\ displaystyle {\ mathcal {V}}}{\ mathcal {V}} будет внутренним пространством продукта. Набор векторов

{u 1, u 2,…, un,…} ∈ V {\ displaystyle \ left \ {u_ {1}, u_ {2}, \ ldots, u_ {n}, \ ldots \ right \} \ in {\ mathcal {V}}}\ left \ {u_1, u_2, \ ldots, u_n, \ ldots \ right \} \ in \ mathcal {V}

называется ортонормальнымтогда и только тогда, когда

∀ i, j: ⟨ui, uj⟩ = δ ij {\ displaystyle \ forall i, j: \ langle u_ {i}, u_ {j} \ rangle = \ delta _ {ij}}\ forall i, j: \ langle u_i, u_j \ rangle = \ delta_ {ij}

где δ ij {\ displaystyle \ delta _ {ij} \,}\ delta_ {ij} \, - дельта Кронекера, а ⟨⋅, ⋅⟩ {\ displaystyle \ langle \ cdot, \ cdot \ rangle}\ langle \ cdot, \ cdot \ rangle - внутренний продукт, определенный на основе V {\ displaystyle {\ mathcal {V}}}{\ mathcal {V}} .

Significance

Ортонормированные наборы сами по себе не имеют особого значения. Однако они демонстрируют определенные особенности, которые делают их фундаментальными при изучении понятия диагонализуемости некоторых операторов в векторных пространствах.

Свойства

Ортонормированные наборы обладают определенными очень привлекательными свойствами, благодаря которым с ними особенно легко работать.

  • Теорема . Если {e1, e2,..., en} - ортонормированный список векторов, то
∀ a: = [a 1, ⋯, a n]; | | а 1 е 1 + а 2 е 2 + ⋯ + а н е п | | 2 = | а 1 | 2 + | а 2 | 2 + ⋯ + | а п | 2 {\ displaystyle \ forall {\ textbf {a}}: = [a_ {1}, \ cdots, a_ {n}]; \ || a_ {1} {\ textbf {e}} _ {1} + a_ {2} {\ textbf {e}} _ {2} + \ cdots + a_ {n} {\ textbf {e}} _ {n} || ^ {2} = | a_ {1} | ^ {2} + | a_ {2} | ^ {2} + \ cdots + | a_ {n} | ^ {2}}{\ displaystyle \ forall {\ textbf {a}}: = [a_ {1}, \ cdots, a_ {n}]; \ || a_ {1} {\ textbf {e}} _ {1} + a_ {2} {\ textbf {e}} _ {2} + \ cdots + a_ {n} {\ textbf {e}} _ {n} || ^ {2} = | a_ {1 } | ^ {2} + | a_ {2} | ^ {2} + \ cdots + | a_ {n} | ^ {2}}

Существованием

  • теоремой Грама-Шмидта. Если {v1, v2,..., vn} является линейно независимым списком векторов в пространстве внутреннего продукта V {\ displaystyle {\ mathcal {V}}}{\ mathcal {V}} , тогда существует ортонормированный список {e1, e2,..., en} векторов в V {\ displaystyle {\ mathcal {V}}}{\ mathcal {V}} такой, что span (e1, e2,..., en) = span (v1, v2,..., vn).

Доказательство теоремы Грама-Шмидта является конструктивным, а подробно обсуждается в другом месте. Теорема Грама-Шмидта вместе с выбранной аксиомой гарантирует, что каждое векторное пространство допускает ортонормированный базис. Это, возможно, наиболее важное применение ортонормированности, поскольку этот факт допускает использование операторов на пространствах внутреннего продукта, которые будут обсуждаться с точки зрения их действия на ортонормированные базисные векторы пространства. В результате возникает глубокая взаимосвязь между диагонализуемостью оператора и тем, как он действует на ортонормированные базисные векторы. Эта взаимосвязь характеризуется соотношением Спектральная теорема.

Примеры

Стандартный базис

стандартный базис для координатного пространства Fравен

{e1, e2,..., en}, гдеe1= (1, 0,..., 0)
e2= (0, 1,..., 0)
⋮ {\ displaystyle \ vdots}\ vdots
en= (0, 0,..., 1)

Любые два вектора ei, ej, где i ≠ j ортогональны, и все векторы явно имеют единичную длину. Итак, {e1, e2,..., en} образует ортонормированный базис.

Функции с действительным знаком

При обращении к вещественным -значным функциям обычно используется внутренний продукт , если в противном случае указано. Две функции ϕ (x) {\ displaystyle \ phi (x)}\ phi (x) и ψ (x) {\ displaystyle \ psi (x)}\ psi (x) ортонормированы над интервал [a, b] {\ displaystyle [a, b]}[a,b ], если

(1) ⟨ϕ (x), ψ (x)⟩ = ∫ ab ϕ (x) ψ (x) dx = 0 и {\ displaystyle (1) \ quad \ langle \ phi (x), \ psi (x) \ rangle = \ int _ {a} ^ {b} \ phi (x) \ psi (x) dx = 0, \ quad {\ rm {and}}}(1) \ quad \ langle \ phi (x), \ psi (x) \ rangle = \ int_a ^ b \ phi (x) \ psi ( x) dx = 0, \ quad {\ rm and}
(2) | | ϕ (x) | | 2 = | | ψ (x) | | 2 = [∫ a b | ϕ (x) | 2 d x] 1 2 = [∫ a b | ψ (x) | 2 dx] 1 2 = 1. {\ displaystyle (2) \ quad || \ phi (x) || _ {2} = || \ psi (x) || _ {2} = \ left [\ int _ {a} ^ {b} | \ phi (x) | ^ {2} dx \ right] ^ {\ frac {1} {2}} = \ left [\ int _ {a} ^ {b} | \ psi (x) | ^ {2} dx \ right] ^ {\ frac {1} {2}} = 1.}(2) \ quad || \ phi (x) || _2 = || \ psi (x) || _2 = \ left [\ int_a ^ b | \ phi (x) | ^ 2dx \ right] ^ \ frac {1} {2} = \ left [\ int_a ^ b | \ psi (x) | ^ 2dx \ right] ^ \ frac {1} {2} = 1.

Ряд Фурье

Ряд Фурье - это метод выражения периодической функции в терминах синусоидальных базисных функций. Взяв C [−π, π] как пространство всех действительных функций, непрерывных на интервале [−π, π], и взяв скалярное произведение как

, f, g⟩ = ∫ - π π е (Икс) г (Икс) dx {\ Displaystyle \ langle f, g \ rangle = \ int _ {- \ pi} ^ {\ pi} f (x) g (x) dx}\ langle f, g \ rangle = \ int _ {- \ pi} ^ {\ pi} f (x) g (x) dx

можно показать, что

{1 2 π, sin ⁡ (x) π, sin ⁡ (2 x) π,…, sin ⁡ (nx) π, cos ⁡ (x) π, cos ⁡ (2 x) π,…, соз ⁡ (nx) π}, n ∈ N {\ displaystyle \ left \ {{\ frac {1} {\ sqrt {2 \ pi}}}, {\ frac {\ sin (x)} { \ sqrt {\ pi}}}, {\ frac {\ sin (2x)} {\ sqrt {\ pi}}}, \ ldots, {\ frac {\ sin (nx)} {\ sqrt {\ pi}} }, {\ frac {\ cos (x)} {\ sqrt {\ pi}}}, {\ frac {\ cos (2x)} {\ sqrt {\ pi}}}, \ ldots, {\ frac {\ cos (nx)} {\ sqrt {\ pi}}} \ right \}, \ quad n \ in \ mathbb {N}}\ left \ {\ frac {1} {\ sqrt {2 \ pi}}, \ frac {\ sin ( x)} {\ sqrt {\ pi}}, \ frac {\ sin (2x)} {\ sqrt {\ pi}}, \ ldots, \ frac {\ sin (nx)} {\ sqrt {\ pi}}, \ frac {\ cos (x)} {\ sqrt {\ pi}}, \ frac {\ cos (2x)} {\ sqrt {\ pi}}, \ ldots, \ frac {\ cos (nx)} { \ sqrt {\ pi}} \ right \}, \ quad n \ in \ mathbb {N}

образует ортонормированный набор.

Однако это не имеет большого значения, потому что C [−π, π] бесконечномерно, и конечный набор векторов не может его охватить. Но снятие ограничения на конечность n делает набор плотным в C [−π, π] и, следовательно, ортонормированным базисом C [−π, π].

См. Также
Источники
Последняя правка сделана 2021-06-01 03:18:44
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте