Nonstandard analysis of uniform spaces

Abstract

There are nonstandard characterizations of classical topological concepts like total boundedness, completeness, comapactness etc., in metric spaces. In this article we present nonstandard extensions of these characterizations to uniform spaces. We also furnish completion of uniform spaces. We accomplish this by extending the methods in metric spaces by way of passing from sequences to filters and nets.