“…A topological space X is said to be consonant if for every F ∈ σ(O(X)), there is a family {K i : i ∈ I} ⊆ K(X) with F = K∈A Φ(K) (see, e.g., [3,7,8,22,39]). The consonance is an important topological property (see [2,3,4,8,39]).…”
Section: Hofmann and Lawsonmentioning
confidence: 99%
“…In [8] it is proved that every Céch-complete space -hence, in particular, every completely metrizable space -is consonant. Bouziad [4] (see also [7]) showed that the space of rationals with the subspace topology inherited from the reals is not consonant. It was shown in [6] that quasi-Polish spaces are consonant, and it is known that a separable co-analytic metrizable space is consonant if and only if it is Polish (see [3]).…”
“…A topological space X is said to be consonant if for every F ∈ σ(O(X)), there is a family {K i : i ∈ I} ⊆ K(X) with F = K∈A Φ(K) (see, e.g., [3,7,8,22,39]). The consonance is an important topological property (see [2,3,4,8,39]).…”
Section: Hofmann and Lawsonmentioning
confidence: 99%
“…In [8] it is proved that every Céch-complete space -hence, in particular, every completely metrizable space -is consonant. Bouziad [4] (see also [7]) showed that the space of rationals with the subspace topology inherited from the reals is not consonant. It was shown in [6] that quasi-Polish spaces are consonant, and it is known that a separable co-analytic metrizable space is consonant if and only if it is Polish (see [3]).…”
“…It was shown in [dBSS16] that quasi-Polish spaces are consonant, and it is known that a separable co-analytic metrizable space is consonant if and only if it is Polish [Bou99]. In particular, the space of rationals with the subspace topology inherited from the reals is not consonant [CW98]. Definition 6.7.…”
Section: Double Powerspaces and Consonancementioning
We investigate powerspace constructions on topological spaces, with a particular focus on the category of quasi-Polish spaces. We show that the upper and lower powerspaces commute on all quasi-Polish spaces, and show more generally that this commutativity is equivalent to the topological property of consonance. We then investigate powerspace constructions on the open set lattices of quasi-Polish spaces, and provide a complete characterization of how the upper and lower powerspaces distribute over the open set lattice construction.
“…Examples of non-consonant separable metric spaces and first countable spaces, in particular the rational numbers Q with their usual topology, soon followed [1,4,3], and [5]. The result of greatest generality in this direction is: Corollary 3.8]) Every regular first countable space without isolated points, all compact subsets of which are countable, is not F in-trivial (and hence, non-consonant).…”
It is a result of A. Bouziad that every regular, first countable, totally imperfect space with no isolated points is not F in-trivial. We prove that every regular totally imperfect space containing a copy of the rational numbers is not F in-trivial in a strong sense. Our result generalizes that of Bouziad to a larger class of spaces and gives a strengthened conclusion. As a corollary we conclude that various splitting topologies on the space of continuous real-valued functions defined on a metric space need not coincide.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.