跳转到内容

对偶空间

维基百科,自由的百科全书
(重定向自对偶基
线性代数
向量 · 向量空间 · 基底  · 行列式  · 矩阵

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

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


代數对偶空间

[编辑]

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

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

例子

[编辑]

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

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

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

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

線性映射的轉置

[编辑]

是線性映射。 轉置定義為

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

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

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

雙線性乘積及对偶空間

[编辑]

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

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

到雙对偶空間内的單射

[编辑]

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

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

連續對偶空間

[编辑]

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

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

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

例子

[编辑]

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

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

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

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

進一步的性質

[编辑]

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

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

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

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

引用

[编辑]