線型代数学/ベクトルのソースを表示

[[高等学校数学II 式と証明・高次方程式|複素数]]の概念は既知のものとした。ただし、複素数のことを知らない読者は、複素数に関する記述を読み飛ばしたとしても差し支えない。

== ベクトル ==
===ベクトルの定義===
単一の数で表現される量を'''スカラー'''とよぶ。それに対して、n個の数 <math>a_1, a_2, \cdots, a_n </math>を縦に並べて、括弧でかこんだものを'''n次列ベクトル'''とよび、次のように書く。
:<math>\mathbf a=
\begin{pmatrix}
 a_1\\
 a_2\\
 \vdots\\
 a_n\\
\end{pmatrix}</math>
また、これを、横に並べたものを'''n次行ベクトル'''とよび、次のように書く。
:<math>\mathbf a=  (a_1 , a_2 , \cdots , a_n)</math>

<math>a_1, a_2, \cdots, a_n </math>をベクトル<math>\mathbf a</math>の'''成分'''(element)と呼び、特に<math>\mathbf a_k</math>を'''a'''の第k成分と呼ぶ。<br>

なお、ここで並べた「数」は、体の元のことを指すが、体のことを知らなければ、実数や、複素数のことであると思って差し支えない。<br>
成分がすべて実数のベクトルを'''実ベクトル'''と言う。対して、成分がすべて複素数のベクトルを'''複素ベクトル'''と言う。


'''K'''を成分とするn次列ベクトル全体の集合を<math>\mathbf K^n</math>で表す。
: <math>\mathbf K^n = \left\{ \begin{pmatrix} a_1\\ a_2\\ \vdots\\ a_n\\ \end{pmatrix} \Bigg| a_1, a_2, \cdots, a_n \in \mathbf K \right\}</math>
<math>\mathbf K = \R</math>のとき<math>\R^n</math>は実数を成分とするn次列ベクトル全体の集合であり、<math>\mathbf K = \Complex</math>のとき<math>\Complex^n</math>は複素数を成分とするn次列ベクトル全体の集合である。

=== 相等関係 ===
2つのn次列ベクトル<math>\mathbf a, \mathbf b</math>が「等しい」とは、2つのベクトルの各成分が全て等しいことをいう。すなわち、
:<math>\mathbf a = \begin{pmatrix} a_1 \\ \vdots \\ a_n \end{pmatrix}, \mathbf b = \begin{pmatrix} b_1 \\ \vdots \\ b_n \end{pmatrix}</math> のとき
:<math>\mathbf a = \mathbf b \iff \forall i, a_i = b_i</math>
なお、2つのn次行ベクトルについても同様に定義される。

===加法===
2つのn次列ベクトル
<math>\mathbf{a}=
\begin{pmatrix}
 a_1\\
 a_2\\
 \vdots\\
 a_n\\
\end{pmatrix}
,\ 
\mathbf{b}=
\begin{pmatrix}
 b_1\\
 b_2\\
 \vdots\\
 b_n\\
\end{pmatrix}
</math>
について、ベクトルの和 <math>\mathbf a + \mathbf b</math>を次のように定義する。<br>
:<math>\mathbf{a}+\mathbf{b}=
\begin{pmatrix}
 a_1+b_1\\
 a_2+b_2\\
 \vdots\\
 a_n+b_n\\
\end{pmatrix}</math>

===スカラー乗法===
またn次列ベクトル
<math>\mathbf{a}=
\begin{pmatrix}
 a_1\\
 a_2\\
 \vdots\\
 a_n\\
\end{pmatrix}
</math>
と定数<math>\lambda</math>について、ベクトルの定数倍 <math>\lambda \mathbf a</math>を次のように定義する。<br>
:<math>\lambda\mathbf{a}=
\begin{pmatrix}
 \lambda a_1\\
 \lambda a_2\\
 \vdots\\
 \lambda a_n\\
\end{pmatrix}</math>

===零ベクトル===
ベクトルの成分がすべて0であるベクトル<math> \mathbf{0} = \begin{pmatrix} 0 \\ 0 \\ \vdots \\ 0 \\ \end{pmatrix}</math>
を零ベクトルという。<br>

===逆ベクトル===
ベクトルのすべての成分にマイナス1をかけたベクトル<math> - \mathbf{a} = \begin{pmatrix} -a_1 \\ -a_2 \\ \vdots \\ -a_n \\ \end{pmatrix}</math>
を<math> \mathbf a</math>の逆ベクトルという。<br>

===ノルム===
ベクトルの大きさを'''ノルム'''といい、次のように定義する。
:<math>||a||=\sqrt {\sum^{n}_{i=1} a_i^2}</math>
座標に対する長さをn次行ベクトルで一般化したものがノルムであるとも解釈でき、実際に3次行ベクトルのノルムはそのベクトルを空間に描いた際の長さとなる。

