Lp空间

Lp空间:Lp是p次幂可积的函数空间。Banach空间是最基本的概率分析。我们开发了一个函数空间的框架,然后利用Isabelle/HOL中已有的积分理论实现了该框架下的Lp空间。我们的条件乘法空间中的Lpöq的基本性质,特别是Lpéq在条件完全下的收敛性、稳定性。

此软件的关键字

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


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

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

  1. Immler,Fabian;Traut,Christoph:敖德斯流:变分方程和庞加莱映射的形式化(2019)