一类效应代数中的理想

证明了若Ⅰ是效应代数(E(Ω),⊕,⊥,0,1)的一个闭理想,则存在Ω的一个闭的子集S,使得I是所有在S上为零的函数的集合.反之,若S是一个Ω的闭子集,则所有在S上为零的函数之集是效应代数(E(Ω),⊕,⊥,0,1)的一个闭理想.     

设计积分方程的数值解法在理论上需要研究的问题

讨论设计积分方程的数值解法在理论上需要研究两个问题.首先是逼近解的存在性(也就是数值解的存在性),其次是逼近解φn在一定意义下逼近φ,即可行性问题和收敛性问题.前者一般依赖后者的结果,而研究收敛性问题是一个相当困难的事.