![]()
![]()
![]()
![]()
Next: 7 内積 Up: 1 ベクトル空間 Previous: 5 数ベクトル空間   Contents
6 ベクトル空間
定義 1.27 (ベクトル空間) 集合の任意の元
,
と体
(
や
など)の任意の元
に対して, 和
(9)
とスカラー倍
(10)
が定義されていて, 次の性質(i)-(viii)をみたすならば,を
上のベクトル空間(vector space)と呼び,
の元
をベクトル(vector)と呼ぶ.
- (i)
- (交換則)
.
- (ii)
- (結合則)
.
- (iii)
- (零元の存在)
.
- (iv)
- (スカラー倍に関する結合則)
.
- (v)
- (スカラー倍に関する分配即)
.
- (vi)
- (スカラー倍に関する分配即)
.
- (vii)
- (スカラー倍に関する単位元)
.
- (viii)
- (スカラー倍に関する零元)
.
例 1.28 (ベクトル空間の例)
- 実列ベクトル全体の集合:
条件(1)-(8)をみたすのでは
上のベクトル空間である.
- 複素列ベクトル全体の集合:
条件(1)-(8)をみたすのでは
上のベクトル空間である.
- 実行ベクトル全体の集合:
条件(1)-(8)をみたすのでは
上のベクトル空間である.
- 複素行ベクトル全体の集合:
条件(1)-(8)をみたすのでは
上のベクトル空間である.
- 高々
次の実係数多項式全体の集合:
の元は多項式であり
と表される.これらの和は
となり,スカラー倍は
となる.は和とスカラー倍の演算について閉じている. また, 条件(1)-(8)をみたすので,
は
上のベクトル空間である.
- 区間
で連続な関数全体の集合:
.
の元は関数であり
とおく. これらの和は
であり連続関数となる. スカラー倍は
であり連続関数となる.は和とスカラー倍に関して閉じている. また,条件(1)-(8)をみたすので,
は
上のベクトル空間である.
![]()
![]()
![]()
![]()
Next: 7 内積 Up: 1 ベクトル空間 Previous: 5 数ベクトル空間   ContentsKondo Koichi
![]()
![]()
Created at 2004/12/13