Baire-Type Properties in Metrizable c0(Ω, X)

Ferrando and Lüdkovsky proved that for a non-empty set Ω and a normed space X, the normed space c0(Ω,X) is barrelled, ultrabornological, or unordered Baire-like if and only if X is, respectively, barrelled, ultrabornological, or unordered Baire-like. When X is a metrizable locally convex space, with an increasing sequence of semi-norms .n∈N defining its topology, then c0(Ω,X) is the metrizable locally convex space over the field K (of the real or complex numbers) of all functions f:Ω→X such that for each ε>0 and n∈N the set ω∈Ω:f(ω)n>ε is finite or empty, with the topology defined by the semi-norms fn=supf(ω)n:ω∈Ω, n∈N. Kąkol, López-Pellicer and Moll-López also proved that the metrizable space c0(Ω,X) is quasi barrelled, barrelled, ultrabornological, bornological, unordered Baire-like, totally barrelled, and barrelled of class p if and only if X is, respectively, quasi barrelled, barrelled, ultrabornological, bornological, unordered Baire-like, totally barrelled, and barrelled of class p. The main result of this paper is that the metrizable c0(Ω,X) is baireled if and only if X is baireled, and its proof is divided in several lemmas, with the aim of making it easier to read. An application of this result to closed graph theorem, and two open problems are also presented.

Metrizable space of multivalued maps

In this article we define a metrizable space of multivalued maps. We show that the metric defined in this space is closely related to the homo-topy of multivalued maps. Moreover, we study properties of this space and give a few practical applications of the new metric.

so-metrizable spaces and images of metric spaces

so-metrizable spaces are a class of important generalized metric spaces between metric spaces and s n sn -metrizable spaces where a space is called an so-metrizable space if it has a σ \sigma -locally finite so-network. As the further work that attaches to the celebrated Alexandrov conjecture, it is interesting to characterize so-metrizable spaces by images of metric spaces. This paper gives such characterizations for so-metrizable spaces. More precisely, this paper introduces so-open mappings and uses the “Pomomarev’s method” to prove that a space X X is an so-metrizable space if and only if it is an so-open, compact-covering, σ \sigma -image of a metric space, if and only if it is an so-open, σ \sigma -image of a metric space. In addition, it is shown that so-open mapping is a simplified form of s n sn -open mapping (resp. 2-sequence-covering mapping if the domain is metrizable). Results of this paper give some new characterizations of so-metrizable spaces and establish some equivalent relations among so-open mapping, s n sn -open mapping and 2-sequence-covering mapping, which further enrich and deepen generalized metric space theory.

Monad Metrizable Space

Do the topologies of each dimension have to be same and metrizable for metricization of any space? I show that this is not necessary with monad metrizable spaces. For example, a monad metrizable space may have got any indiscrete topologies, discrete topologies, different metric spaces, or any topological spaces in each different dimension. I compute the distance in real space between such topologies. First, the passing points between different topologies is defined and then a monad metric is defined. Then I provide definitions and some properties about monad metrizable spaces and PAS metric spaces. I show that any PAS metric space is also a monad metrizable space. Moreover, some properties and some examples about them are presented.

GAMES AND HEREDITARY BAIRENESS IN HYPERSPACES AND SPACES OF PROBABILITY MEASURES

We establish that the existence of a winning strategy in certain topological games, closely related to a strong game of Choquet, played in a topological space $X$ and its hyperspace $K(X)$ of all nonempty compact subsets of $X$ equipped with the Vietoris topology, is equivalent for one of the players. For a separable metrizable space $X$ , we identify a game-theoretic condition equivalent to $K(X)$ being hereditarily Baire. It implies quite easily a recent result of Gartside, Medini and Zdomskyy that characterizes hereditary Baire property of hyperspaces $K(X)$ over separable metrizable spaces $X$ via the Menger property of the remainder of a compactification of $X$ . Subsequently, we use topological games to study hereditary Baire property in spaces of probability measures and in hyperspaces over filters on natural numbers. To this end, we introduce a notion of strong $P$ -filter ${\mathcal{F}}$ and prove that it is equivalent to $K({\mathcal{F}})$ being hereditarily Baire. We also show that if $X$ is separable metrizable and $K(X)$ is hereditarily Baire, then the space $P_{r}(X)$ of Borel probability Radon measures on $X$ is hereditarily Baire too. It follows that there exists (in ZFC) a separable metrizable space $X$ , which is not completely metrizable with $P_{r}(X)$ hereditarily Baire. As far as we know, this is the first example of this kind.

QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES

In the topological semantics, quantified intuitionistic logic, QH, is known to be strongly complete not only for the class of all topological spaces but also for some particular topological spaces — for example, for the irrational line, ${\Bbb P}$, and for the rational line, ${\Bbb Q}$, in each case with a constant countable domain for the quantifiers. Each of ${\Bbb P}$ and ${\Bbb Q}$ is a separable zero-dimensional dense-in-itself metrizable space. The main result of the current article generalizes these known results: QH is strongly complete for any zero-dimensional dense-in-itself metrizable space with a constant domain of cardinality ≤ the space’s weight; consequently, QH is strongly complete for any separable zero-dimensional dense-in-itself metrizable space with a constant countable domain. We also prove a result that follows from earlier work of Moerdijk: if we allow varying domains for the quantifiers, then QH is strongly complete for any dense-in-itself metrizable space with countable domains.

Compact complement topologies and k-spaces

Let (X,?) be a Hausdorff space, where X is an infinite set. The compact complement topology ?* on X is defined by: ?* = {0}?{X\M:M is compact in (X,?)}. In this paper, properties of the space (X,?*) are studied in ZF and applied to a characterization of k-spaces, to the Sorgenfrey line, to some statements independent of ZF, as well as to partial topologies that are among Delfs-Knebusch generalized topologies. Between other results, it is proved that the axiom of countable multiple choice (CMC) is equivalent with each of the following two sentences: (i) every Hausdorff first-countable space is a k-space, (ii) every metrizable space is a k-space. A ZF-example of a countable metrizable space whose compact complement topology is not first-countable is given.

Infinite Powers and Cohen Reals

We give a consistent example of a zero-dimensional separable metrizable space Z such that every homeomorphism of Zω acts like a permutation of the coordinates almost everywhere. Furthermore, this permutation varies continuously. This shows that a result of Dow and Pearl is sharp, and gives some insight into an open problem of Terada. Our example Z is simply the set of ω1 Cohen reals, viewed as a subspace of 2ω.