We present a constructive proof in Bishop’s style of Lebesgue’s dominated convergence theorem in the abstract setting of ordered uniform spaces. The proof generalises to this setting a classical proof in the framework of uniform lattices presented by Hans Weber in “Uniform Lattices II: Order Continuity and Exhaustivity”, in Annali di Matematica Pura ed Applicata (IV), Vol. CLXV (1993).
Lebesgue's dominated convergence theorem in Bishop's style / C. Sacerdoti Coen; E. Zoli. - In: ANNALS OF PURE AND APPLIED LOGIC. - ISSN 0168-0072. - STAMPA. - 163(2):(2012), pp. 140-150. [10.1016/j.apal.2011.06.020]
Lebesgue's dominated convergence theorem in Bishop's style
SACERDOTI COEN, CLAUDIO;ZOLI, ENRICO
2012
Abstract
We present a constructive proof in Bishop’s style of Lebesgue’s dominated convergence theorem in the abstract setting of ordered uniform spaces. The proof generalises to this setting a classical proof in the framework of uniform lattices presented by Hans Weber in “Uniform Lattices II: Order Continuity and Exhaustivity”, in Annali di Matematica Pura ed Applicata (IV), Vol. CLXV (1993).File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
