1. 綫性空間的定義:
設是一個非空集合,
是一個數域。
在集合的元素之間定義了加法運算,即對於任意
,有唯一的
,使得
;在數域
與集合
的元素之間定義了數乘運算,即對於任意
和
,有唯一的
,使得
。
如果加法和數乘運算滿足以下八條運算規律:
加法交換律:,
。
加法結合律:,
。
存在零元素:在中存在一個元素
,使得
,
。
存在負元素:對於任意,在\(V\)中存在一個元素\(\beta\),使得\(\alpha + \beta = 0\)。
數乘結合律:,
,
。
數乘對加法的分配律:,
,
。
係數加法對數乘的分配律:,
,
。
單位元數乘:,
。
則稱是數域
上的綫性空間。
2. 子空間的判定:
設是數域
上的綫性空間,
是
的非空子集合。如果
對於
中所定義的加法和數乘運算也構成數域
上的綫性空間,則稱
是
的子空間。
判定方法:對於的非空子集合
若滿足:
對於任意,有
(對加法封閉)。
對於任意和
,有
(對數乘封閉)。
則是
的子空間。
例題解析:
1. 判斷所有實數域上的
矩陣構成的集合
對於矩陣的加法和數乘運算是否構成實數域
上的綫性空間。
解:
加法交換律:設,
,
,
,
,滿足加法交換律。
加法結合律:設,
,
,滿足加法結合律。
存在零元素:零矩陣,對於任意
,
。
存在負元素:對於任意,
,使得
。
數乘結合律:設,
,
。
數乘對加法的分配律:設,
,
。
係數加法對數乘的分配律:設,
,
。
單位元數乘:。
所以所有實數域上的
矩陣構成的集合
對於矩陣的加法和數乘運算構成實數域
上的綫性空間。
2. 判斷實數域上的所有
次多項式構成的集合
(
固定)對於多項式的加法和數乘運算是否構成實數域
上的綫性空間。
解:
加法交換律:設,
,
,
,
,滿足加法交換律。
加法結合律:設,
,
,滿足加法結合律。
存在零元素:零多項式,對於任意
,
。
存在負元素:對於任意,
,使得
。
數乘結合律:設,
,
。
數乘對加法的分配律:設,
,
。
係數加法對數乘的分配律:設,
,
。
單位元數乘:。
所以實數域上的所有
次多項式構成的集合
對於多項式的加法和數乘運算構成實數域
上的綫性空間。
3. 判斷實數域上的
維矢量空間
中,所有形如
的矢量構成的集合
是否是
的子空間。
解:
對加法封閉:設),
,
。
對數乘封閉:設,
,
。
所以集合是
的子空間。
4. 判斷所有實數域上的
上三角矩陣構成的集合
對於矩陣的加法和數乘運算是否構成實數域
上的綫性空間,若是,進一步判斷它是否為所有
矩陣構成的集合
的子空間。
解:
判斷是否構成綫性空間:
加法交換律:設,
,
,
,滿足加法交換律。
加法結合律:設,
,
,滿足加法結合律。
存在零元素:零矩陣,對於任意
,
。
存在負元素:對於任意,
,使得
。
數乘結合律:設,
,
。
數乘對加法的分配律:設,
,
。
係數加法對數乘的分配律:設,
,
。
單位元數乘:。
所以集合對於矩陣的加法和數乘運算構成實數域
上的綫性空間。
判斷是否為子空間:
對加法封閉:由上述加法運算可知,若,
,滿足對加法封閉。
對數乘封閉:若,
,
,滿足對數乘封閉。
又因為是
的非空子集合,所以
是
的子空間。
5. 判斷實數域上的二維矢量空間
中,所有形如
的矢量構成的集合
是否是
的子空間。
解:
對加法封閉:設,
,
,
,滿足對加法封閉。
對數乘封閉:設,
,
,
,滿足對數乘封閉。
又是
的非空子集合,所以集合
是
的子空間。
6. 判斷實數域上的
維矢量空間
中,所有形如
且
的矢量構成的集合
是否是
的子空間。
解:
對加法封閉:設,
,且
,
,
,則
,所以
,滿足對加法封閉。
對數乘封閉:設,
,
,
,
,所以
,滿足對數乘封閉。
又是
的非空子集合,所以集合
是
的子空間。
7. 判斷所有實數域上的多項式構成的集合
中,次數等於
的多項式構成的集合
對於多項式的加法和數乘運算是否構成實數域
上的綫性空間,是否為
的子空間。
解:
判斷是否構成綫性空間: 設,
(
,
),
,當
時,
的次數小於
,不屬於
,不滿足加法封閉性。
所以集合對於多項式的加法和數乘運算不構成實數域
上的綫性空間,由於不構成綫性空間,所以也不是
的子空間。
8. 已知是實數域
上的綫性空間,
,
是
的子空間,判斷
是否是
的子空間。
解:
對加法封閉:設,則
且
,
且
。
因為和
是子空間,所以
且
,即
,滿足對加法封閉。
對數乘封閉:設,
,則
且
。
因為和
是子空間,所以
且
即
,滿足對數乘封閉。
又是
的非空子集合(因為
,
是子空間,至少有零元素
且
,所以
),所以
是
的子空間。