Dually discrete spaces

A neighbourhood assignment in a space X is a family of open subsets of X such that x∈Ox for any x∈X. A set Y⊆X is a kernel ofO if . We obtain some new results concerning dually discrete spaces, being those spaces for which every neighbourhood assignment has a discrete kernel. This is a strictly larger class than the class of D-spaces of [E.K. van Douwen, W.F. Pfeffer, Some properties of the Sorgenfrey line and related spaces, Pacific J. Math. 81 (2) (1979) 371-377].     

The Namioka property of KC-functions and Kempisty spaces

A topological space Y is called a Kempisty space if for any Baire space X every function , which is quasi-continuous in the first variable and continuous in the second variable has the Namioka property. Properties of compact Kempisty spaces are studied in this paper. In particular, it is shown that any Valdivia compact is a Kempisty space and the Cartesian product of an arbitrary family of compact Kempisty spaces is a Kempisty space.     

Luzin measurability of Carathéodory type mappings

A topological space X is said to have the Scorza-Dragoni property if the following property holds: For every metric space Y and every Radon measure space (T,μ), any Carathéodory function is Luzin measurable, i.e., given ε>0, there is a compact set K in T with μ(T?K)?ε such that the mapping is continuous. We present a selection of spaces without the Scorza-Dragoni property, among which there are first countable hereditarily separable and hereditarily Lindelöf compact spaces, separable Moore spaces and even countable k-spaces. In the positive direction, it is shown that every space which is an ℵ₀-space and kR-space has the Scorza-Dragoni property. We also prove that every separately continuous mapping , where Y is a metric space, is Luzin measurable, provided the space X is strongly functionally generated by a countable collection of its bounded subsets. If Martin's Axiom is assumed then all metric spaces of density less than c, and all pseudocompact spaces of cardinality less than c, have the Scorza-Dragoni property with respect to every separable Radon measure μ. Finally, the class of countable spaces with the Scorza-Dragoni property is closely examined.     

Countably compact hyperspaces and Frolík sums

Let H⁰(X) (H(X)) denote the set of all (nonempty) closed subsets of X endowed with the Vietoris topology. A basic problem concerning H(X) is to characterize those X for which H(X) is countably compact. We conjecture that u-compactness of X for some u∈ω^∗ (or equivalently: all powers of X are countably compact) may be such a characterization. We give some results that point into this direction.We define the property R(κ): for every family of closed subsets of X separated by pairwise disjoint open sets and any family of natural numbers, the product is countably compact, and prove that if H(X) is countably compact for a T₂-space X then X satisfies R(κ) for all κ. A space has R(1) iff all its finite powers are countably compact, so this generalizes a theorem of J. Ginsburg: if X is T₂ and H(X) is countably compact, then so is Xn for all n<ω. We also prove that, for κ<t, if the T₃ space X satisfies a weak form of R(κ), the orbit of every point in X is dense, and X contains κ pairwise disjoint open sets, then Xκ is countably compact. This generalizes the following theorem of J. Cao, T. Nogura, and A. Tomita: if X is T₃, homogeneous, and H(X) is countably compact, then so is Xω.Then we study the Frolík sum (also called “one-point countable-compactification”) of a family . We use the Frolík sum to produce countably compact spaces with additional properties (like first countability) whose hyperspaces are not countably compact. We also prove that any product _∏α<κH⁰(Xα) embeds into .     

Sequences of semicontinuous functions accompanying continuous functions

A space X is said to have property (USC) (resp. (LSC)) if whenever is a sequence of upper (resp. lower) semicontinuous functions from X into the closed unit interval [0,1] converging pointwise to the constant function 0 with the value 0, there is a sequence of continuous functions from X into [0,1] such that fn?gn (n∈ω) and converges pointwise to 0. In this paper, we study spaces having these properties and related ones. In particular, we show that (a) for a subset X of the real line, X has property (USC) if and only if it is a σ-set; (b) if X is a space of non-measurable cardinal and has property (LSC), then it is discrete. Our research comes of Scheepers' conjecture on properties S₁(Γ,Γ) and wQN.     

Rudin's Dowker space, strong base-normality and base-strong-zero-dimensionality

It is well known that every pair of disjoint closed subsets F₀,F₁ of a normal T₁-space X admits a star-finite open cover U of X such that, for every U∈U, either or holds. We define a T₁-space X to be strongly base-normal if there is a base B for X with |B|=w(X) satisfying that every pair of disjoint closed subsets F₀,F₁ of X admits a star-finite cover B^′ of X by members of B such that, for every B∈B^′, either or holds. We prove that there is a base-normal space which is not strongly base-normal. Moreover, we show that Rudin's Dowker space is strongly base-(collectionwise)normal. Strong zero-dimensionality on base-normal spaces are also studied.     

