跳至內容

對偶空間

維基百科,自由的百科全書
線性代數
向量 · 向量空間 · 基底  · 行列式  · 矩陣

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

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


代數對偶空間

[編輯]

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

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

例子

[編輯]

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

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

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

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

線性映射的轉置

[編輯]

是線性映射。 轉置定義為

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

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

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

雙線性乘積及對偶空間

[編輯]

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

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

到雙對偶空間內的單射

[編輯]

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

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

連續對偶空間

[編輯]

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

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

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

例子

[編輯]

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

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

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

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

進一步的性質

[編輯]

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

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

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

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

引用

[編輯]