Insertion, approximation, and extension of real-valued functions

Abstract

For a uniformly closed vector lattice V V of real-valued functions on a set X X , necessary and sufficient conditions are obtained for insertion (or "strict insertion") of some member of V V between two arbitrary real-valued functions on X X . These conditions quickly yield known insertion, approximation, and extension theorems for real-valued functions.