An extension of Dini's lemma to nets of functions into uniform spaces (Q1407405)

A classical and important lemma of Dini in analysis states: Theorem D. If \(\{f_n\}\) is a sequence of real-valued continuous functions on \([0,1]\) such that \(\{f_n(x)\}\) is a non-increasing sequence converging to \(0\) for each \(x\in [0,1]\) then \(f_n\to 0\) uniformly. In this note we extend this lemma to nets of functions mapping into uniform spaces.