【線形写像編】次元を絡めた線形写像の性質
大学1年生もバッチリ分かる線形代数入門

【線形写像編】次元を絡めた線形写像の性質

こんにちは、おぐえもん(@oguemon_com)です。

前回の記事では、ある線形写像で定められている対応付けの規則を表現する便利なアイテム「表現行列」を扱いました。

【線形写像編】表現行列って何？定義と線形写像の関係を解説
【線形写像編】表現行列って何？定義と線形写像の関係を解説
おぐえもん.com

今回は「次元」がテーマです。次元とは、線形空間の基底をなす要素の個数のことでした。ここでは、線形写像と絡む次元の性質を紹介します。

値域と核の次元の関係

線形写像f:V→Wf:V \rightarrow Wについて、VVが有限次元ならば、その値域Imf\mathrm{Im} fと、核Kerf\mathrm{Ker} fも有限次元です。そして、その次元について次の関係があります。

dim⁡(V)=dim⁡(Imf)+dim⁡(Kerf)\dim(V) = \dim(\mathrm{Im} f) + \dim(\mathrm{Ker} f)

この理由はシンプルです。Imf\mathrm{Im} fの各基底に対応するdim⁡(Imf)\dim(\mathrm{Im} f)個の要素と、Kerf\mathrm{Ker} fの基底を合わせると、VVの基底となるからです。そのことを証明します。

下準備

まず、VVの次元が有限ならば、その値域Imf\mathrm{Im} fと、核Kerf\mathrm{Ker} fも有限次元であることを示しましょう。

VVの基底の一組をa1,⋯ ,an\boldsymbol{a}_1, \cdots, \boldsymbol{a}_nとします。すると、VVの任意の要素a\boldsymbol{a}は、a=λ1a1+⋯+λnan\boldsymbol{a} = \lambda_1 \boldsymbol{a}_1 + \cdots + \lambda_n \boldsymbol{a}_nと表せるので、次式が成立します。

f(a)=f(λ1a1+⋯+λnan)=λ1f(a1)+⋯+λnf(an)\begin{aligned} f(\boldsymbol{a}) &= f(\lambda_1 \boldsymbol{a}_1 + \cdots + \lambda_n \boldsymbol{a}_n) \\ &= \lambda_1 f(\boldsymbol{a}_1) + \cdots + \lambda_n f(\boldsymbol{a}_n) \\ \end{aligned}

これより、Imf\mathrm{Im} f内の任意の要素をf(a1),⋯ ,f(an)f(\boldsymbol{a}_1), \cdots, f(\boldsymbol{a}_n)で生成することができます。よって、Imf\mathrm{Im} fの次元はnn以下であり、有限です。

そして、Kerf\mathrm{Ker} fの次元ですが、Kerf\mathrm{Ker} fはVVの部分空間なので、その次元はVVの次元以下であり、有限です。

メインの証明

前提が示せたところで、Imf\mathrm{Im} fの各基底に対応するdim⁡(Imf)\dim(\mathrm{Im} f)個の要素と、Kerf\mathrm{Ker} fの基底を合わせると、VVの基底となることを示しましょう。

まずは定義です。Imf\mathrm{Im} fの基底をc1,⋯ ,cm\boldsymbol{c}_1, \cdots, \boldsymbol{c}_mとします。そして、各ci\boldsymbol{c}_iに対してf(bi)=cif(\boldsymbol{b}_i) = \boldsymbol{c}_iを満たすVVの要素をb1,⋯ ,bm\boldsymbol{b}_1, \cdots, \boldsymbol{b}_mとします。いわば、Imf\mathrm{Im} fの各基底の対応元となる要素です。

そして、Kerf\mathrm{Ker} fの基底を、d1,⋯ ,dr\boldsymbol{d}_1, \cdots, \boldsymbol{d}_rとします。

b1,⋯ ,bm\boldsymbol{b}_1, \cdots, \boldsymbol{b}_mとd1,⋯ ,dr\boldsymbol{d}_1, \cdots, \boldsymbol{d}_rを合わせたm+rm+r個の要素がVVの基底になることを示すためには、基底の定義を満たすための次の条件がともに成立することを示します。

m+rm+r個の要素b1,⋯ ,bm,d1,⋯ ,dr\boldsymbol{b}_1, \cdots, \boldsymbol{b}_m, \boldsymbol{d}_1, \cdots, \boldsymbol{d}_rについて

  1. 一次独立であること。
  2. VVを生成すること。（つまり、これらの一次結合でVVの任意要素を表せる）

条件1　一次独立であること

λ1b1+⋯+λmbm+μ1d1+⋯+μrdr=o\lambda_1 \boldsymbol{b}_1 + \cdots + \lambda_m \boldsymbol{b}_m + \mu_1 \boldsymbol{d}_1 + \cdots + \mu_r \boldsymbol{d}_r = \boldsymbol{o}を満たすとき、スカラーλi\lambda_iとμj\mu_jが全て00になることを示します。まずは両辺のffに関する像を取ると次式が成立します。