Classes defined by stars and neighbourhood assignments

We apply and develop an idea of E. van Douwen used to define D-spaces. Given a topological property P, the class P^∗ dual to P (with respect to neighbourhood assignments) consists of spaces X such that for any neighbourhood assignment there is Y⊂X with Y∈P and . We prove that the classes of compact, countably compact and pseudocompact are self-dual with respect to neighbourhood assignments. It is also established that all spaces dual to hereditarily Lindelöf spaces are Lindelöf. In the second part of this paper we study some non-trivial classes of pseudocompact spaces defined in an analogous way using stars of open covers instead of neighbourhood assignments.     

Certain sequences with compact closure

This paper deals with a question which is stated by quite simple definitions. A sequence {xn} in a space X is called a β-sequence if every subsequence of it has a cluster point in X. The closure of the sequence {xn} means the closure of in X. Here we consider the question when a β-sequence has compact closure. We give several answers to this question.     

The D-property of some Lindelöf spaces and related conclusions

It is shown that the space Cp(τω) is a D-space for any ordinal number τ, where . This conclusion gives a positive answer to R.Z. Buzyakova's question. We also prove that another special example of Lindelöf space is a D-space. We discuss the D-property of spaces with point-countable weak bases. We prove that if a space X has a point-countable weak base, then X is a D-space. By this conclusion and one of T. Hoshina's conclusion, we have that if X is a countably compact space with a point-countable weak base, then X is a compact metrizable space. In the last part, we show that if a space X is a finite union of θ-refinable spaces, then X is a αD-space.     

Applications of almost one-to-one maps

A continuous map of topological spaces X,Y is said to be almost 1-to-1 if the set of the points x∈X such that f⁻¹(f(x))={x} is dense in X; it is said to be light if pointwise preimages are 0-dimensional. In a previous paper we showed that sometimes almost one-to-one light maps of compact and σ-compact spaces must be homeomorphisms or embeddings. In this paper we introduce a similar notion of an almost d-to-1 map and extend the above results to them and other related maps. In a forthcoming paper we use these results and show that if f is a minimal self-mapping of a 2-manifold then point preimages under f are tree-like continua and either M is a union of 2-tori, or M is a union of Klein bottles permuted by f.     

Open selections on smooth fans

Given a dendroid X, an open selection is an open map such that s(A)∈A for every A∈C(X). We show that a smooth fan X admits an open selection if and only if X is locally connected.     

Spaces determined by selections

A function is a called a weak selection if ψ({x,y})∈{x,y} for every x,y∈X. To each weak selection ψ, one associates a topology τψ, generated by the sets and . Answering a question of S. García-Ferreira and A.H. Tomita [S. García-Ferreira, A.H. Tomita, A non-normal topology generated by a two-point selection, Topology Appl. 155 (10) (2008) 1105-1110], we show that (X,τψ) is completely regular for every weak selection ψ. We further investigate to what extent the existence of a continuous weak selection on a topological space determines the topology of X. In particular, we answer two questions of V. Gutev and T. Nogura [V. Gutev, T. Nogura, Selection problems for hyperspaces, in: E. Pearl (Ed.), Open Problems in Topology 2, Elsevier B.V., 2007, pp. 161-170].     

A note on the class of paracompact spaces whose product with every paracompact space is paracompact

We prove that if X is a paracompact space which has a neighborhood assignment x→Hx such that for each y∈X the closure of the set is compact then the products T×X, for every paracompact space T, and Xω are paracompact. The first result answers a problem of H. Junnila.     

Modular metric spaces, I: Basic concepts

The notion of a modular is introduced as follows. A (metric) modular on a set X is a function w:(0,∞)×X×X→[0,∞] satisfying, for all x,y,z∈X, the following three properties: x=y if and only if w(λ,x,y)=0 for all λ>0; w(λ,x,y)=w(λ,y,x) for all λ>0; w(λ+μ,x,y)≤w(λ,x,z)+w(μ,y,z) for all λ,μ>0. We show that, given x₀∈X, the set X_w={x∈X:lim_λ→∞w(λ,x,x₀)=0} is a metric space with metric , called a modular space. The modular w is said to be convex if (λ,x,y)?λw(λ,x,y) is also a modular on X. In this case X_w coincides with the set of all x∈X such that w(λ,x,x₀)<∞ for some λ=λ(x)>0 and is metrizable by . Moreover, if or , then ; otherwise, the reverse inequalities hold. We develop the theory of metric spaces, generated by modulars, and extend the results by H. Nakano, J. Musielak, W. Orlicz, Ph. Turpin and others for modulars on linear spaces.     

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 κ².