文章基本信息

标题：Rearranging Series Constructively
本地全文：下载
作者：Josef Berger (Ludwig-Maximilians-Universität München ; Germany) Douglas S. Bridges (University of Canterbury ; New Zealand) 等
期刊名称：Journal of Universal Computer Science
印刷版ISSN：0948-6968
出版年度：2009
卷号：15
期号：17
出版社：Graz University of Technology and Know-Center
摘要：Riemann's theorems on the rearrangement of absolutely convergent and conditionally convergent series of real numbers are analysed within Bishop-style constructive mathematics. The constructive proof that every rearrangement of an absolutely convergent series has the same sum is relatively straightforward; but the proof that a conditionally convergent series can be rearranged to converge to whatsoever we please is a good deal more delicate in the constructive framework. The work in the paper answers affirmatively a question posed many years ago by Beeson.
关键词：Rieman's theorems, constructive analysis