λ1f(b1)+⋯+λmf(bm)+μ1f(d1)+⋯+μrf(dr)=o\lambda_1 f(\boldsymbol{b}_1) + \cdots + \lambda_m f(\boldsymbol{b}_m) + \mu_1 f(\boldsymbol{d}_1) + \cdots + \mu_r f(\boldsymbol{d}_r) = \boldsymbol{o}

ここで、d1,⋯ ,dr\boldsymbol{d}_1, \cdots, \boldsymbol{d}_rはKerf\mathrm{Ker} fの要素なので、核の定義から次式が成立します。

f(d1)=⋯=f(dr)=of(\boldsymbol{d}_1) = \cdots = f(\boldsymbol{d}_r) = \boldsymbol{o}

そして、ここではf(bi)=ci (i=0,⋯ ,m)f(\boldsymbol{b}_i) = \boldsymbol{c}_i \ (i=0, \cdots, m)と定めたので、上式の左辺にこれらを代入して、次式に変形できます。

λ1c1+⋯+λmcm=o\lambda_1 \boldsymbol{c}_1 + \cdots + \lambda_m \boldsymbol{c}_m = \boldsymbol{o}

c1,⋯ ,cm\boldsymbol{c}_1, \cdots, \boldsymbol{c}_mはImf\mathrm{Im} fの基底なので一次独立です。よって、一次独立の定義よりλ1=⋯=λm=0\lambda_1 = \cdots = \lambda_m = 0になります。

これを最初の式に代入しましょう。すると次式になります。

μ1d1+⋯+μrdr=o\mu_1 \boldsymbol{d}_1 + \cdots + \mu_r \boldsymbol{d}_r = \boldsymbol{o}

ここで、d1,⋯ ,dm\boldsymbol{d}_1, \cdots, \boldsymbol{d}_mはKerf\mathrm{Ker} fの基底なので一次独立です。よって、μ1=⋯=μr=0\mu_1 = \cdots = \mu_r = 0になります。

これより、スカラーλi\lambda_iとμj\mu_jが全て00になることが示せました！

条件2：Vを生成すること

c1,⋯ ,cm\boldsymbol{c}_1, \cdots, \boldsymbol{c}_mはImf\mathrm{Im} fの基底なので、その一次結合でImf\mathrm{Im} fの任意の要素を表せます。そして、VVの任意要素a\boldsymbol{a}の像f(a)f(\boldsymbol{a})は、Imf\mathrm{Im} fの要素です（これはImf\mathrm{Im} fの定義より明らかです）。したがって、適当なスカラーν1,⋯ ,νm\nu_1, \cdots, \nu_mを用いて、次式のように書けます。

f(a)=ν1c1+⋯+νmcmf(\boldsymbol{a}) = \nu_1 \boldsymbol{c}_1 + \cdots + \nu_m \boldsymbol{c}_m

ここで、f(bi)=cif(\boldsymbol{b}_i) = \boldsymbol{c}_iであったことを用いると、

f(a)=ν1f(b1)+⋯+νmf(bm)f(\boldsymbol{a}) = \nu_1 f(\boldsymbol{b}_1) + \cdots + \nu_m f(\boldsymbol{b}_m)

さらに、線形写像の性質を駆使して次のように変形できます。

f(a)=f(ν1b1+⋯+νmbm)f(\boldsymbol{a}) = f(\nu_1 \boldsymbol{b}_1 + \cdots + \nu_m \boldsymbol{b}_m)

両辺から右辺を引いて、同じく線形写像の性質を用いた変形をすると、

f(a−(ν1b1+⋯+νmbm))=f(o)f(\boldsymbol{a} - (\nu_1 \boldsymbol{b}_1 + \cdots + \nu_m \boldsymbol{b}_m)) = f(\boldsymbol{o})

右辺が零ベクトルになりました。ということは、左辺のffのカッコの中にある要素はKerf\mathrm{Ker} fに含まれます。したがって、Kerf\mathrm{Ker} fの基底を使った次式が成立します。

a−(ν1b1+⋯+νmbm)=μ1d1+⋯+μrdr\boldsymbol{a} - (\nu_1 \boldsymbol{b}_1 + \cdots + \nu_m \boldsymbol{b}_m) = \mu_1 \boldsymbol{d}_1 + \cdots + \mu_r \boldsymbol{d}_r

適当に移項したら次の通り。

a=ν1b1+⋯+νmbm+μ1d1+⋯+μrdr\boldsymbol{a} = \nu_1 \boldsymbol{b}_1 + \cdots + \nu_m \boldsymbol{b}_m + \mu_1 \boldsymbol{d}_1 + \cdots + \mu_r \boldsymbol{d}_r

よって、任意のa\boldsymbol{a} は、b_1,⋯ ,b_m,d_1,⋯ ,b_r\boldsymbol{b}\_1, \cdots, \boldsymbol{b}\_m, \boldsymbol{d}\_1, \cdots, \boldsymbol{b}\_rの任意の結合の形で表せる、つまりこれらの要素がVVを生成することを示せました。

以上で、b1,⋯ ,bm,d1,⋯ ,br\boldsymbol{b}_1, \cdots, \boldsymbol{b}_m, \boldsymbol{d}_1, \cdots, \boldsymbol{b}_rがVVの基底であることが示せました。

