Variations of selective separability

A space X is selectively separable if for every sequence of dense subspaces of X one can select finite Fn⊂Dn so that is dense in X. In this paper selective separability and variations of this property are considered in two special cases: Cp spaces and dense countable subspaces in κ².     

Comparing weak versions of separability

Our aim is to investigate spaces with σ-discrete and meager dense sets, as well as selective versions of these properties. We construct numerous examples to point out the differences between these classes while answering questions of Tkachuk [22], Hutchison [13] and the authors of [7].     

Versions of separability in bitopological spaces

We study selective versions of separability in bitopological spaces. In particular, we investigate these properties in function spaces endowed with the topology of pointwise convergence and the compact-open topology.     

When separability of the space of ultra-extremal functions is preserved

Abstract

The ultrametrically injective hull T_X of an ultrametric space (X, d) is investigated by viewing it as the space of ultra-extremal functions over X. It turns out that the ultra-extremal functions are also ultra-Ka?etov functions, satisfying two inequalities derived from the strong triangle inequality. We shall compare the ultra-extremal functions with some classes of functions defined with the help of one of the two inequalities from the definition of ultra-Kat?tov functions. We shall consider the question of when separability of the space of ultra-extremal functions is preserved.     

Fodor-type Reflection Principle and reflection of metrizability and meta-Lindelöfness

We introduce a new reflection principle which we call “Fodor-type Reflection Principle” (FRP). This principle follows from but is strictly weaker than Fleissner's Axiom R. For instance, FRP does not impose any restriction on the size of the continuum, while Axiom R implies that the continuum has size ?ℵ₂.We show that FRP implies that every locally separable countably tight topological space X is meta-Lindelöf if all of its subspaces of cardinality ?ℵ₁ are (Theorem 4.3). It follows that, under FRP, every locally (countably) compact space is metrizable if all of its subspaces of cardinality ?ℵ₁ are (Corollary 4.4). This improves a result of Balogh who proved the same assertion under Axiom R.We also give several other results in this vein, some in ZFC, others in some further extension of ZFC. For example, we prove in ZFC that if X is a locally (countably) compact space of singular cardinality in which every subspace of smaller size is metrizable then X itself is also metrizable (Corollary 5.2).     

Some upper bounds for density of function spaces

Let Cα(X,Y) be the set of all continuous functions from X to Y endowed with the set-open topology where α is a hereditarily closed, compact network on X which is closed under finite unions. We proved that the density of the space Cα(X,Y) is at most iw(X)⋅d(Y) where iw(X) denotes the i-weight of the Tychonoff space X, and d(Y) denotes the density of the space Y when Y is an equiconnected space with equiconnecting function Ψ, and Y has a base consists of Ψ-convex subsets of Y. We also prove that the equiconnectedness of the space Y cannot be replaced with pathwise connectedness of Y. In fact, it is shown that for each infinite cardinal κ, there is a pathwise connected space Y such that π-weight of Y is κ, but Souslin number of the space Ck([0,1],Y) is κ².     

The compact-open topology: A new perspective

This paper studies the compact-open topology on the set KC(X) of all real-valued functions defined on a Tychonoff space, which are continuous on compact subsets of X. In addition to metrizability, separability and second countability of this topology on KC(X), various kinds of topological properties of this topology are studied in detail. Actually the motivation for studying the compact-open topology on KC(X) lies in the attempt of having a simpler proof for the characterization of a completeness property of the compact-open topology on C(X), the set of all real-valued continuous functions on X.     

Proper forcing axiom and selective separability

We continue the study of Selectively Separable (SS) and, a game-theoretic strengthening, strategically selectively separable spaces (SS⁺) (see Barman, Dow (2011) [1]). The motivation for studying SS⁺ is that it is a property possessed by all separable subsets of Cp(X) for each σ-compact space X. We prove that the winning strategy for countable SS⁺ spaces can be chosen to be Markov. We introduce the notion of being compactlike for a collection of open sets in a topological space and with the help of this notion we prove that there are two countable SS⁺ spaces such that the union fails to be SS⁺, which contrasts the known result about SS spaces. We also prove that the product of two countable SS⁺ spaces is again countable SS⁺. One of the main results in this paper is that the proper forcing axiom, PFA, implies that the product of two countable Fréchet spaces is SS, a statement that was shown in Barman, Dow (2011) [1] to consistently fail. An auxiliary result is that it is consistent with the negation of CH that all separable Fréchet spaces have π-weight at most ω₁.     

Variations on selective separability in non-regular spaces

