双対空間 | n次元の線形代数Vの双対空間も線形代数であり、その次元はn次元である

2023年7月10日

" 双対空間 “もまた線形代数となっています。有限次元の線形代数の双対空間の次元も、どうなるか知られています。

双対空間について、よく知られた命題は、証明が省略されることが多いです。例えば、双対空間もまた線形代数であるということの証明が省略されるなど。

しかし、線形代数の学習から、テンソル代数などへと学習を進めていこうとするときに、「明らかに成立する」という内容を、正確に把握しておくことは、遠回りのようで、理解の近道になります。

理論が複雑化してきたときに、基礎的な理論の証明部分が、省略されながら使われることが多いです。そのため、学習の始めの段階の基礎的な内容を、論理の飛躍なしに、正確に把握しておくことが、その後の学習の理解へとつながります。

双対空間が、本当に線形代数の公理を満たすのかということを確かめることから解説します。

双対空間 :定義に基づいて

V ≠ {0_V} を体 K 上の n 次元の線形代数（ベクトル空間）とします。

体 K 自身、体 K 上の 1 次元の線形代数と考えることができます。

K×K → K という体 K から K へのスカラー倍を、次のように定義します。

(k, x)∈K×K に対して、
kx は体 K において既に定義されている乗法の値と定義します。

これで、K から K へのスカラー倍が定義されました。K において既に定義されている加法を、線形代数としての加法と考えます。

すると、加法とスカラー倍について、K は K 上の線形代数となります。

1∈K を K における乗法単位元とすると、
{1} が 線形代数としての基底となります。

※ 零環 {0} を体とは考えないという立場のもと、
0 ≠ 1 としているので、{1} は K 上の一次独立系です。

よって、V も K も、体 K 上の線形代数となっています。

dimV = n, dimK = 1 です。

ここで、Hom(V, K) を V から K への線形写像全体とします。

この Hom(V, K) が、V の双対空間なのですが、本当に線形代数の定義を満たしているのかということを確認しておくことで、基礎的な理論の理解が深まるかと思います。

なぞ空集合ではないのか

Hom(V, K) が空集合ではないことを示します。線形代数かどうかの前に、空集合ではないということを示しておきます。

線形写像の定義を復習に述べておきます。

【線形写像の定義】

体 K 上の線形代数を V と W とし、
f:V → W とする。

このとき、次の [1]と[2]を満たすとき、f を V から W への線形写像という。

[1] 任意の x, y∈V に対して、
　f(x+y) = f(x)+f(y)

[2] 任意の x∈V, k∈K に対して、
　f(kx) = kf(x)

この線形写像の定義を満たす V から K への写像が、少なくとも一つは存在するということを示すと、Hom(V, K) が空集合ではないことを示したことになります。

結論を先に述べますと、零写像が V から K への線形写像となります。

x∈V に対して、常に 0∈K を対応させる写像が零写像です。

x, y∈V に対して、
x+y∈V なので、x+y に 0∈K を対応させます。

x → 0, y → 0 で、0+0 = 0 だから、
線形写像の定義 [1] を満たしています。

x∈V, k∈K についても、
kx∈V なので、kx → 0 です。

x → 0 と対応させてから、k でスカラー倍をすると、K から K へのスカラー倍は、K における乗法だったので、k0 は 0 です。

そのため、[2] も満たしています。

これで、零写像が V から K への線形写像ということが示せたので、零写像が Hom(V, K) の元となっています。

少なくとも一つは元を含んでいるため、
Hom(V, K) が空集合ではないということになります。

この零写像ですが、記号が紛らわしいので、0_写 と表すことにします。

先ほど、
0_写(x+y) = 0 = 0_写(x)+0_写(y),
0_写(kx) = 0 = k0_写(x) を確認しました。
(ただし、x, y∈V, k∈K)

次に、Hom(V, K) における加法とスカラー倍を定義します。

Hom(V,K)の加法とスカラー倍

f, g∈Hom(V, K) に対して、加法とスカラー倍を次のように定義します。

任意の x∈V に対して、
(f+g)(x) = f(x)+g(x),
任意の x∈V, k∈K に対して、
(kf)(x) = kf(x) と定義します。

f+g, kf が、どちらも V から K への線形写像となっていることを示すと、
Hom(V, K)×Hom(V, K) → Hom(V, K) という二項演算であり、
K×Hom(V, K) → Hom(V, K) への作用ということになります。

では、f+g から、線形写像の定義を満たすことを確かめます。

