「旧課程(-2012年度)高等学校数学C/行列」の版間の差分

削除された内容 追加された内容
編集の要約なし
連立方程式とベクトル内積の理論をもとに、書き換え。
2 行
----
本項は[[高等学校数学C]]の行列の解説である。
== 連立一次方程式と行列==
1次方程式
:<math>
\begin{cases}
x + 2y = 1\\
2x + 3y = 2
\end{cases}
</math>
を、次のような記法で現してみる。
:<math>
\begin{pmatrix}
1 &2\\
2 &3
\end{pmatrix}
\begin{pmatrix}
x\\
y
\end{pmatrix}
=
\begin{pmatrix}
1\\
2
\end{pmatrix}
</math>
と書いてみる。
 
これから勉強するのは、連立方程式とベクトルとの関係であり、それを考察しやすくするために、あらたに'''行列'''(ぎょうれつ)という量を導入する。
 
ベクトル
<math>
\begin{pmatrix}
x\\
y
\end{pmatrix}
</math> に、
演算 <math>
\begin{pmatrix}
1 &2\\
2 &3
\end{pmatrix}
</math> を施して(この演算の内容こそが、これから説明する「行列」である)、
答えのベクトル
<math>
\begin{pmatrix}
1\\
2
\end{pmatrix}
</math> を得た、という表現に書き換える。
 
まず、このような記法をするため、次に説明する'''行列'''(ぎょうれつ、英:matrix)という量を新たに定義する。
 
*行列どうしの積
まず、行列どうしの積の定義を、
:積 <math>
\begin{pmatrix}
a& b \\
c& d
\end{pmatrix}
\begin{pmatrix}
e& f\\
g& h
\end{pmatrix}
</math>
は、
:行列 <math>
\begin{pmatrix}
ae + bg &af + bh\\
ce + dg &cf + dh
\end{pmatrix}
</math>
と等しいとして定める。
 
行列どうしの積は、順序によって結果が異なる。
たとえば行列A,Bを
:<math>
A= \begin{pmatrix}2&4\\ 3&3 \end{pmatrix}
</math>
:<math>
B= \begin{pmatrix}7&9\\ 11&5 \end{pmatrix}
</math>
とするとき、
 
それぞれ、
 
:<math>
AB =\begin{pmatrix}58&38\\ 54&42 \end{pmatrix}
</math>
:<math>
BA= \begin{pmatrix}41&55\\ 37&59 \end{pmatrix}
</math>
 
となる。
 
このように、一般の行列Aと行列Bの積は、一般に
:<math>
AB \ne BA
</math>
となる。
 
 
上述の例は、2元連立一次方程式が式2個の場合に相当する行列だったが、一般に連立方程式の元の数は2個とは限らないし、方程式の数も2個とは限らないので、他の場合にも行列が定義できるように、行列の定義を拡張する。
 
つぎのように、数値を縦横に並べて、それぞれの段の文字の個数が等しいものを '''行列'''(ぎょうれつ、英:matrix) と呼ぶ。
 
例えば、
== 行列とその応用 ==
=== 行列 ===
==== 行列とその演算 ====
数値を縦横に並べたものを 行列(ぎょうれつ、英:matrix) と呼ぶ。行列の一部の、横に並んだ数値のかたまりを 行(ぎょう、英:row) といい、縦に並んだ数値のかたまりを 列(れつ、英:column) といい、それぞれの数値を 成分(せいぶん、英:element) と呼ぶ。例えば、
:<math>
\begin{pmatrix}
13 ⟶ 113行目:
\end{pmatrix}
</math>
は行列である。
は2行、3列からなる行列である。行数が''m''で、列数が''n''の行列を ''m''×''n''行列 のように呼び、特に行数と列数が等しくnである行列ならば ''n''次正方行列 と呼ぶ。
 
いっぽう、
ただ1行からなる行列を行ベクトル(ぎょうベクトル、英:row vector)といい、ただ1列からなる列ベクトル(れつベクトル、英:column vector )といい、第 ''i'' 行第 ''j'' 列の成分を (''i'', ''j'') 成分という。2つの行列が等しいとは、行数と列数が等しく、かつ対応する (''i'', ''j'') 成分がすべて等しいことと定める。
:<math>
\begin{pmatrix}
1&2&3\\
&5& \\
\end{pmatrix}
</math>
は、文字の個数が一致しないので、行列ではない。
 
