對偶空間

線性泛函構成的向量空間(或包含全體泛函,或僅包含連續泛函)

數學裏,任何向量空間V都有其對應的對偶向量空間(或簡稱為對偶空間),由V線性泛函組成。此對偶空間俱有一般向量空間的結構,像是向量加法及純量乘法。由此定義的對偶空間也可稱之為代數對偶空間。在拓撲向量空間的情況下,由連續的線性泛函組成的對偶空間則稱之為連續對偶空間。

線性代數
向量 · 向量空間 · 基底  · 行列式  · 矩陣

對偶空間是 row vector ()與 column vector ()的關係的抽象化。這個結構能夠在無限維度空間進行並為測度,分佈希爾伯特空間提供重要的觀點。對偶空間的應用是泛函分析理論的特徵。傅立葉變換亦內蘊對偶空間的概念。


代數對偶空間

編輯

 為 在 上的向量空間,定義其對偶空間 為由  的所有線性函數的集合。 即是 的標量線性變換。 本身是 向量空間,並且對所有 中的  、所有 中的 、所有 中的 滿足以下加法及標量乘法:

 
 

張量的語言中, 的元素被稱為反變或逆變(contravariant)向量,而 的元素被稱為共變或協變(covariant)向量、「餘向量」或「同向量」(co-vectors),「線性型」或「1-形式」(one-form)。

例子

編輯

如果 是有限維的, 的維度和V的維度便相等; 如果  的基, 便應該有相對基 ,記作:

 

如果 是平面幾何向量的空間, 便是一組組的平行線。我們能從平行線應用到任何向量產生一個標量。

如果 是無限維度, 不能產生 的基;而 的維度比 的大。

例如空間 的元素是實數列,其擁有很多非零數字。 的雙對空間是所有實數數列的空間。這些數列 被用於元素 而產生 

線性映射的轉置

編輯

 是線性映射。  轉置 定義為

 

對任何向量空間 ,定義 為所有從  的線性映射組成的向量空間。 產生從  單射;這是個同構若且唯若 是有限維的。

若 線性映射f表示作其對 的基之矩陣  ,則 表示作其對 的對偶基之轉置矩陣。 若 是另一線性映射,則 

範疇論的語言裏,為任何向量空間取對偶為任何線性映射取轉置都是向量空間範疇逆變函子

雙線性乘積及對偶空間

編輯

正如所見,如果 擁有有限維度,  是同構的,但是該同構並不自然;它是依賴於我們開始所用的 的基。事實上,任意同構  上定義了一個唯一的非退化的雙線性型:

 

相反地從每個在有限維空間中的非退化的雙線性積可以產生由 映射到 的同構。

到雙對偶空間內的單射

編輯

存在一個由 到其雙對偶 的自然映射 ,定義為

 

 常是單射;若且唯若 的維數有限時, 是個同構。

連續對偶空間

編輯

處理拓撲向量空間時,我們一般僅對該空間射到其基域的連續線性泛函感興趣。由此導致連續對偶空間之概念,此乃其代數對偶空間之一子空間。向量空間 之連續對偶記作 ′。此脈絡下可逕稱連續對偶為對偶

線性賦範向量空間 (如一巴拿赫空間或一希爾伯特空間)之連續對偶 產生一線性賦範向量空間。對一 上之連續線性泛函,其範數 定義為

 

此法變一連續對偶為一線性賦範向量空間,實為巴拿赫空間。

例子

編輯

對任意有限維之線性賦範向量空間拓撲向量空間,正如歐幾里得空間,其連續與代數對偶不二。

 為實數,並考慮所有序列 構成之巴拿赫空間l p,使其範數

 

有限。以 定義  其連續對偶遂自然等同於 :給定一元素  中相應元素為序列  ,其中 謂第 項為1且餘項皆0之序列。反之,給定一元素  上相應之連續線性泛函 定為 (對一切 ,見Hölder不等式)。

準此, 之連續對偶亦自然同構於 。再者,巴拿赫空間 (賦以上確界範數之全體收斂序列)及  中收斂至零者)之連續對偶皆自然同構於 

進一步的性質

編輯

 希爾伯特空間,則其連續對偶亦然,並反同構於 ;此即是里斯表示定理的陳述,同時也啟發了量子力學之數學描述時所用的狄拉克符號

類似雙重代數對偶,對連續線性算子亦有連續單射 ,此映射實為等距同構,即  對一切  皆真。使 雙射之空間稱自反空間

連續對偶賦 以一新拓撲,稱之為弱拓撲

V之對偶可分,則 亦可分。反之則不然:考慮空間 ,則其對偶 不可分。

引用

編輯