理解對偶空間的方式

理解對偶空間的方式

來自專欄數學放映室9 人贊了文章

看到問題怎麼形象地理解對偶空間(Dual Vector Space)?

現將答案遷移到專欄之中。

寫個簡明扼要的分析吧。

在定義來看對偶空間只是線性泛函的全體,這是個十分抽象且不好操作的對象。所以需要一種辦法讓大家形象的理解對偶空間。那就是找同構,用同構的空間去表示對偶空間。

VV^* 是一組空間與其上的對偶空間,顯然維數均為 n 。後令 {e_i}V 上的一組基, 因為有限維線性空間可以被基唯一確定,且確定線性空間的基彼此同構,故可以把空間的變化問題轉化為基變化的問題,可見這樣更好操作。

1,找 V^*上的基,

e^ivin V 的作用為提前元素關於基的第 i 個坐標,易知{e^i}V^* 上的一組基。且 e^j(e_i)=1(i=j)  or  0(i
e j) ,因為基底關於自身的坐標為1,關於其他的為0,。

2,研究 v V^* 的作用

forall vin V,fin V^* ,令 v(f)=f(v) ,故 v(f+g)=f(v)+g(v)=v(f)+v(g),可見作用 v 是well-defined,即

v:V^*
ightarrowmathbb{R}\            f  mapsto f(v)vin (V^*)^*

很好的結果,但這還不夠。

3,研究 (V^*)^* 上的性質

	ilde{v}in (V^*)^* , 	ilde{v}:V^*
ightarrowmathbb{R} ,令 v=sum_{i=1}^{n}	ilde{v}(e^i)e_iin V ,

此時有 v(e^j)=e^j(v)=e^jsum_{i=1}^{n}	ilde{v}(e^i)e_i=sum_{i=1}^{n}	ilde{v}(e^i)e^j(e_i)=	ilde{v}(e^i)

可見 vV^* 的作用線性泛函與給定的 	ilde{v} 相同。

4,水到渠成

做一個簡單的同構映射,雙射的性質可以在前面看出,phi:V
ightarrow (V^*)^*\ v  mapsto 	ilde{v}

故在同構意義下 V=(V^*)^*

對偶空間也叫做共軛空間,像這種二次共軛等於自身的空間,數學上稱作 自反空間

既然看到標籤里有泛函分析,那再從泛函分析的角度說一下對偶空間,像我們熟知的例子 (l_q)^*=l_p ,其中 frac{1}{p}+frac{1}{q}=1(C_0)^*=l_1 ,思路與之前一樣,還是找到同構的空間,這樣就把抽象的對象便具體了,下附(C_0)^*=l_1的證明,從中可以看出證明裡在做的就是構造同構映射去表示對偶空間:

同時因為 (l_1)^*=l_{infty} ,所以它不是自反空間。

btw,至於reisz表示定理為什麼要叫表示定理就很顯然吧。


推薦閱讀:

16、微分方程、特徵值和穩定性、收斂和穩態、指數矩陣解耦對角
PCA線性代數講解
時域特徵值提取的MATLAB代碼實現(均方根、峰值因子、脈衝因子、裕度因子、峭度因子、波形因子和偏度等)

TAG:線性代數 | 數學 | 泛函分析 |