極化恒等式

数学において、 極化恒等式（きょくかこうとうしき）あるいは偏極恒等式（へんきょくこうとうしき）（英：polarization identity）とは、2つのベクトルの内積をノルム線型空間のノルムで表現する恒等式である。 formula_1 をベクトル "x" のノルム、formula_2 をベクトル "x" と "y" の内積とすると、フレシェ、ノイマン、ヨルダンによる基本的定理は次のように記述される 。 
恒等式.
以下に示す様々な形の極化恒等式はすべて、この中線定理に関連するものである。 
極化恒等式は、抽象代数学や線形代数学、関数解析学といった様々な分野の表現に一般化できる。 
実ベクトル空間の場合.
"V" が実ベクトル空間の場合、内積は以下の極化恒等式で定義される。 
複素ベクトル空間の場合.
"V" が複素ベクトル空間の場合、内積は以下の極化恒等式で与えられる。 
ここで formula_9 は虚数単位である。 この式は、第一変数が反線形で、第二変数が線形である内積を定義することに注意せよ。 逆の定義を使用する規則では、以下のように複素共役を取る必要がある。 
実ベクトル空間の他の表現.
中線定理を使用して、他の表現を導出できる。 
定理.
ノルム空間 ("V" , formula_3) において、 中線定理が成り立つならば、 "V" にはすべての formula_4 で formula_5 を満たす内積が存在する。 
証明.
実ベクトル空間を考える。すると、極化恒等式から「内積」（と思われるもの）が得られる。 
そこで、この「内積」が実際に内積の性質を満たし、この内積から導かれるノルムが ("V" , formula_3) を定義するノルム formula_3 であることを示す。 
formula_18 が内積であるためには、次の性質を満たす必要がある。 
定義式に formula_20 を代入することで formula_21 が成り立つことがわかる。 
formula_23より、明らかに成り立つ。 
まず formula_25 を示す。 
formula_26途中 formula_27 を用いた。 
ここで中線定理を使用すると、次のことがわかる。 
formula_28
以降、必要に応じて、この3つの表現を使う。 
formula_29 とすると、ノルム formula_30 の斉次性と劣加法性を使用して formula_31 を示すことができる： 
大小関係には formula_33 （ノルムの性質）を用いた。 
この性質は変数の組 formula_34 を formula_35 としても保たれる。ここで、対称性と、上で既に示した符号の性質を使うことで、以下の式が得られる。 
したがってformula_37 となる。 0より大きいと同時に小さいので、 formula_38が成り立つ。 
formula_39 の場合も、formula_40 （ formula_41 ）と置くことで、以下のように式の成立を確認できる。 
formula_42
次に formula_43 を示す。 
大小関係には formula_45 （三角不等式）を用いた。 
上と同様に、 formula_46 の代わりに formula_47 とした場合を考慮することで、formula_48 を証明できる。 したがってformula_49 が成り立つ。 
ここで以上の等式を組み合わせると、formula_50が得られる。
formula_51 は線形であるため、実際に内積であることが確かめられた。 
最後に、内積 formula_51 からノルム formula_30 を導出できることを示して証明を終える。 
formula_54
ドット積への応用.
余弦定理との関係.
極化方程式の2番目の形式は、次のように記述できる。 
これは、ベクトル u, v, u - v によって形成される三角形における、余弦定理のベクトル表現である。 特にベクトル u と v のなす角の角度を "θ" とすると、次のように記述できる。 
導出.
ノルムと内積の基本的な関係は、次の式で与えられる。 
すると 
そして同様に 
極化恒等式の形式（1）および（2）は、これらの方程式を u, v について解くことで導出される。一方、形式（3）は、これら2つの方程式を引くことで得られる （ちなみに、2つの方程式を加算すると中線定理が得られる ）。 
一般化.
ノルム.
線形代数では、以下の方程式による内積で定義されたベクトル空間のすべてのノルムに対して、極化恒等式が適用される。 
上記の内積の場合で述べたように、実ベクトル "u" と "v" の場合、角度 "θ" は次のようにして導入できる。 
以下のコーシー・シュワルツの不等式から、この定義が妥当であることがわかる。 
この不等式により、上で定義した余弦の大きさは 1 以下になる。（角度 θ の適当な関数として）余弦関数を選ぶことで、 formula_63 （直交ベクトル）のとき、角度 θ は π/ 2 か-π/ 2 になることが保証される。ここで、符号はベクトル空間の方向によって決まる。 
この場合、恒等式は次のようになる。 
逆に、ベクトル空間のノルムが中線定理を満たす場合、上記の恒等式のいずれかを使用して矛盾なく内積を定義できる。 関数解析では、このような内積ノルムの導入は、 バナッハ空間をヒルベルト空間にするためによく使われる。
対称双線形形式.
極化恒等式は内積に限定されるわけではない。"B" がベクトル空間上の対称双線形形式であり、 "Q" が次で定義される二次形式であるとする。 
このとき 
いわゆる対称化写像は、"Q"("v") = "B"("v," …, "v") で定義された次数 "k" の斉次多項式で "Q" を置き換えることで後者の式を一般化する。ここで、 "B" は対称 "k"-線形写像である。 
上の式は、 スカラーの体が標数 2を持つ場合にも適用されるが、この場合左辺はすべてゼロとなる。結果、性質(2)に対応する二次形式での対称双線形形式の公式は存在しない。これらは実際に異なる概念であり、このことが で重要な結果をもたらす。簡単のため、この文脈では「対称双線形形式」は単に「対称形式」と呼ばれることが多い。 
これらの式は、 可換環上の加群の双線形形式にも適用されるが、同様に 。たとえば、整数についていえば、より狭い概念である整二次形式と整"対称"形式の区別となる。 
より一般に、、 ε二次形式とε対称形式に区別される。対称形式は二次形式を定義し、二次形式から対称形式への（2の因数なしの）極化恒等式は「対称化写像」と呼ばれ、これは一般に同型ではない。 これは歴史的に微妙な違いだった。整数については、1950年代になって初めて「2なし」（整"二次"形式）と「2つき」（整"対称"形式）の関係が理解された（整二次形式の説明を参照）。 (surgery)の代数化では、ミシュチェンコ(Mishchenko)は元々、（ウォール(Wall)やラニツキ(Ranicki)のように）正しい"二次L群"ではなく"対称L群を"使用していた（での議論を参照）。 
複素数.
複素数の線形代数ではふつう、 formula_67 が formula_68 の複素共役となるような半双線形形式内積を用いる。この場合、標準的な極化恒等式は内積の実部のみに対して与えられる。 
formula_70 （内積が2番目の変数で線形であるという規則による）を用いると、内積の虚数部は次のように得られる。 
高次の斉次多項式.
最後に、これらのどの文脈でも、恒等式を任意の次数の斉次多項式 （すなわち、 代数的形式）に拡張することができる。これはとしても知られる（詳細はの記事を参照）。 
極化恒等式は、次のように表すことができる。