日本大百科全書(ニッポニカ) 「ベクトル空間」の意味・わかりやすい解説
ベクトル空間
べくとるくうかん
vector space
線形空間ともいう。平面ベクトルと同じ計算法則を満たす加法と実数倍の定められた空間をいう。ここにいう計算法則とは、平面ベクトルや空間ベクトルに対して成立する以下の法則のことである。いまa、b、cを任意のベクトル、k、lを任意の実数とするとき、(1)(a+b)+c=a+(b+c)(2)a+0=0+a=a(3)a+(-a)=(-a)+a=0(4)a+b=b+a(5)k(a+b)=ka+kb(6)(kl)a=k(la)(7)(k+l)a=ka+la(8)1a=aしたがって厳密には、ある集合に加法と実数倍が定義されていて、これについて法則(1)~(8)が成り立つときに、この集合をベクトル空間ということになる。またこのとき集合の元をベクトルという。
平面ベクトル、空間ベクトルの全体などは、もちろん、いま定義した意味でのベクトル空間であるが、他の例としては、〔1〕n項数ベクトルの全体、〔2〕一つの集合上の実数値関数の全体、とくに数列の全体、〔3〕解析学に現れるさまざまな関数空間、連続関数全体、微分可能な関数の全体、解析関数の全体、〔4〕不定元Xについての多項式全体などがある。
[高木亮一]
線形写像
二つのベクトル空間の間の写像fは、加法および実数倍と可換なとき、つまり
f(ka+lb)=kf(a)+lf(b)
を満たすとき、線形写像といわれる。とくに、fの値域が実数であるときは、線形形式といわれる。平面ベクトルや空間ベクトルの正射影は線形写像である。導関数をとることは、微分可能関数から実数値関数への線形写像をとることである。定積分を行うことは、連続関数からの線形形式である。
[高木亮一]
同形と次元
二つのベクトル空間は、線形写像による1対1対応がつくとき、同形であるという。n項数ベクトル空間と同形なベクトル空間は、有限次元であるといい、その次元をnと定める。このとき、n項数ベクトル空間の基本ベクトルe1、e2、……、enに対応するベクトルa1、a2、……、anが存在して、任意のベクトルはそれらの線形結合、すなわちk1a1+k2a2+……+knanの形にただ一通りに表される。このようなベクトルa1、a2、……、anの組みを、ベクトル空間の一つの基という。
[高木亮一]
行列と線形写像
m次元ベクトル空間Vからn次元ベクトル空間Wへの線形写像fをとる。また、V、Wにそれぞれ基a1、a2、……、am、およびb1、b2、……、bnを定めておく。
f(ai)=Fi1b1+Fi2b2+……+Finbn
(i=1,2,……,m)
であるとき、Vの任意の元k1a1+……+kmamのfによる値は、
f(k1a1+……+kmam)
=k1f(a1)+……+kmf(am)
=(k1F11+……+kmFm1)b1
+(k1F12+……+kmFm2)b2
+……+(k1F1n+……+kmFmn)bn
となって、基の各ベクトルの値f(ai)によって完全に決まる。このときfにn行m列の行列(Fij)を対応させる。逆に、任意のn行m列の行列(Gij)が与えられると、
g(ai)=Gi1b1+……+Ginbn
(i=1,2,……,m)
により基の各元の値を決めて、線形写像が定まる。このように二つの有限次元ベクトル空間の間の線形写像は、それぞれに基を定めることにより、行列と一対一に対応している。とくに、一つの有限次元ベクトル空間から自分自身への線形写像は正方行列に対応する。
[高木亮一]
双対空間
ベクトル空間が与えられると、そこから出発して、新しいベクトル空間を構成する方法が多数ある。ここでは、双対(そうつい)なベクトル空間といわれるものをつくってみよう。Vの線形形式全体をV*と置く。V*の任意の二元、ψと、任意のスカラーkに対して、Vからの二つの実数値関数、
+ψ,k
を
(+ψ)(a)=
(a)+ψ(a)
(k)(a)=k(
(a))
と定める。ここに、aはVの任意の元である。このとき、+ψ,k
はともにV*の元になるからV*に加法と実数倍が定義されたわけである。これについて、法則(1)~(8)が成り立つから、V*はベクトル空間となる。このV*をVの双対空間という。Vの元を反変ベクトル、V*の元を共変ベクトルという。
[高木亮一]
計量ベクトル空間
内積、つまり平面ベクトルでいう内積と同じ計算法則を満たす二つのベクトルから実数への関数が与えられているベクトル空間を、計量ベクトル空間という。計量ベクトル空間では、ベクトルの長さや、二つのベクトルの間の角度を測ることができる。計量ベクトル空間の基a1、……、anは、各aiの長さが1で、互いに直交するとき正規直交系であるという。このとき二つのベクトルx1a1+……+xnan,y1a1+……+ynanの内積は、x1y1+……+xnynと計算される。計量ベクトル空間にはかならず、正規直交系がとれる。
[高木亮一]