主題
Search

Riesz 表示定理


這個定理有幾個版本。基本上,它說任何有界線性泛函 T 在緊支撐連續函式空間 X 上,與對某個測度 mu 進行積分是相同的,

 Tf=intfdmu.

這裡,積分是 勒貝格積分

由於線性泛函構成一個向量空間,並且不是“正的”,因此測度 mu 可能不是正測度。但是如果泛函 T 是正的,在 f>=0 意味著 Tf>=0 的意義上,那麼測度 mu 也是正的。在複線性泛函的一般性中,測度 mu 是一個複測度。測度 muT 唯一確定,並具有正則 博雷爾測度 的性質。它必須是一個有限測度,這對應於泛函的有界條件。事實上,運算元範數 T, ||T||, 是 X全變差測度, |mu|(X)

自然地,有一些假設對於使其有意義是必要的。空間 X 必須是區域性 的,並且是 T2 空間,這不是一個很強的限制。事實上,對於無界空間 X,該定理也適用於在無窮遠處消失的連續函式上的泛函,在對於任何 epsilon>0,存在一個緊集 K 使得對於任何不在 K 中的 x|f(x)|<epsilon (這是來自微積分的 lim_(x->infty)f(x)=0 的概念)。

Riesz 表示定理在描述包含緊支撐連續函式作為稠密子空間的任何空間的對偶向量空間時非常有用。粗略地說,線性泛函通常透過與隆起函式卷積而被修改為緊支撐連續函式上的有界線性泛函。然後它可以被實現為對測度進行積分。通常,測度必須是絕對連續的,因此對偶是對函式進行積分。


參見

絕對連續, 複測度, 對偶向量空間, 泛函, 希爾伯特空間, 勒貝格測度, 測度空間, 極座標表示, Radon-Nikodym 定理, 奇異測度

此條目由 Todd Rowland 貢獻

使用 探索

引用為

Rowland, Todd. "Riesz Representation Theorem." 來自 Web 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/RieszRepresentationTheorem.html

主題分類