About the space of continuous functions with open domain

Abstract

We will see how to define the metric $\beta$, which turns the topological space of continuous functions whose domains are open subsets of a locally compact and second countable space $X$ to values in a polish space $Y$, called $(C_{od}(X,Y),\tau_{\iota,D})$ into a polish space. In particular, we will present a metric for the inverse semigroup of homeomorphisms of a locally compact, Hausdorff, and second-countable space.