Let $\alpha < \omega _1$ be a prime component, and let $X$ and $Y$ be metric spaces. In [8], it was shown that if $C_p(X)$ and $C_p(Y)$ are linearly homeomorphic, then the scattered heights $\kappa (X)$ and $\kappa (Y)$ of $X$ and $Y$ satisfy $\kappa (X) \leq \alpha $ if and only if $\kappa (Y) \leq \alpha $. We will prove that this also holds if $C_p^*(X)$ and $C_p^*(Y)$ are linearly homeomorphic and that these results do not hold for arbitrary Tychonov spaces. We will also prove that if $C_p^*(X)$ and $C_p^*(Y)$ are linearly homeomorphic, then $\kappa (X) < \alpha $ if and only if $\kappa (Y) < \alpha $, which was shown in [9] for $\alpha = \omega $. This last statement is not always true for linearly homeomorphic $C_p(X)$ and $C_p(Y)$. We will show that if $\alpha = \omega ^{\mu }$ where $\mu < \omega _1$ is a successor ordinal, it is true, but for all other prime components, this is not the case. Finally, we will prove that if $C_p^*(X)$ and $C_p^*(Y)$ are linearly homeomorphic, then $X$ is scattered if and only if $Y$ is scattered. This result does not directly follow from the above results. We will clarify why the results for linearly homeomorphic spaces $C_p^*(X)$ and $C_p^*(Y)$ do require a different and more complex approach than the one that was used for linearly homeomorphic spaces $C_p(X)$ and $C_p(Y)$.

Using the category of metric spaces as a template, we develop a metric analogue of the categorical semantics of classical/intuitionistic logic, and show that the natural notion of predicate in this “continuous semantics” is equivalent to the a priori separate notion of predicate in continuous logic, a logic which is independently well-studied by model theorists and which finds various applications. We show this equivalence by exhibiting the real interval $[0,1]$ in the category of metric spaces as a “continuous subobject classifier” giving a correspondence not only between the two notions of predicate, but also between the natural notion of quantification in the continuous semantics and the existing notion of quantification in continuous logic.

Along the way, we formulate what it means for a given category to behave like the category of metric spaces, and afterwards show that any such category supports the aforementioned continuous semantics. As an application, we show that categories of presheaves of metric spaces are examples of such, and in fact even possess continuous subobject classifiers.

Let Q be the space of all rational numbers and (X, τ) be a topological space where X is countably infinite. Here we prove that (1) τ is the join of two topologies on X both homeomorphic to Q if and only if τ is non-compact and metrizable, and (2) τ is the join of topologies on X each homeomorphic to Q if and only if τ is Tychonoff and noncompact.

In this paper, we construct, for any open cover of a metric space, a partition of unity consisting of a family of uniformly continuous functions.