Classifying Dini's Theorem
Berger, Josef ; Schuster, Peter
Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, p. 253-262 / Harvested from Project Euclid
Dini's theorem says that compactness of the domain, a metric space, ensures the uniform convergence of every simply convergent monotone sequence of real-valued continuous functions whose limit is continuous. By showing that Dini's theorem is equivalent to Brouwer's fan theorem for detachable bars, we provide Dini's theorem with a classification in the recently established constructive reverse mathematics propagated by Ishihara. As a complement, Dini's theorem is proved to be equivalent to the analogue of the fan theorem, weak König's lemma, in the original classical setting of reverse mathematics started by Friedman and Simpson.
Publié le : 2006-04-14
Classification:  compact metric spaces,  continuous functions,  uniform convergence,  reverse mathematics,  constructive mathematics,  03F60,  26E40,  54E45
@article{1153858650,
     author = {Berger, Josef and Schuster, Peter},
     title = {Classifying Dini's Theorem},
     journal = {Notre Dame J. Formal Logic},
     volume = {47},
     number = {1},
     year = {2006},
     pages = { 253-262},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1153858650}
}
Berger, Josef; Schuster, Peter. Classifying Dini's Theorem. Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, pp.  253-262. http://gdmltest.u-ga.fr/item/1153858650/