對偶空間
線性泛函構成的向量空間(或包含全體泛函,或僅包含連續泛函) 来自维基百科,自由的百科全书
線性泛函構成的向量空間(或包含全體泛函,或僅包含連續泛函) 来自维基百科,自由的百科全书
在數學裡,任何向量空間V都有其對應的對偶向量空間(或簡稱為對偶空間),由V的線性泛函組成。此對偶空間俱有一般向量空間的結構,像是向量加法及純量乘法。由此定義的對偶空間也可稱之為代數對偶空間。在拓撲向量空間的情況下,由連續的線性泛函組成的對偶空間則稱之為連續對偶空間。
![]() | 此條目需要精通或熟悉相關主題的編者參與及協助編輯。 |
對偶空間是 row vector ()與 column vector ()的關係的抽象化。這個結構能夠在無限維度空間進行並為測度,分佈及希爾伯特空間提供重要的觀點。對偶空間的應用是泛函分析理論的特徵。傅立葉變換亦內蘊對偶空間的概念。
設為 在域上的向量空間,定義其對偶空間為由到的所有線性函數的集合。 即是的標量線性變換。本身是的向量空間,並且對所有中的及、所有中的、所有中的滿足以下加法及標量乘法:
在張量的語言中,的元素被稱為反變或逆變(contravariant)向量,而的元素被稱為共變或協變(covariant)向量、「餘向量」或「同向量」(co-vectors),「線性型」或「1-形式」(one-form)。
如果是有限維的,的維度和V的維度便相等; 如果是的基,便應該有相對基,記作:
如果是平面幾何向量的空間,便是一組組的平行線。我們能從平行線應用到任何向量產生一個標量。
如果是無限維度,不能產生的基;而的維度比的大。
例如空間的元素是實數列,其擁有很多非零數字。的雙對空間是所有實數數列的空間。這些數列被用於元素而產生。
設是線性映射。 的轉置定義為
對任何向量空間,定義為所有從到的線性映射組成的向量空間。產生從至的單射;這是個同構若且唯若是有限維的。
正如所見,如果擁有有限維度,跟是同構的,但是該同構並不自然;它是依賴於我們開始所用的的基。事實上,任意同構在上定義了一個唯一的非退化的雙線性型:
相反地從每個在有限維空間中的非退化的雙線性積可以產生由映射到的同構。
存在一個由到其雙對偶的自然映射,定義為
常是單射;當且僅當的維數有限時,是個同構。
處理拓撲向量空間時,我們一般僅對該空間射到其基域的連續線性泛函感興趣。由此導致連續對偶空間之概念,此乃其代數對偶空間之一子空間。向量空間之連續對偶記作′。此脈絡下可逕稱連續對偶為對偶。
線性賦範向量空間(如一巴拿赫空間或一希爾伯特空間)之連續對偶產生一線性賦範向量空間。對一上之連續線性泛函,其範數定義為
此法變一連續對偶為一線性賦範向量空間,實為巴拿赫空間。
對任意有限維之線性賦範向量空間或拓撲向量空間,正如歐幾里得空間,其連續與代數對偶不二。
令為實數,並考慮所有序列構成之巴拿赫空間l p,使其範數
有限。以定義,其連續對偶遂自然等同於:給定一元素,中相應元素為序列 ,其中謂第項為1且餘項皆0之序列。反之,給定一元素,上相應之連續線性泛函定為(對一切,見Hölder不等式)。
準此,之連續對偶亦自然同構於。再者,巴拿赫空間(賦以上確界範數之全體收斂序列)及(中收斂至零者)之連續對偶皆自然同構於。
若為希爾伯特空間,則其連續對偶亦然,並反同構於;此即是里斯表示定理的陳述,同時也啟發了量子力學之數學描述時所用的狄拉克符號。
類似雙重代數對偶,對連續線性算子亦有連續單射,此映射實為等距同構,即 對一切中皆真。使為雙射之空間稱自反空間。
連續對偶賦以一新拓撲,稱之為弱拓撲。
若V之對偶可分,則亦可分。反之則不然:考慮空間,則其對偶不可分。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.