行列の一部の、横に並んだ数値のかたまりを '''行'''(ぎょう、英:row) といい、縦に並んだ数値のかたまりを '''列'''(れつ、英:column) といい、それぞれの数値を '''成分'''(せいぶん、英:element) と呼ぶ。
 
例えば、
:<math>
\begin{pmatrix}
1&2&3\\
4&5&6\\
\end{pmatrix}
</math>
は2行、3列からなる行列である。
 
行数が''m''で、列数が''n''の行列を ''m''×''n''行列 のように呼び、特に行数と列数が等しくnである行列ならば ''n''次正方行列 と呼ぶ。
 
例えば、
:<math>
\begin{pmatrix}
1&2&3\\
4&5&6\\
\end{pmatrix}
</math>
は 2×3行列 である。
 
第 ''i'' 行第 ''j'' 列の成分を (''i'', ''j'') 成分という。
 
例えば、
:<math>
\begin{pmatrix}
1&2&3\\
4&5&6\\
\end{pmatrix}
</math>
の (2, 1) 成分は4である。
 
*「行列が等しい」とは
「2つの行列が等しい」とは、行数と列数が等しく、かつ対応する (''i'', ''j'') 成分がすべて等しいことと定める。
 
つまり、
<math>
\begin{pmatrix}
a&&b\\
26 ⟶ 171行目:
g&&h\\
\end{pmatrix}
\Leftrightarrow
a = e, b = f,
c = g, d = h
</math>
 とは、 <math>a = e , b = f , c = g , d = h</math> である。
 
== ベクトル内積と行列 ==
ただ1行からなる行列を'''行ベクトル'''(ぎょうベクトル、英:row vector)といい、ただ1列からなる'''列ベクトル'''(れつベクトル、英:column vector )という。
 
この行列の定義は、ベクトルの定義を拡張したものになっている。
 
たとえばベクトル(a、b)と(c、d)の内積 ac+bdは、行列の記法を使うと、
:<math>
\begin{pmatrix}
a&&b\\
\end{pmatrix}
\begin{pmatrix}
c\\
d
\end{pmatrix}
=
\begin{pmatrix}
ax+by
\end{pmatrix}
</math>
と書ける。
 
右辺の <math>
\begin{pmatrix}
ax+by
\end{pmatrix}
</math>
は、1行1列の行列である。このように、行列では、1行1列の行列も認める。
 
 
行列の積の (''i'', ''j'') 成分の値は、左側の行列の ''i'' 行のベクトルと、右側の行列の第 ''j'' 列のベクトルの内積である。
 
たとえば、行列<math>A=
\begin{pmatrix}
a& b \\
c& d
\end{pmatrix}
</math>
<math>B=
\begin{pmatrix}
e& f\\
g& h
\end{pmatrix}
</math>
の積 <math>AB=
\begin{pmatrix}
ae + bg &af + bh\\
ce + dg &cf + dh
\end{pmatrix}
</math> の(2, 1) 成分である <math>af+bh</math> は、
 
ベクトル <math>
\begin{pmatrix}
a& b
\end{pmatrix}
</math> と ベクトル <math>
\begin{pmatrix}
f\\
h
\end{pmatrix}
</math> との 内積になっている。
 
こうすれば、連立1次方程式を
:<math>
\begin{cases}
ax + by = p\\
cx + dy = q
\end{cases}
</math>
は、行列を用いて
:<math>
\begin{pmatrix}
a&&b\\
c&&d
\end{pmatrix}
\begin{pmatrix}
x\\
y
\end{pmatrix}
=
\begin{pmatrix}
p\\
q
\end{pmatrix}
</math>
と表せる。
 
'''例題'''
45 ⟶ 275行目:
</math>
 
===== 行列の和,差,実数倍 =====
行列の和・差・実数倍の定義は、次のように、ベクトルの和・差・実数倍と似たような性質を持つ。
行列の和は各要素ごとに足し合わせれば良い。
 
行列の'''和'''の定義は、各要素ごとに足し合わせる、と定義される。
 
:<math>
66 ⟶ 298行目:
</math>
 
行列の''''''の定義各要素ごとに引けば良いくと定義する
 
:<math>
\begin{pmatrix}
86 ⟶ 317行目:
</math>
 
