A characterization of almost resolvable spaces

A space is said to be resolvable if it has two disjoint dense subsets. It is shown thatX is a Baire space with no resolvable open subsets iff every real function defined onX has a dense set of points of continuity. Thus almost resolvable spaces, as defined by Bolstein, are shown to be characterized as the union of a first category set and a closed resolvable set.     

SMOOTHNESS PROPERTIES OF REAL-VALUED FUNCTIONS BASED ON THEIR OSCILLATION

Abstract

We consider the following two selection principles for topological spaces:

Principle 1: For each sequence of dense subsets, there is a sequence of points from the space, the n-th point coming from the n-th dense set, such that this set of points is dense in the space;

Principle 2: For each sequence of dense subsets, there is a sequence of finite sets, the n-th a subset of the n-th dense set, such that the union of these finite sets is dense in the space.

We show that for separable metric space X one of these principles holds for the space C_p (X) of realvalued continuous functions equipped with the pointwise convergence topology if, and only if, a corresponding principle holds for a special family of open covers of X. An example is given to show that these equivalences do not hold in general for Tychonoff spaces. It is further shown that these two principles give characterizations for two popular cardinal numbers, and that these two principles are intimately related to an infinite game that was studied by Berner and Juhász.     

Splittability for Partially Ordered Sets

A topological space X is said to be splittable over a class P of spaces if for every AX there exists continuous f:XYP such that f(A)f(XA) is empty. A class P of topological spaces is said to be a splittability class if the spaces splittable over P are precisely the members of P. We extend the notion of splittability to partially ordered sets and consider splittability over some elementary posets. We identify precisely which subsets of a poset can be split along over an n-point chain. Using these results it is shown that the union of two splittability classes need not be a splittability class and a necessary condition for P to be a splittability class is given.     

Resolvability and monotone normality

A space X is said to be κ-resolvable (resp., almost κ-resolvable) if it contains κ dense sets that are pairwise disjoint (resp., almost disjoint over the ideal of nowhere dense subsets). X is maximally resolvable if and only if it is Δ(X)-resolvable, where Δ(X) = min{|G| : G ≠ open}. We show that every crowded monotonically normal (in short: MN) space is ω-resolvable and almost μ-resolvable, where μ = min{2 ^ω , ω ₂}. On the other hand, if κ is a measurable cardinal then there is a MN space X with Δ(X) = κ such that no subspace of X is ω ₁-resolvable. Any MN space of cardinality < ℵ _ω is maximally resolvable. But from a supercompact cardinal we obtain the consistency of the existence of a MN space X with |X| = Δ(X) = ℵ _ω such that no subspace of X is ω ₂-resolvable. The preparation of this paper was supported by OTKA grant no. 61600     

On scatteredly continuous maps between topological spaces

A map f:X→Y between topological spaces is defined to be scatteredly continuous if for each subspace AX the restriction f|A has a point of continuity. We show that for a function f:X→Y from a perfectly paracompact hereditarily Baire Preiss–Simon space X into a regular space Y the scattered continuity of f is equivalent to (i) the weak discontinuity (for each subset AX the set D(f|A) of discontinuity points of f|A is nowhere dense in A), (ii) the piecewise continuity (X can be written as a countable union of closed subsets on which f is continuous), (iii) the G_δ-measurability (the preimage of each open set is of type G_δ). Also under Martin Axiom, we construct a G_δ-measurable map f:X→Y between metrizable separable spaces, which is not piecewise continuous. This answers an old question of V. Vinokurov.     

On Homotopy Types of Alexandroff Spaces

We generalise some results of R. E. Stong concerning finite spaces to wider subclasses of Alexandroff spaces. In particular, we characterize pairs of spaces X,Y such that the compact-open topology on C(X,Y) is Alexandroff, give a homotopy type classification of a class of infinite Alexandroff spaces and prove some results concerning cores of locally finite spaces. We also discuss a mistake found in an article of F.G. Arenas. Since the category of T ₀ Alexandroff spaces is equivalent to the category of posets, our results may lead to a deeper understanding of the notion of a core of an infinite poset.     

Conditions on Normal Spaces of Finite Rank That Guarantee C(X) is SV

An f-ring A is an SV f-ring if for every minimal prime ?-ideal P of A, A/P is a valuation domain. A topological space X is an SV space if C(X) is an SV f-ring. For normal spaces, several conditions are shown to guarantee the space is an SV space. For example, a normal space of finite rank for which the closure of the set of points of rank greater than 1 is an F-subspace, is an SV space. For normal spaces of rank 2, a characterization of SV spaces is given.     

Finite unions of shore sets

Adendroid is an arcwise connected hereditarily unicoherent continuum. Ashore set in a dendroidX is a subsetA ofX such that, for each ε>0, there exists a subdendroidB ofX such that the Hausdorff distance fromB toX is less then ε andB∩A=θ. Answering a question by I. Puga, in this paper we prove that the finite union of pairwise disjoint shore subdendroids of a dendroidX is a shore set. We also show that the hypothesis that the shore subdendroids are disjoint is necessary. It is still unknown if the union of two closed disjoint shore subsets of a dendroidX is also shore set.     

Wijsman and Hit-and-Miss Topologies of Quasi-Metric Spaces

The relationship between the Wijsman topology and (proximal) hit-and-miss topologies is studied in the realm of quasi-metric spaces. We establish the equivalence between these hypertopologies in terms of Urysohn families of sets. Our results generalize well-known theorems and provide easier proofs. In particular, we prove that for a quasi-pseudo-metrizable space (X,T) the Vietoris topology on the set P ₀(X) of all nonempty subsets of X is the supremum of all Wijsman topologies associated with quasi-pseudo-metrics compatible with T. We also show that for a quasi-pseudo-metric space (X,d) the Hausdorff extended quasi-pseudo-metric is compatible with the Wijsman topology on P ₀(X) if and only if d ^–1 is hereditarily precompact.     

