p 空间

 

标题: Lp空间
作者: 塞巴斯蒂安·古伊泽尔
提交日期: 2016年10月5日
摘要: Lp是p次幂可积的函数空间。它是分析和概率中最基本的Banach空间之一。我们开发了一个函数空间的框架,然后利用Isabelle/HOL中已有的积分理论实现了该框架下的Lp空间。我们的发展包含了Lp空间最基本的性质,特别是Hölder和Minkowski不等式,Lp的完备性,对偶性,几乎必然收敛下的稳定性,Lp和Lq中函数的乘法,条件期望下的稳定性。
BibTeX公司:
@文章{Lp AFP,
 author={Sebastien Gouezel},
 title={Lp spaces},
 journal={Archive of Formal proof s},
 month=oct,
 year=2016,
 note={url{https://isa AFP.org/entries/Lp.html},
正式证明开发},
 ISSN={2150-914x},
}
许可证: 许可协议
取决于: 遍历理论
使用单位: 傅里叶变换