第118回 シーズン12 エピソード8

星空トランスフォーム（後編）

双倉図書館

テトラ「あの……あたし、引っかかることが」

ミルカ「？」

僕「？」

テトラ「以前、先輩からベクトルを教えていただいたとき、 平行四辺形が出てきました（第53回参照）」

僕「そうだね。ベクトルの和の話」

ミルカ「ふむ」

テトラ「ベクトルの和で平行四辺形が出てきて、行列の変換でも平行四辺形が出てきました。 これには何か意味があるんでしょうか？」

僕「それはそうだね。ベクトルの和は平行四辺形を作る。 行列で座標平面のマス目を変換すると平行四辺形のマス目になる。 これは同じ話だね」

テトラ「え……でも、あたしは、まだわかっていないようです。 何となくはわかるんですが」

僕「平行移動したベクトル同士は等しいよね。 平行四辺形がベクトルの和に出てくるのはそのため」

テトラ「ええと、あ、はい。わかります。 ベクトル $\vec{a}$ のあとにベクトル $\vec{b}$ をつなげたのが、 ベクトル $\vec{a} + \vec{b}$ だから……ですね？」

僕「そうそう。ベクトルは平行移動しても変わらないから、 $\vec{b}$ を平行移動させてもかまわない。 だから、ベクトルの和のときに平行四辺形が出てくるんだよね、テトラちゃん」

テトラ「はい、それはわかります」

僕「行列でマス目を変換したときに平行四辺形になるのも同じだよ。 だって、たとえば行列 $\left(\begin{array}{cc} 2 & 1 \\ 1 & 3 \end{array} \right)$ を使えば、 正方形の四頂点を表すベクトル $\VECV00,\VECV10,\VECV01,\VECV11$ は、 それぞれ $\VECV00,\VECV21,\VECV13,\VECV34$ に移るからね」

テトラ「は、はあ……」

ミルカ「いや、その説明は言葉足らず」

僕「そう？」

ミルカ「まず、 その説明は $\left(\begin{array}{cc} 2 & 1 \\ 1 & 3 \end{array} \right)$ という一つの行列についてしか語っていない。 それから、《ベクトルの和》と《行列による変換》との関係について語っていない」

僕「うーん……」

ミルカ「 ここは、行列が作り出す変換が線型変換であること、 すなわち《行列による変換の線型性》を語るべきだと思うが」

テトラ「線型性……？」

ミルカ「ベクトルの和を行列で変換し、新たなベクトルを得たとしよう。 そのとき得られるベクトルは、 もとのベクトルを変換して得られるベクトル同士の和になるということ」

テトラ「え、ちょっとお待ちください。ベクトルの……え？」

ミルカ「すなわち、《ベクトルの和を行列で変換すると、 行列で変換したベクトルの和に等しくなる》ということ」

僕「そうか、それを説明すればいいのか。 変換後のベクトルが平行四辺形を作ることになるからだね」

テトラ「す、すみません……あたしは、まだ」

僕「ミルカさんが言ったのは、こういうことだよ。 二つのベクトル $\vec{a}$ と $\vec{b}$ があって、 その和を考える。つまり $\vec{a} + \vec{b}$ というベクトルだね」

テトラ「はい。それはわかります」

僕「たとえば行列を $A$ としたとき、《ベクトルの和を変換したベクトル》 というのは、 $$ A(\vec{a} + \vec{b}) $$ のことだよね」

テトラ「え、えっと」

僕「成分も書いたほうがわかりやすいかな」

テトラ「あ、そういう意味ですね。 《ベクトルを行列で変換する》というのは《行列とベクトルの積》ですから、 行列と、和で表されているベクトルとの積を取る……」

僕「そうそう。 それでね、ミルカさんが言ってたもう一つ《ベクトルを変換したベクトルの和》というのは、 $\vec{a}$ と $\vec{b}$ のそれぞれを行列で変換してから、その後で和を取るという意味なんだよ。 つまり、 $A\vec{a} + A\vec{b}$ のこと」

