On densely complete metric spaces and extensions of uniformly continuous functions in ZF\mathbf{ZF}ZF (original) (raw)
Related papers
A Strong Completeness Condition in Uniform Spaces with Well Ordered Bases
1999
A natural strengthening of the completeness hypothesis, called *-completeness, allows us to extend to ωµ-metric spaces some properties of complete metric spaces which fail to hold if only the completeness condition is assumed. In this way we achieve some results on hyperspace theory, dealing with supercompleteness and with selections of multivalued functions. The notion of *-completeness is investigated and it is proved that quite important classes of ωµ-metric spaces have this property.
$K$-Spaces, Sequential Spaces and Related Topics in the Absence of the Axiom of Choice
2021
In the absence of the axiom of choice, new results concerning sequential, Fréchet-Urysohn, k-spaces, very k-spaces, Loeb and Cantor completely metrizable spaces are shown. New choice principles are introduced. Among many other theorems, it is proved in ZF that every Loeb, T3-space having a base expressible as a countable union of finite sets is a metrizable second-countable space whose every Fσ-subspace is separable; moreover, every Gδ-subspace of a second-countable, Cantor completely metrizable space is Cantor completely metrizable, Loeb and separable. It is also noticed that Arkhangel’skii’s statement that every very k-space is Fréchet-Urysohn is unprovable in ZF but it holds in ZF that every first-countable, regular very k-space whose family of all nonempty compact sets has a choice function is Fréchet-Urysohn. That every second-countable metrizable space is a very k-space is equivalent to the axiom of countable choice for R.
An extension theorem for multifunctions and a characterization of complete metric spaces
Mathematica Slovaca, 1988
Institute of Mathematics of the Academy of Sciences of the Czech Republic provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This paper has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://project.dml.cz
Further Remarks On Somewhere Dense Sets
Journal of Pure & Applied Sciences
In this article, we prove that a topological space X is strongly hyperconnected iff any somewhere dense set in X is open, in addition we investigate some conditions that make sets somewhere dense in subspaces, finally, we show that any topological space defined on infinite set X has SD-cover with no proper subcover.
Metric spaces and the axiom of choice
Mathematical Logic Quarterly, 2003
We study conditions for a topological space to be metrizable, properties of metrizable spaces, and the role the axiom of choice plays in these matters.
A solution to the completion problem of quasi-uniform spaces
arXiv: General Topology, 2010
We give a new completion for the quasi-uniform spaces. We call the whole procedure {\it tau\tautau-completion} and the new space {\it tau\tautau-complement of the given}. The basic result is that every T0T_{_0}T__0 quasi-uniform space has a tau\tautau-completion. The tau\tautau-complement has some \textquotedblleft crucial\textquotedblright properties, for instance, it coincides with the classical one in the case of uniform space or it extends the {\it Doitcinov's completion for the quiet spaces}. We use nets and from one point of view the technique of the construction may be considered as a combination of the {\it Mac Neille's cut} and of the completion of partially ordered sets via {\it directed subsets}.
For a space Z, we denote by F(Z), K(Z) and F2(Z) the hyperspaces of non-empty closed, compact, and subsets of cardinality ≤ 2 of Z, respectively, with their Vietoris topology. For spaces X and E, Cp(X,E) is the space of continuous functions from X to E with its pointwise convergence topology. We analyze in this article when F(Z), K(Z) and F2(Z) have continuous selections for a space Z of the form Cp(X,E), where X is zero-dimensional and E is a strongly zero-dimensionalmetrizable space. We prove that Cp(X,E) is weakly orderable if and only if X is separable. Moreover, we obtain that the separability of X , the existence of a continuous selection for K(Cp(X,E)), the existence of a continuous selection for F2(Cp(X,E)) and the weak orderability of Cp(X,E) are equivalent when X is N-compact. Also, we decide in which cases Cp(X,2) and βCp(X,2) are linearly orderable, and when βCp(X, 2) is a dyadic space. 0. Definitions and Notations In order to simplify our statements and proofs, all spac...
TWO TOPOLOGICAL EQUIVALENTS OF THE AXIOM OF CHOICE
Mathematical Logic Quarterly, 1992
We show that the Axiom of Choice is equivalent to each of the following statements: (i) A product of closures of subsets of topological spaces is equal to the closure of their product (in the product topology); (ii) A product of complete uniform spaces is complete.