実数倍の定義は、各要素に実数を掛けることによって定義する。
 
:<math>
102 ⟶ 333行目:
</math>
 
(-1)A -A と書く。
 
'''例題'''
144 ⟶ 375行目:
'''零行列'''
 
すべての成分が0である行列を '''ゼロ行列'''(ぜろぎょうれつ、英:zero matrix) という。Aを行列、OをAと行数・列数が等しい零行列とすると、
:<math>
A + (-A) = (-A) + A = O
</math>
を満たす。
 
<math>
===== 行列の積と逆行列=====
行列の積
:<math>
\begin{pmatrix}
a0& b 0&0\\
0&0&0\\
c& d
\end{pmatrix}
\begin{pmatrix}
e& f\\
g& h
\end{pmatrix}
</math>
 は ゼロ行列 である。
は、
 
 
Aを行列、OをAと行数・列数が等しい零行列とすると、
:<math>
A + (-A) = (-A) + A = O
\begin{pmatrix}
ae + bg &af + bh\\
ce + dg &cf + dh
\end{pmatrix}
</math>
を満たす。
で定める。行列の積は文字通り、行と列の積である。第1行と第1列の積が (1, 1) 成分、第1行と第2列の積が (1, 2) 成分、第2行と第1列の積が (2, 1) 成分、第2行と第2列の積が (2, 2) 成分に対応する。すなわち、積の (''i'', ''j'') 成分の値は、左側の行列の ''i'' 行のベクトルと、右側の行列の第 ''j'' 列のベクトルの内積であると思えばよい。
 
== 行列の積==
'''例題'''
*問
237 ⟶ 459行目:
を満たす。
 
'''== 逆行列''' ==
 
行列Aに対してその行列との積が単位行列 <math>AA^{-1} = A^{-1}A = E</math> となる行列 <math>A^{-1}</math> を、その行列の'''逆行列'''と呼ぶ。そのような行列はもし存在すれば各Aに対してただひとつに定まる。もちろん一般にはAに対して右側からかけるか左側からかけるかによって積は異なるのだが、この場合はAに対して右からかけて単位行列になるのならば左からかけても単位行列になるし、逆もまたしかりであることに注意しておく。逆行列の逆行列はもとの行列に等しい。
 
2行2列の行列
265 ⟶ 487行目:
*問題
上で定めた行列<math>A</math>,<math>B</math>,<math>C</math>の逆行列を計算せよ。
 
行列A,B,Cは、それぞれ
:<math>
A= \begin{pmatrix}2&4\\ 3&3 \end{pmatrix}
</math>
:<math>
B= \begin{pmatrix}7&9\\ 11&5 \end{pmatrix}
</math>
:<math>
C= \begin{pmatrix}8&2\\ 13&15 \end{pmatrix}
</math>
であった。
 
<br /><br /><br />
 
*解答
279 ⟶ 515行目:
である。
 
=== 行列の応=いた連立一次方程式の解法 ==
==== 連立一次方程式====
 
行列の記法を使うと、
1次方程式
:<math>
345 ⟶ 578行目:
特に、2×2行列の逆行列は既に公式が得られているので、2元1次方程式は簡単に解くことができる。
 
 
連立1次方程式
<math>A = \begin{pmatrix}a&&b\\c&&d\end{pmatrix}, \mathbf{x} = \begin{pmatrix}x\\y\end{pmatrix}, \mathbf{b} = \begin{pmatrix}p\\q\end{pmatrix}</math>とおくと
:<math>
\begin{cases}
ax + by = p\\
cx + dy = q
\end{cases}
</math>
は、行列を用いて
:<math>
\begin{pmatrix}
a&&b\\
c&&d
\end{pmatrix}
\begin{pmatrix}
x\\
y
\end{pmatrix}
=
\begin{pmatrix}
p\\
q
\end{pmatrix}
</math>
と表せる。<math>A = \begin{pmatrix}a&&b\\c&&d\end{pmatrix}, \mathbf{x} = \begin{pmatrix}x\\y\end{pmatrix}, \mathbf{b} = \begin{pmatrix}p\\q\end{pmatrix}</math>とおくと
:<math>
A\mathbf{x} = \mathbf{b}
374 ⟶ 585行目:
と書ける。ここで''A''をこの連立1次方程式の係数行列という。この方程式の解は、''A''が逆行列を持つとき一意に定まり、 <math>\mathbf{x} = A^{-1}\mathbf{b}</math> である。
 