==ベクトルの演算の性質==

ベクトルの演算では以下の性質が成り立つ。
#<math> \mathbf{a} + \mathbf{b} = \mathbf{b} + \mathbf{a}</math> (交換法則)
#<math> ( \mathbf{a} + \mathbf{b}) + \mathbf{c} = \mathbf{a} + ( \mathbf{b} + \mathbf{c})</math> (結合法則)
#<math> \mathbf{a} + \mathbf{0} = \mathbf{a}</math>
#<math> \mathbf{a} + (-\mathbf{a}) = \mathbf{0} </math> 
#<math>\lambda(\mathbf a+\mathbf b)=\lambda \mathbf a + \lambda \mathbf b</math>
#<math>(\lambda +\mu ) \mathbf a = \lambda \mathbf a + \mu \mathbf a</math>
#<math>(\lambda\mu)\mathbf a= \lambda(\mu\mathbf a)</math>
#<math>1 \cdot \mathbf{a} = \mathbf a</math>
#<math>0 \cdot \mathbf{a} = \mathbf{0}</math>
ただし、<math> \mathbf{a}, \mathbf{b}, \mathbf{c}</math>をベクトル、<math>\lambda, \mu</math>をスカラーとする。

==一次従属と一次独立==
スカラーλ, μ, ν, ...とベクトルa, b, c, ...があるとする。
: <math>\lambda\mathbf{a} + \mu\mathbf{b} + \nu\mathbf{c} + \dots = 0</math>
つまりあるベクトルがその他のベクトルの組み合わせで表せるならば、それは'''一次従属'''であるという。逆にこの式においてスカラー量が全て0でないと成り立たないならば'''一次独立'''であるという。

== 助変数表示 ==

=== 平面上の直線 ===

以後、特に空間ベクトルについて議論する。

まずは、二次元空間上の直線を、助変数を用いて現すことを考える。

<math>\mathbf{x}=
\begin{pmatrix}
 x\\
 y\\
\end{pmatrix},
\mathbf{a}=
\begin{pmatrix}
 a\\
 b\\
\end{pmatrix},
\mathbf{x}_0=
\begin{pmatrix}
 x_0\\
 y_0\\
\end{pmatrix}</math>

とすると、一般の直線は下の式で表される。

: <math>\mathbf{x}=\mathbf{a}t+\mathbf{x_0}</math>

成分を用いて書けば、
<math>
\begin{pmatrix}
 x\\
 y\\
\end{pmatrix}=
\begin{pmatrix}
 a\\
 b\\
\end{pmatrix}t
+
\begin{pmatrix}
 x_0\\
 y_0\\
\end{pmatrix}</math>
である。
成分を用いた式を見れば、この表示によって直線が表されることの妥当性が理解しやすいだろう。

上に挙げた式を直線の助変数表示またはベクトル表示という。また、'''a'''をこの直線の方向ベクトルという。
方向ベクトルはこの直線と平行なベクトルである。
もちろん助変数表示の仕方は一つではないが、方向ベクトルはノルム1のものを選ぶと便利な事も多い。

'''例題'''

*3x+2y=5

を助変数表示にせよ。

:x=2t+1とすると、

:<math>y={{5-3(2t+1)}\over 2} = 1- 3 t</math>

:よって、
:<math>\mathbf{x}=
\begin{pmatrix}
 2\\
 -3\\
\end{pmatrix}t+
\begin{pmatrix}
 1\\
 1\\
\end{pmatrix}</math>

'''演習'''

ベクトル表示は座標表示に、座標表示はベクトル表示にせよ

1.6x-3y=9.5

2.x=a

3.<math>\begin{pmatrix}
 x\\
 y\\
\end{pmatrix}=
\begin{pmatrix}
 1\\
 -1\\
\end{pmatrix}t+
\begin{pmatrix}
 2\\
 1\\
\end{pmatrix}</math>

4.<math>\begin{pmatrix}
x\\
y\\
\end{pmatrix}=
\begin{pmatrix}
 -1\\
 -2\\
\end{pmatrix}t+
\begin{pmatrix}
 1\\
 0\\
\end{pmatrix}</math>