任意の x, y∈V に対して、
f+g の定義から、
(f+g)(x+y) = f(x+y)+g(x+y) です。

f, g は線形写像なので、
f(x+y) = f(x)+f(y),
g(x+y) = g(x)+g(y) です。

よって、
(f+g)(x+y) = f(x)+f(y)+g(x)+g(y)
= f(x)+g(x)+f(y)+g(y)
= (f+g)(x)+(f+g)(y)

これで、f+g が V における加法を保存することが示せました。次は、スカラー倍を保存することを示します。

任意に x∈V と r∈K を取ります。

(f+g)(rx) = f(rx)+g(rx)
= rf(x)+rg(x)
= r(f(x)+g(x)) = r(f+g)(x)

これで、f+g が V から K への線形写像ということが示せました。

そのため、f, g∈Hom(V, K) に対して、
f+g∈Hom(V, K) となっています。

kf についても、同じ要領で線形写像となっていることが示せます。

(kf)(x+y) = k(f(x+y))
= k(f(x)+f(y))
= kf(x)+kf(y) = (kf)(x)+(kf)(y)

また、スカラー倍の保存についても、
(kf)(rx) = k(f(rx))
= k(rf(x)) = (kr)f(x) = (rk)f(x)
= r(kf(x)) = r((kf)(x))

これで、kf も線形写像ということが示せました。

f∈Hom(V, K), k∈K に対して、
kf∈Hom(V, K) となっています。

この二項演算と K からの作用について、線形代数の公理（ベクトル空間の公理）を満たすことを確認します。

結合律や交換律を確認するときに、二つの写像が等しいことの定義を確認するので、集合論入門で学習した基本を着実に使いこなすことが大切になります。

双対空間 :線形代数の定義を確認

二つの写像が等しいことの定義は、始集合の各元に対して、対応させている終集合の元が一致しているということです。

f, g∈Hom(V, K) について、f と g はどちらも始集合 V、終集合 K の写像です。

そのため、f と g が等しいかどうかは、各 x∈V について、f(x) と g(x) が同じ K の元となっているかによって判断します。

零写像 0_写∈Hom(V, K) でした。この零写像が、先ほど定義した二項演算について、単位元となっていることが分かります。

任意の f∈Hom(V, K) について、
f+0_写 = f となることを示します。

任意に x∈V を取ると、
(f+0_写)(x) = f(x)+0_写(x)
= f(x)+0 = f(x)

よって、二つの写像が等しいことの定義から、
f+0_写 = f です。

同様にして、0_写+f = f となっています。

これで、0_写 が、Hom(V, K) の零元であることが示せました。

結合と交換の確認

f, g, h∈Hom(V, K) について、結合律が成立することを確認します。

任意に x∈V を取ります。

((f+g)+h)(x) = (f+g)(x)+h(x)
= (f(x)+g(x))+h(x)
= f(x)+(g(x)+h(x))
= f(x)+(g+h)(x)
= (f+(g+h))(x)

よって、
(f+g)+h = f+(g+h) が示せました。

次に、交換律を確認します。

(f+g)(x) = f(x)+g(x)
= g(x)+f(x) = (g+f)(x)

よって、f+g = g+f が示せました。

結合律も交換律も、K が K 上のベクトル空間となっていること（体の定義）が効いています。そのことに、写像の相当関係の定義を合わせて、上のように示しました。

次に加法的逆元の存在を示します。

f∈Hom(V, K) に対して、1∈K の加法的逆元 －1 を作用させた －f が逆元となります。

零元が 0_写 ということに注意して、本当に逆元となっているのかを確認します。

任意の x∈V について、
K からの作用の定義から、
(－f)(x) = (－1)f(x) です。

よって、
(f+(－f))(x) = f(x)+(－f)(x)
= 1f(x)+(－1)f(x)
= (1+(－1))f(x)
= 0f(x) = 0 = 0_写(x)

つまり、f－f = 0_写 なので、
f の加法的逆元は －f です。

ここまでで、Hom(V, K) が加法群であることが示せました。後は、スカラー倍についての線形代数の公理を確認することになります。

スカラー倍についての条件を確認

a, b∈K と f∈Hom(V, K) について、
(ab)f = a(bf) となることを確認します。

任意の x∈V について、
((ab)f)(x) = (ab)f(x)
= a(bf(x)) = a((bf)(x))
= (a(bf))(x)

これで、(ab)f = a(bf) が示せました。

