Local compactness in approach spaces. II (Q1864262)

Various kinds of local compactness for approach spaces were introduced in a previous paper by the authors [Int. J. Math. Math. Sci. 21, No 3. 429--438 (1998; Zbl 0906.54020)]. In the present paper, they define an analogy of open maps for approach spaces, called expansions. It is proved that every expansive contractive image of any locally compact approach space is locally compact of the same kind. Locally compact products are characterized similarly as in topological spaces.