In the theory of generalized metric spaces, the notion of knetworks has played an important role. Every locally separable metric space or CW-complex, more generally, every space dominated by locally separable metric spaces has a star-countable k-network. Every LaSnev space, as well as, every space dominated by LaSnev spaces has a a-compact-finite knetwork. We recall that every space has a compa...

It is shown that the space X [0,1], of continuous maps [0, 1] → X with the compact-open topology, is not locally compact for any space X having a nonconstant path of closed points. For a T1-space X, it follows that X [0,1] is locally compact if and only if X is locally compact and totally path-disconnected. AMS Classification: 54C35, 54E45, 55P35, 18B30, 18D15

The Hausdorff–Alexandroff Theorem states that any compact metric space is the continuous image of Cantor’s ternary set C. It is well known that there are compact Hausdorff spaces of cardinality equal to that of C that are not continuous images of Cantor’s ternary set. On the other hand, every compact countably infinite Hausdorff space is a continuous image of C. Here we present a compact counta...

We investigate conditions under which a co-computably enumerable closed set in a computable metric space is computable and prove that in each locally computable computable metric space each co-computably enumerable compact manifold with computable boundary is computable. In fact, we examine the notion of a semi-computable compact set and we prove a more general result: in any computable metric ...

This note is a survey of J-spaces. A space X is a J-space if, whenever {A, B} is a closed cover of X with A ∩ B compact, then A or B is compact. A space X is a strong J-space if every compact K ⊂ X is contained in a compact L ⊂ X with X\L connected. [As in [4], all maps are continuous and all spaces are Hausdorff.] 1.1. Every strong J-space X is a J-space. The two concepts coincide when X is lo...

The main purpose of this paper is to introduce soft μ-compact soft generalized topological spaces as a generalization of compact spaces. A soft generalized topological space (FA,μ) is soft μ-compact if every soft μ-open soft cover of FA admits a finite soft sub cover. We characterize soft μ-compact space and study their basic properties.

We give a definition of isometric action of a compact quantum group on a compact metric space, generalizing the definition given by Banica for finite metric spaces, and prove the existence of the universal object in the category of compact quantum groups acting isometrically on a given compact metric space.