K から K への作用を、K における乗法で定義していたので、これは K における乗法が体（環）の定義から結合律を満たすことから、自明でした。

a, b, f(x)∈K なので、
K における乗法の結合律から、
(ab)f(x) = a(bf(x)) です。

また、1∈K, f∈Hom(V, K) について、
x∈V に対して、
(1f)(x) = 1f(x) = f(x) より、
1f = f となっています。

これも、1 が K の乗法単位元なので、自明でした。

もう一つ自明なのが、体 K における分配律についての内容です。

a, b∈K, f∈Hom(V, K) に対して、
x∈V とすると、
((a+b)f)(x) = (a+b)f(x)
= a(f(x))+b(f(x))
= (af)(x)+(bf)(x)
= (af+bf)(x)

よって、(a+b)f = af+bf

この K における分配律と、Hom(V, K) における加法の定義から、残りの一つの条件が導かれます。

c∈K, f,g ∈Hom(V, K) について、
x∈V とすると、
(c(f+g))(x) = c((f+g)(x))
= c(f(x)+g(x))
= c(f(x))+c(g(x))
= (cf)(x)+(cg)(x)
= (cf+cg)(x)

よって、c(f+g) = cf+cg です。

これで、Hom(V, K) が線形代数の公理の条件を全て満たすことが確認できました。

この Hom(V, K) という線形代数（ベクトル空間）のことを、体 K 上のベクトル空間 V の双対空間といいます。

英語でいうと、dual vector space です。

ここからは、双対空間の次元について解説をします。

双対空間 :Hom(V,K)の次元

抽象的な線形代数の一般論を学習した方にとっては、次元は見えたかと思います。

V ≠ {0_V} を体 K 上の n 次元の線形代数としていました。

そして、Hom(V, K) は、V から体 K 上の 1 次元の線形代数である K への線形写像全体でした。

f∈Hom(V, K) は、行列表示をすると、K の元を成分とする 1 行 n 列の行列となります。

K の元を成分とする 1 行 n 列の行列全体は、行列の加法と、体 K から行列へのスカラー倍について、線形代数となっています。

その次元は、1 × n = n 次元です。

そのため、線形同型である Hom(V, K) の次元も n 次元ということになります。

これで、双対空間の次元が分かったのですが、双対底のことを考え、より詳しく解説を進めます。

1行n列の行列

体 K を n 個で直積集合をつくると、体 K 上の n 次元の線形代数となります。

これを Kⁿ と表すことにします。

k₁, … , k_n∈K について、
(k₁, … , k_n) という 1 行 n 列の K の元を成分とする行ベクトルが Kⁿ です。

実は、Hom(V, K) は、Kⁿ と体 K 上の線形代数として同型になっています。

{v₁, … , v_n} を V の基底とします。

任意の (k₁, … , k_n)∈Kⁿ に対して、
f(v_i) = k_i となる f∈Hom(V, K) が存在することを確かめます。

すると、任意の x∈V は、
x = s₁v₁+…+s_nv_n（ただし、各 s_i∈K）と一意的に表されます。

そこで、
f(x) = k₁s₁+…+k_ns_n と定義します。

この f が、V から K への線形写像となっていることを確かめます。

y∈V も任意に取ると、
y = t₁v₁+…+t_nv_n と一意的に表されます。

f の定義から、
f(y) = k₁t₁+…+k_nt_n です。

そのため、
f(x)+f(y) = k₁(s₁+t₁)+…+k_n(s_n+t_n)

一方、x+y∈V について、
x+y = (s₁+t₁)v₁+…+(s_n+t_n)v_n です。

基底の一次結合による表し方は一意的なので、f の定義から、f(x+y) は次のようになります。

f(x+y) = k₁(s₁+t₁)+…+k_n(s_n+t_n)

よって、f(x)+f(y) = f(x+y) です。

また、u∈K とすると、
ux = (us₁)v₁+…+(us_n)v_n です。

そのため、
f(ux) = k₁(us₁)+…+k_n(us_n)
= u(k₁s₁+…+k_ns_n) = uf(x)

よって、f(ux) = uf(x) も示せたので、f は線形写像です。

したがって、f∈Hom(V, K) となっています。

以上から、任意の (k₁, … , k_n)∈Kⁿ に対して、f という双対空間の元を対応させることができることが分かりました。

この対応を φ:Kⁿ → Hom(V, K) とします。

φ が単射であることを確かめます。

(k₁, … , k_n), (h₁, … , h_n)∈Kⁿ について、
φ(k₁, … , k_n) = φ(h₁, … , h_n) だったとします。