=== 空間内の直線 ===
平面内の直線は
:<math>ax+by+c=0</math>
という式で表された。しかし、空間において
:<math>ax+by+cz+d=0</math>
という式の表す図形は平面である。直線は2つの平行でない平面の共通部分として表される。式で書けば、
:<math>\left\{ \begin{matrix} a_1x+b_1y+c_1z=d_1 \\ a_2x+b_2y+c_2z=d_2 \end{matrix}\right.</math>
となる。この式が表す直線をベクトル表示することを考えよう。連立方程式を解く要領で
:<math>\left\{\begin{matrix} y=\alpha_1x+x_1 \\ z=\alpha_2x+x_2 \end{matrix}\right.</math>
(但し,<math>\alpha_1,\alpha_2,x_1,x_2</math>は定数)
と書けることはすぐわかる。この式は、形式的にはxをtと置き換えることで、下のように書ける。
:<math>\mathbf{x}=\mathbf{a}t+\mathbf{x}_1</math>
これが空間内の直線の助変数表示である。

'''例題'''

<math>\left\{ \begin{matrix} x+2y+3z=4 \\ 5x+6y+7z=8 \end{matrix}\right.</math>

を助変数表示にせよ。

:x=tとすると、

:2y+3z=-t+4

:6y+7z=-5t+8

これを解いて、

<math>\left\{ \begin{matrix}y=-2t-1\\z=t+2\end{matrix}\right.</math>

よって、

<math>\mathbf{x}=
\begin{pmatrix}
 x\\
 y\\
 z\\
\end{pmatrix}=
\begin{pmatrix}
 1\\
 -2\\
 1\\
\end{pmatrix}t+
\begin{pmatrix}
 0\\
 -1\\
 2\\
\end{pmatrix}</math>

'''演習'''

1.

:<math>\left\{\begin{matrix}x+2y+3z=1\\3x+2y+z=-1\end{matrix}\right.</math>

を助変数表示にせよ

=== 空間内の平面 ===

前述のとおり、空間内の平面はax+by+cz=dであらわせる。今度は2つの助変数s,tを導入することで、同様にして
:<math>\mathbf{x}=
\mathbf{a}t+
\mathbf{b}s+
\mathbf{c}</math>
と表せる。これを平面の助変数表示という。

'''例題'''

*2x+y+3z=5を助変数表示にせよ。

:x=3t+1,y=3sとすると、

:3z=5-2(3t+1)-3s⇔<math>z=1-2t-s</math>

:よって、

:<math>\mathbf{x}=
\begin{pmatrix}
 3\\
 0\\
 -2\\
\end{pmatrix}t+
\begin{pmatrix}
 0\\
 3\\
 -1\\
\end{pmatrix}s+
\begin{pmatrix}
 1\\
 0\\
 1\\
\end{pmatrix}</math>

'''演習'''

1.2x-y+3z=1を助変数表示にせよ

2.
:<math>
\begin{pmatrix}
 x\\
 y\\
 z\\
\end{pmatrix}=
\begin{pmatrix}
 1\\
 2\\
 -3\\
\end{pmatrix}t+
\begin{pmatrix}
 5\\
 4\\
 2.3\\
\end{pmatrix}s+
\begin{pmatrix}
 -2\\
 -1\\
 -3\\
\end{pmatrix}</math>
を、直交座標表示で表せ。

=== まとめ ===

1. 平面上の直線のベクトル表示

:<math>\mathbf{x}=\mathbf{a}t+\mathbf{x}_0</math>

2. 空間内の直線のベクトル表示

:<math>\mathbf{x}=\mathbf{a}t+\mathbf{x}_0</math>

3. 空間内の平面のベクトル表示

:<math>\mathbf{x}=\mathbf{a}t+\mathbf{b}s+\mathbf{c}</math>

'''演習'''

1.

:二点P,Qの位置ベクトルを'''p''','''q'''とすると、線分PQ上の点の位置ベクトルは

:t<sub>1</sub>'''p'''+t<sub>2</sub>'''q''',　t<sub>1</sub>+t<sub>2</sub>=1,　t<sub>1</sub>,t<sub>2</sub>≧0

:の形で表される。これを証明せよ。

2.

:三点の位置ベクトルを'''x'''<sub>1</sub>,'''x'''<sub>2</sub>,'''x'''<sub>3</sub>とすると、

:この三点が構成する三角形内の任意の点は、

:t<sub>1</sub>'''x'''<sub>1</sub>+t<sub>2</sub>'''x'''<sub>2</sub>+t<sub>3</sub>'''x'''<sub>3</sub>, t<sub>1</sub>+t<sub>2</sub>+t<sub>3</sub>=1,　t<sub>1</sub>,t<sub>2</sub>,t<sub>3</sub>≧0

と表される。これを証明せよ。

== 法線ベクトル ==
平面上の直線
:ax+by=c
を考える。この直線の方向ベクトルは
:<math>\mathbf{v}=\begin{pmatrix}
 b\\
 -a\\
\end{pmatrix}
</math>
である。ここで、
:<math>\mathbf{a}=
\begin{pmatrix}
 a\\
 b\\
\end{pmatrix}</math>
というベクトルを考えると、
:<math>(\mathbf{a},\mathbf{v})=0</math>
なので、'''a'''とこの直線は直交する。この'''a'''をこの直線の''法線ベクトル''（normal vector）という。

'''例5.1'''

l:'''x'''='''a'''t+'''x'''<sub>1</sub>

という直線を考える。平面内の1点Pから直線lへ垂線を下ろし、足をP'とする。この垂線の長さを求めよう。

'''p'''をPの位置ベクトル、'''x'''<sub>0</sub>をP'の位置ベクトルとすると、垂線の長さは
:||'''p'''-'''x'''<sub>0</sub>||
で与えられる。

まずは'''x'''<sub>0</sub>を他のベクトルを用いて表そう。P'はl上の点なので、'''x'''='''x'''<sub>0</sub>をlの式に代入すると
:'''x<sub>0</sub>'''='''a'''t+'''x'''<sub>1</sub>
:'''p'''-'''x<sub>0</sub>'''='''p'''-'''a'''t-'''x'''<sub>1</sub>
となる。このベクトルが'''a'''と直交するので
:('''a''','''p'''-'''x<sub>0</sub>''')=('''a''','''p''')-('''a''','''a''')t-('''a''','''x'''<sub>1</sub>)=0
:<math>t=\frac{(\mathbf{a},\mathbf{p}-\mathbf{x}_1)}{(\mathbf{a},\mathbf{a})}</math>
これを代入して
:<math>\mathbf{x}_0=\mathbf{a}{(\mathbf{a},\mathbf{p}-\mathbf{x}_1)\over (\mathbf{a},\mathbf{a})}+\mathbf{x}_1</math>
:<math>p-\mathbf{x}_0=p-\mathbf{a}{(\mathbf{a},\mathbf{p}-\mathbf{x}_1)\over (\mathbf{a},\mathbf{a})}-\mathbf{x}_1</math>
をえる。

あとは自分自身との内積を計算するだけである。落ち着いて計算すれば
:<math>||\mathbf{p}-\mathbf{x}_0||={{\sqrt{||\mathbf{a}||^2 ||\mathbf{p}-\mathbf{x}_1||^2-(\mathbf{a},\mathbf{p}-\mathbf{x}_1)^2}}\over {||\mathbf{a}||}}</math>
と計算される。空間内の直線についても、同じ事である。

'''演習'''
1.
:空間内の平面の場合についても同様に考えられる。

:F:ax+by+cz=d

:を平行移動し、原点を通る平面

:F<sub>0</sub>:ax+by+cz=0

:<math>\mathbf{a}=
\begin{pmatrix}
 a\\
 b\\
 c\\
\end{pmatrix}</math>　<math>\mathbf{x}=
\begin{pmatrix}
 x\\
 y\\
 z\\
\end{pmatrix}</math>とすれば、

:F:('''a''','''x''')=d

:F<sub>0</sub>:('''a''','''x''')=0

:であるから、'''a'''はF<sub>0</sub>故にFと垂直である。この時'''a'''をF<sub>0</sub>の法線ベクトルと言う。

:さて、F上に無い点Pから、Fに垂線を下ろす。垂線の足をP'とする。

:'''x'''<sub>0</sub>:Pの位置ベクトル,'''x''''<sub>0</sub>:P'の位置ベクトル

:とするとき、||'''x'''<sub>0</sub>-'''x''''<sub>0</sub>||を求めよ。

2.

:平面Fの法線ベクトル'''a'''と平面F'の法線ベクトル'''a''''の交角を平面Fと平面F'の交角と言う

:F:x+2y+2z=3

:F':3x+3y=1

:の交角を求めよ。

== 内積 ==
ベクトルには方向が伴っているので、純粋なかけ算をすることは難しい。そこでまず2次元もしくは3次元ベクトルで考え、ベクトル間の角度θを用いて<math>|\mathbf{a}|\cos{\theta}</math>とすると<math>\mathbf{a}</math>の<math>\mathbf{b}</math>方向成分がスカラーで出てくる。

ここで'''内積'''を以下のように定義する。
: <math>\mathbf{a} \cdot \mathbf{b} = |\mathbf{a}||\mathbf{b}|\cos{\theta}</math>

また、[[/内積の成分公式証明|それぞれ直角な単位ベクトルで各ベクトルを分解して考える]]と、一般に
: <math>\mathbf{a} \cdot \mathbf{b} = a_1b_1 + a_2b_2 + a_3b_3 + \dots + a_ib_i</math>

===内積の性質===
# <math>(\mathbf{a} + \mathbf{b}) \cdot \mathbf{c} = \mathbf{a} \cdot \mathbf{c} + \mathbf{b} \cdot \mathbf{c}</math>
# <math>(\lambda\mathbf{a}) \cdot \mathbf{b} = \lambda (\mathbf{a} \cdot \mathbf{b})</math>

== 外積 ==

=== 二次の行列式 ===

定義(7.1)

<math>A=\begin{pmatrix}
 a & b\\
 c & d\\
\end{pmatrix}</math>,　
<math>\mathbf{a}=\begin{pmatrix}
 a\\
 c\\
\end{pmatrix}</math>,　
<math>\mathbf{b}=
\begin{pmatrix}
 b\\
 d\\
\end{pmatrix}</math>
の時、

<math>|A|=
\begin{vmatrix}
 a & b\\
 c & d
\end{vmatrix}=\det A=\det(\mathbf{a},\mathbf{b})
=ad-bc</math>をAの行列式（determinant）という。

次の性質は簡単に証明できる。

'''a''','''b'''が線形独立⇔det('''a''','''b''')≠0

det('''a''','''b''')=-det('''b''','''a''')

det('''a'''+'''b''','''c''')=det('''a''','''c''')+det('''b''','''c''')

det(c'''a''','''b''')=det('''a''',c'''b''')=cdet('''a''','''b''')

|AB|=|A||B|

ここで、'''a''','''b'''が線形独立とは、'''a''','''b'''が平行でないことを表す。

===平行四辺形の面積===

関係ないと思うかもしれないが、外積の定義に必要な情報である。

'''a'''と'''b'''の張る平行四辺形の面積を求める。二ベクトルの交角をθとする。

'''b'''を底辺においたとき、高さは||'''a'''||sinθなので、求める面積Sは

S=||'''a'''||||'''b'''||sinθ

⇔S<sup>2</sup>=||'''a'''||<sup>2</sup>||'''b'''||<sup>2</sup>
-||'''a'''||<sup>2</sup>||'''b'''||<sup>2</sup>cos<sup>2</sup>θ

　　　　　　　=||'''a'''||<sup>2</sup>||'''b'''||<sup>2</sup>-('''a''','''b''')<sup>2</sup>

よって、

<math>S=\sqrt {||\mathbf{a}||^2||\mathbf{b}||^2-(\mathbf{a},\mathbf{b})^2}</math>　　　　　　(7.1)

'''演習'''

<math>\mathbf{a}=\begin{pmatrix}
 a\\
 b\\
\end{pmatrix}</math>,　
<math>\mathbf{a}'=\begin{pmatrix}
 a'\\
 b'\\
\end{pmatrix}</math>

とすれば、<math>S=|\begin{vmatrix}
 a & a'\\
 b & b'\\
\end{vmatrix}|</math>.

これを証明せよ。

=== 外積 ===

内積が有るなら外積もあるのでは？と思った読者待望の部ではないだろうか。（余談）

定義(7.2)

'''c'''は次の4条件を満たすとき、'''a''','''b'''の外積（exterior product）、あるいはベクトル積（vector product）と呼ばれ,'''a'''×'''b'''='''c'''と表記される。

　(i) '''a''','''b'''と直交する。

　(ii) '''a''','''b'''は線形独立

　(iii) '''a''','''b''','''c'''は右手系をなす。

　(iv) ||'''c'''||が平行四辺形の面積

ここで、右手系とは、R<sup>3</sup>の単位ベクトル'''e'''<sub>1〜３</sub>が各々右手の親指、人差指、中指の上にある三次元座標系のことである。


定理(7.3)

　右手座標系で、

　<math>\mathbf{a}=
\begin{pmatrix}
 a\\
 b\\
 c\\
\end{pmatrix}</math>,　
<math>\mathbf{b}=
\begin{pmatrix}
 a'\\
 b'\\
 c'\\
\end{pmatrix}</math>

とすると、

<math>\mathbf{c}=\mathbf{a} \times \mathbf{b}=
\begin{pmatrix}
 \begin{vmatrix}
  b & b'\\
  c & c'
 \end{vmatrix}\\
 \begin{vmatrix}
  a & a'\\
  c & c'
 \end{vmatrix}\\
 \begin{vmatrix}
  a & a'\\
  b & b'
 \end{vmatrix}\\
\end{pmatrix}</math>　　　　　(7.2)

(証明)

三段構成でいく。

(i)'''c'''と、'''a'''と'''b'''と直交することを示す。要するに、
('''c''','''b''')=0且('''c''','''a''')＝0を示す。

(ii)||'''c'''||が平行四辺形の面積Sであることをを証明。

(iii)'''c''','''a''','''b'''が、右手座標系であることを証明。


(i)は計算するだけなので演習とする。

(ii)

　　　||'''c'''||<sup>2</sup>=(bc'-b'c)<sup>2</sup>+(ac'-a'c)<sup>2</sup>+(bc'-b'c)<sup>2</sup>

　　　　　　　　　　　　　
　　　=(a<sup>2</sup>+b<sup>2</sup>+c<sup>2</sup>)(a'<sup>2</sup>+b'<sup>2</sup>+c'<sup>2</sup>)-(a
a'+bb'+cc')<sup>2</sup>=||'''a'''||^2||'''b'''||^2-('''a''','''b''')^2

　　　||'''c'''||≧0より、式(7.1)から、

　　　<math>||\mathbf{c}||=\sqrt {||\mathbf{a}||^2||\mathbf{b}||^2-(\mathbf{a},\mathbf{b})^2}=S</math>

(iii)

　　　'''a'''='''e'''<sub>1</sub>,　'''b'''='''e'''<sub>2</sub>ならば、式(7.2)は両辺とも'''e'''<sub>3</sub>である。'''e'''<sub>１</sub>,'''e'''<sub>2</sub>を、線形独立性を崩さずに移すと、
'''a''','''b''','''c'''は右手系のまま移る。もし、左手系なら、その瞬間||'''c'''||=0となり、([[中間値の定理]])'''a'''、'''b'''は平行になるから、線形独立が崩れたことになる。　　　　　　　　　　　＃


外積に関して、次の性質が成り立つ。

'''a'''×'''b'''=-'''b'''×'''a'''　　c('''a'''×'''b''')=c'''a'''×'''b'''='''a'''×c'''b'''

'''a'''×('''b<sub>1</sub>'''+'''b<sub>2</sub>''')=
'''a'''×'''b<sub>1</sub>'''+'''a''''''b<sub>2</sub>'''

('''a<sub>1</sub>'''+'''a<sub>2</sub>''')×'''b'''=
'''a<sub>1</sub>'''×'''b'''+'''a<sub>2</sub>''''''b'''

=== 三次の行列式 ===

定義(7.4)

<math>A=\begin{pmatrix}
 a_{1,1} & a_{1,2} & a_{1,3}\\
 a_{2,1} & a_{2,2} & a_{2,3}\\
 a_{3,1} & a_{3,2} & a_{3,3}\\
\end{pmatrix}</math>,　
<math>\mathbf{a}=\begin{pmatrix}
 a_{1,1}\\
 a_{1,2}\\
 a_{1,3}\\
\end{pmatrix}</math>,　
<math>\mathbf{b}=
\begin{pmatrix}
 a_{2,1}\\
 a_{2,2}\\
 a_{2,3}\\
\end{pmatrix}</math>
<math>\mathbf{c}=
\begin{pmatrix}
 a_{3,1}\\
 a_{3,2}\\
 a_{3,3}\\
\end{pmatrix}</math>
の時、

<math>|A|=
\begin{vmatrix}
 a_{1,1} & a_{1,2} & a_{1,3}\\
 a_{2,1} & a_{2,2} & a_{2,3}\\
 a_{3,1} & a_{3,2} & a_{3,3}\\
\end{vmatrix}=\det A=\det(\mathbf{a},\mathbf{b},\mathbf{c})
=(\mathbf{a} \times \mathbf{b},\mathbf{c})</math>　をAの行列式という。

二次の時と同様、

*'''a''','''b''','''c'''が線形独立⇔det('''a''','''b''','''c''')≠0

*'''a''','''b''','''c'''のどれか二つの順序を交換すればdet('''a''','''b''','''c''')の符号は変わる。絶対値は変わらない。

*det('''a'''+'''a'''','''b''','''c''')=det('''a''','''b''','''c''')+det('''a''','''b''','''c''')
'''b''','''c'''に関しても同様

*det(c'''a''','''b''')=cdet('''a''','''b''')
'''b''','''c'''に関しても同様

*|AB|=|A||B|

一番下は、大変面倒だが、確かめられる。

'''例題'''

次の二直線は捩れの位置（同一平面上にない関係)にある。この二直線に共通法線が一本のみあることをしめし、
最短距離も求めよ

l:'''x'''='''a'''t+'''x'''<sub>1</sub>

l':'''x'''='''b'''s+'''x'''<sub>2</sub>

l.l'上の点P,Qの位置ベクトルを

'''p'''='''a'''t+'''x'''<sub>1</sub>

'''q'''='''b'''s+'''x'''<sub>2</sub>とすると、

PQ⊥l,l'⇔('''a''','''p'''-'''q''')=('''b''','''p'''-'''q''')=0

これを式変形して、

('''a''','''p'''-'''q''')=
('''a''','''a'''t+'''x'''<sub>1</sub>-'''b'''s-'''x'''<sub>2</sub>)

　　　　　　=('''a''','''a''')t-('''a''','''b''')s+
('''a''','''x'''<sub>1</sub>-'''x'''<sub>2</sub>)=0

⇔('''a''','''a''')t-('''a''','''b''')s=('''a''','''x'''<sub>2</sub>-'''x'''<sub>1</sub>　　　　　(7.3)

同様に、

('''b''','''a''')t-('''b''','''b''')s=('''b''','''x'''<sub>2</sub>-'''x'''<sub>1</sub>　　　　　(7.4)

(7.3),(7.4)をt,sに関する連立一次方程式だと考えると、この方程式は、ちょうど一つの解の組(t<sub>0</sub>,s<sub>0</sub>)が存在する。

∵
'''a'''//'''b'''('''a''','''b'''は平行、の意味)'''a''','''b'''≠'''o'''より、

<math>\begin{vmatrix}
 (\mathbf{a},\mathbf{a}) & -(\mathbf{a},\mathbf{b})\\
 (\mathbf{b},\mathbf{a}) & -(\mathbf{b},\mathbf{b})\\
\end{vmatrix}=-[||\mathbf{a}||^2||\mathbf{b}||^2-(\mathbf{a},\mathbf{b})^2]</math>≠0


あとは後述する、連立二次方程式の解の公式による。(演習1)

'''a'''t<sub>0</sub>+'''x'''<sub>1</sub>,'''b'''s<sub>0</sub>+'''x'''<sub>2</sub>を位置ベクトルとする点をP<sub>0</sub>,Q<sub>0</sub>とおけば、P<sub>0</sub>Q<sub>0</sub>が、唯一の共通法線である。
この線分P<sub>0</sub>Q<sub>0</sub>の長さは、l,l'間の最短距離である。そこで、

<math>\mathbf{c}=\overrightarrow{P_0Q_0}</math>（第一章「ベクトル」参照）

P<sub>1</sub>:'''x'''<sub>1</sub>を位置ベクトルとする点
Q<sub>1</sub>:'''x'''<sub>2</sub>の位置ベクトルとする点

とすれば、

<math>\mathbf{x}_2-\mathbf{x}_1=(\overrightarrow{P_1Q_1})
=(\overrightarrow{P_1P_0})+(\overrightarrow{P_0Q_0})+(\overrightarrow{Q_0Q_1})</math>

　　　　　　　　　　=(['''x'''<sub>1</sub>+t<sub>0</sub>'''a''']-[<u>'''x'''<sub>1</sub></u>])


”P<sub>0</sub>の位置ベクトル↑　　　　　↑P<sub>1</sub>の位置ベクトル”


　　　　　　　　　+'''c'''+["'''x'''<sub>1</sub>"-"('''x'''<sub>1</sub>+t<sub>0</sub>'''a''')"]


”Q<sub>1</sub>の位置ベクトル↑　　　↑Q<sub>0</sub>の位置ベクトル”


='''c'''+t<sub>0</sub>'''a'''-s<sub>0</sub>'''b'''

よって、

('''c''','''x'''<sub>2</sub>-'''x'''<sub>1</sub>)=('''c''','''c''')+t<sub>0</sub>('''c''','''a''')-s<sub>0</sub>('''c''','''b''')

'''a''','''b'''と'''c'''が垂直なので、('''b''','''c''')=('''a''','''c''')=0.

すなわち、('''c''','''x'''<sub>2</sub>-'''x'''<sub>1</sub>)=('''c''','''c''')

'''c'''=k('''a'''×'''b''')　(k≠0)

'''c'''≠'''o'''より、求める距離||'''c'''||は、

<math>||\mathbf{c}||={||\mathbf{c}||^2\over ||\mathbf{c}||}={|(\mathbf{c},\mathbf{c})|\over ||\mathbf{c}||}={|(\mathbf{c},\mathbf{x}_2-\mathbf{x}_1)|\over {|k|||\mathbf{a}\times {\mathbf{b}}||}}</math>

<math>={{|(\mathbf{a}\times \mathbf{b},\mathbf{x}_2-\mathbf{x}_1)|}\over {||k|||\mathbf{a}\times \mathbf{b}||}}={|\det (\mathbf{a},\mathbf{b},\mathbf{x}_2-\mathbf{x}_1)| \over ||\mathbf{a}\times \mathbf{b}||}</math>

'''演習'''

1.

:二元一次連立方程式

:<math>\begin{vmatrix}
 a & b\\
 c & d\\
\end{vmatrix}</math>≠0の時、

:<math>\begin{cases}
 ax+by=c\\
 dx+ey=f\\
\end{cases}</math>

:の一般解が、

:<math>x={\begin{vmatrix}
 e & b\\
 f & d\\
\end{vmatrix}\over \begin{vmatrix}
 a & b\\
 c & d\\
\end{vmatrix}}</math>,　
<math>y={\begin{vmatrix}
 a & e\\
 c & f\\
\end{vmatrix}\over \begin{vmatrix}
 a & b\\
 c & d\\
\end{vmatrix}}</math>　である事を示せ

2.

:多面体Pの二頂点を結ぶ線分上の全ての点がやはりPに含まれる時、Pは凸多面体と呼ばれる。

:Pのk個の頂点P<sub>i</sub>(i=1,2,...,k;k(∈'''N''')>3)の位置ベクトルを'''v'''<sub>i</sub>とすると、P内の任意の点の位置ベクトル'''v'''が、下の式で表せることを証明せよ。


:<math>\mathbf{v}=\sum_{j=1}^k t_i\mathbf{x}_i</math>,　t<sub>i</sub>≧0,　<math>\sum_{j=1}^k t_i=1</math>

:このような'''v'''のことを、'''x'''<sub>i</sub>の凸結合と言う

3.

:P<sub>1</sub>(x<sub>1</sub>,y<sub>1</sub>),P<sub>2</sub>(x<sub>2</sub>,y<sub>2</sub>)を通る直線の式は、

:<math>\begin{vmatrix}
 1 & 1 & 1\\
 x & x_1 & x_2\\
 y & y_1 & y_2\\
\end{vmatrix}=0</math>と表せる。

これを示せ。

4.

 :空間において、('''a''','''x''')=0への折り返しの変換に対応する行列を求めよ

5.

 :<math>\begin{vmatrix}
 (\mathbf{a},\mathbf{a}) & (\mathbf{a},\mathbf{b}) & (\mathbf{a},\mathbf{c})\\
 (\mathbf{b},\mathbf{a}) & (\mathbf{b},\mathbf{b}) & (\mathbf{b},\mathbf{c})\\
 (\mathbf{c},\mathbf{a}) & (\mathbf{c},\mathbf{b}) & (\mathbf{c},\mathbf{c})\\
\end{vmatrix}=\det (\mathbf{a},\mathbf{b},\mathbf{c})</math>

:を示せ。

6.

 :||'''x'''||=||'''y'''||=||'''z'''||=1の時、det('''a''','''b''','''c''')の最大最小を求めよ。

7.

:(1)

::('''a'''×'''b''')×'''c'''=-('''b''','''c''')'''a'''+('''a''','''c''')'''b'''

:(2)

::('''a'''×'''b''')×'''c'''+('''b'''×'''c''')×'''a'''+('''c'''×'''a''')×'''b'''='''o'''

::を、R<sup>3</sup>について証明せよ。



このページで述べるベクトルの代数学的説明はここまでである。このまま、代数学の学習を続けたい読者は次に、[[行列]]を読まれる事を勧める。今までの内容と、密接に関係している。もし、ベクトルの解析的扱いについて学習したい場合は、このページの次の章に進まれるとよい。参考文献:東京大学出版会　『基礎数学1　線型代数入門』齊藤正彦著

== スカラー・ベクトル三重積 ==
{{節stub}}

== ベクトル関数 ==
{{節stub}}

この節は現在執筆中です。概要は[[物理数学I_ベクトル解析]]を参照してください。

== 補足 ==
線型代数学でいう「空間」や「次元」は、物理的な意味の「空間」や「次元」のうち、一部の性質だけを取り出して定義した抽象的な概念である。したがって、大枠では類似しているが、物理的なイメージばかりを気にしすぎると細部の印象が異なることがある。たとえば、物理においてしばしば「空間3次元、時間1次元、合わせて4次元の線型空間である時空」を考えるが、数学的な意味での4次元線型空間は空間と時間という意味合いを持ってはおらず、単に一次独立なベクトルが4本取れるというだけの意味である。4次元線型空間の中でさらに特殊な性質を仮定したものを「ミンコフスキー空間」といい、これはただの4次元線型空間よりもより4次元時空の性質を反映したモデルだが、それでも数学的なモデルに過ぎないことに変わりはない。

一般に数学的な概念は、その定義を作る際には物理などのイメージを元に概念を作ることが多いが、ひとたび定義されたあとはそのイメージから離れて定義のみを基に議論を進めることができる。これが数学を発展させる原動力であり、また数学が汎用的に役に立つ理由である。しかし、数学の持つこのような特性は、初学者にとってはわかりにくく感じられるだろう。以上で述べたことは線型代数学に限った話ではないが、抽象的な数学理論に初めて本格的に触れるのが線型代数学という学生も多いだろうから、ここで述べておく。

{{DEFAULTSORT:せんけいたいすうかくへくとる}}
[[Category:ベクトル]]
[[Category:線形代数学|へくとる]]