W matematyce , wykorzystując układ biortogonalny jest para indeksowanych rodzin wektorów
v
~
ja
{\ displaystyle {\ tilde {v}} _ {i}}
w e i w F
u
~
ja
{\ displaystyle {\ tilde {u}} _ {i}}
takie że
⟨
v
~
ja
,
u
~
jot
⟩
=
δ
ja
,
jot
,
{\ displaystyle \ left \ langle {\ tilde {v}} _ {i}, {\ tilde {u}} _ {j} \ right \ rangle = \ delta _ {i, j},}
gdzie E i F tworzą parę topologicznych przestrzeni wektorowych, które są w dualności , ⟨·, ·⟩ jest odwzorowaniem dwuliniowym i jest deltą Kroneckera .
δ
ja
,
jot
{\ displaystyle \ delta _ {i, j}}
Przykładem jest para zestawów odpowiednio lewego i prawego wektorów własnych macierzy, indeksowanych przez wartość własną , jeśli wartości własne są różne.
Układ biortogonalny, w którym E = F i jest układem ortonormalnym .
v
~
ja
=
u
~
ja
{\ displaystyle {\ tilde {v}} _ {i} = {\ tilde {u}} _ {i}}
Występ
Z systemem biortogonalnym wiąże się odwzorowanie
P.
: =
∑
ja
∈
ja
u
~
ja
⊗
v
~
ja
{\ Displaystyle P: = \ suma _ {i \ in I} {\ tilde {u}} _ {i} \ otimes {\ tilde {v}} _ {i}}
,
gdzie ; jego obraz jest liniowy okres od , a jądro ma .
(
u
⊗
v
)
(
x
)
: =
u
⟨
v
,
x
⟩
{\ Displaystyle \ lewo (u \ otimes v \ prawej) (x): = u \ langle v, x \ rangle}
{
u
~
ja
:
ja
∈
ja
}
{\ Displaystyle \ lewo \ {{\ tilde {u}} _ {i}: ja \ in ja \ prawo \}}
{
⟨
v
~
ja
,
⋅
⟩
=
0
:
ja
∈
ja
}
{\ Displaystyle \ lewo \ {\ lewo \ langle {\ tylda {v}} _ {i}, \ cdot \ prawo \ rangle = 0: ja \ in ja \ prawo \}}
Budowa
Biorąc pod uwagę prawdopodobnie nieortogonalny zbiór wektorów i związany z rzutowaniem jest
u
=
(
u
ja
)
{\ displaystyle \ mathbf {u} = (u_ {i})}
v
=
(
v
ja
)
{\ Displaystyle \ mathbf {v} = \ lewo (v_ {i} \ prawo)}
P.
=
∑
ja
,
jot
u
ja
(
⟨
v
,
u
⟩
-
1
)
jot
,
ja
⊗
v
jot
{\ Displaystyle P = \ suma _ {i, j} u_ {i} \ lewo (\ langle \ mathbf {v}, \ mathbf {u} \ rangle ^ {- 1} \ prawo) _ {j, i} \ otimes v_ {j}}
,
gdzie jest macierz z wpisami .
⟨
v
,
u
⟩
{\ displaystyle \ langle \ mathbf {v}, \ mathbf {u} \ rangle}
(
⟨
v
,
u
⟩
)
ja
,
jot
=
⟨
v
ja
,
u
jot
⟩
{\ Displaystyle \ lewo (\ langle \ mathbf {v}, \ mathbf {u} \ rangle \ prawej) _ {ja, j} = \ lewo \ langle v_ {i}, u_ {j} \ prawo \ rangle}
u
~
ja
: =
(
ja
-
P.
)
u
ja
{\ displaystyle {\ tilde {u}} _ {i}: = (IP) u_ {i}}
, a następnie jest systemem biortogonalnym.
v
~
ja
: =
(
ja
-
P.
)
∗
v
ja
{\ Displaystyle {\ tilde {v}} _ {i}: = \ lewo (IP \ prawo) ^ {*} v_ {i}}
Zobacz też
Bibliografia
Jean Dieudonné, O systemach biortogonalnych Michigan Math. J. 2 (1953), nr. 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;">