泛函分析 商空间
線性空間中的商空間(Quotient Space)
定義一個等價關系
假設M是線性空間X的線性子空間:對于所以x,y屬于X,我們定義:
x≡y(modM)?x?y∈Mx \equiv y(\bmod M) \Longleftrightarrow x-y \in M x≡y(modM)?x?y∈M
上面這個是X上定義的一個等價關系:x~yx \sim y \quadx~y if and only if (x?y)∈Z\quad(x-y) \in Z(x?y)∈Z
定義商空間
對于x,我們定義一個記號:[x],表示的是一個集合。
[x]:={y∈X:x≡y(modM)}={y∈X:x?y∈M}=x+M[x]:=\{y \in X: x \equiv y(\bmod M)\}=\{y \in X: x-y \in M\}=x+M [x]:={y∈X:x≡y(modM)}={y∈X:x?y∈M}=x+M
將線性空間X中的每一個x都對應一個這樣的集合,則所有的這樣的集合加起來就是商空間X/M。
幾何上的例子
下面舉一個例子,假設X為R2R^2R2線性空間,M為其中一條直線y=x(綠色)上的所有點組成的X的子線性空間,那么對于x=A=(-1,2),來說,[x]:=橙色的那條線上的所有點,可以計算一下
(-1,2)+(2,2)=(1,4)
(-1,2)+(1,1)=(0,3)
(-1,2)+(0,0)=(-1,2)
(-1,2)+(-1,-1)=(-2,1)
把點(1,4),(0,3),(-1,2),(-2,1)擬合就得到橙色線
總結
- 上一篇: 测度论相关概念(吐)
- 下一篇: 泛函分析1-线性空间