線型汎関数と双対ベクトル空間

更新 2023/11/10

定義

$V$ を実ベクトル空間とする。

$\mathbb{R}$ への線型写像 $\phi : V \to \mathbb{R}$ を線型汎関数という。

線型汎関数の集合を $V^{\ast} = \{ \phi : V \to \mathbb{R} \mid \phi \ \text{は線型写像} \}$ と定める。

$V^{\ast}$ に和とスカラー倍を以下のように定めると， $V^{\ast}$ はベクトル空間になる。

$(\phi + \psi) (x) = \phi (x) + \psi (x)$
$(c \phi) (x) = c \phi (x)$

$V^{\ast}$ を $V$ の双対ベクトル空間という。

※ 和の単位元は任意の $x$ を $0$ に送る線型写像である。

※ 複素ベクトル空間に対しても $V$ から $\mathbb{C}$ への線型写像の集合を考えれば双対ベクトル空間が得られる。

線型汎関数の例

Rn\mathbb{R}^nRny=(y1,⋯ ,yn)∈Rny = (y_1 , \cdots , y_n)\in\mathbb{R}^ny=(y1​,⋯,yn​)∈Rn を1つ固定します。
縦ベクトル x=(x1⋮xn)∈Rnx = \begin{pmatrix} x_1 \\ \vdots \\ x_n \end{pmatrix} \in \mathbb{R}^nx=⎝⎛​x1​⋮xn​​⎠⎞​∈Rn に対して，
ϕy(x)=(y1,⋯ ,yn)(x1⋮xn)=x1y1+⋯+xnyn\begin{aligned}
&\phi_y (x)\\
&= (y_1 , \cdots , y_n) \begin{pmatrix} x_1 \\ \vdots \\ x_n \end{pmatrix}\\
&= x_1 y_1 + \cdots + x_n y_n
\end{aligned}​ϕy​(x)=(y1​,⋯,yn​)⎝⎛​x1​⋮xn​​⎠⎞​=x1​y1​+⋯+xn​yn​​
と定めると ϕy\phi_yϕy​ は Rn\mathbb{R}^nRn から R\mathbb{R}R への線型汎関数になります。
関数空間[a,b][a,b][a,b] 上で連続な関数の集合 C([a,b])C([a,b])C([a,b]) はベクトル空間です。そして，
ϕ(f)=∫abf(x)dx
\phi (f) = \int_a^b f(x) dx
ϕ(f)=∫ab​f(x)dx
と定めると ϕ\phiϕ は線型汎関数になります。
また
evc(f)=f(c)
ev_c (f) = f(c)
evc​(f)=f(c)
とすると，これも線型汎関数になります。

双対基底

（有限次元）ベクトル空間の基底を {e1,⋯ ,en}\{ e_1, \cdots , e_n \}{e1​,⋯,en​} とおきます。
このとき，任意の x∈Vx \in Vx∈V は x=c1e1+⋯+cnenx = c_1 e_1 + \cdots + c_n e_nx=c1​e1​+⋯+cn​en​ と表すことができるのでした。
ここで fi (1≦i≦n)f_i\ (1 \leqq i \leqq n)fi​ (1≦i≦n) を
fi(c1e1+⋯+cnen)=ci
f_i (c_1 e_1 + \cdots + c_n e_n) = c_i 
fi​(c1​e1​+⋯+cn​en​)=ci​
と定義すると，これは R\mathbb{R}R への線型写像になります。
実は 
{fi}\{ f_i \}{fi​} は V∗V^{\ast}V∗ の基底になります。
証明
V∗V^{\ast}V∗ を張ること
ϕ∈V∗\phi \in V^{\ast}ϕ∈V∗ を任意に取る。
ai=ϕ(ei)a_i = \phi (e_i)ai​=ϕ(ei​) とおくと，
ϕ=a1f1+⋯+anfn
\phi = a_1 f_1 + \cdots + a_n f_n
ϕ=a1​f1​+⋯+an​fn​
である。よって {f1,⋯ ,fn}\{ f_1 , \cdots , f_n \}{f1​,⋯,fn​} は V∗V^{\ast}V∗ を張ることが分かる。
一次独立であること
c1,⋯ ,cnc_1 , \cdots , c_nc1​,⋯,cn​ を
c1f1+⋯+cnfn=0
c_1 f_1 + \cdots + c_n f_n = 0
c1​f1​+⋯+cn​fn​=0
満たすものとする。
eie_iei​ を代入すると ci=0c_i = 0ci​=0 を得る。これは任意の iii に対して成立するため，e1=⋯=en=0e_1 = \cdots = e_n = 0e1​=⋯=en​=0，すなわち一次独立であることが分かる。
\quad
以上より {f1,⋯ ,fn}\{ f_1, \cdots , f_n \}{f1​,⋯,fn​} は基底になる。
このことから次の命題が分かります。
命題
VVV が有限次元ベクトル空間であるとき，dim⁡V=dim⁡V∗\dim V = \dim V^{\ast}dimV=dimV∗ となる。つまり VVV と V∗V^{\ast}V∗ は同型になる。
また，双対ベクトル空間の双対 V∗∗V^{\ast\ast}V∗∗ は VVV と同型になる。
例Rn\mathbb{R}^nRn の双対ベクトル空間を考えます。
eie_iei​ を第 iii 成分だけが 111 でそれ以外の成分が 000 である ベクトルとします。このとき ϕe1,⋯ ,ϕen\phi_{e_1} , \cdots , \phi_{e_n}ϕe1​​,⋯,ϕen​​ は (Rn)∗(\mathbb{R}^{n})^{\ast}(Rn)∗ の基底になります。
一般に VVV が有限次元内積空間である場合，直交基底 {vi}\{ v_i \}{vi​} を用いると，ϕvi\phi_{v_i}ϕvi​​ により双対基底が得られます。

