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
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.
