第119回　イチからゼロを通り越し（前編）

$ \newcommand{\ABS}[1]{|#1|} \newcommand{\VECV}[2]{\left(\renewcommand{\arraycolsep}{0pt}\begin{array}{c} #1 \\ #2 \end{array} \right)} \newcommand{\TVECV}[2]{\genfrac{(}{)}{0pt}{1}{#1}{#2}}% \newcommand{\LEFTRIGHTARROW}{\quad\Longleftrightarrow\quad} \newcommand{\LEFTARROW}{\quad\Longleftarrow\quad} \newcommand{\RIGHTARROW}{\quad\Longrightarrow\quad} \newcommand{\MAT}[4]{\left(\begin{array}{cc} #1 & #2 \\ #3 & #4 \end{array} \right)} \newcommand{\UL}[1]{\underline{#1}} \newcommand{\UUL}[1]{\underline{\underline{#1}}} \newcommand{\RELATED}{\dashleftarrow\dashrightarrow} $

僕の部屋

僕「……そんな話をしてたんだよ」

ユーリ「何それ！　信じらんない！　何でそんな楽しそーなのにユーリ呼んでくんなかったのー？」

僕「ユーリは《乙女には大事な大事な予定がある》って言ってたじゃないか」

ユーリ「言ってたっけ。うー、失敗したにゃあ。……でも、行列って、いろんなことできるんだね」

僕「そうだね。行列を使って《ひしゃげ》させることができる。正方形のマス目が全部、平行四辺形になるよね。 それから、逆行列を持たない行列だったら、全体を《つぶす》こともできる。 平行四辺形じゃなくて、もう線分になってしまう。座標平面全体が一直線につぶされる」

ユーリ「ちょっと待って、いま変なこと言ったね」

僕「え？　言ってないよ。逆行列を持つ行列で変換すれば正方形のマス目は平行四辺形になるし、 逆行列を持たない行列で変換すれば座標平面全体は一つの直線になるよ。 あ、逆行列を持たないといっても、零行列のときは一つの点になっちゃうけど」

ユーリ「逆行列を持つかどーかで形が変わるってこと？」

僕「まあ、そうなるね。……ユーリは何を気にしているの？」

ユーリ「あのね、逆行列って逆数みたいなもんじゃん？　 $A$ の逆行列って、 $\frac{1}{A}$ だし」

僕「前もいったけど、逆行列は $\frac{1}{A}$ じゃなくて $A^{-1}$ と書くんだよ」

ユーリ「はいはい。で、 $A$ の逆行列の $A^{-1}$ っていうのは、掛けるとイチみたいな……単位行列 $I$ になる行列」

$$ AA^{-1} = I $$

僕「そうだね。それから $A^{-1}A = I$ でもある」

ユーリ「逆行列があるって、 $ad - bc$ が $0$ じゃないってことでしょ？」

僕「そうだよ。行列 $A = \left(\begin{array}{cc} a & b \\ c & d \end{array} \right)$ が逆行列を持つというのは、 $ad - bc \neq 0$ であることと同値だね。よく覚えているなあ、ユーリ」

ユーリ「だってこないだ、いっしょに計算したじゃん。それに、

• 数 $a$ の逆数は、 $a \neq 0$ のときだけ存在する（ $\frac{1}{a}$ と書く）
• 行列 $A$ の逆行列は、 $ad - bc \neq 0$ のときだけ存在する（ $A^{-1}$ と書く）

なんでしょ。数に似ているけど、数とは違う行列！」

僕「いやいや、なかなかえらいな、ユーリ」

ユーリ「不思議なのはね、 $ad - bc \neq 0$ のときには平行四辺形に変換して、 $ad - bc = 0$ のときには一直線に変換っていうところ」

僕「ああ、それ、テトラちゃんも不思議に思っていたけど、話は簡単だよ。 $ad - bc = 0$ のときには複数の点が一点に移されるから、 戻せないんだ。だから、逆行列が存在しないこととぴったり合う」

ユーリ「うーん……ユーリは違うこと考えてんだけどにゃあ……」

僕「何を考えてんだろうにゃあ……」

ユーリ「真似するなー！」

僕「だってね、僕たちはテレパシーを使えるわけじゃないんだから、ちゃんと言葉や数式にして表現しなくちゃわからないんだよ。 自分の頭の中だけで考えて《私のこと、わかって！》なんて図々しい話だよね」

ユーリ「え、お兄ちゃん、テレパシー使えないの？」

僕「ユーリは使えるの？！」

ユーリ「だって、ユーリが考えていること、よくお兄ちゃんに当てられるから。 まるでテレパシー！　って思うときある」

僕「そんな能力あったら苦労しないよ。ちゃんと言葉や数式にしないと」

ユーリ「そこで数式が出てくんのがお兄ちゃんだよね。えーと、 $ad - bc \neq 0$ なら平行四辺形になって、 $ad - bc = 0$ なら一直線か一点」

僕「そうだね。行列はそういう変換を引き起こす」

ユーリ「《 $0$ かどうか》ってゼロイチじゃん？　成り立つかどーかだよね」

僕「なぜそんなややこしい言い方をする。でもそうだよ。 $ad - bc$ は $0$ か $0$ 以外か」

ユーリ「でもね、 $ad - bc$ が $0$ になった瞬間にいきなり一直線につぶれるわけないじゃん！　……って思ったの。 大きな平行四辺形がぺしゃんとなるわけじゃない」

僕「ほほう？」

ユーリ「もしかしてね、 $ad - bc$ がすごく小さくて $0.000001$ だったら、すごく小さい平行四辺形になるんじゃないかなって」

僕「うんうん。すごく小さいというよりもすごく《ひしゃげた》平行四辺形だね」

ユーリ「そんで、 $ad - bc$ が小さくなって小さくなって $0$ になったら、平行四辺形はやっと一直線につぶれるんだろうなって」

僕「ユーリ、それはすごい発想だな！」

ユーリ「へへー、もっとほめて」

僕「このくらいで」

ユーリ「がく」

僕「でも、ユーリの気持ちはわかる」

ユーリ「テレパシー使わなくても」

僕「言葉を使ったからね。ユーリがいうのは、《 $ad - bc$ という式の値は、平行四辺形の形に関係している》ということだよね。 $ad - bc$ が $0$ に近づいていくと、平行四辺形はつぶれていくと」

ユーリ「そー！」

僕「それは正しいよ。だって、行列式は平行四辺形の面積になるんだからね」

ユーリ「行列式って $ad - bc$ のことだっけ。え？ $ad - bc$ が面積になるの？」

僕「そうだね。もう少しちゃんというなら、こうかな」

ユーリ「なるほどー……と言いたいけど、ほんとにそーなるの？」

僕「そうなるの、と聞くんだね。じゃあ、いっしょに確かめてみようよ」

僕「まず、平行四辺形の面積からだけど」

ユーリ「ちょっと待ってよ。ユーリ、一人で計算してみる」

僕「おお、すばらしいな。ではどうぞ」