Lp空间

Lp空间:Lp是p次幂可积的函数空间。它是分析和概率中最基本的Banach空间之一。我们开发了一个函数空间的框架,然后利用Isabelle/HOL中已有的积分理论实现了该框架下的Lp空间。我们的发展包含了Lp空间的最基本性质,特别是Hölder和Minkowski不等式,Lp的完备性,对偶性,几乎必然收敛下的稳定性,Lp和Lq中函数的乘法,条件期望下的稳定性。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考文献1条)

显示结果1/1。
按年份排序(引用)

  1. 伊姆勒,费边;特拉特,克里斯托夫:敖德斯流:变分方程和庞加莱的形式化é 地图(2019年)