Local compactness in approach spaces I

Abstract

This paper introduces some definitions of a concept of local compactness in approach spaces. The basic relationships between these concepts is studied, and measures of local compactness are defined.

Keywords

• Approach space
• measure of compactness
• (basis-) local compactness
• measure of (basis-) local compactness.