φ(k₁, … , k_n) を f, φ(h₁, … , h_n) = g と置きます。

x∈V について、
x = s₁v₁+…+s_nv_n（ただし、各 s_i∈K）とすると、
f = g なので、f(x) = g(x) となります。

特に、各 v_i∈V について、
f(v_i) = g(v_i) です。

v_i = 0v₁+…+1v_i+…+0v_n なので、
k_i = k_i1 = f(v_i)
= g(v_i) = h_i1 = h_i です。

この i として、1 から n まで同じ議論を繰り返すと、
k₁ = h₁, … , k_n = h_n となります。

よって、
(k₁, … , k_n) = (h₁, … , h_n) です。

これは、φ が単射であることを示しています。

※ 単射や全射については、全単射という記事で基礎から詳しく解説をしています。

次に φ が全射であることを示します。

σ∈Hom(V, K) を任意に取ります。

このとき、V の各基底について、
σ(v_i)∈K です。

そのため、
(σ(v₁),…,σ(v_n))∈Kⁿ です。

φ((σ(v₁),…,σ(v_n))) = f と置きます。

φ の定義から、
x = s₁v₁+…+s_nv_n（ただし、各 s_i∈K）に対して、
f(x) = σ(v₁)s₁+…+σ(v_n)s_n です。

各 v_i について、
v_i を {v₁, … , v_n} の一次結合で表すと、
s_i = 1, 他の s_j = 0 となっているので、
f(v_i) = σ(v_i)1 = σ(v_i)

f と σ は、ともに V から K への線形写像であり、基底を構成する各元について、その対応する像が一致しています。

よって、f = σ です。

つまり、
φ((σ(v₁),…,σ(v_n))) = σ となり、φ が全射であることが示せました。

さらに、この φ が線形写像であることを示します。

そうすると、Hom(V, K) と Kⁿ が線形同型となり、Kⁿ の次元が n なので、双対空間の次元も n ということが分かります。

線形同型写像である確認

(k₁, … , k_n)∈Kⁿ, c∈K とします。

このとき、
φ(c(k₁, … , k_n)) = cφ((k₁, … , k_n)) となることを示します。

V の基底を構成する各 v_i について、その像が一致していることを示せば、二つの線形写像が等しいということになります。

