要約
この課は、コースの四つ目の単元を開く。この単元は行列と代数的構造を扱う。単元を構成する七つの課と、それらを結ぶ糸を紹介する。すなわち、連立一次方程式の係数の表は固有の演算をもつ対象となり、行列式は係数行列が正方行列である連立方程式がいつただ一つの解をもつかを判定し、逆行列はそれを一挙に解き、行列は平面の変換として読まれ、複素数は行列の一族として再び現れ、これらすべての計算に共通するものは、代数的な意味での群・環・体の概念に凝縮される。これらの考えの歴史的背景を『九章算術』からケイリー、ガロア、ネーターまでたどり、それらを生んだ二つの問題、すなわち連立一次方程式の解法と多項式方程式のべき根による解法を正確に定式化し、それらがどこで再び使われるかを示す。このコースでは、とくにコースを締めくくる空間の解析幾何で使われ、サイトのほかのコースで、そして科学と技術でも使われる。
学習目標
- 単元の課の順序を述べ、それぞれの課が連立一次方程式、平面の変換、代数的構造の学習に何をもたらすかを説明すること。
- 行列、行列式、群の概念をその歴史的文脈に位置づけ、それぞれが解決するために現れた問題を挙げること。
- 三つの未知数をもつ古典的な問題を行列方程式として立て、消去法と行列式によって解くこと。
- 二次方程式を例にとって、方程式の根の置換の研究がなぜ群の概念に導いたのかを説明し、行列と代数的構造の現在の用途を挙げること。
導入テスト
単元を学び始める前に、出発点を測っておくとよい。最初の九問は七つの内容の課を順にたどり、中心となる二つの課、すなわち行列式の課と逆行列の課には二問ずつを充てる。十問目はモデル化の問題で、具体的な状況を行列の積を用いて定式化することを求める。同じ技能は最後のまとめの課で再び測られる。最後の三問は、単元がコース I と極形式の複素数の単元から既知とみなしていることを確かめる。採点はない。何が身についているか、どこで立ち止まるべきかを知るためのものである。
単元を始める前に、自分の出発点を測りましょう。短い自己評価です。採点はされず、結果はあなたのブラウザーにだけ保存されます。
問 1、 とする。積 はどれか。
これは逆の順序の積 である。行列の積は可換でなく、 では行は の行である。これは成分ごとの積であり、1 次の変数変換の合成に対応しない。行列の積は行と列を組み合わせる。の行と の行を組み合わせており、これは になる。成分 ( の)は第 列( の)を用いる。各成分は の一つの行と の一つの列を組み合わせる。成分 は 、成分 は 、成分 は 、成分 は である。復習: 行列と行列の演算
問 2連立方程式 、、 を考える。 がどのような値のとき解をもち、そのとき解はいくつあるか。
三つの未知数の三つの方程式がいつもただ一つの解をもつわけではない。ここでは係数行列の階数は である。その第 3 行がほかの二つの行の和だからである。解をもつことは一意性を意味しない。 のとき共通の階数は で、未知数の個数より小さく、解は無数にある。係数の一つの行がほかの行の組合せであっても、連立方程式が解をもたなくなるわけではない。解をもたないのは、定数項が同じ関係を満たさないとき、すなわち のときだけである。係数の第 3 行は最初の二つの行の和であり、階段形にすると行 が残る。 ならば、拡大係数行列の階数は 、係数行列の階数は であり、連立方程式は解をもたない。 ならば、どちらの階数も で、未知数の個数より小さく、ルーシェ・フロベニウスの定理により自由なパラメータは 個である。問 3行が 、、 である行列の行列式を計算せよ。
問 4 を 次の行列で を満たすものとする。 はいくらか。
正しい答え:
転置行列の行列式はもとと同じであり、行列を 倍すると三つの行のそれぞれが 倍される。各行についての線形性により、行列式は 倍され、 となる。 を得た人は を一度しか掛けておらず、 では一つの行だけが何倍かされたかのように扱っている。復習: 行列式:性質とクラメルの公式
問 5行列 の逆行列はどれか。
これは転置していない、余因子を並べた行列である。逆行列は余因子行列、すなわち余因子を並べた行列の転置行列を行列式で割ったものである。これは各成分の逆数を並べた行列であり、逆行列ではない。 との積は単位行列にならない。行列の逆行列は成分ごとには計算できない。主対角線の成分は入れ替えたが、もう一方の対角線の成分の符号を変えていない。 との積は対角線の外に零でない成分をもつ。行列式は である。二次の公式により、主対角線の成分を入れ替え、もう一方の対角線の成分の符号を変え、 で割る。 との積は単位行列になる。復習: 逆行列
問 6、、 を同じ次数の正方行列とし、 と は可逆とする。方程式 の解はどれか。
逆行列をそれぞれ反対の側に置いている。積は可換でないので、( の左にある)を消すには左から を掛けなければならない。すべて左から掛けている。 を の左から掛けても、( の右にある)は消えない。行列の商は定義されない。どちらの側から掛けるのかを示さないからである。方程式は二つの逆行列をそれぞれ正しい側に掛けて解く。左から を掛ける。左は のある側である。また右から を掛ける。右は のある側である。結合法則により、。復習: 逆行列
問 7各ベクトルを原点のまわりに反時計回りに 4 分の 1 回転させ、その後、横軸に関して対称移動する平面の変換の行列はどれか。
これは 、すなわち逆の順序の合成である。先に対称移動し、後で回転している。合成の行列では、先に施す変換が右の因子である。これは 4 分の 1 回転だけであり、対称移動との合成が欠けている。これは時計回りの 4 分の 1 回転である。その行列式は であり、回転と対称移動の合成は向きを逆にするので、その行列式は である。対称移動 (行は と )を回転 (行は と )の後に行う合成の行列は である。先に施す因子が右にくる。その列は、ベクトル の像であってこのベクトルはまず に、次いで に移り、またベクトル の像であってこのベクトルは に移り、その後は変わらない。復習: 平面の変換としての行列
問 8 を複素数 による乗法の行列とする。 を計算せよ。
正しい答え:
の行列は行が と であり、その行列式は である。ここでは 。 を得た人は を計算しており、成分 の符号を忘れている。 を得た人は絶対値の 2 乗ではなく絶対値をとっている。復習: 行列としての複素数
問 9次の集合のうち、示された演算に関して群であるものはどれか。
整数の積は結合法則を満たし、単位元 をもつが、 は逆元をもたない。整数 で を満たすものは存在しないからである。自然数の和は結合法則を満たすが、単位元をもたない。自然数は から始まるからである。反数も存在しない。この集合は閉じていない。( において)であり、これはこの集合に属さない。零因子があるため、零でない余りは群をなさない。は素数なので、 は体である。零でない二つの余りの積は零でなく、積は結合法則を満たし、単位元 をもち、零でない余りはどれも逆元をもつ。復習: 代数的構造:群・環・体
問 10ある都市には中心部に 千人、周辺部に 千人の住民がいる。毎年、中心部の住民の パーセントが周辺部へ移り、周辺部の住民の パーセントが中心部へ移る。それ以外に転入も転出もない。この割合が変わらないとき、二年後に中心部の住民は何千人になるか。
正しい答え:
ベクトル で中心部と周辺部の人口( 年後)を表すと、毎年、推移行列 (行は 、 と 、)を掛けることになる。その第 列は地区 の住民を振り分ける。積の結合法則により、。一年目は と 、二年目は と となり、総数 は保たれる。 を得た人は一年分しか計算していない。 を得た人は の転置行列を使っており、その列の和は にならないので、総数が保たれない。復習: 行列と行列の演算
問 11前の単元からクラメルの公式で連立方程式 、 を解き、 の値を答えよ。
正しい答え:
連立方程式の行列式は であり、 の列を定数項で置き換えて得られる行列式は である。したがって 、また 。 を得た人は、二つの行列式の一方で、対角線の積を逆の順序で引いている。問 12前の単元から の逆元( を法とする)を求めよ。すなわち、余り ( 以上 以下)で を満たすものを求めよ。
問 13前の単元から の極形式はどれか。
余弦と正弦を取り違えている。 なら実部に対応するはずだが、実部は である。絶対値の 2 乗 をとっており、平方根をとっていない。これは第 2 象限の複素数 である。 は実部が正で、第 1 象限にある。絶対値は であり、偏角は第 1 象限の角で、余弦が 、正弦が であるもの、すなわち である。復習: 複素数の極形式
コンテンツを読み込んでいます…