内積から定まる線型汎関数

$\mathbb{R}^n$ を考えてみましょう。 $x \in \mathbb{R}^n$ とすると $\phi_x (y)$ は $x$ と $y$ の自然な内積になります。

このように内積空間を通して線型汎関数を定義することができます。一般には次が成立します。

定理

$V$ は $\langle \; , \; \rangle$ を内積に持つ（有限次元の）内積空間とする。

このとき，写像 $l_V : V \to V^{\ast}$ を $l_V (v)= \langle v,- \rangle$ と定義することで $V$ と $V^{\ast}$ の同型が得られる。

ちょっと記号が分かりにくいですが，議論をする上では都合がいいので，これで許してください。

証明

単射性

$l_V (v) = 0$ すなわち，任意の $w \in V$ に対して $l_V (v) (w) = \langle v,w \rangle = 0$ であるとする。

特に $w=v$ を代入すると $\langle v,v \rangle = 0$ となる。このとき，内積の定義から $v = 0$ である。こうして単射が示された。

全射性

$\phi \in V^{\ast}$ を任意に取る。

$V$ の直交基底 $v_1 , \cdots , v_n$ （ $i\neq j$ に対して $\langle v_i , v_j \rangle = 0$ ）を取る。

$a_i = \phi (v_i)$ とする。 $w = a_1 v_1 + \cdots + a_n v_n$ とおく。このとき $\phi = l_V (w)$ となる。よって全射が示された。

部分空間と線型汎関数

WWW を VVV の部分空間とします。
V∗V^{\ast}V∗ の元から W∗W^{\ast}W∗ の元が得られます。
実際，ϕ∈V∗\phi \in V^{\ast}ϕ∈V∗ として ϕ∣W\phi \mid_Wϕ∣W​ を WWW への制限とします。すると ϕ∣W\phi \mid_Wϕ∣W​ は W∗W^{\ast}W∗ の元になります。

双対ベクトル空間上の線型写像

定理

$V$ ， $W$ を線型空間， $f : V \to W$ を線型写像とする。

$\psi \in W^{\ast}$ に対して $f^{\ast} \psi = \psi \circ f : V \to \mathbb{R}$ と定めると，これは $V^{\ast}$ の元になる。

こうして得られる $f^{\ast} : W^{\ast} \to V^{\ast}$ は線型写像になる。

これを双対写像（転置写像・随伴写像）という。

例

$2 \times 3$ 行列 $A$ を $\begin{pmatrix} 2 & 3 & 0\\ 1 & -1 & 1 \end{pmatrix}$ とします。

$x = \begin{pmatrix} x_1 \\ x_2 \\ x_3 \end{pmatrix} \in \mathbb{R}^3$ に対して $f : \mathbb{R}^3 \to \mathbb{R}^2$ を $f (x) = Ax$ と定義します。

このとき，双対写像 $f^{\ast} : \mathbb{R}^2 \to \mathbb{R}^3$ は $f^{\ast} (y) = A^{\top} y = \begin{pmatrix} 2&1\\ 3&-1\\ 0&1 \end{pmatrix} \begin{pmatrix} y_1\\ y_2 \end{pmatrix}$ となります。

行列 $A$ で表現される線型写像の双対は，元の行列の転置 $A^{\top}$ で表現されます。ここから双対写像を転置写像ともいう理由がわかりますね。

無限次元ベクトル空間では双対の様子が変わります。