カリー化と双対空間
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/07/21 03:02 UTC 版)
ベクトル空間 V 上の任意の双線型形式 B に対し、カリー化により、V から双対空間 V* への線型写像の対 B1, B2: V → V* が B 1 ( v ) = B ( v , ∙ ) : V → F ; w ↦ B 1 ( v ) ( w ) = B ( v , w ) {\displaystyle B_{1}(\mathbf {v} )=B(\mathbf {v} ,\bullet )\colon V\to F;\;\mathbf {w} \mapsto B_{1}(\mathbf {v} )(\mathbf {w} )=B(\mathbf {v} ,\mathbf {w} )} B 2 ( w ) = B ( ∙ , w ) : V → F ; v ↦ B 2 ( w ) ( v ) = B ( v , w ) {\displaystyle B_{2}(\mathbf {w} )=B(\bullet ,\mathbf {w} )\colon V\to F;\;\mathbf {v} \mapsto B_{2}(\mathbf {w} )(\mathbf {v} )=B(\mathbf {v} ,\mathbf {w} )} として誘導される。ここに黒丸 • は、得られる線型汎函数の引数が入る場所を示すプレースホルダである。 V が有限次元ベクトル空間である場合には、B1 または B2 のいずれか一方が同型ならば、両者とも同型となり、このとき双線型形式 B は非退化であると言う。より具体的に、有限次元ベクトル空間上の双線型形式 B が非退化であるとは、 B ( x , y ) = 0 ( ∀ y ∈ V ) ⟹ x = 0 , {\displaystyle B(x,y)=0\,(\forall y\in V)\implies x=0,} B ( x , y ) = 0 ( ∀ x ∈ V ) ⟹ y = 0 {\displaystyle B(x,y)=0\,(\forall x\in V)\implies y=0} がともに成立することを言う。 可換環 R の上の加群 M の場合にこれと対応する概念として、双線型形式 B: M × M → R が単模 (unimodular) であるとは、誘導される写像 B1, B2: M → M* := Hom(M,R) が同型であるときに言う。可換環上の有限階数加群が与えられたとき、誘導された写像が単射（上の意味で非退化）だが単模でないという場合が起こり得る。例えば、有理整数環 Z 上の双線型形式 B(x, y) = 2xy は非退化だが単模でない（実際、誘導される Z → Z* = Z は 2-倍写像だから同型でない）。 V が有限次元の場合は、V と二重双対 V** とを同一視できる。このとき、B2 は線型写像 B1 の転置写像となることが示せる（V が無限次元の場合には、B2 は B1 の転置写像を V** における V の像に制限したものと一致する）。与えられた双線型形式 B に対し、B の転置とは B*(v, w) = B(w, v) で定義される双線型形式を言う。 双線型形式 B の左根基および右根基とは、それぞれ B1 および B2 の核、すなわちそれぞれ左および右の引数の空間全体と直交するベクトル全てからなる部分空間を言う。 V が有限次元ならば、B1 の階数は B2 の階数に等しい。この階数が dim(V) に等しいならば B1, B2 はともに V から V* への線型同型であり、したがって B は非退化である。階数・退化次数の定理により、これは左根基が（あるいは同じことだが右根基が）自明であるという条件と同値である。実際、有限次元の場合には、しばしばこれを非退化の定義として採用する: 定義 双線型形式 B が非退化であるとは、B(v, w) = 0 (∀w) ならば v = 0 となることをいう。 線型写像 A: V → V* が任意に与えられると、 B(v, w) = A(v)(w) と置くことにより V 上の双線型形式 B が定まる。この形式が非退化であるための必要十分条件は A が同型であることである。 V が有限次元の時、V の適当な基底に関して、双線型形式が退化するための必要十分条件は、対応する行列の行列式が零となること。同様に、非退化形式は対応する行列の行列式が零でない（行列が正則）である双線型形式である。これらは基底の取り方に依らず成り立つ事実である。 可換環上の加群の場合には、単模形式とは付随する行列の行列式が単元（例えば 1）、したがって各項もそうであるような双線型形式である。付随する行列が非零だが単元でない形式は、非退化だが単模でないことに注意すべきである（例えば、整数環上定義された B ( x , y ) = 2 x y {\displaystyle B(x,y)=2xy} など）。
※この「カリー化と双対空間」の解説は、「双線型形式」の解説の一部です。
「カリー化と双対空間」を含む「双線型形式」の記事については、「双線型形式」の概要を参照ください。
- カリー化と双対空間のページへのリンク
