Generated quasi-metric hyper and function spaces. (Q1868863)

The author introduces the concept of a generated quasi-metric (it is noteworthy that the definition of quasi-metric used here differs from the usual definition which states that if \(x!=y\) then \(d(x,y)>0\)) space \((X,Y,d)\): \((X,d)\) is a quasi-metric space and \(Y\) is a subset of \(X\) such that each \(x \in X\) is the infinum of a sequence of points of \(Y\) with respect to the partial order \(\leq\) defined by \(x\leq y\) if and only if \(d(x,y)=0\). It is proved that, for a metric space \(X\), the hyperspace of compact subets of \(X\), spaces of lower (upper) semicontinuous functions from \(X\) to the real line and the hyperspace of closed subsets of a locally compact and separable metric space are generated quasi-metric spaces.