双対ベクトル空間
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/10/15 08:59 UTC 版)
商空間と零化域
F 上のベクトル空間 V の部分集合 S に対し、S の V* における零化域 So は、任意の s ∈ S に対して [f, s] = 0 を満たす線型汎函数 f ∈ V* 全体の成す集合と定義される。すなわち、So は S への制限が消えているような線型汎函数 f: V → F (f|S = 0) 全てからなる。
部分集合の零化域はそれ自身がベクトル空間を成す。特に、空集合の零化域は(条件が自明に満たされるから)V* 自身 (∅o = V*)であり、また V の零化域は零部分空間 (Vo = 0) である。さらに言えば、V の部分空間にその零化域を対応させることは包含関係を逆にする操作、すなわち部分空間の包含列 S ⊂ T ⊂ V に対し
が成り立つ。また、V の二つの部分集合 A, B に対し
が成り立ち、V が有限次元のときはこれは等号で成り立つ。これはさらに適当な添字集合 I で添字付けられる V の任意の有限部分集合族 Ai に対して
が成り立つから、特に V の部分集合 A, B に対して
となることを導く。
有限次元ベクトル空間 V とその部分空間 W に対し、二重双対の自然な同型 V ≡ V** による W の像を W と同一視するとき
が成り立つ。従って特に、零化域をとる操作は有限次元ベクトル空間の部分空間束上のガロワ対応を定める。
V の部分空間 W に対し、商空間 V/W はそれ自身ベクトル空間であり、その双対を考えることができる。第一同型定理によれば、汎函数 f: V → F が V/W 上の汎函数を誘導するのは W が f の核に含まれるとき、かつそのときに限るから、同型
が導かれる。特に、V が二つの部分空間 A と B との直和に分解されるとき、V* は Ao と Bo の直和に分解される。
注釈
出典
- ^ Halmos 1974.
- ^ Misner, Thorne & Wheeler 1973.
- ^ Misner, Thorne & Wheeler 1973, §2.5.
- ^ MacLane & Birkhoff 1999, §VI.4.
- ^ Halmos 1974, §44.
- 双対ベクトル空間のページへのリンク