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].     

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.     

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.     

Continuous selections and σ-spaces

Assume that X⊆R?Q, and each clopen-valued lower semicontinuous multivalued map has a continuous selection . Our main result is that in this case, X is a σ-space. We also derive a partial converse implication, and present a reformulation of the Scheepers Conjecture in the language of continuous selections.     

On the topological Helly theorem

The main result of this paper is the following theorem, related to the missing link in the proof of the topological version of the classical result of Helly: Let be any family of simply connected compact subsets of R² such that for every i,j∈{0,1,2} the intersections Xi∩Xj are path connected and is nonempty. Then for every two points in the intersection there exists a cell-like compactum connecting these two points, in particular the intersection is a connected set.     

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

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 .     

The transitivity of induced maps

For a metric continuum X, we consider the hyperspaces X² and C(X) of the closed and nonempty subsets of X and of subcontinua of X, respectively, both with the Hausdorff metric. For a given map we investigate the transitivity of the induced maps and . Among other results, we show that if X is a dendrite or a continuum of type λ and is a map, then C(f) is not transitive. However, if X is the Hilbert cube, then there exists a transitive map such that f² and C(f) are transitive.     

More on perfectly normal non-realcompact spaces

We use the space associated with a guessing sequence on ω₁ to show that it is consistent with CH that there exists a locally countable, first-countable, locally compact, perfectly normal, non-realcompact space of size ℵ₁ which does not contain any sub-Ostaszewski spaces. By a similar technique, it is shown to be consistent with that there exists a locally countable, first-countable, perfectly normal, non-realcompact space of size ℵ₁.     

Approximation of the Hausdorff distance by the distance of continuous surjections

The aim of this paper is to answer the following question: let (X,?) and (Y,d) be metric spaces, let A,B⊂Y be continuous images of the space X and let be a fixed continuous surjection. When is the inequality

     

Quasi sure analysis of local times of anticipating smooth semimartingales

Let be the anticipating smooth semimartingale and be its generalized local time. In this paper, we give some estimates about the quasi sure property of Xt and its quadratic variation process t〈X〉. We also study the fractional smoothness of and prove that the quadratic variation process of can be constructed as the quasi sure limit of the form , where is a sequence of subdivisions of [a,b], , i=0,1,…,n².     

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.     

Locally bounded set-valued mappings and monotone countable paracompactness

We prove that the following statements are equivalent for a space X: (1) X is monotonically countably paracompact; (2) for every metric space Y there exists an operator Φ assigning to each locally bounded mapping , a locally bounded l.s.c. mapping with ?⊂Φ(?) such that Φ(?)⊂Φ(?^′) whenever ?⊂?^′, where B(Y) is the set of all non-empty closed bounded sets of Y; (3) for every metric space Y, there exist operators Φ and Ψ assigning to each u.s.c. mapping , an l.s.c. mapping and a u.s.c. mapping with ?⊂Φ(?)⊂Ψ(?) such that Φ(?)⊂Φ(?^′) and Ψ(?)⊂Ψ(?^′) whenever ?⊂?^′.     

Two results on spaces with a sharp base

Example. There exists a space X with a sharp base and a perfect mapping onto a space Y which does not have a sharp base.