В математике , биортогональная система представляет собой пару индексированных семейств векторов
v
~
я
{\ Displaystyle {\ тильда {v}} _ {я}}
в E и в F
ты
~
я
{\ displaystyle {\ tilde {u}} _ {i}}
такой, что
⟨
v
~
я
,
ты
~
j
⟩
знак равно
δ
я
,
j
,
{\ displaystyle \ left \ langle {\ tilde {v}} _ {i}, {\ tilde {u}} _ {j} \ right \ rangle = \ delta _ {i, j},}
где Е и F образуют пару топологических векторных пространств , которые находятся в двойственности , ⟨·, ·⟩ является билинейным отображением и является Кронекером .
δ
я
,
j
{\ displaystyle \ delta _ {я, j}}
Примером является пара наборов соответственно левого и правого собственных векторов матрицы, индексированных собственным значением , если собственные значения различны.
Биортогональная система, в которой E = F и является ортонормированной системой .
v
~
я
знак равно
ты
~
я
{\ Displaystyle {\ тильда {v}} _ {я} = {\ тильда {и}} _ {я}}
Проекция
С биортогональной системой связана проекция
п
знак равно
∑
я
∈
я
ты
~
я
⊗
v
~
я
{\ displaystyle P: = \ sum _ {i \ in I} {\ tilde {u}} _ {i} \ otimes {\ tilde {v}} _ {i}}
,
где ; его образ является линейной оболочкой из , а ядро находится .
(
ты
⊗
v
)
(
Икс
)
знак равно
ты
⟨
v
,
Икс
⟩
{\ displaystyle \ left (и \ otimes v \ right) (x): = u \ langle v, x \ rangle}
{
ты
~
я
:
я
∈
я
}
{\ displaystyle \ left \ {{\ tilde {u}} _ {i}: я \ in I \ right \}}
{
⟨
v
~
я
,
⋅
⟩
знак равно
0
:
я
∈
я
}
{\ displaystyle \ left \ {\ left \ langle {\ тильда {v}} _ {i}, \ cdot \ right \ rangle = 0: i \ in I \ right \}}
строительство
Учитывая, возможно, неортогональный набор векторов и связанную проекцию,
ты
знак равно
(
ты
я
)
{\ Displaystyle \ mathbf {u} = (и_ {я})}
v
знак равно
(
v
я
)
{\ Displaystyle \ mathbf {v} = \ left (v_ {i} \ right)}
п
знак равно
∑
я
,
j
ты
я
(
⟨
v
,
ты
⟩
-
1
)
j
,
я
⊗
v
j
{\ displaystyle P = \ sum _ {i, j} u_ {i} \ left (\ langle \ mathbf {v}, \ mathbf {u} \ rangle ^ {- 1} \ right) _ {j, i} \ время v_ {j}}
,
где - матрица с элементами .
⟨
v
,
ты
⟩
{\ Displaystyle \ langle \ mathbf {v}, \ mathbf {u} \ rangle}
(
⟨
v
,
ты
⟩
)
я
,
j
знак равно
⟨
v
я
,
ты
j
⟩
{\ displaystyle \ left (\ langle \ mathbf {v}, \ mathbf {u} \ rangle \ right) _ {i, j} = \ left \ langle v_ {i}, u_ {j} \ right \ rangle}
ты
~
я
знак равно
(
я
-
п
)
ты
я
{\ displaystyle {\ tilde {u}} _ {i}: = (IP) u_ {i}}
, а затем - биортогональная система.
v
~
я
знак равно
(
я
-
п
)
*
v
я
{\ displaystyle {\ tilde {v}} _ {i}: = \ left (IP \ right) ^ {*} v_ {i}}
Смотрите также
Ссылки
Жан Дьедонне, О биортогональных системах Michigan Math. J. 2 (1953), нет. 1, 7–20 [1]
<img src="https://en.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">