半双線型形式

数学の特に線型代数学における複素ベクトル空間 上の半双線型形式（はんそうせんけいけいしき、; 準双線型形式）とは、写像 で一方の引数に関して線型かつ他方の引数に関してとなるようなものを言う。名称は「1 と 1/2」を意味するラテン語の倍数接頭辞 に由来する。これと対照して、双線型形式は両引数に関して線型であることを意味するが、特に専ら複素数体上の空間を扱うような多くの文献において、半双線型形式の意味で「双線型形式」と呼ぶものがある。
動機付けとなる例は複素ベクトル空間上の内積で、これは双線型ではないがその代わり半双線型である。後述の幾何学的動機付けの節も参照。
定義と慣習.
何れの引数に関して線型とするかの慣習には異なる流儀が存在するが、本項では第一引数は反線型（つまり共軛線型）で、第二引数に関して線型であるものとする。これは物理学（の、本質的にはどこでもだが、もとは量子力学におけるポール・ディラックのブラケット記法）で用いられる規約である。これと反対にするほうが数学ではふつう。
具体的に、写像 が半双線型であるとは、
が任意の および に関して成立するときに言う。
複素ベクトル空間 の を考えれば、半双線型写像を複素双線型写像 と見ることもできる。ここでテンソル積の普遍性を用いれば、これらは複素線型写像 との間に一対一対応を持つ。
また、 を固定して考えるとき、半双線型形式 に対して写像 は 上の線型汎函数（つまり双対空間 の元）であり、同様に写像 は 上の共軛線型汎函数になる。
 上の任意の半双線型形式 が与えられたとき、その共軛転置
を考えることにより、新たな半双線型形式を得ることができる。一般には、 と は異なるが、両者が一致するとき はエルミート的 () であると言う。あるいは一方が他方の符号を変えたものとなるならば は歪エルミート的 () であると言う。任意の半双線型形式はエルミート形式と歪エルミート形式との和に書くことができる。
幾何学的動機付け.
双線型形式を平方 () とするならば、半双線型形式はユークリッドノルム () である。
半双線型形式に付随するノルムは複素単位円（ノルムが の複素数全体）上の複素数を掛ける操作に関して不変であるが、双線型形式に付随するノルムは平方に関してである。この意味で、双線型写像は「代数的に」より自然だが、半双線型形式は「幾何学的に」より自然である。
複素ベクトル空間上の双線型形式 と、それに付随するノルム に対して 
となるが、これと対照的に、複素ベクトル空間上の半双線型形式 とそれに付随するノルム に関しては
が成り立つ。
エルミート形式.
エルミート形式あるいは対称半双線型形式とは、半双線型形式 であって
を満たすものを言う。 上の標準エルミート形式（「物理学」の規約、第一変数に関して反線型で第二引数に関して線型、に従うもの）は、
で与えられる。より一般に、任意の複素ヒルベルト空間上の内積はエルミート形式である。
エルミート形式を備えたベクトル空間 をエルミート空間と言う。
 が有限次元空間のとき、 の任意の基底 に関して、エルミート形式 はエルミート行列 によって
と表現される。ただし、 はこの基底に関して を表現するベクトルであり、行列 の成分は で与えられる。
エルミート形式に付随する二次形式 は常に実である。実際には、半双線型形式がエルミートであることと、それに付随する二次形式が任意の に対して実となることが同値であることが示せる。
歪エルミート形式.
歪エルミート形式あるいは反対称半双線型形式とは、半双線型形式 であって、
を満たすものを言う。任意の歪エルミート形式はエルミート形式に を乗じたものとして書くことができる。
 が有限次元空間ならば、 の任意の基底 に関して、歪エルミート形式は歪エルミート行列 によって
と表現される。歪エルミート形式に付随する二次形式 は常に純虚である。
一般化.
半双線型形式の概念は、逆転自己準同型を備える任意の環とその上の加群に対して一般化することができる。基礎環は必ずしも可換でない環としてよく、逆転準同型が複素共軛の代わりを果たす。二つの環 , 左 -加群 , 左 -加群 , -両側加群 および 上の逆転準同型 に対して、積加群 から への写像 が以下の条件
を満たすとき、 に関する右準双線型写像 () であるという。左準双線型写像も同様に定義される。 と取った（および特に とした）準双線型写像は準双線型形式 () と呼ばれる。（変換を右肩に載せる「冪記法」は群論ではよく用いられる）
は、自身の著書 の 5 章において、上記の環 として体 をとり、-線型空間 と、逆転準同型 として 上の反線型写像 を考えて得られる、 上の半双線型形式を用いて互いに双対な線型多様体の特徴付けを行った。ベーアはこのような形式を 上の -形式と呼んだ。通常の半双線型形式は が複素共軛であるときであり、また が恒等写像ならば双線型形式が得られる。
特ににおいて -対称形式という用語も見られ、 の場合として対称形式と歪対称形式が含まれる。同様に -エルミート形式（ は の中心元）において はエルミート形式、 は歪エルミート形式に対応する。