mmはImf\mathrm{Im} fの基底の要素数（＝次元）で、rrはKerf\mathrm{Ker} fの基底の要素数（＝次元）です。VVの基底の要素数（＝次元）はm+rm+rであり、当初の次元に関する等式の成立は明らかです。

同型と次元

2 つの線形空間が同型であることと、両者の次元が一致することは同値です。

線形空間V,WV,Wがあり、VVが有限次元であるとき、

V≅W⟺dim⁡V=dim⁡WV \cong W \Longleftrightarrow \dim V = \dim W

同型な 2 つの線形空間は、線形空間としてほぼ同じものでした。次元さえ一致するなら、各線形空間の具体的な形が座標だろうが連立方程式の解だろうが、両者を線形空間としてほぼ同じものとして捉えることができるというスゴい定理です。線形代数における理論の抽象性とその適用範囲の広さを垣間見ることができます。

証明は、右矢印（十分性）と左矢印（必要性）に分けて行います。

十分性（→）の成立

ffがVVからWWの上への同型写像ならば、同型写像は全射なのでImf=W\mathrm{Im} f = Wであり、同型写像は単射でもあるので、Kerf=o\mathrm{Ker} f = \boldsymbol{o}です。したがって、

dim⁡(V)=dim⁡(Imf)+dim⁡(Kerf)=dim⁡(W)+dim⁡(o)=dim⁡(W)\begin{aligned} \dim(V) &= \dim(\mathrm{Im} f) + \dim(\mathrm{Ker} f) \\ &= \dim(W) + \dim(\boldsymbol{o}) \\ &= \dim(W) \end{aligned}

必要性（←）の成立

dim⁡V=dim⁡W\dim V = \dim Wとします。そして、VVの基底をa1,⋯ ,an\boldsymbol{a}_1, \cdots, \boldsymbol{a}_n、WWの基底をc1,⋯ ,cn\boldsymbol{c}_1, \cdots, \boldsymbol{c}_nとします。

VVの任意の要素a\boldsymbol{a}は、a=λ1a1+⋯+λnan\boldsymbol{a} = \lambda_1 \boldsymbol{a}_1 + \cdots + \lambda_n \boldsymbol{a}_nの形で一意に表すことができるので、一次結合の係数λ1,...,λn\lambda_1,...,\lambda_nはそのままに、基底のみをc1,⋯ ,cn\boldsymbol{c}_1, \cdots, \boldsymbol{c}_nに置き替えた次の線形写像を定義できます。

f(a)=λ1c1+⋯+λncnf(\boldsymbol{a}) = \lambda_1 \boldsymbol{c}_1 + \cdots + \lambda_n \boldsymbol{c}_n

VVの任意の 2 要素を、次のように定めます。

a=λ1a1+⋯+λnanb=μ1a1+⋯+μnan\begin{aligned} \boldsymbol{a} &= \lambda_1 \boldsymbol{a}_1 + \cdots + \lambda_n \boldsymbol{a}_n \\ \boldsymbol{b} &= \mu_1 \boldsymbol{a}_1 + \cdots + \mu_n \boldsymbol{a}_n \end{aligned}

これに対して、f(a)=f(b)f(\boldsymbol{a}) = f(\boldsymbol{b})が成り立つとき、次式が成立します。

λ1c1+⋯+λncn=μ1c1+⋯+μncn(λ1−μ1)c1+⋯+(λn−μn)cn=o\begin{aligned} \lambda_1 \boldsymbol{c}_1 + \cdots + \lambda_n \boldsymbol{c}_n &= \mu_1 \boldsymbol{c}_1 + \cdots + \mu_n \boldsymbol{c}_n \\ (\lambda_1 - \mu_1)\boldsymbol{c}_1 + \cdots + (\lambda_n - \mu_n) \boldsymbol{c}_n &= \boldsymbol{o} \end{aligned}

c1,⋯ ,cn\boldsymbol{c}_1, \cdots, \boldsymbol{c}_nはWWの基底なので一次独立です。したがってλi−μi=0(i=1,⋯ ,n)\lambda_i - \mu_i = 0 (i = 1, \cdots, n)つまり、λi=μi\lambda_i = \mu_iが成立します。よって、a=b\boldsymbol{a} = \boldsymbol{b}となり単射であることが分かります。

そして、WWの任意の要素はλ1c1+⋯+λncn\lambda_1 \boldsymbol{c}_1 + \cdots + \lambda_n \boldsymbol{c}_nの形式で書けるので、これはつまりWWの任意の要素は、あるVVの要素a\boldsymbol{a}の像f(a)f(\boldsymbol{a})であると言えます。よって、Imf=W\mathrm{Im} f = Wであり、全射であることが分かります。

以上から、この線形写像ffは全単射なので、同型写像と言えます。そうした写像を持つことからVVはWWに同型（V≅WV \cong W）です。

おわり

次回は、線形写像の階数の定義と、それが表現行列の階数と一致するというキモチイイ性質について扱います。

【線形写像編】線形写像の階数
【線形写像編】線形写像の階数
おぐえもん.com
▲ トップへ戻る