x1,x2,…,xn:正規直交Σ[i=1..n]|<x,xi>|^2≦∥x∥^2且つx-Σ[i=1..n]<x,xi>xi⊥xj (∀j)
こんにちは。
[定理]x1,x2,…,xnが内積空間Xでの正規直交集合とする。
x∈Xの時,
Σ[i=1..n]|<x,xi>|^2≦∥x∥^2
且つ
x-Σ[i=1..n]<x,xi>xi⊥xj (∀j)
はどのようして示せばいいのか分かりません。
何卒,ご教示ください。
尚,
内積の定義は複素線形空間Vの任意の要素x,yに対して複素数<x,y>が定まり,次の4条
件を満たす時<x,y>をxとyの内積といい,内積が定義されている空間Vを内積空間と言
う。
(i) <x,x>≧0; <x,x>=0⇔x=0
(ii) <x,y>=<y,x>~ (~はバーを表す)
(iii) <x+y,z>=<x,z>+<y,z>
(iv) <αx,y>=α<x,y>
ノルムの定義はVを線形空間とする。Vの任意の要素xに対して,次の条件を満たすような実数∥x∥がある時,∥x∥をxのノルムという。
(i) ∥x∥≧0;また∥x∥=0⇔x=0
(ii) ∥αx∥=|α|∥x∥
(iii) ∥x+y∥≦∥x∥+∥y∥