1) relatively perfect set
相对完备集
2) complete relative σ-perfect set
完全相对σ-完备集
1.
In Banach space,by the conditional complete relative σ-perfect set,it is obtained the conclusion that the existence and uniqueness of solution for operator equation A(x,x)=x such that u0≤A(u0,v0),A(v0,u0)≤v0.
在Banach空间中,通过完全相对σ-完备集这一条件,得到了满足上下解条件(u0≤A(u0,v0)和A(v0,u0)≤v0)的算子方程A(x,x)=x解的存在唯一性结论,并给出了迭代序列及其精确解的序估计式。
3) relative completeness
相对完备性
4) consistent directed complete posets
相容定向完备偏序集
1.
As a corollary,we show that the category CDCPO of consistent directed complete posets(in short,cdcpos) and Scott continuous maps is a Cartesian closed full subcategory of POSET.
作为推论,指出了相容定向完备偏序集范畴CDCPO是偏序集范畴POSET的Cartesian闭的满子范畴。
5) ZS-consistent Complete Poset
ZS-相容完备偏序集
6) perfect set
完备集
1.
Finally, a special corresponding relation of point and functional value on perfect set C is presented by the method of binary and ternary decimal mumber.
将康托函数拓广为一个奇异分布函数，然后讨论了该分布函数的连续性和奇异性，在闭区间〔０，１〕上的相似性和平移性，最后以二进制和三进制小数为工具讨论了完备集Ｃ上的点与函数值间特殊的对应关系。
补充资料：哥德尔不完备性定理
| 哥德尔不完备性定理 G  del's incompleteness theorem数学家K.哥德尔于1931年证明的两个定理。第一不完备性定理：任意一个包含算术系统在内的形式系统中，都存在一个命题，它在这个系统中既不能被证明也不能被否定。第二不完备性定理：任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性。 哥德尔的不完备性定理使希尔伯特证明数论系统无矛盾性的方案归于失败。但哥德尔的证明中所用到的方法却开创了递归论的研究。哥德尔不完备性定理中所指出的不可判定的命题是理论的而不是自然的命题。1977年，J.帕里斯给出了一个自然的命题，这个命题在数论中是不可判定的。这又引起人们寻找这类问题的兴趣。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条