==== 行列移動==応用==
=== 図形への応用 ===
==== 点の移動 ====
===== 回転行列 =====
平面上のベクトル<math>\vec a</math>に対して回転行列
<math>
404 ⟶ 618行目:
\end{pmatrix}</math>
:であり、これは確かに<math>\vec a</math>を角度cだけ回転させたベクトルである。
 
===== 一般の行列による点の移動 =====
座標値(x,y)の点Pを行列をかけることで移動したものを考える。
 
:<math>
\begin{pmatrix}
a&&b\\
c&&d
\end{pmatrix}
\begin{pmatrix}
x\\
y
\end{pmatrix}
=
\begin{pmatrix}
z\\
w
\end{pmatrix}
</math>
 
は、
 
<math>x\begin{pmatrix}a\\c\end{pmatrix} + y\begin{pmatrix}b\\d\end{pmatrix}</math> とも書ける。
 
これは、新たな直線座標を用意し(新座標の各座標軸の単位ベクトルは前の座標を基準に測ると、それぞれ方向ベクトル <math>\begin{pmatrix}a\\c\end{pmatrix}</math> および 方向ベクトル <math>\begin{pmatrix}b\\d\end{pmatrix}</math> である。)、この座標に座標値(x,y)を代入することで点Pを移動したものを、前の座標系で測った場合の座標値になっている。
 
==== 座標の変換 ====
通常の直交座標(原点で90°で交わる座標)の上の点の座標(x,y)について、点の位置は同じまま、新たな別の直線座標(直交とは限らない)で見た場合の座標(z,w)を考える。新たな別座標(直線座標)は、計算の都合上、原点だけは元の座標と同じとする。すると、次のように、前の座標と新たな座標との関係を、行列で表記できる。
 
:<math>
\begin{pmatrix}
a&&b\\
c&&d
\end{pmatrix}
\begin{pmatrix}
z\\
w
\end{pmatrix}
=
\begin{pmatrix}
x\\
y
\end{pmatrix}
</math>
というふうな関係式で記述できる。
実際に、たとえば (x,y)=(0,0) のとき ( z,w=0,0) となっている。
 
さて、左辺は <math>z\begin{pmatrix}a\\c\end{pmatrix} + w\begin{pmatrix}b\\d\end{pmatrix}</math> とも書ける。
 
この式を、座標の変換の幾何学として考えた場合、次のような理論になる。
 
まず、新たな直線座標の座標軸の単位ベクトルの方向は、もとの座標系を基準に見ると、それぞれ方向ベクトル <math>\begin{pmatrix}a\\c\end{pmatrix}</math> および 方向ベクトル <math>\begin{pmatrix}b\\d\end{pmatrix}</math> である。
 
:ここで、もし新たな座標系を基準にして、新たな座標軸の単位ベクトルの数値を見ても、結果の単位ベクトルの数値は (0,1) および (1,0) になるだけであり、何も計算した事にならない。なぜなら自己の座標系で自己の単位ベクトルを見ても、(0,1) および (1,0) でしかないから、である。
 
:計算すべきは、新たな座標軸を基準にして前の座標軸を見た場合の数値、もしくは、前の座標軸を基準にして新たな座標軸を見た場合の数値である。
 
さて、この問題では点Pの位置(x、y)は何も変換しておらず、よって、前の座標を基準にして点Pの位置を見ても、何も変化しない。この問題で変更したのは座標軸のほうであるから、新たな座標系で見た点Pの値(z,w)に興味があるのである。
 
==== 線の移動 ====
平面図形上の線分は、2行2列の行列で変換できる。
 
<math>
A =
\begin{pmatrix}
a &b\\
c &d
\end{pmatrix}
</math>
で変換した場合については、<math>ad-bc \ne 0</math>のとき、線は線に変換され、四角形は四角形に変換され、三角形は三角形に変換されう。
 
==== 面の移動 ====
2行2列の行列
<math>
A =
\begin{pmatrix}
a &b\\
c &d
\end{pmatrix}
</math>
については、図形の面積は、<math>ad-bc </math>倍される。
 
== 固有値と固有ベクトル ==
== 不動点写像 ==
 
{{DEFAULTSORT:きようれつ}}
[[Category:高等学校数学C]]