A parallel metrization theorem

TL;DR

This paper characterizes when a metrizable space's topology can be generated by a metric making certain sets parallel, linking this to properties of covers being disjoint and semicontinuous.

Contribution

It proves the equivalence between a metric generating the topology with parallel sets and the cover being disjoint and semicontinuous, answering a Mathoverflow question.

Findings

Equivalence between metric conditions and cover properties

Characterization of parallel sets in metrizable spaces

Answer to a previously open question

Abstract

Two non-empty sets $A,B$ of a metric space $(X,d)$ are called parallel if $d(a,B)=d(A,B)=d(A,b)$ for any points $a\in A$ and $b\in B$. Answering a question posed on Mathoverflow, we prove that for a cover $\mathcal C$ of a metrizable space $X$ the following conditions are equivalent: (i) the topology of $X$ is generated by a metric $d$ such that any two sets $A,B\in\mathcal C$ are parallel; (ii) the cover $\mathcal C$ is disjoint, lower semicontinuous and upper semicontinuous.