We study various variations on selective separability in non-regular topological spaces. We use the notions of θ-closure and θ-density to define selective versions of θ-separability. These properties are also related to topological games.     

A note on a set-valued extension property

Principal result: Suppose Y is metrizable. Then: (a) if X is metrizable and A⊂X is closed, then every continuous g:A→Y extends to an l.s.c. ψ:X→K(Y); (b) Y satisfies (a) for all paracompact X if and only if Y is completely metrizable.     

Notes on paratopological groups

In this paper, we prove that if a remainder of a non-locally compact paratopological group G   has a _Gδ$G_{\delta }$-diagonal and every compact subset of G is first countable, then G   has a _Gδ$G_{\delta }$-diagonal of infinite rank. This improves a result of Chuan Liu and Shou Lin [Chuan Liu, Shou Lin, Generalized metric spaces with algebraic structure, Topology Appl. 157 (2010) 1966–1974]. We also construct an open continuous homomorphism f from a non-metrizable paratopological group G onto a metrizable topological group H such that the kernel of f is metrizable. This result gives a negative answer to an open problem posed in [A.V. Arhangel?skii, M. Tkachenko, Topological Groups and Related Structures, Atlantis Press, World Scientific, 2008].     

Epi-topology on spaces of lower semicontinuous functions into partially ordered spaces and hyperspaces

The concept of lower semicontinuity is extended to functions mapping into partially ordered spaces. A study is made of spaces of such lower semicontinuous functions under the epi-topology. These spaces are subspaces of hyperspaces with the Fell topology. The closure of such a function space in the hyperspace is characterized for certain spaces. A continuous selection theorem is established, showing that most such function spaces are not ech-complete.     

On an affirmative answer to S. Lin?s problem

In this paper, we give an affirmative answer to the problem posed by S. Lin (2002, 2007) in [7] and [8], and give another answer to the question posed by Y. Ikeda, C. Liu and Y. Tanaka (2002) in [5].     

On a core concept of Arhangel'ski?

Arhangel'ski? [A.V. Arhangel'ski?, Locally compact spaces of countable core and Alexandroff compactification, Topology Appl. 154 (2007) 625-634] has introduced a weakening of σ-compactness: having a countable core, for locally compact spaces, and asked when it is equivalent to σ-compactness. We settle several problems related to that paper.     

More stratifiable function spaces

If X is a compact-covering image of a closed subspace of product of a σ-compact Polish space and a compact space, then Ck(X,M), the space of continuous maps of X into M with the compact-open topology, is stratifiable for any metric space M.If X is σ-compact Polish, K is compact and M metric then every point of Ck(X×K,M) has a closure-preserving local base, and hence this function space is M₁.     

Function spaces over GO-spaces: Part I

We describe the structure of spaces of continuous step functions over GO-spaces. We establish a relation between the Dedekind completion of a GO-space L and properties of the space of continuous functions from L to 2 with finitely many steps. We use the established relation to prove that a countably compact GO-space L has Lindelöf Cp(L) iff the Dedekind remainder of L is Lindelöf and every compact subspace of L is metrizable. Or equivalently, a countably compact GO-space L has Lindelöf Cp(L) iff every compact subspace of L is metrizable and a Gδ-set in L. Other results are obtained.     

Nagata's conjecture and countably compact hulls in generic extensions

Nagata conjectured that every M-space is homeomorphic to a closed subspace of the product of a countably compact space and a metric space. Although this conjecture was refuted by Burke and van Douwen, and A. Kato, independently, but we can show that there is a c.c.c. poset P of size ω² such that in VP Nagata's conjecture holds for each first countable regular space from the ground model (i.e. if a first countable regular space X∈V is an M-space in VP then it is homeomorphic to a closed subspace of the product of a countably compact space and a metric space in VP). By a result of Morita, it is enough to show that every first countable regular space from the ground model has a first countable countably compact extension in VP. As a corollary, we also obtain that every first countable regular space from the ground model has a maximal first countable extension in model VP.     

Trace spaces in a pre-cubical complex

In directed algebraic topology, directed irreversible (d)-paths and spaces consisting of d-paths are studied from a topological and from a categorical point of view. Motivated by models for concurrent computation, we study in this paper spaces of d-paths in a pre-cubical complex. Such paths are equipped with a natural arc length which moreover is shown to be invariant under directed homotopies. D-paths up to reparametrization (called traces) can thus be represented by arc length parametrized d-paths. Under weak additional conditions, it is shown that trace spaces in a pre-cubical complex are separable metric spaces which are locally contractible and locally compact. Moreover, they have the homotopy type of a CW-complex.