里斯-马尔可夫-角谷表示定理

来自维基百科,自由的百科全书

在数学中,里斯-马尔可夫-角谷表示定理局部紧空间上的连续函数空间中的线性泛函与测度论中的测度联系起来。该定理冠名于 Frigyes Riesz (1909 ,其对于单位区间上的连续函数给出了该定理,而 Andrey Markov (1938 将结果推广到一些非紧空间, Shizuo Kakutani (1941 则将结果推广到豪斯多夫空间

该定理有许多紧密相关的变体,在这些变体中,线性泛函可能是复值、实值或正值的,作为其定义域的空间可以是单位区间、紧空间或局部紧空间,所涉及的连续函数可能限定为是在无穷远处消失的或紧支撑的,而测度可以是贝尔测度英语Baire measure正则博雷尔测度英语Borel regular measure拉东测度不定号测度复测度

Cc(X)上正线性泛函的表示定理

对于支撑复值连续函数空间 上的正线性泛函的版本,定理的表述如下:

定理局部紧豪斯多夫空间,而 上的正线性泛函。则 上存在一个包含所有博雷爾集Σ-代数 ,且 上有唯一的正测度 满足[1]

且还有以下额外性质成立:

  • 对于每一个紧子集
  • 每个博雷尔集 都是外正则的,也就是说
  • 是一开集,或 是一满足 的博雷尔集,则 内正则的,也就是说
  • 完备测度空间

因此,如果 中的所有开集都是σ-紧英语σ-compact space的,则 是一个拉东测度[2]

C0(X)的连续对偶的表示定理

以下表示定理(同样也被称为里斯-马尔可夫定理),给出了 连续对偶空间的具体实现,其中 上的在无穷远处消失的连续函数所构成的集合。

定理 是局部紧的豪斯多夫空间。对于任何 上的连续线性泛函 上存在唯一的复值正则博雷尔测度 满足

复值博雷尔测度 称为是正则的,若正测度 正则的,也就是说每个博雷尔集关于 都是内正则且外正则的。 的范数作为一个线性泛函来说就是 总变差 ,其为

最后,当且仅当测度 是正测度, 是一个正线性泛函

这个结论的有界线性泛函版本,可通过先证明有界线性泛函可以写成正线性泛函的有限线性组合来推出。

历史评论

在由 Frigyes Riesz (1909 提供的原始版本中,此定理表明:对于区间 上的连续函数 所构成的空间 上的任何连续线性泛函 都可表示为

其中 是区间 上的有界变差函数,积分是黎曼-斯蒂尔杰斯积分。区间上的正则博雷尔测度与有界变差函数之间存在一一对应关系(即,将相应的勒贝格-斯蒂尔切斯测度赋予每个有界变差函数,而对勒贝格-斯蒂尔切斯测度的积分与连续函数的黎曼-斯蒂尔切斯积分一致),于是上述定理推广了里斯的原始表述。 [3]

引注

参考资料

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.