Ultimately increasing functions (Q416440)

A function \(g\) between directed sets \(\langle\Sigma,\succeq'\rangle\) and \(\langle\Lambda,\succeq\rangle\) is called ultimately increasing if for each \(\sigma_1\in\Sigma\) there exists a \(\sigma_2\succeq'\sigma_1\) such that \(\sigma\succeq'\sigma_2\Rightarrow g(\sigma)\succeq g(\sigma_1)\). The authors investigate the properties of this concept, and they argue that in certain topological situations, ultimate monotonicity is a more natural notion than the usual monotonicity. From the point of view of a real analyst, an interesting application is the authors' observation that in Lebesgue's Monotone Convergence Theorem, the assumption that the sequence of functions be pointwise increasing can be weakened to ``pointwise ultimately increasing''.