A generalization of \(\varkappa\)-metrizable spaces (Q2334017): Difference between revisions

A topological space \(X\) is called \emph{\(\varkappa\)-metrizable} if there exists a function \(\varrho: X \times\) RC\((X) \rightarrow [0,\infty)\) satisfying the following axioms: \((a)\) \(\varrho(x,C)=0\) if and only if \(x \in C\) and \(C \in\) RC\((X)\), \((b)\) if \(C \subseteq B\), then \(\varrho(x,C) \geq \varrho(x,B)\) whenever \(x \in X\) and \(A,B \in\) RC\((X)\), \((c)\) \(\varrho(\cdot,C)\) is a continuous function whenever \(C \in\) RC\((X)\), \((d)\) \(\displaystyle \varrho \bigg(x,cl(\bigcup_{\alpha < \lambda}C_{\alpha})\bigg)= \inf_{\alpha < \lambda}\varrho(x,C_{\alpha})\) for all non-decreasing totally ordered sequences \(\{C_{\alpha}: \alpha < \lambda\} \subseteq\) RC\((X)\) and every infinite cardinal \(\lambda\) and \(x \in X\).\\ Here, RC\((X)=\{ A \subseteq X\) such that \( cl \,int A =A\}\). For a topological space \(X\), a function \(\varrho: X \times\) RC\((X) \rightarrow [0,\infty)\) is called a \emph{\(\varkappa\)-metric} if it satifies axioms \((a)\), \((b)\), \((c)\) and \((d)\). It is known that all metrizable spaces, Dugundji spaces, all locally compact topological spaces and the Sorgenfrey line are \(\varkappa\)-metrizable. If the axiom \((d)\) is substituted by the following axiom, \((d')\) \(\displaystyle \varrho \bigg(x,cl(\bigcup_{n < \omega}C_n )\bigg)= \inf_{n < \omega}\varrho(x,C_n)\) for any chain \(\{C_n: n <\omega\}\) and whenever \(x \in X\), then we say that \(\varrho\) is a \emph{countable \(\varkappa\)-metric}. Hence, if there exists a countable \(\varkappa\)-metric on a topological space \(X\), then \(X\) is called a \emph{countable \(\varkappa\)-metric space}. Among other things, the authors prove that every countable \(\varkappa\)-metric space (i.e. which satisfies \((d')\)) is a \(\varkappa\)-metric space. It turns out that countable \(\varkappa\)-metrizability differs from \(\varkappa\)-metrizability. Furthermore, the authors prove that for a pseudocompact space, countable \(\varkappa\)-metrizabilty implies \(\varkappa\)-metrizability.