φ((k₁, … , k_n)(v_i)
= k_i1 = k_i です。

そのため、
cφ((k₁, … , k_n)(v_i) = ck_i です。

c(k₁, … , k_n) = (ck₁, … , ck_n) より、
φ(c(k₁, … , k_n))(v_i)
= (ck_i)1 = ck_i
= cφ((k₁, … , k_n)(v_i)

基底を構成する各元について、対応させている像が一致しています。

よって、
φ(c(k₁, … , k_n)) = cφ((k₁, … , k_n)) が示せました。

次に φ が和を保存することを確認します。

(k₁, … , k_n), (h₁, … , h_n)∈Kⁿ について、
(k₁, … , k_n)+(h₁, … , h_n)
= (k₁+h₁, … , k_n+h_n) です。

よって、
φ((k₁, … , k_n)+(h₁, … , h_n))
= φ((k₁, … , k_n))+φ((h₁, … , h_n)) が示せました。

これで、φ は線形写像であり、全単射であることが示せました。

そのため、Hom(V, K) は Kⁿ と線形同型です。

ここまで、ベクトル空間 V の双対空間 hom(V, K) もベクトル空間ということを述べてきました。

最後に、hom(V, K) のそのまた双対空間がどうなっているのかということを説明します。

実は、これは回帰的となります。

回帰的 (reflexive) とは、同じ操作をもう一度すると元に戻るということです。

回帰的 : Hom(Hom(V,K),K)への対応

{v₁, … , v_n} を V の基底とすると、
{f₁, … , f_n} という双対基底が Hom(V, K) の基底となります。

そして、f_i(v_j) = δ_ij（i, j = 1, … , n）となっています。

したがって、Hom(V, K) も体 K 上の n 次元の線形代数です。

はじめの V として Hom(V, K) を考え、同じ操作で Hom(V, K) の双対空間を定義します。

双対空間の定義から、
Hom(Hom(V, K), K) は、Hom(V, K) から K への線形写像全体です。

双対空間についての一般論から、
Hom(Hom(V, K), K) も体 K 上の n 次元の線形代数です。

結論から申し上げますと、
Hom(Hom(V, K), K) は、はじめの V と線形同型となります。

≅ を線形同型ということを表すと、
Hom(Hom(V, K), K) ≅ V となります。

この線形同型を与える写像を、どう定義するのかということを述べ、本当に線形同型写像となっているのかを確かめます。

Vからの線形写像

v∈V に対して、f∈Hom(V, K) とすると、f は V から K への線形写像なので、f(v) は体 K の元です。

よって、v∈V を一つ固定すると、任意の f∈Hom(V, K) に対して、
f(v)∈K です。

そこで、φ_v という Hom(V, K) から K への写像を次のように定義します。

f∈Hom(V, K) に対して、
φ_v(f) = f(v) と定義します。

φ_v:Hom(V, K) → K という写像が定義できました。

この写像が、単なる写像ではなく、線形写像となっていることを確認します。

φ_v が線形写像だと、双対空間の定義から、
φ_v∈Hom(Hom(V, K), K) となります。

そうすると、v∈V に対して、
φ_v∈Hom(Hom(V, K), K) を対応させるという写像が定義できます。

では、φ_v が線形写像となっていることを示します。

f, g∈Hom(V, K) に対して、
φ_v(f+g) = (f+g)(v) = f(v)+g(v)
= φ_v(f)+φ_v(g)

これで、φ_v は、双対空間における加法を保存することが示せました。

(f+g)(v) = f(v)+g(v) は、双対空間における加法である線形写像の和の定義そのものです。

また、c∈K に対して、
(cf)(v) = cf(v) は、線形写像のスカラー倍の定義そのものです。

このことから、φ_v が、スカラー倍も保存していることが分かります。

φ_v(cf) = (cf)(v)
= c(f(v)) = cφ_v(f)

これで、スカラー倍も保存することが示せました。

よって、φ_v は Hom(V, K) から K への線形写像なので、
φ_v∈Hom(Hom(V, K), K) です。

このことから、v∈V に対して、
Ψ(v) = φ_v∈Hom(Hom(V, K), K) と定義すると、
Ψ:V → Hom(Hom(V, K), K) という写像が得られます。

この Ψ が線形同型写像ということを示すと、双対空間の双対空間が、もとの V と線形同型ということになります。

まずは、Ψ が線形写像となっていることから示します。

回帰的 : Ψが線形写像

u, v∈V を任意に取ります。

Ψ(u+v) = φ_u+v で、
Ψ(u)+Ψ(v) = φ_u+φ_v となっています。

φ_u+φ_v は、双対空間 Hom(Hom(V, K), K) における加法で、線形写像の和です。

よって、任意の f∈Hom(V, K) に対して、
(φ_u+φ_v)(f) = φ_u(f)+φ_v(f)
= f(u)+f(v) となっています。

f は線形写像なので、f(u)+f(v) = f(u+v) です。

そのため、
(φ_u+φ_v)(f) = f(u+v) = φ_u+v(f)

つまり、Ψ(u+v) = Ψ(u)+Ψ(v)

これで、Ψ が加法を保存することが分かりました。次に、スカラー倍も保存することを確認します。

任意の v∈V, c∈K に対して、
Ψ(cv) = φ_cv,
cΨ(v) = cφ_v です。

c∈K が Hom(Hom(V, K), K) にスカラー倍をしたものが、cφ_v です。線形写像をスカラー倍することの定義から、次のようになります。

任意の f∈Hom(V, K) に対して、
cφv(f) = c(f(v)) = (cf)(v) = φ_cv(f) となっています。

つまり、cΨ(v) = Ψ(cv) です。

これで、スカラー倍も保存することが示せたので、Ψ が線形写像ということを示すことができました。

Ψ が全単射ということを示せば、Ψ が線形同型写像ということになります。

単射と全射の定義を確認しても良いのですが、Ψ が線形写像ということが分かっているので、線形写像の性質や線形代数についての定理を使って、全単射であることを示します。

線形写像による像は部分空間

Ψ:V → Hom(Hom(V, K), K) は、線形写像です。

そのため、Ψ(V) は、Hom(Hom(V, K), K) の部分空間となっています。

実際、x, y∈Ψ(V) とすると、像の定義から、あるs, t∈V が存在して、
Ψ(s) = x, Ψ(t) = y です。

s+t∈V なので、Ψ(s+t)∈V です。

また、Ψ は線形写像なので、
x+y = Ψ(s)+Ψ(t) = Ψ(s+t)∈Ψ(V) です。

また、c∈K について、
cx = cΨ(s) = Ψ(cs)∈Ψ(V) です。

これで、x+y∈Ψ(V), cx∈Ψ(V) が示せたので、部分空間の定義から、Ψ(V) は終集合である線形代数の部分空間となっています。

このことから、次元について、
dim(Ψ(V)) ≦ dim(Hom(Hom(V, K), K))
= n となっています。

双対空間の双対空間も V と同じ n 次元の線形代数だから、部分空間の次元を上から評価できました。

Ψ(V) の次元が n ということを示すと、有限次元の線形代数の基底を構成するベクトルの個数が一定であることから、Ψ(V) が終集合の線形代数に一致することになります。

回帰的 : 線形代数の理論を使って同型を証明

ker Ψ = {v∈V | Ψ(v) = 0_K} を、線形写像 Ψ の核といいます。

ker Ψ = {0_V} と、Ψ が単射であることが同値となります。（0_K は 体 K の零元で、0_V は V の零元です。）

※ 環準同型写像という記事で核が零空間だと単射ということを解説しています。

v∈ker Ψ とすると、
Ψ(v) = φ_v は、Hom(Hom(V, K), K) の零元です。

Hom(Hom(V, K), K) の零元は、
Hom(V, K) の任意の元を体 K の加法的単位元 0_K へ移します。

よって、{v₁, … , v_n} を V の基底、
{f₁, … , f_n} を Hom(V, K) の双対基底とすると、
1 ≦ i ≦ n について、
0_K = (Ψ(v))(f_i) = φ_v(f_i) = f_i(v) です。

v = Σ_j k_jv_j と V の基底の一次結合で表すと、
各 i について、
0_K = f_i(v) = f_i(Σ_j k_jv_j)
= Σ_j k_jf_i(v_j) = Σ_j k_jδ_ji

δ_ji は、j = i のとき、体 K の 1_K で、j ≠ i のときは、体 K の 0_K です。

そのため、
0_K = Σ_j k_jδ_ji = k_j (j = 1, … , n)

よって、
v = Σ_j k_jv_j = Σ_j (0_Kv_j) = 0_V

これで、ker Ψ = {0_V} が示せたので、Ψ は単射ということが示せました。

一次独立な元の最大個数

V の基底 {v₁, … , v_n} について、
Ψ(v_i):Hom(V, K) → K でした。

{Ψ(v₁), … , Ψ(v_n)} が、Hom(Hom(V, K), K) において、一次独立であることを示します。

c₁Ψ(v₁)+… +c_nΨ(v_n) = 0 だとします。

c_iψ(v_i) = ψ(c_iv_i) だから、
双対基底の各元 f_j について、
0_K = (Σ_i=1n c_iψ(v_i)(f_j)
= Σ_i=1n c_i(f_j)(v_i)
= Σ_i=1n c_iδ_ji = c_j
（ただし、j = 1, … , n）

よって、c₁ = … = c_n = 0_K です。

よって、Ψ(v₁), … , Ψ(v_n) たちが一次独立であることが示せました。

有限次元の線形代数について、一次独立な元たちの最大個数は、次元以下となります。

そのため、
n ≦ dim(Ψ(V)) です。

Ψ(V) は、n 次元の Hom(Hom(V, K), K) の部分空間だったので、
dim(Ψ(V)) ≦ n です。

よって、dim(Ψ(V)) = n です。

したがって、部分空間と全体の次元が同じ n ということから、
Ψ(V) = Hom(Hom(V, K), K) です。

これで、Ψ が全射であることも示せました。

以上より、Ψ は線形同型写像で、
V と Hom(Hom(V, K), K) が線形同型ということが証明できました。

回帰的 : はじめに戻るということ

回帰的な操作という観点で、証明したことを振り返ります。

体 K 上の n 次元の線形代数 V の双対空間を Hom(V, K) と表してきましたが、V^双 と表すことにします。

そうすると、先ほど示したことから、
V^双の双対空間である V^双双 は、はじめの V と線形同型です。

つまり、V^双双 ≅ V です。

この同型対応によって、同一視をすると、
V^双双 = V です。

さらに、双対空間を考えると、
V^双双双 = V双 です。

もう一つ双対空間を考えると、
V^双双双双 = V^双双 = V です。

回帰的なので、奇数回か偶数回かによって、
V^双 または V となります。

この回帰的ということですが、無限次元の線形代数については、一般に二回で元に戻るとは限らないことが知られています。

これで、今回の記事を終了します。

読んで頂き、ありがとうございました。