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

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

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

 Cc(X)上正线性泛函的表示定理 
对于紧支撑复值连续函数空间  上的正线性泛函的版本，定理的表述如下：

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



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

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

因此，如果  中的所有开集都是的，则  是一个拉东测度。

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

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



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



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

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

 历史评论 
在由  提供的原始版本中，此定理表明：对于区间  上的连续函数  所构成的空间  ，  上的任何连续线性泛函  都可表示为



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

 引注 

 参考资料 



 ; a category theoretic presentation as natural transformation.








Category:对偶理论
Category:泛函分析定理
Category:线性泛函
Category:积分表示