补充资料：构造分析

构造分析
In I

　　级数收敛问题中特别明显.同时也有相当的差别，如下列E.Specker(见【4])的结果:可以构造一递增的构造实数的构造序列刀使得O<月(n)<1，且刀不是基本的(因此，不(构造地)收敛于任意构造实数).此外，口不包含任意构造收敛子序列，但口在构造连续统中的值集不能达到其上确界.引人构造实数的另一方法是在某些基础上扩展概念的构造化.更精确地，构造。乖分攀(construCtivem一a卿fraction)(m>l)是一(正规)算法“使得a(0)为整数，且对i>O，a(i)是自然数，其中O簇a(i)(m一l(每个阴元分数a，相当于构造实数的构造序列a(0)+艺又_，m一‘a(k》.尽管这个构造实数概念简单，但它使用并不广泛，因为它有许多本质性的缺点:如不保持完全性定理，不存在算法实现两m元分数的加法. 构造函数是可计算实数上点点可计算函数的直观概念的精确形式.(实变)构造函数(constructive fun。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。