On regularly branched maps

Let be a perfect map between finite-dimensional metrizable spaces and p1. It is shown that the space of all bounded maps from X into with the source limitation topology contains a dense G_δ-subset consisting of f-regularly branched maps. Here, a map is f-regularly branched if, for every n1, the dimension of the set is n(dimf+dimY)−(n−1)(p+dimY). This is a parametric version of the Hurewicz theorem on regularly branched maps.     

Detecting codimension one manifold factors with 0-stitched disks

The 0-stitched disks property is introduced and shown to detect codimension one manifold factors of dimension n?4. It is shown that if a space X is an ANR and has the 0-stitched disks property, then X has the disjoint homotopies property. It follows that if a space X is a resolvable generalized manifold of dimension n?4 with the 0-stitched disks property, then X is a codimension one manifold factor. Whether or not the 0-stitched disks property is equivalent to the disjoint homotopies property remains an open question.     

ech-complete spaces and the upper topology

Let X be a topological space and let be the set of all compact subsets of X. The purpose of this note is to prove the following: if X is regular and q-space, then X is Lindelöf and ech-complete if and only if there exists a continuous map f from a Lindelöf and ech-complete space Y to the space endowed with the upper topology, such that f(Y) is cofinal in . This result extends the following result of Saint Raymond and Christensen: if X is separable metrizable, then X is a Polish space if and only if the space endowed with the Vietoris topology is the continuous image of a Polish space.     

On von neumann's variation of the weierstrass-stone theorem

Let X be a compact HausdorfF space and let D(X) be the set of all continuous real-valued functions f defined on X and such that 0 ≤ f(x) ≤ 1, for all x ? X. The set D(X) is equipped with the uniform topology. We characterize the uniform closure of subsets A ? D(X) containing 0 and 1 and ?ψ + (1 ? ?)η, whenever they contain ?, ψ and η     

A note on equal unions in families of sets

A family of sets has the equal union property if and only if there exist two nonempty disjoint subfamilies having the same union. We prove that any n nonempty subsets of an n-element set have the equal union property if the sum of their cardinalities exceeds n(n+1)/2. This bound is tight. Among families in which the sum of the cardinalities equals n(n+1)/2, we characterize those having the equal union property.     

First Alexandroff Decomposition Theorem for Topological Lattice Group Valued Measures

Let (X, F) be an Alexandroff space, let A(F) be the Boolean subalgebra of 2 ^X generated by F, let G be a Hausdorff commutative topological lattice group and let rba_F(A(F), G) denote the set of all order bounded F-inner regular finitely additive set functions from A(F) into G. Using some special properties of the elements of rba_F(A(F), G), we extend to this setting the first decomposition theorem of Alexandroff.     

Hilbert-generated spaces

We classify several classes of the subspaces of Banach spaces X for which there is a bounded linear operator from a Hilbert space onto a dense subset in X. Dually, we provide optimal affine homeomorphisms from weak star dual unit balls onto weakly compact sets in Hilbert spaces or in c₀(Γ) spaces in their weak topology. The existence of such embeddings is characterized by the existence of certain uniformly Gâteaux smooth norms.     

Entropy,Approximation Quantities and the Asymptotics of the Modulus of Continuity

The paper deals with the approximation of bounded real functions f on a compact metric space (X, d) by so-called controllable step functions in continuation of [Ri/Ste]. These step functions are connected with controllable coverings, that are finite coverings of compact metric spaces by subsets whose sizes fulfil a uniformity condition depending on the entropy numbers ε_n(X) of the space X. We show that a strong form of local finiteness holds for these coverings on compact metric subspaces of IR^m and S^m. This leads to a Bernstein type theorem if the space is of finite convex information. In this case the corresponding approximation numbers ε_n(f) have the same asymptotics its ω(f, ε_n(X)) for f ε C(X). Finally, the results concerning functions f ε M(X) and f ε C(X) are transferred to operators with values in M(X) and C(X), respectively.     

Transitive points via Furstenberg family

Let (X,T) be a topological dynamical system and F be a Furstenberg family (a collection of subsets of Z₊ with hereditary upward property). A point x∈X is called an F-transitive one if {n∈Z₊:Tnx∈U}∈F for every non-empty open subset U of X; the system (X,T) is called F-point transitive if there exists some F-transitive point. In this paper, we aim to classify transitive systems by F-point transitivity. Among other things, it is shown that (X,T) is a weakly mixing E-system (resp. weakly mixing M-system, HY-system) if and only if it is {D-sets}-point transitive (resp. {central sets}-point transitive, {weakly thick sets}-point transitive).It is shown that every weakly mixing system is Fip-point transitive, while we construct an Fip-point transitive system which is not weakly mixing. As applications, we show that every transitive system with dense small periodic sets is disjoint from every totally minimal system and a system is Δ^?(Fwt)-transitive if and only if it is weakly disjoint from every P-system.     

Blockers in hyperspaces

Given a metric continuum X, let X² and C(X) denote the hyperspaces of all nonempty closed subsets and subcontinua, respectively. For A,B∈X² we say that B does not block A if A∩B=∅ and the union of all subcontinua of X intersecting A and contained in X−B is dense in X. In this paper we study some sets of blockers for several kinds of continua. In particular, we determine their Borel classes and, for a large class of locally connected continua X, we recognize them as cap-sets.