複素数の概念は既知のものとした。ただし、複素数のことを知らない読者は、複素数に関する記述を読み飛ばしたとしても差し支えない。
単一の数で表現される量をスカラーとよぶ。それに対して、n個の数
を縦に並べて、括弧でかこんだものをn次列ベクトルとよび、次のように書く。
![{\displaystyle \mathbf {a} ={\begin{pmatrix}a_{1}\\a_{2}\\\vdots \\a_{n}\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76d78dd12fcf578a2e965847a4092e98fb5e01ed)
また、これを、横に並べたものをn次行ベクトルとよび、次のように書く。
![{\displaystyle \mathbf {a} =(a_{1},a_{2},\cdots ,a_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7293935645568d35c66045c783472911f76c5767)
をベクトル
の成分(element)と呼び、特に
をaの第k成分と呼ぶ。
なお、ここで並べた「数」は、体の元のことを指すが、体のことを知らなければ、実数や、複素数のことであると思って差し支えない。
成分がすべて実数のベクトルを実ベクトルと言う。対して、成分がすべて複素数のベクトルを複素ベクトルと言う。
Kを成分とするn次列ベクトル全体の集合を
で表す。
![{\displaystyle \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\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5b07c5eaf00628c941b285b08e8d2e2affdc665)
のとき
は実数を成分とするn次列ベクトル全体の集合であり、
のとき
は複素数を成分とするn次列ベクトル全体の集合である。
2つのn次列ベクトル
が「等しい」とは、2つのベクトルの各成分が全て等しいことをいう。すなわち、
のとき
![{\displaystyle \mathbf {a} =\mathbf {b} \iff \forall i,a_{i}=b_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1800af9b7accdcf48c7708be0f37257f9202b922)
なお、2つのn次行ベクトルについても同様に定義される。
2つのn次列ベクトル
について、ベクトルの和
を次のように定義する。
![{\displaystyle \mathbf {a} +\mathbf {b} ={\begin{pmatrix}a_{1}+b_{1}\\a_{2}+b_{2}\\\vdots \\a_{n}+b_{n}\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42cb2644112b75e5b6ed033728e0731cb014d051)
またn次列ベクトル
と定数
について、ベクトルの定数倍
を次のように定義する。
![{\displaystyle \lambda \mathbf {a} ={\begin{pmatrix}\lambda a_{1}\\\lambda a_{2}\\\vdots \\\lambda a_{n}\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5fb434e0887ddd0ce08ffb510cc7f015fb51bf27)
ベクトルの成分がすべて0であるベクトル
を零ベクトルという。
ベクトルのすべての成分にマイナス1をかけたベクトル
を
の逆ベクトルという。
ベクトルの大きさをノルムといい、次のように定義する。
![{\displaystyle ||a||={\sqrt {\sum _{i=1}^{n}a_{i}^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cdae8ad3aec880d8eb5bfde87d071d7cded55c65)
座標に対する長さをn次行ベクトルで一般化したものがノルムであるとも解釈でき、実際に3次行ベクトルのノルムはそのベクトルを空間に描いた際の長さとなる。
ベクトルの演算では以下の性質が成り立つ。
(交換法則)
(結合法則)
![{\displaystyle \mathbf {a} +\mathbf {0} =\mathbf {a} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6821c40a7b954efcb35bfb3e10a20fc0b00a1f51)
![{\displaystyle \mathbf {a} +(-\mathbf {a} )=\mathbf {0} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5862f7f84f6bffdecfdcce0b81785fd4c9606a34)
![{\displaystyle \lambda (\mathbf {a} +\mathbf {b} )=\lambda \mathbf {a} +\lambda \mathbf {b} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f194ecac1d997782bf90d875c731334763d7d625)
![{\displaystyle (\lambda +\mu )\mathbf {a} =\lambda \mathbf {a} +\mu \mathbf {a} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e7d5984038a4e651fc7048f86c37ba3ffeadb99)
![{\displaystyle (\lambda \mu )\mathbf {a} =\lambda (\mu \mathbf {a} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8da772329506b57569af88bb0fbb261ef638ff1b)
![{\displaystyle 1\cdot \mathbf {a} =\mathbf {a} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7ead2e3604082c599191487ff0346742450a18a)
![{\displaystyle 0\cdot \mathbf {a} =\mathbf {0} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7a944cd40fde0360064b3bb59238fee24000214)
ただし、
をベクトル、
をスカラーとする。
スカラーλ, μ, ν, ...とベクトルa, b, c, ...があるとする。
![{\displaystyle \lambda \mathbf {a} +\mu \mathbf {b} +\nu \mathbf {c} +\dots =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bf10851faccfe76cc38ceedd05e2fcf2addf417)
つまりあるベクトルがその他のベクトルの組み合わせで表せるならば、それは一次従属であるという。逆にこの式においてスカラー量が全て0でないと成り立たないならば一次独立であるという。
以後、特に空間ベクトルについて議論する。
まずは、二次元空間上の直線を、助変数を用いて現すことを考える。
とすると、一般の直線は下の式で表される。
![{\displaystyle \mathbf {x} =\mathbf {a} t+\mathbf {x_{0}} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/13fb3acfa3d44018179dc9f194c3849257a77b5c)
成分を用いて書けば、
である。
成分を用いた式を見れば、この表示によって直線が表されることの妥当性が理解しやすいだろう。
上に挙げた式を直線の助変数表示またはベクトル表示という。また、aをこの直線の方向ベクトルという。
方向ベクトルはこの直線と平行なベクトルである。
もちろん助変数表示の仕方は一つではないが、方向ベクトルはノルム1のものを選ぶと便利な事も多い。
例題
を助変数表示にせよ。
- x=2t+1とすると、
![{\displaystyle y={{5-3(2t+1)} \over 2}=1-3t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2dd79933d62d72766c61c53f93e0e30604e20a82)
- よって、
![{\displaystyle \mathbf {x} ={\begin{pmatrix}2\\-3\\\end{pmatrix}}t+{\begin{pmatrix}1\\1\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/337a1842ea54386f36034b6129c942ce4f1a0a74)
演習
ベクトル表示は座標表示に、座標表示はベクトル表示にせよ
1.6x-3y=9.5
2.x=a
3.
4.
平面内の直線は
![{\displaystyle ax+by+c=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26ffa3f9c01bec425db7c1acc330497b6831697b)
という式で表された。しかし、空間において
![{\displaystyle ax+by+cz+d=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/746e9e9c5e6a562485cbc5ed6a9375ec67bad26f)
という式の表す図形は平面である。直線は2つの平行でない平面の共通部分として表される。式で書けば、
![{\displaystyle \left\{{\begin{matrix}a_{1}x+b_{1}y+c_{1}z=d_{1}\\a_{2}x+b_{2}y+c_{2}z=d_{2}\end{matrix}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/faf918bbf925ec95ba656179b424a67efd048379)
となる。この式が表す直線をベクトル表示することを考えよう。連立方程式を解く要領で
![{\displaystyle \left\{{\begin{matrix}y=\alpha _{1}x+x_{1}\\z=\alpha _{2}x+x_{2}\end{matrix}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/64584416879800dd0dceef979cb63fd95b3ac0eb)
(但し,
は定数)
と書けることはすぐわかる。この式は、形式的にはxをtと置き換えることで、下のように書ける。
![{\displaystyle \mathbf {x} =\mathbf {a} t+\mathbf {x} _{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e3c90718d37c47786500089a75ce9cab9e8fd19)
これが空間内の直線の助変数表示である。
例題
を助変数表示にせよ。
- x=tとすると、
- 2y+3z=-t+4
- 6y+7z=-5t+8
これを解いて、
よって、
演習
1.
![{\displaystyle \left\{{\begin{matrix}x+2y+3z=1\\3x+2y+z=-1\end{matrix}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e8473ac9a1431df9a2b12981316e9c8cf3503cf)
を助変数表示にせよ
前述のとおり、空間内の平面はax+by+cz=dであらわせる。今度は2つの助変数s,tを導入することで、同様にして
![{\displaystyle \mathbf {x} =\mathbf {a} t+\mathbf {b} s+\mathbf {c} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e511788bbfda828cb63cde381a6b93e92d4f73c9)
と表せる。これを平面の助変数表示という。
例題
- x=3t+1,y=3sとすると、
- 3z=5-2(3t+1)-3s⇔
![{\displaystyle z=1-2t-s}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fab8dae73bb5427a081ccd4a1f80627cc8725f5)
- よって、
![{\displaystyle \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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf6f06fcf3f320b2756a515f3858e637d753432c)
演習
1.2x-y+3z=1を助変数表示にせよ
2.
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f25ca72d82fdcc5d5263387c241040382bbf938)
を、直交座標表示で表せ。
1. 平面上の直線のベクトル表示
![{\displaystyle \mathbf {x} =\mathbf {a} t+\mathbf {x} _{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fd50ab821b24ca8b8f8d53bdb4bc29dc80d8c02)
2. 空間内の直線のベクトル表示
![{\displaystyle \mathbf {x} =\mathbf {a} t+\mathbf {x} _{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fd50ab821b24ca8b8f8d53bdb4bc29dc80d8c02)
3. 空間内の平面のベクトル表示
![{\displaystyle \mathbf {x} =\mathbf {a} t+\mathbf {b} s+\mathbf {c} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e511788bbfda828cb63cde381a6b93e92d4f73c9)
演習
1.
- 二点P,Qの位置ベクトルをp,qとすると、線分PQ上の点の位置ベクトルは
- t1p+t2q, t1+t2=1, t1,t2≧0
- の形で表される。これを証明せよ。
2.
- 三点の位置ベクトルをx1,x2,x3とすると、
- この三点が構成する三角形内の任意の点は、
- t1x1+t2x2+t3x3, t1+t2+t3=1, t1,t2,t3≧0
と表される。これを証明せよ。
平面上の直線
- ax+by=c
を考える。この直線の方向ベクトルは
![{\displaystyle \mathbf {v} ={\begin{pmatrix}b\\-a\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a90e1e0e90265d572598dace0876d140b8fc05a)
である。ここで、
![{\displaystyle \mathbf {a} ={\begin{pmatrix}a\\b\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2017510a95e1c70aff9b2ad89d8c0534482a7cae)
というベクトルを考えると、
![{\displaystyle (\mathbf {a} ,\mathbf {v} )=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93d10ab9f291c3699afe8b0e8a48918daa75ab97)
なので、aとこの直線は直交する。このaをこの直線の法線ベクトル(normal vector)という。
例5.1
l:x=at+x1
という直線を考える。平面内の1点Pから直線lへ垂線を下ろし、足をP'とする。この垂線の長さを求めよう。
pをPの位置ベクトル、x0をP'の位置ベクトルとすると、垂線の長さは
- ||p-x0||
で与えられる。
まずはx0を他のベクトルを用いて表そう。P'はl上の点なので、x=x0をlの式に代入すると
- x0=at+x1
- p-x0=p-at-x1
となる。このベクトルがaと直交するので
- (a,p-x0)=(a,p)-(a,a)t-(a,x1)=0
![{\displaystyle t={\frac {(\mathbf {a} ,\mathbf {p} -\mathbf {x} _{1})}{(\mathbf {a} ,\mathbf {a} )}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d685a802db42beb9c1026b16a263647f645e3829)
これを代入して
![{\displaystyle \mathbf {x} _{0}=\mathbf {a} {(\mathbf {a} ,\mathbf {p} -\mathbf {x} _{1}) \over (\mathbf {a} ,\mathbf {a} )}+\mathbf {x} _{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa9b4f5f6851d64c11f21260cc7c50602afe1f60)
![{\displaystyle p-\mathbf {x} _{0}=p-\mathbf {a} {(\mathbf {a} ,\mathbf {p} -\mathbf {x} _{1}) \over (\mathbf {a} ,\mathbf {a} )}-\mathbf {x} _{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/004ef0bc7fa61c03b5f597572bf5522ba98fc4cf)
をえる。
あとは自分自身との内積を計算するだけである。落ち着いて計算すれば
![{\displaystyle ||\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} ||}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d575501b8167a4da4453436bf9a302d34da55e4f)
と計算される。空間内の直線についても、同じ事である。
演習
1.
- 空間内の平面の場合についても同様に考えられる。
- F:ax+by+cz=d
- を平行移動し、原点を通る平面
- F0:ax+by+cz=0
とすれば、
- F:(a,x)=d
- F0:(a,x)=0
- であるから、aはF0故にFと垂直である。この時aをF0の法線ベクトルと言う。
- さて、F上に無い点Pから、Fに垂線を下ろす。垂線の足をP'とする。
- x0:Pの位置ベクトル,x'0:P'の位置ベクトル
- とするとき、||x0-x'0||を求めよ。
2.
- 平面Fの法線ベクトルaと平面F'の法線ベクトルa'の交角を平面Fと平面F'の交角と言う
- F:x+2y+2z=3
- F':3x+3y=1
- の交角を求めよ。
ベクトルには方向が伴っているので、純粋なかけ算をすることは難しい。そこでまず2次元もしくは3次元ベクトルで考え、ベクトル間の角度θを用いて
とすると
の
方向成分がスカラーで出てくる。
ここで内積を以下のように定義する。
![{\displaystyle \mathbf {a} \cdot \mathbf {b} =|\mathbf {a} ||\mathbf {b} |\cos {\theta }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bac25d9b7174feb66b4f62631dbea5868a3d4699)
また、それぞれ直角な単位ベクトルで各ベクトルを分解して考えると、一般に
![{\displaystyle \mathbf {a} \cdot \mathbf {b} =a_{1}b_{1}+a_{2}b_{2}+a_{3}b_{3}+\dots +a_{i}b_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c03fb6af796c19cc1ceecf88411c37ad608be9b)
![{\displaystyle (\mathbf {a} +\mathbf {b} )\cdot \mathbf {c} =\mathbf {a} \cdot \mathbf {c} +\mathbf {b} \cdot \mathbf {c} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/281eac971dae424426ddcb39e769309384e15b86)
![{\displaystyle (\lambda \mathbf {a} )\cdot \mathbf {b} =\lambda (\mathbf {a} \cdot \mathbf {b} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fdff89e1b8d31c0ed12190e4c2977e8eab63a84)
定義(7.1)
,
,
の時、
を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(ca,b)=det(a,cb)=cdet(a,b)
|AB|=|A||B|
ここで、a,bが線形独立とは、a,bが平行でないことを表す。
関係ないと思うかもしれないが、外積の定義に必要な情報である。
aとbの張る平行四辺形の面積を求める。二ベクトルの交角をθとする。
bを底辺においたとき、高さは||a||sinθなので、求める面積Sは
S=||a||||b||sinθ
⇔S2=||a||2||b||2
-||a||2||b||2cos2θ
=||a||2||b||2-(a,b)2
よって、
(7.1)
演習
,
とすれば、
.
これを証明せよ。
内積が有るなら外積もあるのでは?と思った読者待望の部ではないだろうか。(余談)
定義(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||が平行四辺形の面積
ここで、右手系とは、R3の単位ベクトルe1〜3が各々右手の親指、人差指、中指の上にある三次元座標系のことである。
定理(7.3)
右手座標系で、
,
とすると、
(7.2)
(証明)
三段構成でいく。
(i)cと、aとbと直交することを示す。要するに、
(c,b)=0且(c,a)=0を示す。
(ii)||c||が平行四辺形の面積Sであることをを証明。
(iii)c,a,bが、右手座標系であることを証明。
(i)は計算するだけなので演習とする。
(ii)
||c||2=(bc'-b'c)2+(ac'-a'c)2+(bc'-b'c)2
=(a2+b2+c2)(a'2+b'2+c'2)-(a
a'+bb'+cc')2=||a||^2||b||^2-(a,b)^2
||c||≧0より、式(7.1)から、
(iii)
a=e1, b=e2ならば、式(7.2)は両辺ともe3である。e1,e2を、線形独立性を崩さずに移すと、
a,b,cは右手系のまま移る。もし、左手系なら、その瞬間||c||=0となり、(中間値の定理)a、bは平行になるから、線形独立が崩れたことになる。 #
外積に関して、次の性質が成り立つ。
a×b=-b×a c(a×b)=ca×b=a×cb
a×(b1+b2)=
'a×b1+a'b2
(a1+a2)×b=
'a1×b+a2'b
定義(7.4)
,
,
の時、
をAの行列式という。
二次の時と同様、
- a,b,cのどれか二つの順序を交換すればdet(a,b,c)の符号は変わる。絶対値は変わらない。
- det(a+a',b,c)=det(a,b,c)+det(a,b,c)
b,cに関しても同様
b,cに関しても同様
一番下は、大変面倒だが、確かめられる。
例題
次の二直線は捩れの位置(同一平面上にない関係)にある。この二直線に共通法線が一本のみあることをしめし、
最短距離も求めよ
l:x=at+x1
l':x=bs+x2
l.l'上の点P,Qの位置ベクトルを
p=at+x1
q=bs+x2とすると、
PQ⊥l,l'⇔(a,p-q)=(b,p-q)=0
これを式変形して、
(a,p-q)=
(a,at+x1-bs-x2)
=(a,a)t-(a,b)s+
(a,x1-x2)=0
⇔(a,a)t-(a,b)s=(a,x2-x1 (7.3)
同様に、
(b,a)t-(b,b)s=(b,x2-x1 (7.4)
(7.3),(7.4)をt,sに関する連立一次方程式だと考えると、この方程式は、ちょうど一つの解の組(t0,s0)が存在する。
∵
a//b(a,bは平行、の意味)a,b≠oより、
≠0
あとは後述する、連立二次方程式の解の公式による。(演習1)
at0+x1,bs0+x2を位置ベクトルとする点をP0,Q0とおけば、P0Q0が、唯一の共通法線である。
この線分P0Q0の長さは、l,l'間の最短距離である。そこで、
(第一章「ベクトル」参照)
P1:x1を位置ベクトルとする点
Q1:x2の位置ベクトルとする点
とすれば、
=([x1+t0a]-[x1])
”P0の位置ベクトル↑ ↑P1の位置ベクトル”
+c+["x1"-"(x1+t0a)"]
”Q1の位置ベクトル↑ ↑Q0の位置ベクトル”
=c+t0a-s0b
よって、
(c,x2-x1)=(c,c)+t0(c,a)-s0(c,b)
a,bとcが垂直なので、(b,c)=(a,c)=0.
すなわち、(c,x2-x1)=(c,c)
c=k(a×b) (k≠0)
c≠oより、求める距離||c||は、
演習
1.
- 二元一次連立方程式
≠0の時、
![{\displaystyle {\begin{cases}ax+by=c\\dx+ey=f\\\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/881d47225c945943ebd30deb2f53f1c5f3803efa)
- の一般解が、
,
である事を示せ
2.
- 多面体Pの二頂点を結ぶ線分上の全ての点がやはりPに含まれる時、Pは凸多面体と呼ばれる。
- Pのk個の頂点Pi(i=1,2,...,k;k(∈N)>3)の位置ベクトルをviとすると、P内の任意の点の位置ベクトルvが、下の式で表せることを証明せよ。
, ti≧0, ![{\displaystyle \sum _{j=1}^{k}t_{i}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aadc15c61518df48d3f1488c7140de5720d03e30)
- このようなvのことを、xiの凸結合と言う
3.
- P1(x1,y1),P2(x2,y2)を通る直線の式は、
と表せる。
これを示せ。
4.
:空間において、(a,x)=0への折り返しの変換に対応する行列を求めよ
5.
:
- を示せ。
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
- を、R3について証明せよ。
このページで述べるベクトルの代数学的説明はここまでである。このまま、代数学の学習を続けたい読者は次に、行列を読まれる事を勧める。今までの内容と、密接に関係している。もし、ベクトルの解析的扱いについて学習したい場合は、このページの次の章に進まれるとよい。参考文献:東京大学出版会 『基礎数学1 線型代数入門』齊藤正彦著
この節は書きかけです。この節を編集してくれる方を心からお待ちしています。
この節は書きかけです。この節を編集してくれる方を心からお待ちしています。
この節は現在執筆中です。概要は物理数学I_ベクトル解析を参照してください。
線型代数学でいう「空間」や「次元」は、物理的な意味の「空間」や「次元」のうち、一部の性質だけを取り出して定義した抽象的な概念である。したがって、大枠では類似しているが、物理的なイメージばかりを気にしすぎると細部の印象が異なることがある。たとえば、物理においてしばしば「空間3次元、時間1次元、合わせて4次元の線型空間である時空」を考えるが、数学的な意味での4次元線型空間は空間と時間という意味合いを持ってはおらず、単に一次独立なベクトルが4本取れるというだけの意味である。4次元線型空間の中でさらに特殊な性質を仮定したものを「ミンコフスキー空間」といい、これはただの4次元線型空間よりもより4次元時空の性質を反映したモデルだが、それでも数学的なモデルに過ぎないことに変わりはない。
一般に数学的な概念は、その定義を作る際には物理などのイメージを元に概念を作ることが多いが、ひとたび定義されたあとはそのイメージから離れて定義のみを基に議論を進めることができる。これが数学を発展させる原動力であり、また数学が汎用的に役に立つ理由である。しかし、数学の持つこのような特性は、初学者にとってはわかりにくく感じられるだろう。以上で述べたことは線型代数学に限った話ではないが、抽象的な数学理論に初めて本格的に触れるのが線型代数学という学生も多いだろうから、ここで述べておく。