問1
行列 が表す一次変換によって、面積 の三角形の像の面積を求めなさい。
答えを見る答えを閉じる
( で 倍)
目次 / 行列と一次変換 / 旧数学C(課程外)
—— 直線・面積・動かないもの — 変換が平面に何をしているかを読み取る ——
第 6 章から第 8 章までで、一次変換を**点の移り先**として調べてきました。この章では視点を上げて、**図形がまるごとどう移るか**を見ます。直線を移すと何になるのか。三角形の面積は何倍になるのか。第 3 章の小話で「行列式は平行四辺形の面積」と言い、第 6 章から第 8 章まで何度も「面積は $|\Delta|$ 倍になる、証明は第 9 章で」と先送りしてきた約束を、ここで果たします。もう 1 つの主題は、**動かないもの**です。平面全体をかき回しても、その場に留まる点や、はみ出さずに自分自身へ移る直線がある。それを探すと、行列が平面に対して何をしているのかが、かなりはっきり見えてきます。この分野の最終章です。
これまでは、点 が点 に移る、という 1 点ずつの話でした。ここからは、直線や三角形のような図形をまるごと動かしたら何になるのかを調べます。
直線から始めましょう。ベクトルの第 4 章で学んだとおり、点 を通り、方向ベクトルが (ただし )の直線は
と書けます。 を動かすと、点が直線の上をすべっていく。この式の全体に、一次変換 をはたらかせてみます。 を表す行列を とすると
です。第 6 章 公式3 の線形性、つまり「和は和のまま、実数倍は実数倍のまま」という性質を 2 回使っただけです。
出てきた式をよく見てください。 も もただの定ベクトルですから、これは「点 を通り、方向ベクトルが の直線」の式そのものです。直線の像は、また直線になる。
ただし 1 つだけ例外があります。 になってしまう場合です。このとき像は によらず だけになり、直線はたった 1 点につぶれます。
一次変換 (表す行列 )による、点 を通り方向ベクトル の直線 の像は
すなわち
直線は、直線または 1 点に移る(曲がることはない)。また、線分 の像は線分 であり、内分の比は変わらない。 を に内分する点の像は、 を に内分する点である。
輪ゴムに等間隔で印をつけて、両端を引っぱってみるところを思い浮かべてください。輪ゴムは伸びますが、折れ曲がったりはしません。しかも印の間隔はどこも同じ割合で広がるので、真ん中の印は伸ばしたあとも真ん中のままです。第 6 章では平面をゴムシートにたとえましたが、直線だけを見れば、話は 1 本のゴムひもと同じだということになります。
内分比が変わらないことは、上の式の がそのまま生き残っていることから分かります。 の点(中点)は、移ったあとも の点、つまり中点です。
ここから、実用上いちばんありがたい事実が出てきます。多角形の像は、頂点の像を求めて順に結べばよい。三角形の像は三角形(つぶれれば線分か点)、平行四辺形の像は平行四辺形です。平行な 2 直線が平行なままなのも、方向ベクトルがどちらも同じ に移るからです。
一次変換は直線を曲げないので、直線の像は直線(または 1 点)であり、多角形の像は頂点の像を結んだ多角形だということです。
行列 が表す一次変換を とする。次の問いに答えなさい。
(1) 点 を通り、方向ベクトルが の直線 の像を求めなさい。
(2) 3 点 ,, を頂点とする三角形の像を求めなさい。
(3) (2) の三角形の面積と、その像の面積を比べなさい。
【解答】
(1) 通る点の像と、方向ベクトルの像を、それぞれ計算します。
なので、像は点 を通り方向ベクトル の直線です。 の増加 に対して の増加が ですから、傾きは で
検算します。 上の別の点 ()の像は で、。たしかに像の直線の上にあります。
(2) 頂点の像を求めます。 は原点を原点に移します(第 6 章 公式2)。, の像は の第 1 列・第 2 列そのものです(第 6 章 公式4)。
よって像は です。
(3) もとの三角形は、直角をはさむ 2 辺が と ですから面積は 。像の三角形の面積は、ベクトル第 2 章の公式で
で、面積は になりました。
ここで の行列式を見てください。。偶然ではありません。次の節の主題です。
第 3 章の小話で、行列式には図形の意味があると話しました。 の 2 つの列が作る平行四辺形の面積が になる、という話です。第 6 章から第 8 章まで、面積が 倍になることを何度も予告しては先送りしてきました。ここで証明します。
出発点は単位正方形です。, が作る、1 辺 の正方形。面積は です。
これを で移すと、, の像が作る平行四辺形になります(公式1 により、辺は辺に移り、平行は平行のまま)。ところが第 6 章 公式4 が言うとおり、 と は の第 1 列・第 2 列にほかなりません。つまり像は「 の 2 つの列が作る平行四辺形」で、その面積は 。面積 が になったわけです。
一般の平行四辺形でも同じことが起きます。2 つのベクトル , が作る平行四辺形を考え、この 2 本を列に並べた行列を
と書きます。もとの面積は です。一方、像の平行四辺形を作るのは と で、これを列に並べた行列は にほかなりません(行列の積は、右の行列の各列に左の行列をかけて並べたものでした)。したがって像の面積は です。あとは第 3 章 公式5 の
を使うだけ。像の面積は 、つまりもとの面積の 倍になります。
三角形は平行四辺形の半分ですから、倍率は同じ。そして一般の図形は、細かいマス目で埋め尽くして近似すれば、どのマス目も面積が 倍になるのですから、全体もやはり 倍です(円のような曲線で囲まれた図形にもそのまま使えます。厳密な扱いは厳密定義のページで)。
一次変換 (表す行列 、)によって、図形の面積は一律に 倍になる。
さらに の符号は向きを表す。
絶対値は面積、符号は向き。
クッキーの生地をめん棒で伸ばすところを思い浮かべてください。生地全体が 倍の広さになったなら、真ん中の一切れも端の一切れも、等しく 倍に広がっています。一次変換の面積比も同じで、図形がどこにあっても、どんな形でも、倍率は ただ 1 つ。図形ごとに計算し直す必要はありません。
符号のほうは、第 7 章で対称移動を見分けるのに使った話です。 は回転のように向きを保つ変換、 は鏡に映したように裏返す変換でした。面積の議論で絶対値がついているのは、この向きの情報を切り離すためです。
一次変換が面積を何倍にするかは行列式だけで決まり、その倍率はどんな図形に対しても一律に 倍だということです。
行列 が表す一次変換を とする。次の問いに答えなさい。
(1) による、1 辺 の単位正方形の像の面積を求めなさい。
(2) 3 点 ,, を頂点とする三角形の、 による像の面積を求めなさい。
(3) 半径 の円の、 による像の面積を求めなさい。
(4) は図形の向きを保つか、裏返すかを定めなさい。
【解答】
まず行列式を 1 度だけ計算します。
(1) 面積 の 倍で 。
(2) もとの三角形の面積を求めます。 を基準にすると、2 辺のベクトルは , ですから
像の面積はその 倍で です。
頂点の像を実際に求めて確かめてみましょう。,,。2 辺のベクトルは , で、面積は 。合っています。
(3) 円も図形ですから、倍率は同じ 倍です。もとの面積は なので、像の面積は 。
なお像そのものは円ではなく楕円になります(あとの節で方程式を求めます)。それでも面積だけなら を見るだけで分かるところが、この公式の強みです。
(4) なので 。
のときが残っています。面積が 倍になる、とはどういうことでしょうか。
行列 による点 の像を、列ごとに分けて書いてみます。
つまり、どの点の像も「 の第 1 列と第 2 列の 1 次結合」です。第 3 章で見たように、 とは 2 つの列が平行だということ。平行な 2 本のベクトルをいくら足し合わせても、同じ 1 本の直線から出られません。だから像は、原点を通る 1 本の直線の上に全部収まってしまいます。 の場合だけは 2 つの列がどちらも なので、像は原点ただ 1 点です。
一次変換 による平面全体の像と、原点に移る点全体は次のようになる(1 行目は比較のために並べた、 の場合である)。
| 平面全体の像 | 原点に移る点全体 | |
|---|---|---|
| 平面全体 | 原点のみ | |
| かつ | 原点を通る 1 本の直線 | 原点を通る 1 本の直線 |
| 原点のみ | 平面全体 |
, のとき、像の直線の方向ベクトルは の** でないほうの列**であり、原点に移る点全体は同次連立一次方程式 の解(第 4 章 公式5)である。
このとき、どんな図形も直線か点に移るので、像の面積は必ず になる。
ステレオの音をモノラルにまとめるところを想像してください。左右 2 つのチャンネルを足して 1 本のスピーカーから鳴らしてしまうと、音そのものは残っても、どちらから鳴っていたかは永久に分からなくなります。2 つあった情報が 1 つに落ちる。 の一次変換が平面に対してしているのは、まさにこれです。だから第 8 章で見たとおり、逆変換は存在しません。
この表は、第 6 章の厳密定義のページで「次元」の言葉で作っておいた 3 通りの分類に、図形の姿を書き入れたものです。 なら平面は平面のまま( 次元)、, なら直線に落ちて( 次元)、 なら点に落ちる( 次元)。落ちたぶんだけ、原点に移る点が増えていくところも合わせて眺めてください。
の一次変換は平面全体を直線か原点 1 点に押しつぶしてしまうので、どんな図形の像も面積 になるということです。
行列 が表す一次変換を とする。次の問いに答えなさい。
(1) による平面全体の像を求めなさい。
(2) によって原点に移る点全体を求めなさい。
(3) による直線 の像を求めなさい。
【解答】
です。つぶれる変換だと分かります。
(1) 点 の像を計算します。
はあらゆる実数値をとりますから、像はベクトル の実数倍全体、すなわち原点を通り方向ベクトル の直線です。
(2) 上の式が になるのは のときです。
平面全体が直線 に落ち、そのぶん直線 がまるごと原点 1 点に押し込まれた、ということになります。
(3) 直線 の上の点は、 の値がつねに です。(1) の計算にそのまま代入すれば、像は
つまり です。直線 の方向ベクトルは で、。公式1 の「 なら 1 点」の場合にあたっています。
直線の像は、通る点と方向ベクトルを移すだけで求められました。では円や放物線の像は、どうやって求めればよいでしょうか。
やり方を逆から考えるのがコツです。像の図形の上の点を とします。この点が像の上にあるということは、移る前の点 がもとの図形の上にあったということ。だから , を , で表して、もとの図形の方程式に代入すればよいのです。
, を , で表すには、逆行列を使います。 なら
のとき、方程式 で表される図形の、一次変換 による像は次の手順で求める。
代入するのは を使った式のほうである。 をかけた式(像の側)を代入するのではないことに注意する。
引っ越しにたとえてみます。新居での家具の配置図を作るとき、「新居のこの位置には何を置くのか」を知るには、まずその場所がもとの部屋のどこだったかを逆にたどり、そこにあった家具を調べる。像の側から出発して、原像を経由して、もとの図形の条件にたどりつく。公式4 の向きは、この「逆にたどる」の向きです。
この型は初めてではありません。図形と方程式の第 6 章で軌跡を求めたとき、「動く点を とおき、条件の式に持ち込む」という同じ順序をたどりました。一次変換の像は、軌跡の問題の一種なのです。
図形の像の方程式は、逆行列で , を像の座標で表し、それをもとの方程式に代入すれば求まるということです。
行列 が表す一次変換を とする。次の図形の による像の方程式を求めなさい。
(1) 円
(2) 直線
(3) 放物線
【解答】
なので逆行列があります。
よって
(1) に代入します。
左辺の 2 つの項をそれぞれ展開すると
で、足すと の項が消えます。
したがって像は 、原点を中心とする半径 の円です。
面積で検算します。もとの円の面積は 、像の面積は 。倍率は で、 と一致しています。なお (第 7 章 公式5)なので、この変換は「 時計回りに回して 倍に拡大」。円が円のままなのは当然でした。
(2) に代入します。
検算します。もとの直線上の点 の像は で、。点 の像は で、。どちらも像の直線の上にあります。
(3) に代入します。
放物線を 回して 倍したのですから、像もやはり放物線で、軸が斜めを向いています。検算は点で。 の像は で、左辺 、右辺 。一致します。
ここからは話題を変えて、動かないものを探します。
一次変換は、原点をかならず原点に移します(第 6 章 公式2)。ですから原点は、どんな一次変換でも動きません。問題は「ほかにも動かない点があるか」です。
点 が動かない、とは ということ。右辺を左辺に移すのですが、ここで を と書いてはいけません。 から数の は引けないからです。第 2 章で学んだとおり、数の が行列の式に加わるときの姿は単位行列 でした。 と書き直せば
見覚えのある形になりました。右辺が の連立一次方程式、第 4 章の同次連立一次方程式です。解の分類もそのまま使えます。
一次変換 によって となる点 を、 の不動点という。不動点を求めるには
を解けばよい。 の行列式を とすると
| 条件 | 不動点 |
|---|---|
| 原点のみ | |
| かつ | 原点を通る 1 本の直線上のすべての点 |
| 平面上のすべての点 |
原点はつねに不動点である。
混んだ改札を人の波が通り抜けていく中で、たった 1 人その場に立ち止まっている人を探す。不動点を求めるとは、そういう作業です。
具体例で感じをつかみましょう。第 7 章で扱った直線 に関する対称移動は、折り紙にたとえました。紙を折っても、折り目の上の点だけは動きません。ですから対称移動の不動点は、折り目である直線 全体です。表の 2 行目の場合にあたります。一方、原点まわりの回転(ただし でない)で動かない点は、回転の中心である原点だけ。1 行目の場合です。
不動点を求める問題は という同次連立一次方程式に化け、 が かどうかで「原点だけ」か「直線まるごと」かが決まるということです。
次の行列が表す一次変換の不動点を、すべて求めなさい。
(1)
(2)
(3)
【解答】
(1) で、。解は無数にあります。連立
は 2 本とも同じ条件 を表しています。よって不動点は 。
検算します。 の像は 。たしかに動きません。
(2) で、。したがって不動点は です。
(3) の行列式は
なので 。
一般に で、 が の倍数でない限り になりません。回して動かないのは回転の中心だけ、という当たり前の事実が、行列式の計算に現れているわけです。
不動点は「点が 1 歩も動かない」ことでした。直線についても同じことを考えられますが、条件をゆるめるとぐっと面白くなります。
直線 の像が、また になる。ただし の上の点は、 の上をすべっていってよい。こういう直線を不動直線といいます。
動く歩道を思い浮かべてください。上に乗った人はどんどん運ばれていきますが、動く歩道という帯そのものは、空港の同じ場所に居続けます。不動直線は帯のほう、不動点は「止まっている人」のほうです。両者はまるで別の概念で、不動直線の上に不動点が 1 つもないことも珍しくありません。
原点を通る直線から調べましょう。方向ベクトル の直線の像は、公式1 により方向 の直線でした。これがもとの直線と一致するのは、 が と平行なとき、つまり
となるときです。第 6 章の実践問題で「 をみたす 」を探した、あの計算がここで効いてきます。
実際に解いてみます。直線 の方向ベクトルは ですから
これが の実数倍になる条件は、第 1 成分を と見て、第 2 成分が になること。すなわち で、整理すると の 2 次方程式が出ます。
直線 の像が 自身になるとき、 を の不動直線という( 上の点は 上を動いてよい)。
原点を通る直線については、方向ベクトル が
をみたすこと、と言いかえられる。 のとき、原点を通る不動直線は次で求める。
軸は の形に書けないので、別に調べるのを忘れない。
不動直線の意味を、もう一歩ふみこんで見てみます。 が成り立つとき、その直線の上の点は、原点からの距離が一律に 倍になるだけです。つまりその方向に限っては、この変換はただの拡大(または縮小、 なら裏返しつき)にすぎない。ごちゃごちゃに見える変換も、不動直線の方向から眺めれば、ただ伸ばしているだけに見えるわけです。第 5 章で を対角行列にしたとき、「方眼紙の目盛りを が伸ばす 2 方向に合わせて引き直せば、ただの拡大に見える」と言いました。その「伸ばす 2 方向」の正体が、不動直線です。
不動直線とは像が自分自身になる直線のことで、原点を通るものは をみたす方向、つまり「その方向だけを見ればただの 倍になっている方向」だということです。
行列 が表す一次変換を とする。次の問いに答えなさい。
(1) 原点を通る の不動直線をすべて求めなさい。
(2) (1) の各直線の上で、点がどのように動くかを述べなさい。また の不動点を求めなさい。
(3) が面積を何倍にするかを求め、(2) の結果と結びつけて説明しなさい。
【解答】
(1) ,,, を公式6 に入れます。
です。 軸については なので不動直線ではありません。よって
(2) それぞれの方向ベクトルで像を計算します。
の上では原点からの距離が 、 の上では になり、どちらも原点から遠ざかる向きに動きます。
不動点は の行列式が なので です。2 本の不動直線があるのに、その上で止まっている点は原点しかない。動く歩道が 2 本あるようなものです。
(3) なので です。
(2) で求めた 2 つの倍率を見てください。。偶然ではありません。2 本の不動直線を 2 辺とする平行四辺形を考えると、一方の辺が 倍、もう一方が 倍に伸びるのですから、面積はその積の 倍になります。行列式は、2 つの方向の倍率の積だったわけです。
これで、行列を渡されたときに「この変換は平面に何をしているのか」を読み取る道具がそろいました。
最後の例題で、この 3 つを一度に使ってみます。題材は第 7 章で扱ったせん断、トランプの束を上から横に押したときの、あの変形です。
行列 が表す一次変換を とする。次の問いに答えなさい。
(1) は図形の面積を何倍にするかを求めなさい。
(2) の不動点をすべて求めなさい。
(3) 原点を通る の不動直線をすべて求めなさい。
(4) 軸に平行な直線 ( は定数)が、すべて不動直線であることを示しなさい。
【解答】
(1) なので 、つまり面積を変えません。符号も正なので向きも保ちます。
(2) で 。方程式は の 1 本だけですから、不動点は です。
(3) 公式6 に入れます。,, なので
軸は なので不動直線ではありません。よって原点を通る不動直線は 。2 次方程式が重解になった、つまり「2 本あるはずの方向が 1 本に重なってしまった」形です。
(4) 直線 上の点は と書けます( は実数)。その像は
第 2 成分は のままです。したがって像はやはり直線 の上にあります。しかも が実数全体を動けば も実数全体を動くので、像は直線 全体になります。よって はすべて不動直線です。
例題7 は、この章で見てきたことをひととおり含んでいます。面積は変わらないのに形は変わる( でも )。不動直線は無数にあるのに、点が止まっているのは 軸だけ。しかも不動直線が 1 本しかない(重解)ので、第 5 章の意味で対角行列にすることができません。行列式・不動点・不動直線という 3 つの手がかりは、それぞれ別のことを教えてくれるのです。
これで「行列と一次変換」の本文はおしまいです。第 1 章で数を四角く並べただけのものから始めて、積を決め、逆行列を作り、連立方程式を解き、 乗を計算し、そして平面の動きそのものを行列で書けるようになりました。最後に残った「面積は 倍」という宿題も、証明は 2 行で済みました。第 3 章で を確かめておいたからです。積み上げてきたものが最後に 1 本につながる感じを、味わってもらえたなら嬉しく思います。
まずは公式をそのまま使う、ごく簡単な問題で確認しましょう。
問1
行列 が表す一次変換によって、面積 の三角形の像の面積を求めなさい。
( で 倍)
問2
行列 が表す一次変換による、平面全体の像を求めなさい。
直線 ( でつぶれる。像の方向は第 1 列 )
問3
行列 が表す一次変換の不動点を、すべて求めなさい。
原点のみ()
問4
行列 が表す一次変換による、2 点 , を結ぶ線分の像を求めなさい。
2 点 , を結ぶ線分(頂点の像を結べばよい)
問5
軸に関する対称移動について、原点を通る不動直線をすべて求めなさい。
軸と 軸(。 なので 軸も不動直線)
難易度マークは ★=基礎、★★=標準、★★★=入試レベルです。★から順に取り組みましょう。
問1 ★
行列 が表す一次変換による、点 を通り方向ベクトルが である直線の像を求めなさい。
直線
公式1 のとおり、通る点の像と方向ベクトルの像を計算します。
なので、像は点 を通り方向ベクトル の直線です。傾きは ですから
検算します。もとの直線上の点 ()の像は で、。たしかに像の直線の上にあります。
問2 ★
行列 が表す一次変換による、3 点 ,, を頂点とする三角形の像の面積を求めなさい。
まずもとの三角形の面積を求めます。原点を頂点の 1 つとする三角形なので、2 辺のベクトルは , です。
次に倍率です。公式2 より、面積は 倍になります。
よって像の面積は です。
頂点の像は ,, で、面積は 。一致します。頂点の像を求めなくても、 だけで答えが出るところがこの公式の値打ちです。
問3 ★
行列 が表す一次変換による、円 の像の方程式と、像が囲む面積を求めなさい。
楕円 、面積
公式4 の手順です。 で、 ですから
これを に代入します。
横に 倍、縦に 倍に伸ばしたのですから、半径 の円が横半径 ・縦半径 の楕円になったわけです。
面積は公式2 で求まります。もとの円の面積は 、 なので像の面積は 。楕円 の面積が であることの、これが一番手早い説明です。
問4 ★
行列 が表す一次変換の不動点を、すべて求めなさい。
直線 上のすべての点
公式5 のとおり を解きます。
行列式が なので、解は原点だけではありません。連立
は 2 本が同じ式ですから、条件は の 1 本だけ。よって不動点は直線 上のすべての点です。
検算します。 の像は 。動いていません。
問5 ★
行列 が表す一次変換について、平面全体の像と、原点に移る点全体を求めなさい。
平面全体の像は直線 、原点に移る点全体は直線 ()
なので、つぶれる変換です。点 の像を計算します。
像はつねに の実数倍です。 はあらゆる実数値をとるので、平面全体の像は原点を通り方向ベクトル の直線、すなわち になります。
像が になるのは のとき。これが原点に移る点全体で、直線 です。
平面が 1 本の直線につぶれ、そのぶん 1 本の直線がまるごと原点に押し込まれた、という公式3 の表の 2 行目の姿です。
問6 ★
行列 が表す一次変換について、原点を通る不動直線をすべて求めなさい。
と
公式6 に ,,, を入れます。
です。 軸については なので不動直線ではありません。よって と の 2 本です。
検算します。方向ベクトルの像を計算して、もとの実数倍になっているかを見ます。
どちらも実数倍になりました。ちなみに倍率の積は で、 と一致します。
問7 ★
行列 が表す一次変換を とする。2 点 , について、線分 の中点 の像と、, の像を結ぶ線分の中点を、それぞれ求めなさい。
どちらも点
は です。その像を計算します。
一方、, の像は
この 2 点の中点は 。一致しました。
中点の像は、像の中点です。公式1 で見たとおり、直線を媒介変数 で表したとき はそのまま生き残るので、内分の比は変換で変わりません。 の内分点についても同じことが成り立ちます。
問8 ★
行列 が表す一次変換による、4 点 ,,, を頂点とする平行四辺形の像の頂点と、像の面積を求めなさい。
頂点は ,,,、面積は
公式1 より、平行四辺形の像は頂点の像を順に結んだ図形です。
像も平行四辺形になっていることを確かめます。 ですから、たしかに原点・・ の 3 点から作られる平行四辺形です。
面積は 2 通りで確かめられます。もとの平行四辺形の面積は 、 なので、公式2 より像の面積は 。直接計算すると 。合っています。
問9 ★★
行列 が表す一次変換による、直線 の像を求めなさい。
1 点
なので、つぶれる変換です。公式1 の 2 つ目の場合、つまり直線が 1 点に落ちる可能性を疑います。
直線 の方向ベクトルは です( の係数と の係数を入れかえて片方の符号を変える)。その像を計算します。
なので、像は 1 点です。直線上の点を 1 つ選んで像を求めれば、それが答えになります。 をとると
像は点 です。別の点 で確かめても で同じ点。直線がまるごと 1 点に押し込まれています。
問10 ★★
行列 が表す一次変換による、円 の像の方程式と、像が囲む面積を求めなさい。
、面積
なので逆行列があります。
公式4 に従い、 に代入します。
展開して整理します。
両辺を で割り、, を , に書き直して
面積は公式2 です。もとの円の面積 の 倍で 。
検算します。もとの円上の点 の像は で、。点 の像は で、。どちらも像の方程式をみたします。
問11 ★★
行列 が表す一次変換について、不動点をすべて求め、さらに原点を通る不動直線をすべて求めなさい。
不動点は直線 上のすべての点。原点を通る不動直線は と
不動点から求めます。
行列式が なので原点以外にもあります。条件は の 1 本ですから、不動点は直線 上のすべての点です。
不動直線は公式6 で求めます。,,, より
。 軸は なので不動直線ではありません。よって と の 2 本です。
この 2 本の性格の違いに注目してください。
の上では点が原点から 倍の位置へすべります。直線としては動きませんが、点は止まっていません。いっぽう の上では点そのものが動かない。不動直線は「動く歩道」、不動点は「その上で止まっている人」だという違いが、ここにはっきり出ています。
問12 ★★
行列 が表す一次変換によって、図形の面積がつねに 倍になるという。定数 の値をすべて求めなさい。
公式2 より、面積の倍率は です。
条件は ですから、 または を解きます。
よって です。
絶対値をはずすときに 2 通りを調べるのが要点で、負のほうを忘れると解の取りこぼしが起きます。この問題では負のほうに実数解がなかったため、結果として はどちらも 、つまり向きを保つ変換になりました。
問13 ★★
行列 が表す一次変換による、直線 の像を、公式4 の方法で求めなさい。
直線
なので逆行列があります。
これを に代入します。
両辺を 倍して整理します。
よって像は です。
公式1 の方法でも確かめておきます。直線 は点 を通り方向ベクトルが 。像は点 を通り、方向ベクトルは 。傾き で点 を通る直線は で、一致します。直線ならどちらの方法でもよいということです。
問14 ★★
行列 が表す一次変換による、放物線 の像の方程式を求めなさい。
です。
に代入します。
検算します。 上の点 の像は で、。合っています。
この は第 7 章 公式4 のせん断( 軸方向に押すタイプ)です。各点を、 座標に応じて縦にずらしている。放物線 の各点を だけ持ち上げたのですから、像が になるのは当然でした。実際 で、形の変わらない放物線が平行移動しただけのものになっています。
問15 ★★
行列 が表す一次変換による、3 点 ,, の像を求め、これら 3 点が三角形を作らないことを示しなさい。
像は ,, の 3 点で、いずれも直線 上にあるため三角形にならない
です。つぶれる変換だと分かった時点で、答えは半分見えています。
像を計算します。
,, で、3 点とも の実数倍、すなわち直線 の上にあります。同一直線上の 3 点は三角形を作りません。
公式2 から見れば、もとの三角形の面積がいくつであっても像の面積は 倍、つまり です。面積 の「三角形」はつぶれているというのが、この問題の本質です。
問16 ★★
のとき、原点まわりの の回転には、原点を通る不動直線が 1 本も存在しないことを示しなさい。
が実数解をもたず、 より 軸も不動直線でないため
回転を表す行列は ですから
公式6 の方程式に入れます。 に注意して
では であり、 ですから、この式は決して になりません。よって の形の不動直線はありません。
軸についても、 なので不動直線ではありません。以上より、原点を通る不動直線は 1 本も存在しません。
図で考えれば当たり前の結論です。原点を通る直線を だけ回せば、 が の倍数でない限り必ず別の直線になります。当たり前のことが、公式6 の 2 次方程式が実数解をもたないという形で現れたわけです( なら となり、逆にすべての直線が不動直線になります)。
問17 ★★★
行列 が表す一次変換を とする。 の不動点と、 の不動直線を、原点を通らないものも含めてすべて求めなさい。
不動点は 軸上のすべての点。不動直線は 軸()と、直線 ( は任意の実数)
まず 。 回行うともとに戻る変換です。
不動点は から求めます。
条件は 、すなわち 。不動点は 軸上のすべての点です。
原点を通る不動直線は公式6 から。,, なので
軸は なので不動直線ではありません。よって と の 2 本です。
原点を通らない不動直線を調べます。不動直線の方向ベクトル は をみたさなければなりません(像の方向がもとと平行である必要があるため)。上で求めた 2 つの方向 , だけが候補です。
方向 、つまり直線 の上の点 の像は
像は直線 の上です。 と一致するのは 、すなわち のときだけ。 軸のみが不動直線です。
方向 、つまり直線 の上の点 の像は
座標の和は です。 によらず和が のまま。しかも が実数全体を動けば も実数全体を動くので、像は直線 全体になります。よって がどんな値でも は不動直線です。
以上より、不動直線は 軸と、直線 ( は任意の実数)です。
この変換の正体は、直線 を折り目、方向 を折り返す向きとする「斜めの折り返し」です。ふつうの対称移動(第 7 章)は折り目に垂直な向きに折り返しますが、こちらは斜めに折り返している。折り目の上の点が動かないこと、折り返す向きの直線が無数に不動になることは、どちらも折り紙の絵で納得できます。(裏返し、面積はそのまま)も、折り返しであることと合っています。
問18 ★★★
曲線 が囲む図形の面積を、適当な一次変換を利用して求めなさい。
左辺を、平方完成の要領で つの平方の和にまとめます。
そこで , とおけば、条件は 、つまり単位円になります。
この置きかえは一次変換です。
この行列を とすると です。 が表す一次変換は、もとの曲線が囲む図形を、半径 の円(面積 )に移します。公式2 より、円の面積はもとの図形の面積の 倍です。
ですから、もとの図形の面積も です。
面積を変えない変換で見慣れた形に直してしまう、というのがこの解き方の要領です。 は第 7 章のせん断で、 なので面積を変えません。だから傾いてつぶれたような楕円でも、面積は円と同じ 。
なお を使えば、単位円の像として直接もとの曲線が出ることも確かめられます。曲線上の点として、たとえば は をみたします。
問19 ★★★
逆変換をもつ一次変換 について、原点を通るすべての直線が の不動直線であるならば、 を表す行列が ( は でない実数)の形に限ることを示しなさい。
,, の 3 方向に条件を使うと の つの列が , となり が導かれる
公式6 より、原点を通る直線が不動直線であることは、その方向ベクトル について となる実数 が存在することと同じでした。仮定により、どの方向ベクトルについてもそうなっています。
まず基本ベクトルに使います。 軸が不動直線なので、ある実数 があって
第 6 章 公式4 より、これは の第 1 列です。同様に 軸が不動直線なので、ある実数 があって の第 2 列は 。ここまでで
次に直線 に使います。方向ベクトルは で、その像は
これが の実数倍でなければなりません。 より 。よって
逆変換をもつことから 、すなわち です。
逆に ならば、どの についても ですから、原点を通るすべての直線が不動直線になります。 は第 7 章の拡大・縮小( なら原点対称もつきます)で、どの方向にも同じ倍率で伸びる変換。「どの方向もえこひいきしない」変換は、これしかないということです。たった 3 方向に条件を使うだけで結論が出てしまうところが、線形性のありがたみです。
問20 ★★★
行列 が表す一次変換を とする。原点を通る の不動直線をすべて求め、円 の像の方程式と、像が囲む面積を求めなさい。
不動直線は と 。像は 、面積は
不動直線を公式6 で求めます。,,, なので
軸は なので不動直線ではありません。よって と です。それぞれの方向の倍率を調べます。
の方向に 倍、 の方向に 倍に伸ばす変換だと分かりました。
円の像は公式4 です。 で
に代入して、両辺を 倍します。
両辺を で割って です。
面積は公式2 より、円の面積 の 倍で 。
3 つの答えは、きれいにつながっています。この変換は 方向に 倍、 方向に 倍に伸ばすのですから、単位円は 方向の半径が 、 方向の半径が の楕円になるはずです。楕円の面積の公式(j03)で計算すると 。行列式から求めた と一致しました。倍率の積 が に等しいことも、あらためて確かめられます。
第 5 章で を対角行列にする話をしたとき、「 が伸ばす 2 方向に合わせて目盛りを引き直せば、ただの拡大に見える」と言いました。その 2 方向がこの問題の と で、引き直したあとの姿が です。不動直線を求めるとは、その変換にとっていちばん素直な 2 方向をさがすことにほかなりません。
この章で証明した「面積は 倍」は、じつは高校数学の別の場所で、名前を変えて働いています。積分の置換積分です。
微分積分の第 14 章で、 の変数を と置きかえるとき、 を に取りかえました。あの は何だったのでしょうか。
軸の上の長さ の区間が、置きかえによって長さ の区間に移る。だから「長さの倍率」を掛けて帳尻を合わせていたのです。1 次元での話ですが、やっていることはこの章とまったく同じです。
面積(2 次元)でも同じことが必要になります。 平面の積分を 平面の積分に置きかえるとき、掛けるべき倍率が
です。この行列式をヤコビアン(関数行列式)といいます。ドイツのカール・グスタフ・ヤコビが 1841 年の論文で系統立てて扱ったことにちなむ名前です。
置きかえが一次変換なら、ヤコビアンはそのまま です。では曲がった置きかえのときは。ここで効くのが「ごく小さい範囲で見れば、なめらかな変換は一次変換と見分けがつかない」という考え方です。微分が接線で曲線を近似したのと同じことを、平面の変換に対して行う。マス目 1 つぶんの小さな長方形は、移されるとほぼ平行四辺形になり、その面積の倍率がヤコビアンだ、というわけです。
有名な例が極座標です。, とおくと
大学の教科書で を と書きかえる、あの の正体です。半径が大きいほど、同じ角度でも扇形の面積は大きい。図で見れば当たり前のことが、行列式として現れています。
豆知識
この置きかえを使うと、 という、統計の正規分布を支える等式が証明できます。高校の範囲では原始関数が書けないので手も足も出ないのですが、 乗して平面の積分と見なし、極座標に移すと、 が現れたおかげであっさり計算できてしまう。次元を上げて楽になる、という第 6 章の同次座標と同じ発想です。
写真編集アプリで画像を ほど傾けて、拡大してみてください。斜めの輪郭がギザギザになっていたり、細かい模様がにじんでいたりするはずです。回転を表す行列は で面積も長さも変えないのに、なぜ画質が落ちるのでしょうか。
原因は、デジタル画像が格子点の上にしか存在しないことです。画像は明るさの数を縦横に並べた行列でした(第 1 章)。その数が置かれているのは、,,,… という整数の座標だけ。ところが回転行列を整数の座標にかけると
移った先は、格子点から外れてしまいます。第 7 章の小話で、格子を格子に移す回転は ,,, に限られると話しました。裏を返せば、それ以外の角度では移した先に画素が無いのです。
そこで画像処理のソフトは、行き先のまわりにある何個かの画素から明るさを推定します。いちばん近い画素の値をそのまま使う(最近傍法)、まわり 4 画素の平均をとる(バイリニア法)、 画素を使ってなめらかにつなぐ(バイキュービック法)。この推定を補間といいます。ギザギザやにじみは、補間の誤差です。回転を 2 回、3 回と繰り返すと誤差が積み重なるので、編集ソフトが「角度を何度も変えるより、元画像から 1 回で目的の角度に回すほうがきれい」と忠告してくるのは、このためです。
縮小では、もっと目立つ現象が起きます。細かい縞模様のシャツを小さく写すと、元には無いはずの太い縞やうねりが現れる。モアレ、より一般にはエイリアシングと呼ばれます。画素の間隔より細かい模様は、そもそも数として記録しようがない。無理に間引くと、間引きかたと模様の周期が干渉して、まったく別の模様に化けてしまうのです。
豆知識
,, の回転と、左右・上下の反転だけは、格子が格子にそのまま重なるので画質がまったく落ちません。行列の成分が と だけだからです。第 7 章の厳密定義で、整数格子を保つ直交行列が 個(二面体群 )しかないことを示しました。写真アプリの「回転」ボタンが 単位で用意されているのは、あの 個だけが安全な操作だからです。
この章では、不動点を という方程式で求めました。一次変換だから方程式が書けたわけですが、もっと一般の「ぐにゃぐにゃした変形」ではどうでしょうか。
驚いたことに、あるかどうかだけは、計算しなくても分かる場合があります。
ブラウワーの不動点定理:円板から自分自身への連続な写像は、かならず不動点をもつ。
オランダの数学者 L.E.J. ブラウワーが 1910 年ごろに証明したものです。連続でありさえすればよく、伸ばそうが縮めようがねじろうが関係ありません。
よく引き合いに出されるのが、コーヒーをかき混ぜる話です。カップの中の液体をどれだけかき回しても、かき混ぜ終わった瞬間に、もとの位置に戻っている液体の粒が少なくとも 1 つある。どこにあるかは分かりませんが、必ずあります。地図でも同じで、日本地図を日本国内の床に広げて置くと、地図上のある 1 点は、それが表している実際の地点のちょうど真上に来ています。
1 次元なら、これは中間値の定理そのものです。区間 から への連続関数 について、 とおくと , なので、途中で になる点がある。つまり 。2 次元以上でも同じことが成り立つ、というのがブラウワーの主張です。
この定理が効くのは、経済学です。1950 年、ジョン・ナッシュは「どんなゲームにも均衡(誰も一人だけ戦略を変える得がない状態)が存在する」ことを、不動点定理で証明しました。均衡とは、みんなの戦略に対する最適応答がまた同じ戦略に戻ってくる状態、つまり不動点です。均衡がどこにあるかは教えてくれませんが、探しても無駄ではないことは保証してくれる。
豆知識
ブラウワー自身は、後年この定理と折り合いが悪くなりました。彼は数学の証明とは対象を実際に構成することだと考える直観主義の主導者になり、「存在するが、どこにあるかは言えない」という型の議論を認めなくなったからです。自分の名を冠した有名な定理の証明法を、自分で否定したことになります。一次変換の不動点なら連立方程式を解けば場所まで分かるのですから、ブラウワーも文句を言わなかったはずです。
※ここは発展ページです。高校の範囲では「面積は 倍」「不動点は 」「不動直線は 」が使えれば十分です。ここでは、本文で「マス目で近似すれば」と流した面積の議論をどう厳密にするのか、不動直線の本数が何で決まるのか、平行移動を許すと不動点の話がどう変わるのか、そして一般の一次変換が図形に何をしているのかを、線形代数の言葉でまとめておきます。第 3 章(行列式と )、第 4 章(核と階数)、第 5 章(固有値と対角化)、第 6 章(線形写像と次元定理)、第 7 章(直交行列)、第 8 章(可逆性と QR 分解)の厳密定義を前提にします。この分野の最後のページなので、締めくくりとして「この先へ」を長めに置きました。
本文の証明は、平行四辺形までは完全でした。あやしいのは「一般の図形も、細かいマス目で埋めれば同じ」という最後の一歩です。そもそも「図形の面積」とは何か、という問いに答えていないからである。
のベクトル に対し
を、これらが張る平行体という( なら平行四辺形、 なら平行六面体である)。
を列に並べた 次正方行列を とするとき、平行体の体積は に等しい。 自身は符号つき体積と呼ばれ、その符号は の並びの向きを表す。
体積を「 個のベクトルに 1 つの数を対応させる関数」と見ると、それが満たすべき性質は 3 つしかない。どの変数についても線型であること(1 つの辺を 倍すれば体積も 倍)、同じベクトルが 2 つあれば になること(つぶれている)、そして単位立方体の体積が であること。この 3 条件をみたす関数は ただ 1 つであることが証明できる。行列式とは、体積そのものの定義であると言ってよい。第 3 章では成分の式として天下り的に導入したが、本籍はここにある。
を 次実正方行列、 をそれが表す線形写像、 をジョルダン可測な有界集合とする。このとき もジョルダン可測であり
が成り立つ( は面積・体積を表す)。
証明の筋 まず とする。定義1 より、単位立方体の像の体積は である。 を一辺 の格子の小立方体で内側から埋め、外側から覆う。小立方体 1 つの像は平行体で、その体積は にほかならない。したがって
とすると両端がともに に収束するので、はさみうちで結論を得る( と がリプシッツ連続であることから、 の境界の測度 が の境界に引き継がれ、可測性も保たれる)。
のときは、像が次元 以下の部分空間に含まれるので測度 であり、両辺とも になる。
本文で「細かいマス目で埋め尽くせば」と言ったのは、この挟みうちのことである。要点は、小さな立方体の像がぴったり平行体になるという一次変換の特権にある。一般のなめらかな写像ではこれが成り立たないので、各点ごとに倍率が変わる。その局所的な倍率が、小話 kb1 のヤコビアンである。
線形写像 (表現行列 )の不動点全体の集合を とすると
であり、これは の部分空間である。次元定理(第 6 章 定理3)より
とくに では、 が であることが、本文 公式5 の表の 3 つの場合(原点のみ・直線・平面全体)に対応する。
また であることと、 が の固有値であることは同値である。
第 5 章の厳密定義で固有値・固有ベクトルを定義した。いま、その の場合が不動点であり、 の固有空間が不動点全体である、と言い直せたことになる。第 4 章の厳密定義で導入した核が、ここでも顔を出している。同次連立一次方程式・核・不動点は、見る角度が違うだけで同じものである。
が表す一次変換について、原点を通る直線 (方向ベクトル )が不動直線であることと、 が の固有ベクトルであることは同値である。
したがって不動直線の本数は、特性方程式
の実数解の個数で決まる。その判別式は
であり、これは本文 公式6 の 2 次方程式 の判別式と一致する。
| 原点を通る不動直線 | |
|---|---|
| ちょうど 2 本 | |
| かつ | ちょうど 1 本 |
| かつ | すべての直線(無数) |
| 0 本 |
2 つの判別式が一致するのは偶然ではない。 が不動直線だという条件を書き下すと、傾き についての 2 次方程式が出るが、その解 は固有ベクトルの向きにほかならないからである( 軸が不動直線になる場合が、 で 2 次方程式が 1 次に退化する場合に対応している。このとき となり、表とも矛盾しない)。
この表を第 5 章の対角化と並べると、意味がはっきりする。 は相異なる 2 つの実固有値をもつ場合で、2 本の不動直線を新しい座標軸に選べば は対角行列になる。「対角化できる」とは「変換にとって素直な 2 方向が見つかる」ことだったわけである。 で の場合(本文 例題7 のせん断)は方向が 1 つしかないので対角化できず、ジョルダン標準形が必要になる。 は回転成分をもつ場合(本文 j16)で、実数の範囲には素直な方向が存在しない。複素数まで広げれば固有値が現れ、第 3 章の厳密定義で見た「複素数体と同型な行列の集合」につながっていく。
一次変換は原点を動かせない。第 6 章の厳密定義では、平行移動を含む をアフィン写像と呼んで導入した。不動点の議論は、そのままアフィン写像に持ち上がる。
アフィン変換 の不動点は の解である。したがって
とくに ( が の倍数でない)のとき、 であるから、回転を含むアフィン変換にはかならず不動点がただ 1 つある。
最後の一文は、平面の運動の分類を完成させる鍵である。「原点まわりに 回転してから だけ平行移動する」という一見ややこしい動きは、じつは別のある 1 点のまわりの 回転にすぎない。その中心が上の である。
第 7 章の厳密定義で、平面の等長変換は「平行移動・回転・鏡映・すべり鏡映」の 4 種類しかないと述べた。証明はこう進む。等長変換は ( は直交行列)の形に書ける。 なら は回転で、 なら定理4 より不動点があり、その点まわりの回転。 なら平行移動。 なら は鏡映で、 となるため不動点は無いか直線をなし、それぞれすべり鏡映・鏡映に対応する。不動点があるかどうかだけで、平面のあらゆる運動が仕分けられてしまうのである。
第 8 章の厳密定義では QR 分解を扱い、どんな可逆一次変換もせん断・伸縮・回転で作れることを見た。図形の言葉でいっそう見通しがよいのは、次の分解である。
任意の実行列 ()に対し、直交行列 ( 次)、( 次)と、対角成分が である対角行列 が存在して
と書ける。 を の特異値といい、 の固有値の 以上の平方根に等しい。
の場合、幾何的な意味は次のとおりである。 による単位円の像は、半軸の長さが , の楕円であり、その軸の向きは の列で与えられる。とくに
であり、単位円(面積 )の像の面積 が本文 公式2 と一致する。
読み下せば「どんな一次変換も、回してから、直交する 2 方向に伸ばして、また回すだけ」である(裏返しが必要なら、どちらかの直交行列が行列式 をもつ)。第 7 章で基本的な変換として回転と伸縮を並べたが、それだけで一般の一次変換がすべて作れてしまうことを、この定理は言っている。
本文 j20 のように が対称行列のときは がとれ、特異値はそのまま固有値の絶対値で、楕円の軸が不動直線と一致する。一般の ではこの 2 つはずれる。不動直線は「向きが変わらない方向」、特異値の軸は「もっとも伸びる方向」であって、別のものである。
第 8 章の小話 kb2 で、 でも実際には逆変換が使いものにならない場合があり、危険度をはかるのは行列式ではなく条件数だと書いた。その条件数の正体が、ここで名前を得る。 である。いちばん伸びる方向といちばん縮む方向の比が大きいほど、逆をとったときに誤差が跳ね上がる。ハッブル望遠鏡のぼけを解こうとして雑音が爆発したのは、 が に近かったからである。
これで「行列と一次変換」は終わりである。最後に、ここから伸びている道を並べておく。
第 1 章で数を四角く並べただけのものが、平面の動きを表し、面積を測り、動かないものを教えるところまで来た。行列がこれほど広く使われるのは、線形性という 1 つの性質だけを抜き出して調べるという発想が、思いのほか遠くまで届くからである。
この章の学習が終わったら
学習完了テストを受ける