Chapter 1
继续第一章, 我们从第一章的最后一节开始
1.C
这一节我们围绕子空间的概念展开, 下面我们给出子空间的定义
若 V V V的子集 U U U是一个向量空间, 那么这个空间被称作 V V V的子空间(使用与定义于 V V V上的一样的加法和标量乘法)
比如说1.33 Example: { ( x 1 , x 2 , 0 ) : x 1 , x 2 ∈ F } \{(x_1,x_2,0):x_1,x_2\in F\} {(x1,x2,0):x1,x2∈F}就是 F 3 F^3 F3的子空间
有些数学家使用线性空间这样的术语, 这和子空间的意义相同
由上一节学习到的概念我们可以知道, 如果我想判定一个集合是否是向量空间, 我们得从六个定义入手, 也就是我们所说的三率三元
接下来我将给出方法来确定一个向量空间的子集是否是其子空间
1.34
V V V的子集 U U U当且仅当在满足下面三个条件时是一个子空间
加法单位元
0 ∈ U 0\in U 0∈U
加法封闭
∀ u , w ∈ U , u + w ∈ U \forall u,w\in U,u+w\in U ∀u,w∈U,u+w∈U
标量乘法封闭
∀ a ∈ F , u ∈ U , a u ∈ U \forall a\in F,u\in U,au\in U ∀a∈F,u∈U,au∈U
这里我们来证明一下这三个条件的满足能否证明出 U U U是向量空间
-
proof.
三元: 加法单位元, 加法逆元, 乘法单位元
- 第一个条件直接给出了加法单位元, 其次由条件三 ∀ v ∈ U \forall v\in U ∀v∈U有 − 1 ∈ F , ( − 1 ) v ∈ U -1\in F,(-1)v\in U −1∈F,(−1)v∈U, 得到加法逆元, 乘法单位元同理 ∀ v ∈ U \forall v\in U ∀v∈U有 1 ∈ F , 1 v ∈ U 1\in F,1v\in U 1∈F,1v∈U
三率: 交换律, 结合律, 分配律
- 条件二和条件三保证了这个子集在加法和数乘上有意义, 且集合 U U U是 V V V的子集, V V V是向量空间, 显然 U U U也会满足向量空间 V V V满足的交换律,结合律和分配律
如此一来对于子空间的判定我们就只需要看看这个子集是是否有加法单位元以及是否在加法和数乘上封闭
实际上第一个条件可以用集合 U U U非空来替代, 因为 U U U非空, 那么一定存在 u ∈ U u\in U u∈U根据条件三有 0 ∈ F , 0 u = 0 ∈ U 0\in F,0u=0\in U 0∈F,0u=0∈U, 这样可以直接证明出加法单位元, 实际上笔者在这里认为条件三其实包含了集合 U U U非空的前提, 因为条件三要求就是有 u ∈ U u\in U u∈U, 那么如果我们这样看的话实际上只需要记忆后两个条件即可
1.35 Example
这里我将列举出书上列举的一系列子空间的例子:
如果 b ∈ F , { ( x 1 , x 2 , x 3 , x 4 ) ∈ F 4 : x 3 = 5 x 4 + b } b\in F,\{(x_1,x_2,x_3,x_4)\in F^4:x_3=5x_4+b\} b∈F,{(x1,x2,x3,x4)∈F4:x3=5x4+b}
当且仅当 b = 0 b=0 b=0时这是 F 4 F^4 F4的子空间
从区间 [ 0 , 1 ] [0,1] [0,1]映射到连续实数的函数集合是 R [ 0 , 1 ] R^{[0,1]} R[0,1]的子空间
从集合 R R R映射到可微实数的函数集合的 R R R^R RR的子空间
从区间 ( 0 , 3 ) (0,3) (0,3)映射到可微实数的函数集合 f f f有 f ′ ( 2 ) = b f'(2)=b f′(2)=b, 当且仅当 b = 0 b=0 b=0时是 R ( 0 , 3 ) R^{(0,3)} R(0,3)的子空间
极限为0的复数序列组成的集合是 C ∞ C^{\infin} C∞的子空间
比如说第四项中, 对于函数 f f f, 有 f ′ ( 2 ) = b f'(2)=b f′(2)=b, 我们知道子空间要求加法封闭, 那么假设 h , g ∈ f h,g\in f h,g∈f, 有 ( h + g ) ′ ( 2 ) = b = h ′ ( 2 ) + g ′ ( 2 ) = 2 b (h+g)'(2)=b=h'(2)+g'(2)=2b (h+g)′(2)=b=h′(2)+g′(2)=2b, 则有 b = 0 b=0 b=0
形象来理解一下, R 2 R^2 R2的子空间是 { 0 } , R 2 \{0\},R^2 {0},R2, 以及 R 2 R^2 R2中的所有的穿过原点的线, R 3 R^3 R3的子空间是 { 0 } , R 3 \{0\},R^3 {0},R3和所有经过原点的 R 3 R^3 R3上的线和平面, 当然这是在我们人类可以理解的维度下对子空间的理解, 证明上面提及的子空间很容易, 但是难的是去证明只有这些子空间是 R 2 R^2 R2和 R 3 R^3 R3的子空间, 这个方面的内容我们会在下一章进行介绍
当我们在处理向量空间有关的问题时, 因为子空间的良好性质, 我们一般对子空间更感兴趣, 而不是任意的子集, 那么下面的子空间和的概念将十分有用
我们先来提出子集的和的概念
1.36 Definition
如果 U 1 , U 2 , ⋯ , U m U_1,U_2,\cdots,U_m U1,U2,⋯,Um是 V V V的子集, 那么 U 1 , U 2 , ⋯ , U m U_1,U_2,\cdots,U_m U1,U2,⋯,Um的和 U 1 + ⋯ + U m U_1+\cdots+U_m U1+⋯+Um表示了所有可能的 U 1 , ⋯ , U m U_1,\cdots,U_m U1,⋯,Um的元素的和, 更准确地说:
U 1 + U 2 + ⋯ + U m = { u 1 + u 2 + ⋯ + u m : u 1 ∈ U 1 , ⋯ , u m ∈ U m } U_1+U_2+\cdots+U_m=\{u_1+u_2+\cdots+u_m:u_1\in U_1,\cdots,u_m\in U_m\} U1+U2+⋯+Um={u1+u2+⋯+um:u1∈U1,⋯,um∈Um}
1.37 Example
如果有 U = { ( x , 0 , 0 ) ∈ F 3 : x ∈ F } , W = { ( 0 , y , 0 ) ∈ F 3 , y ∈ F } U=\{(x,0,0)\in F^3:x\in F\},W=\{(0,y,0)\in F^3,y\in F\} U={(x,0,0)∈F3:x∈F},W={(0,y,0)∈F3,y∈F}
那么 U + W = { ( x , y , 0 ) : x , y ∈ F } U+W=\{(x,y,0):x,y\in F\} U+W={(x,y,0):x,y∈F}
1.38 Example
如果有 U = { ( x , x , y , y ) ∈ F 4 : x , y ∈ F } , W = { ( x , x , y , z ) ∈ F 4 : x , y , z ∈ F } U=\{(x,x,y,y)\in F^4:x,y\in F\},W=\{(x,x,y,z)\in F^4:x,y,z\in F\} U={(x,x,y,y)∈F4:x,y∈F},W={(x,x,y,z)∈F4:x,y,z∈F}
那么 U + W = { ( x , x , y , z ) ∈ F 4 : x , y , z ∈ F } U+W=\{(x,x,y,z)\in F^4:x,y,z\in F\} U+W={(x,x,y,z)∈F4:x,y,z∈F}
1.39
对于上面的子集的和的定义, 如果我稍微修改一下改成子空间的和, 即如果 U 1 , ⋯ , U m U_1,\cdots,U_m U1,⋯,Um 是向量空间 V V V的子空间, 那么 U 1 + ⋯ + U m U_1+\cdots+U_m U1+⋯+Um就是 V V V中的包含 U 1 , ⋯ , U m U_1,\cdots,U_m U1,⋯,Um的最小的子空间
proof.
显然 0 ∈ U 1 + ⋯ + U m 0\in U_1+\cdots+U_m 0∈U1+⋯+Um且 U 1 + ⋯ + U m U_1+\cdots+U_m U1+⋯+Um在加法和数乘上封闭, 这表示其是 V V V的子空间
假设有一个向量空间 W ∈ V W\in V W∈V, 且这个向量空间是包含了 U 1 , ⋯ , U m U_1,\cdots,U_m U1,⋯,Um的最小子空间
首先, U 1 , ⋯ , U m U_1,\cdots,U_m U1,⋯,Um都被包含于 U 1 + ⋯ + U m U_1+\cdots+U_m U1+⋯+Um(当 U 1 + ⋯ + U m U_1+\cdots+U_m U1+⋯+Um除了一项其他都为加法单位元时), 那么 W ⊆ U 1 + ⋯ + U m W\subseteq U_1+\cdots+U_m W⊆U1+⋯+Um
其次, 对于包含了 U 1 , ⋯ , U m U_1,\cdots,U_m U1,⋯,Um的向量空间, 由于加法的上的封闭, 一定包含了 U 1 + ⋯ + U m U_1+\cdots+U_m U1+⋯+Um, 这样 U 1 + ⋯ + U m ⊆ W U_1+\cdots+U_m\subseteq W U1+⋯+Um⊆W
所以 U 1 + ⋯ + U m = W U_1+\cdots+U_m=W U1+⋯+Um=W是包含了 U 1 , ⋯ , U m U_1,\cdots,U_m U1,⋯,Um的最小子空间
子空间的求和可以类比为子集的求并, 比如说包含两个子空间的最小子空间的这两个子空间的和, 包含两个集合的最小集合是这两个集合的并集
接下来我们给出一个特殊的定义: 直和
1.40 Definition
如果 U 1 , U 2 , ⋯ , U m U_1,U_2,\cdots,U_m U1,U2,⋯,Um是 V V V 的子空间, 那么
- 当 U 1 + ⋯ + U m U_1+\cdots+U_m U1+⋯+Um的元素只能由唯一的求和方式表示: u 1 + u 2 + ⋯ + u m , u j ∈ U j u_1+u_2+\cdots+u_m,u_j\in U_j u1+u2+⋯+um,uj∈Uj, 这样的和被称作直和
- 如果 U 1 + ⋯ + U m U_1+\cdots+U_m U1+⋯+Um是直和, 我们写作 U 1 ⨁ ⋯ ⨁ U m U_1\bigoplus\cdots \bigoplus U_m U1⨁⋯⨁Um
1.41 Example
比如说对于 U = { ( x , y , 0 ) ∈ F 3 : x , y ∈ F } , W = { ( 0 , 0 , z ) ∈ F 3 : z ∈ F } U=\{(x,y,0)\in F^3:x,y\in F\},W=\{(0,0,z)\in F^3:z\in F\} U={(x,y,0)∈F3:x,y∈F},W={(0,0,z)∈F3:z∈F}
有 F 3 = U ⨁ W F^3=U\bigoplus W F3=U⨁W
比如说 ( 1 , 2 , 3 ) ∈ F 3 (1,2,3)\in F^3 (1,2,3)∈F3, 而 ( 1 , 2 , 3 ) (1,2,3) (1,2,3)只能由 u + w , u ∈ U , w ∈ W u+w,u\in U,w\in W u+w,u∈U,w∈W表示, 那么 u , w u,w u,w一定只能为分别为 ( 1 , 2 , 0 ) (1,2,0) (1,2,0)和 ( 0 , 0 , 3 ) (0,0,3) (0,0,3)
1.42 Example
对于 U 1 = { ( x , 0 , ⋯ , 0 ) ∈ F n , x ∈ F } , U 2 = { ( 0 , x , ⋯ , 0 ) ∈ F n , x ∈ F } , ⋯ , U n = { ( 0 , 0 , ⋯ , x ) ∈ F n , x ∈ F } U_1=\{(x,0,\cdots,0)\in F^n,x\in F\},U_2=\{(0,x,\cdots,0)\in F^n,x\in F\},\cdots,U_n=\{(0,0,\cdots,x)\in F^n,x\in F\} U1={(x,0,⋯,0)∈Fn,x∈F},U2={(0,x,⋯,0)∈Fn,x∈F},⋯,Un={(0,0,⋯,x)∈Fn,x∈F}
有 F n = U 1 ⨁ U 2 ⨁ ⋯ ⨁ U n F^n=U_1\bigoplus U_2\bigoplus\cdots \bigoplus U_n Fn=U1⨁U2⨁⋯⨁Un
同时, 反例也能让我们对这一概念理解更加深刻
1.43 Example
有
U 1 = { ( x , y , 0 ) ∈ F 3 : x , y ∈ F } U 2 = { ( 0 , 0 , z ) ∈ F 3 : z ∈ F } U 3 = { ( 0 , y , y ) ∈ F 3 : y ∈ F } U_1=\{(x,y,0)\in F^3:x,y\in F\}\\ U_2=\{(0,0,z)\in F^3:z\in F\}\\ U_3=\{(0,y,y)\in F^3:y\in F\} U1={(x,y,0)∈F3:x,y∈F}U2={(0,0,z)∈F3:z∈F}U3={(0,y,y)∈F3:y∈F}
U 1 + U 2 + U 3 U_1+U_2+U_3 U1+U2+U3就不是直和比如说对于 ( 0 , 0 , 0 ) (0,0,0) (0,0,0)
同时有
( 0 , 0 , 0 ) = ( 0 , 0 , 0 ) + ( 0 , 0 , 0 ) + ( 0 , 0 , 0 ) ( 0 , 0 , 0 ) = ( 0 , 1 , 0 ) + ( 0 , 0 , 1 ) + ( 0 , − 1 , − 1 ) (0,0,0)=(0,0,0)+(0,0,0)+(0,0,0)\\ (0,0,0)=(0,1,0)+(0,0,1)+(0,-1,-1) (0,0,0)=(0,0,0)+(0,0,0)+(0,0,0)(0,0,0)=(0,1,0)+(0,0,1)+(0,−1,−1)
显然不成立
但是在看了这么多的例子之后, 我们虽然理解了直和的概念, 但是总感觉还差了些什么, 我们可以发现我们好像并不知道改如何具体证明一个直和的定义, 因为正式的直和的定义是有唯一的求和形式, 但是我们总不能遍历证明出所有元素的所有形式都是唯一的吧, 接下来我们就提出了一个方法来帮助证明直和
**1.44 **
如果 U 1 , U 2 , ⋯ , U m U_1,U_2,\cdots,U_m U1,U2,⋯,Um是 V V V 的子空间, 那么当且仅当在 0 0 0能被唯一的 u 1 + u 2 + ⋯ + u m u_1+u_2+\cdots+u_m u1+u2+⋯+um表示时(显然 u i = 0 u_i=0 ui=0), U 1 + ⋯ + U m U_1+\cdots+U_m U1+⋯+Um是直和
对于上面的定理我们给出证明:
-
proof.
首先显然能证明出 U 1 + ⋯ + U m U_1+\cdots+U_m U1+⋯+Um是直和时 0 0 0能被唯一的 u 1 + u 2 + ⋯ + u m u_1+u_2+\cdots+u_m u1+u2+⋯+um表示
其次当 0 0 0能被唯一的 u 1 + u 2 + ⋯ + u m u_1+u_2+\cdots+u_m u1+u2+⋯+um表示时, 我们假设有 V ∈ U 1 + ⋯ + U m V\in U_1+\cdots+U_m V∈U1+⋯+Um
且 v = u 1 + u 2 + ⋯ + u m = v 1 + v 2 + ⋯ + v m ( u i , v i ∈ U i ) v = u_1+u_2+\cdots+u_m = v_1+v_2+\cdots+v_m(u_i,v_i\in U_i) v=u1+u2+⋯+um=v1+v2+⋯+vm(ui,vi∈Ui)
则有 0 = ( u 1 − v 1 ) + ( u 2 + v 2 ) + ⋯ + ( u m − v m ) 0=(u_1-v_1)+(u_2+v_2)+\cdots+(u_m-v_m) 0=(u1−v1)+(u2+v2)+⋯+(um−vm)
则 u 1 = v 1 , u 2 = v 2 , ⋯ , u m = v m u_1=v_1, u_2=v_2,\cdots,u_m=v_m u1=v1,u2=v2,⋯,um=vm, 所以 U 1 + ⋯ + U m U_1+\cdots+U_m U1+⋯+Um的元素只能被唯一的 u 1 + u 2 + ⋯ + u m u_1+u_2+\cdots+u_m u1+u2+⋯+um表示
所以 U 1 + ⋯ + U m U_1+\cdots+U_m U1+⋯+Um是直和
1.45
特别的, 我们讨论一下两个子空间的直和
对于 V V V的子空间 U , W U,W U,W, 当且仅当 U ∩ W = { 0 } U\cap W=\{0\} U∩W={0}时, U + W U+W U+W是直和
-
proof.
首先假设 U + W U+W U+W是直和, 不妨令 v ∈ U ∩ W v\in U\cap W v∈U∩W, 也就是说有 v ∈ U v\in U v∈U且 v ∈ W v\in W v∈W, 那么就有 ( − 1 ) v ∈ W (-1)v\in W (−1)v∈W
而同时有 v + ( − 1 ) v = 0 v+(-1)v=0 v+(−1)v=0, 且由 U + W U+W U+W是直和可知, v = ( − 1 ) v = 0 v=(-1)v=0 v=(−1)v=0, 那么显然 U ∩ W = { 0 } U\cap W=\{0\} U∩W={0}
另一方面, 假设 U ∩ W = { 0 } U\cap W=\{0\} U∩W={0}, 不妨令 u ∈ U , w ∈ W u\in U, w\in W u∈U,w∈W, 且 u + w = 0 u+w=0 u+w=0, 我们需要证明的就是 u = w = 0 u=w=0 u=w=0
首先等式表明 u = − w ∈ W u=-w\in W u=−w∈W, 所以有 u ∈ U ∩ W u\in U\cap W u∈U∩W, 但是 U ∩ W = { 0 } U\cap W=\{0\} U∩W={0}, 所以 u = 0 u=0 u=0, 且 u + w = 0 u+w=0 u+w=0, 所以 w = 0 w=0 w=0
得证
上面的结论讨论了两个子空间的求和和直和的关系, 但是当我们讨论超过两个子空间的求和的话就无法使用这个结论, 比如说1.43的例子中有 U 1 ∩ U 2 = U 1 ∩ U 3 = U 2 ∩ U 3 = { 0 } U_1\cap U_2=U_1\cap U_3=U_2\cap U_3=\{0\} U1∩U2=U1∩U3=U2∩U3={0}, 但是 U 1 + U 2 + U 3 U_1+U_2+U_3 U1+U2+U3不是直和
之前我们提到了, 子空间求和可以类比为子集求并集, 相同的, 子空间的直和可以类比成非相邻集合求并集, 但是同一向量空间的两个子空间不可能是非相邻的, 因为他们肯定都包含了加法单位元, 也就是 { 0 } \{0\} {0}, 所以这里可以特殊一点, 可以把非相邻改成只在0处相交
以上就是第一章的全部内容了, 这一章我们讨论了向量空间的概念, 从最基本的集合的概念开始引入, 通过详细的数学语言定义和证明给出了向量空间和子空间的相关性质, 这些都将是后续学习的最基础的知识