The main theorem in this
paper is on (not necessarily commutative) lattice ordered groups, and is a
generalization of a result on finitely additive set functions due to Namioka. Our result
can be used to prove Ptak’s combinatorial theorem on convex means, to give a short
non measure-theoretic proof of Lebesgue’s dominated convergence theorem for a
sequence of continuous functions on a countably compact topological space,
and to give a short proof of Banach’s criteria for the weak convergence of a
sequence in the Banach space of all bounded, real functions on an abstract
set.