在许多数学问题和实际问题中,我们遇到的空间不仅要求有极限运算,而且还要求有所谓的加法和数乘的代数运算。
定义1
设 X X X 是一非空集合,在 X X X 中定义了元素的加法运算和实数(或复数)与 X X X中元素的乘法运算,满足下列条件:
-
关于加法成为交换群,即对任意 x , y ∈ X , x , y \in X , x,y∈X, 存在 u ∈ X u \in X u∈X与之对应,记为 u = x + y , u = x + y , u=x+y,称为 x x x 与 y y y 的 和,满足
- x + y = y + x ; x + y = y + x ; x+y=y+x;
- ( x + y ) + z = x + ( y + z ) ( 任何 x , y , z ∈ X ) ; ( x + y ) + z = x + ( y + z ) ( 任 何 x , y , z \in X ) ; (x+y)+z=x+(y+z)(任何x,y,z∈X);
- 在 X X X 中存在唯一元素 θ , \theta , θ, 使对任何 x ∈ X , x \in X , x∈X, 成立 x + θ = x , x + \theta = x , x+θ=x, 称 θ \boldsymbol { \theta } θ 为 X X X 中零元素;
- 对 X X X 中每个元素 x , x , x, 存在唯一元素 x ′ ∈ X , x ^ { \prime } \in X , x′∈X, 使 x + x ′ = θ , x + x ^ { \prime } = \theta , x+x′=θ, 称 x ′ x ^ { \prime } x′ 为 x x x的负元素,记为 − x ; - x ; −x;
-
对于 X X X 中每个元素 x ∈ X , x \in X , x∈X, 及任意实数(或复数) a , a , a, 存在元素 u ∈ X u \in X u∈X 与之对应,记为 u = a x , u = a x , u=ax, 称为 a a a 与 x x x 的 数积,满足
- 1 x = x ; 1 x = x ; 1x=x;
- a ( b x ) = ( a b ) x a ( b x ) = ( a b ) x a(bx)=(ab)x 对任意实数(或复数) a a a 和 b b b 成 立;
- ( a + b ) x = a x + b x , a ( x + y ) = a x + a y , ( a + b ) x = a x + b x , a ( x + y ) = a x + a y , (a+b)x=ax+bx,a(x+y)=ax+ay,
则称 X X X按上述加法和数乘运算成为线性空间或向量空间,其中的元素称为向量.
如果数积运算只对实数(复数)有意义,则称 X X X是实/复线性空间.
读者不难证明,对所有向量 x x x 和数 a , a ,