ノルム空間 (V , ‖ ⋅ ‖ {\displaystyle \|\cdot \|} ) において、 中線定理 が成り立つならば、 V にはすべての x ∈ V {\displaystyle x\in V} で ‖ x ‖ 2 = ⟨ x , x ⟩ {\displaystyle \|x\|^{2}=\langle x,\ x\rangle } を満たす内積が存在する。
証明 実ベクトル空間を考える。すると、極化恒等式から「内積」(と思われるもの)が得られる。
⟨ x , y ⟩ = 1 4 ( ‖ x + y ‖ 2 − ‖ x − y ‖ 2 ) ∀ x , y ∈ V {\displaystyle \langle x,\ y\rangle ={\frac {1}{4}}\left(\|x+y\|^{2}-\|x-y\|^{2}\right)\ \forall \ x,y\in V} そこで、この「内積」が実際に内積の性質を満たし、この内積から導かれるノルムが (V , ‖ ⋅ ‖ {\displaystyle \|\cdot \|} ) を定義するノルム ‖ ⋅ ‖ {\displaystyle \|\cdot \|} であることを示す。
⟨ ⋅ , ⋅ ⟩ {\displaystyle \langle \cdot ,\cdot \rangle } が内積であるためには、次の性質を満たす必要がある。
⟨ x , x ⟩ > 0 , x ∈ V ∖ { 0 } {\displaystyle \langle x,x\rangle >0,\quad x\in V\setminus \{\mathbf {0} \}} 定義式に y = x ≠ 0 {\displaystyle y=x\neq 0} を代入することで ⟨ x , x ⟩ = 1 4 ( ‖ x + x ‖ 2 − ‖ x − x ‖ 2 ) = ‖ x ‖ 2 > 0 {\displaystyle \langle x,x\rangle ={\frac {1}{4}}\left(\|x+x\|^{2}-\|x-x\|^{2}\right)=\|x\|^{2}>0} が成り立つことがわかる。
⟨ x , y ⟩ = ⟨ y , x ⟩ , x , y ∈ V {\displaystyle \langle x,y\rangle =\langle y,x\rangle ,\quad x,y\in V} ‖ x − y ‖ 2 = ‖ y − x ‖ 2 {\displaystyle \|x-y\|^{2}=\|y-x\|^{2}} より、明らかに成り立つ。
⟨ α x + z , y ⟩ = α ⟨ x , y ⟩ + ⟨ z , y ⟩ , x , y , z ∈ V {\displaystyle \langle \alpha x+z,y\rangle =\alpha \langle x,y\rangle +\langle z,y\rangle ,\quad x,y,z\in V} まず ⟨ − x , y ⟩ = − ⟨ x , y ⟩ {\displaystyle \langle -x,y\rangle =-\langle x,y\rangle } を示す。
⟨ − x , y ⟩ = 1 4 ( ‖ − x + y ‖ 2 − ‖ − x − y ‖ 2 ) = 1 4 ( ‖ x − y ‖ 2 − ‖ x + y ‖ 2 ) = − ⟨ x , y ⟩ {\displaystyle \langle -x,y\rangle ={\frac {1}{4}}\left(\|-x+y\|^{2}-\|-x-y\|^{2}\right)={\frac {1}{4}}\left(\|x-y\|^{2}-\|x+y\|^{2}\right)=-\langle x,y\rangle } 途中 ‖ a ‖ = ‖ − a ‖ {\displaystyle \|a\|=\|-a\|} を用いた。
ここで中線定理 を使用すると、次のことがわかる。
⟨ x , y ⟩ = 1 4 ( ‖ x + y ‖ 2 − ‖ x − y ‖ 2 ) = 1 2 ( ‖ x + y ‖ 2 − ‖ x ‖ 2 − ‖ y ‖ 2 ) = 1 2 ( ‖ x ‖ 2 + ‖ y ‖ 2 − ‖ x − y ‖ 2 ) ∀ x , y ∈ V {\displaystyle \langle x,\ y\rangle ={\frac {1}{4}}\left(\|x+y\|^{2}-\|x-y\|^{2}\right)\ ={\frac {1}{2}}\left(\|x+y\|^{2}-\|x\|^{2}-\|y\|^{2}\right)={\frac {1}{2}}\left(\|x\|^{2}+\|y\|^{2}-\|x-y\|^{2}\right)\forall \ x,y\in V}
以降、必要に応じて、この3つの表現を使う。
α ≥ 0 {\displaystyle \alpha \geq 0} とすると、ノルム ‖ ⋅ ‖ {\displaystyle \|\cdot \|} の斉次性と劣加法性を使用して ⟨ α x , y ⟩ − α ⟨ x , y ⟩ ≤ 0 {\displaystyle \langle \alpha x,y\rangle -\alpha \langle x,y\rangle \leq 0} を示すことができる:
⟨ α x , y ⟩ − α ⟨ x , y ⟩ = 1 2 ( ‖ α x + y ‖ 2 − α 2 ‖ x ‖ 2 − ‖ y ‖ 2 + α ‖ x − y ‖ 2 − α ‖ x ‖ 2 − α ‖ y ‖ 2 ) ≤ 1 2 ( ( α ‖ x ‖ + ‖ y ‖ ) 2 − α 2 ‖ x ‖ 2 − ‖ y ‖ 2 + α ‖ x − y ‖ 2 − α ‖ x ‖ 2 − α ‖ y ‖ 2 ) = 1 2 ( α 2 ‖ x ‖ 2 + ‖ y ‖ 2 + 2 α ‖ x ‖ ‖ y ‖ − α 2 ‖ x ‖ 2 − ‖ y ‖ 2 + α ‖ x − y ‖ 2 − α ‖ x ‖ 2 − α ‖ y ‖ 2 ) = 1 2 α ( 2 ‖ x ‖ ‖ y ‖ + ‖ x − y ‖ 2 − ‖ x ‖ 2 − ‖ y ‖ 2 ) = 1 2 α ( ‖ x − y ‖ 2 − ( ‖ x ‖ − ‖ y ‖ ) 2 ) ≤ 0 {\displaystyle {\begin{aligned}\langle \alpha x,y\rangle -\alpha \langle x,y\rangle &={\frac {1}{2}}\left(\|\alpha x+y\|^{2}-\alpha ^{2}\|x\|^{2}-\|y\|^{2}+\alpha \|x-y\|^{2}-\alpha \|x\|^{2}-\alpha \|y\|^{2}\right)\\[4pt]&\leq {\frac {1}{2}}\left(\left(\alpha \|x\|+\|y\|\right)^{2}-\alpha ^{2}\|x\|^{2}-\|y\|^{2}+\alpha \|x-y\|^{2}-\alpha \|x\|^{2}-\alpha \|y\|^{2}\right)\\[4pt]&={\frac {1}{2}}\left({\cancel {\alpha ^{2}\|x\|^{2}}}+{\cancel {\|y\|^{2}}}+2\alpha \|x\|\|y\|{\cancel {-\alpha ^{2}\|x\|^{2}}}-{\cancel {\|y\|^{2}}}+\alpha \|x-y\|^{2}-\alpha \|x\|^{2}-\alpha \|y\|^{2}\right)\\[4pt]&={\frac {1}{2}}\alpha \left(2\|x\|\|y\|+\|x-y\|^{2}-\|x\|^{2}-\|y\|^{2}\right)\\[4pt]&={\frac {1}{2}}\alpha \left(\|x-y\|^{2}-\left(\|x\|-\|y\|\right)^{2}\right)\\[4pt]&\leq 0\end{aligned}}} 大小関係には ( ‖ x ‖ − ‖ y ‖ ) 2 ≥ ‖ x − y ‖ 2 {\displaystyle \left(\|x\|-\|y\|\right)^{2}\geq \|x-y\|^{2}} (ノルムの性質)を用いた。
この性質は変数の組 x , − y {\displaystyle x,-y} を x , y {\displaystyle x,y} としても保たれる。ここで、対称性と、上で既に示した符号の性質を使うことで、以下の式が得られる。
0 ≥ ⟨ α x , − y ⟩ − α ⟨ x , − y ⟩ = ⟨ − α x , y ⟩ − α ⟨ − x , y ⟩ = − ( ⟨ α x , y ⟩ − α ⟨ x , y ⟩ ) {\displaystyle {\begin{aligned}0&\geq \langle \alpha x,-y\rangle -\alpha \langle x,-y\rangle \\[4pt]&=\langle -\alpha x,y\rangle -\alpha \langle -x,y\rangle \\[4pt]&=-\left(\langle \alpha x,y\rangle -\alpha \langle x,y\rangle \right)\\[4pt]\end{aligned}}} したがって ⟨ α x , y ⟩ − α ⟨ x , y ⟩ ≥ 0 {\displaystyle \langle \alpha x,y\rangle -\alpha \langle x,y\rangle \geq 0} となる。 0より大きいと同時に小さいので、 ⟨ α x , y ⟩ − α ⟨ x , y ⟩ = 0 ⇒ ⟨ α x , y ⟩ = α ⟨ x , y ⟩ {\displaystyle \langle \alpha x,y\rangle -\alpha \langle x,y\rangle =0\Rightarrow \langle \alpha x,y\rangle =\alpha \langle x,y\rangle } が成り立つ。
α < 0 {\displaystyle \alpha <0} の場合も、 β = − α {\displaystyle \beta =-\alpha } ( β > 0 {\displaystyle \beta >0} )と置くことで、以下のように式の成立を確認できる。
⟨ α x , y ⟩ = ⟨ − β x , y ⟩ = − ⟨ β x , y ⟩ = − β ⟨ x , y ⟩ = α ⟨ x , y ⟩ {\displaystyle \langle \alpha x,y\rangle =\langle -\beta x,y\rangle =-\langle \beta x,y\rangle =-\beta \langle x,y\rangle =\alpha \langle x,y\rangle }
次に ⟨ x + z , y ⟩ − ⟨ x , y ⟩ − ⟨ z , y ⟩ ≤ 0 {\displaystyle \langle x+z,y\rangle -\langle x,y\rangle -\langle z,y\rangle \leq 0} を示す。
⟨ x + z , y ⟩ − ⟨ x , y ⟩ − ⟨ z , y ⟩ = 1 2 ( ‖ x + y + z ‖ 2 − ‖ x + z ‖ 2 − ‖ y ‖ 2 + ‖ x − y ‖ 2 − ‖ x ‖ 2 − ‖ y ‖ 2 + ‖ z − y ‖ 2 − ‖ z ‖ 2 − ‖ y ‖ 2 ) ≤ 1 2 ( ( ‖ x + z ‖ + ‖ y ‖ ) 2 − ‖ x + z ‖ 2 − ‖ y ‖ 2 + ( ‖ x ‖ − ‖ y ‖ ) 2 − ‖ x ‖ 2 − ‖ y ‖ 2 + ( ‖ z ‖ − ‖ y ‖ ) 2 − ‖ z ‖ 2 − ‖ y ‖ 2 ) = 1 2 ( ‖ x + z ‖ 2 + ‖ y ‖ 2 + 2 ‖ x + z ‖ ‖ y ‖ − ‖ x + z ‖ 2 − ‖ y ‖ 2 + ‖ x ‖ 2 + ‖ y ‖ 2 − 2 ‖ x ‖ ‖ y ‖ − ‖ x ‖ 2 − ‖ y ‖ 2 + ‖ z ‖ 2 + ‖ y ‖ 2 − 2 ‖ z ‖ ‖ y ‖ − ‖ z ‖ 2 − ‖ y ‖ 2 ) = ‖ y ‖ ( ‖ x + z ‖ − ‖ x ‖ − ‖ z ‖ ) ≤ 0 {\displaystyle {\begin{aligned}\langle x+z,y\rangle -\langle x,y\rangle -\langle z,y\rangle &={\frac {1}{2}}\left(\|x+y+z\|^{2}-\|x+z\|^{2}-\|y\|^{2}+\|x-y\|^{2}-\|x\|^{2}-\|y\|^{2}+\|z-y\|^{2}-\|z\|^{2}-\|y\|^{2}\right)\\[4pt]&\leq {\frac {1}{2}}\left(\left(\|x+z\|+\|y\|\right)^{2}-\|x+z\|^{2}-\|y\|^{2}+\left(\|x\|-\|y\|\right)^{2}-\|x\|^{2}-\|y\|^{2}+\left(\|z\|-\|y\|\right)^{2}-\|z\|^{2}-\|y\|^{2}\right)\\[4pt]&={\frac {1}{2}}\left({\cancel {\|x+z\|^{2}}}+{\cancel {\|y\|^{2}}}+2\|x+z\|\|y\|-{\cancel {\|x+z\|^{2}}}-{\cancel {\|y\|^{2}}}+{\cancel {\|x\|^{2}}}+{\cancel {\|y\|^{2}}}-2\|x\|\|y\|-{\cancel {\|x\|^{2}}}-{\cancel {\|y\|^{2}}}+{\cancel {\|z\|^{2}}}+{\cancel {\|y\|^{2}}}-2\|z\|\|y\|-{\cancel {\|z\|^{2}}}-{\cancel {\|y\|^{2}}}\right)\\[4pt]&=\|y\|\left(\|x+z\|-\|x\|-\|z\|\right)\\[4pt]&\leq 0\end{aligned}}} 大小関係には ‖ x + z ‖ ≤ ‖ x ‖ + ‖ z ‖ {\displaystyle \|x+z\|\leq \|x\|+\|z\|} (三角不等式)を用いた。
上と同様に、 x , z , y {\displaystyle x,z,y} の代わりに x , z , − y {\displaystyle x,z,-y} とした場合を考慮することで、 ⟨ x + z , y ⟩ − ⟨ x , y ⟩ − ⟨ z , y ⟩ ≥ 0 {\displaystyle \langle x+z,y\rangle -\langle x,y\rangle -\langle z,y\rangle \geq 0} を証明できる。 したがって ⟨ x + z , y ⟩ = ⟨ x , y ⟩ + ⟨ z , y ⟩ {\displaystyle \langle x+z,y\rangle =\langle x,y\rangle +\langle z,y\rangle } が成り立つ。
ここで以上の等式を組み合わせると、 ⟨ α x + z , y ⟩ = ⟨ α x , y ⟩ + ⟨ z , y ⟩ = α ⟨ x , y ⟩ + ⟨ z , y ⟩ , x , y , z ∈ V {\displaystyle \langle \alpha x+z,y\rangle =\langle \alpha x,y\rangle +\langle z,y\rangle =\alpha \langle x,y\rangle +\langle z,y\rangle ,\quad x,y,z\in V} が得られる。 ⟨ ⋅ , ⋅ ⟩ {\displaystyle \langle \cdot ,\cdot \rangle } は線形であるため、実際に内積であることが確かめられた。
最後に、内積 ⟨ ⋅ , ⋅ ⟩ {\displaystyle \langle \cdot ,\cdot \rangle } からノルム ‖ ⋅ ‖ {\displaystyle \|\cdot \|} を導出できることを示して証明を終える。
⟨ x , x ⟩ = 1 4 ( ‖ x + x ‖ 2 + ‖ x − x ‖ 2 ) = 1 4 ‖ 2 x ‖ 2 = ‖ x ‖ {\displaystyle {\sqrt {\langle x,x\rangle }}={\sqrt {{\frac {1}{4}}\left(\|x+x\|^{2}+\|x-x\|^{2}\right)}}={\sqrt {{\frac {1}{4}}\|2x\|^{2}}}=\|x\|}
ノルム 線形代数 では、以下の方程式による内積 で定義されたベクトル空間の すべてのノルム に対して、極化恒等式が適用される。
‖ v ‖ = ⟨ v , v ⟩ {\displaystyle \|v\|={\sqrt {\langle v,v\rangle }}} 上記の内積の場合で述べたように、実ベクトル u と v の場合、角度 θ は次のようにして導入できる[3] 。
⟨ u , v ⟩ = ‖ u ‖ ‖ v ‖ cos θ ; ( − π < θ ≤ π ) {\displaystyle \langle u,\ v\rangle =\|u\|\|v\|\cos \theta \ ;\ (-\pi <\theta \leq \pi )} 以下のコーシー・シュワルツの不等式 から、この定義が妥当であることがわかる。
| ⟨ u , v ⟩ | ≤ ‖ u ‖ ‖ v ‖ {\displaystyle |\langle u,\ v\rangle |\leq \|u\|\|v\|} この不等式により、上で定義した余弦の大きさは 1 以下になる。(角度 θ の適当な関数として)余弦関数を選ぶことで、 ⟨ u , v ⟩ = 0 {\displaystyle \langle u,\ v\rangle =0} (直交ベクトル)のとき、角度 θ は π/ 2 か-π/ 2 になることが保証される。ここで、符号はベクトル空間の方向によって決まる。
この場合、恒等式は次のようになる。
⟨ u , v ⟩ = 1 2 ( ‖ u + v ‖ 2 − ‖ u ‖ 2 − ‖ v ‖ 2 ) ⟨ u , v ⟩ = 1 2 ( ‖ u ‖ 2 + ‖ v ‖ 2 − ‖ u − v ‖ 2 ) ⟨ u , v ⟩ = 1 4 ( ‖ u + v ‖ 2 − ‖ u − v ‖ 2 ) {\displaystyle {\begin{aligned}\langle u,v\rangle &={\frac {1}{2}}\left(\|u+v\|^{2}-\|u\|^{2}-\|v\|^{2}\right)\\[3pt]\langle u,v\rangle &={\frac {1}{2}}\left(\|u\|^{2}+\|v\|^{2}-\|u-v\|^{2}\right)\\[3pt]\langle u,v\rangle &={\frac {1}{4}}\left(\|u+v\|^{2}-\|u-v\|^{2}\right)\end{aligned}}} 逆に、ベクトル空間のノルムが中線定理を満たす場合、上記の恒等式のいずれかを使用して矛盾なく内積を定義できる。 関数解析では、このような内積ノルムの導入は、 バナッハ空間 をヒルベルト空間 にするためによく使われる。
対称双線形形式 極化恒等式は内積に限定されるわけではない。B がベクトル空間上の対称双線形形式 であり、 Q が次で定義される二次形式 であるとする。
Q ( v ) = B ( v , v ) {\displaystyle Q(v)=B(v,v)} このとき
2 B ( u , v ) = Q ( u + v ) − Q ( u ) − Q ( v ) 2 B ( u , v ) = Q ( u ) + Q ( v ) − Q ( u − v ) 4 B ( u , v ) = Q ( u + v ) − Q ( u − v ) {\displaystyle {\begin{aligned}2B(u,v)&=Q(u+v)-Q(u)-Q(v)\\2B(u,v)&=Q(u)+Q(v)-Q(u-v)\\4B(u,v)&=Q(u+v)-Q(u-v)\end{aligned}}} いわゆる対称化写像 は、Q (v ) = B (v, …, v ) で定義された次数 k の斉次多項式で Q を置き換えることで後者の式を一般化する。ここで、 B は対称 k -線形写像である。
上の式は、 スカラー の体 が標数 2を持つ場合にも適用されるが、この場合左辺はすべてゼロとなる。結果、性質(2)に対応する二次形式での対称双線形形式の公式は存在しない。これらは実際に異なる概念であり、このことが (L理論 )(英語版) で重要な結果をもたらす。簡単のため、この文脈では「対称双線形形式」は単に「対称形式」と呼ばれることが多い。
これらの式は、 可換環 上の加群 の双線形形式にも適用されるが、同様に B (u , v ) について解くことができるのは2が環で可逆である場合のみで、それ以外の場合は異なる概念となる[訳語疑問点 ] 。たとえば、整数についていえば、より狭い概念である整二次形式 と整対称 形式の区別となる。
より一般に、環の対合が存在する場合、または2が可逆でない場合 [訳語疑問点 ] 、 (ε二次形式 )と(ε対称形式 )に区別される。対称形式は二次形式を定義し、二次形式から対称形式への(2の因数なしの)極化恒等式は「対称化写像」と呼ばれ、これは一般に同型ではない。 これは歴史的に微妙な違いだった。整数については、1950年代になって初めて「2なし」(整二次 形式)と「2つき」(整対称 形式)の関係が理解された(整二次形式 の説明を参照)。 (手術 )(英語版) (surgery)の代数化では、ミシュチェンコ(Mishchenko)は元々、(ウォール(Wall)やラニツキ(Ranicki)のように)正しい二次L群 ではなく対称L群を 使用していた((L理論 )(英語版) での議論を参照)。
複素数 複素数 の線形代数ではふつう、 ⟨ v , u ⟩ {\displaystyle \langle v,u\rangle } が ⟨ u , v ⟩ {\displaystyle \langle u,v\rangle } の複素共役 となるような半双線形形式 内積を用いる。この場合、標準的な極化恒等式は内積の実部のみに対して与えられる。
Re ⟨ u , v ⟩ = 1 2 ( ‖ u + v ‖ 2 − ‖ u ‖ 2 − ‖ v ‖ 2 ) Re ⟨ u , v ⟩ = 1 2 ( ‖ u ‖ 2 + ‖ v ‖ 2 − ‖ u − v ‖ 2 ) Re ⟨ u , v ⟩ = 1 4 ( ‖ u + v ‖ 2 − ‖ u − v ‖ 2 ) {\displaystyle {\begin{aligned}\operatorname {Re} \langle u,v\rangle &={\frac {1}{2}}\left(\|u+v\|^{2}-\|u\|^{2}-\|v\|^{2}\right)\\[3pt]\operatorname {Re} \langle u,v\rangle &={\frac {1}{2}}\left(\|u\|^{2}+\|v\|^{2}-\|u-v\|^{2}\right)\\[3pt]\operatorname {Re} \langle u,v\rangle &={\frac {1}{4}}\left(\|u+v\|^{2}-\|u-v\|^{2}\right)\end{aligned}}} Im ⟨ u , v ⟩ = Re ⟨ u , − i v ⟩ {\displaystyle \operatorname {Im} \langle u,v\rangle =\operatorname {Re} \langle u,-iv\rangle } (内積が2番目の変数で線形であるという規則による)を用いると、内積の虚数部は次のように得られる。
Im ⟨ u , v ⟩ = 1 2 ( ‖ u − i v ‖ 2 − ‖ u ‖ 2 − ‖ v ‖ 2 ) Im ⟨ u , v ⟩ = 1 2 ( ‖ u ‖ 2 + ‖ v ‖ 2 − ‖ u + i v ‖ 2 ) Im ⟨ u , v ⟩ = 1 4 ( ‖ u − i v ‖ 2 − ‖ u + i v ‖ 2 ) {\displaystyle {\begin{aligned}\operatorname {Im} \langle u,v\rangle &={\frac {1}{2}}\left(\|u-iv\|^{2}-\|u\|^{2}-\|v\|^{2}\right)\\[3pt]\operatorname {Im} \langle u,v\rangle &={\frac {1}{2}}\left(\|u\|^{2}+\|v\|^{2}-\|u+iv\|^{2}\right)\\[3pt]\operatorname {Im} \langle u,v\rangle &={\frac {1}{4}}\left(\|u-iv\|^{2}-\|u+iv\|^{2}\right)\end{aligned}}} 高次の斉次多項式 最後に、これらのどの文脈でも、恒等式を任意の次数 の斉次多項式 (すなわち、 代数的形式 )に拡張することができる。これは(極化式 )(英語版) としても知られる(詳細は(代数的形式の極化 )(英語版) の記事を参照)。
極化恒等式は、次のように表すことができる。
⟨ u , v ⟩ = 4 − 1 ∑ k = 0 3 i k ‖ u + i k v ‖ 2 {\displaystyle \langle u,v\rangle =4^{-1}\sum _{k=0}^{3}i^{k}\left\|u+i^{k}v\right\|^{2}}