僕「そして、この両者は等しくなるんだ！」

テトラ「……」

僕「納得行かない？　成分表示をよく見ればわかるよね」

テトラ「いえ、すみません。違うんです。 これって、すごいことなんでしょうか？　あたしには、 何だかあたりまえのように思えるんですけれど」

僕「まあ、あたりまえといえば、あたりまえだけど」

テトラ「ちがうんです。いえ、ちがわないんですけど。 たとえば、 $$ A(\vec{a} + \vec{b}) = A\vec{a} + A\vec{b} $$ という式なんですが、 これは何というか《分配法則》のようなことが成り立つということですよね。 そう言われれば、そういうのが成り立ってもおかしくないなあと思いますし、 きっと証明もできるんだと思うんですが、 というか、さきほどの成分計算で、成分を比較すれば証明になっているんだと思うんです。それはいいんです。 でも、さっきまで、平行四辺形の話題が進んでいましたよね。 どうして、急にこの分配法則の話になっちゃったんですか？ ミルカさんと先輩はその理由がおわかりになっているようです。 でも、あたしにはそのつながりがわからないです。 つまりですね。あたしにはこの式は……この式が成り立つことは、 あたりまえのように思えますけれど、 それがどういうふうに平行四辺形と関係しているのかがわかってないんです。 す、すみません。ものわかりが悪くて」

リサ「饒舌テトラ」

僕「……」

ミルカ「変換前、二つのベクトル $\vec{a} = \VECV{a}{0}$ と $\vec{b} = \VECV{0}{b}$ は、長方形を作る。 $\VECV00, \VECV{a}{0}, \VECV{0}{b}, \VECV{a}{b}$ の四点。四つ目の点は《ベクトルの和》$\vec{a} + \vec{b}$ だ。 四つ目の点がベクトルの和で作られているから、平行四辺形になっている」

テトラ「はい、大丈夫です。長方形も平行四辺形の一種ですから」

ミルカ「では変換後、 $\vec{a}$ と、 $\vec{b}$ と、そして、この《ベクトルの和 $\vec{a} + \vec{b}$》はどんなベクトルに移るだろうか？」

テトラ「ベクトルの和が、どんなベクトルに移るか……」

ミルカ「そう。 $\vec{a}$ は $A\vec{a}$ に移り、 $\vec{b}$ は $A\vec{b}$ に移る。 では、 $\vec{a} + \vec{b}$ はどこに移るだろうか」

テトラ「ははあ……わかります。 $A(\vec{a} + \vec{b})$ に移りますね」

ミルカ「そうだ。 《和を変換したベクトル》は $A(\vec{a} + \vec{b})$ になる。 そして、《変換したベクトルの和》は《$A\vec{a}$ と $A\vec{b}$ の和》すなわち $A\vec{a} + A\vec{b}$ になる。 この両者は等しいかな？　つまり、 《和を変換したベクトル》は、《変換したベクトルの和》になるかな？　 《和の変換》と《変換の和》。 もしも、この二つが一致するなら−−−テトラは、ベクトルの和が 平行四辺形を生み出すことを知っているのだから−−−行列による変換が平行四辺形のマス目を生み出すことも納得できるのではないかな？」

テトラ「！」

僕「わかった？」

テトラ「わかりました！　あ、あれれ？　あたし、なんでこんなこと、すぐわからなかったんでしょう！」

ミルカ「線型性は数学のあちこちに出てくる。 すべて、《和の○○は、○○の和》として表現できる。 こんなふうに」

リサ「演算装置の交換」

ミルカ「ふむ、なるほど」

変換の姿

テトラ「リサちゃん、行列 $\left(\begin{array}{cc} 2 & 1 \\ 1 & 3 \end{array} \right)$ の変換の様子をもう一度表示してもらえますか」

リサ「《ちゃん》は不要」