Higher-dimensional Bruckner-Garg type theorem

In this paper, we investigate several properties of maps from a compactum X to an n-dimensional (combinatorial) manifold Mn. We introduce the notions of stable point and locally extreme point of map, and we prove a higher-dimensional Bruckner-Garg type theorem for the fiber structure of a generic map in the space C(X,Mn) of maps from a compactum X with dimX?n to an n-dimensional manifold Mn (n?1). As applications, we also study the spaces of Bing maps, Lelek maps, k-dimensional maps and Krasinkiewicz maps in C(X,Mn).     

Covering by discrete and closed discrete sets

Say that a cardinal number κ is small relative to the space X if κ<Δ(X), where Δ(X) is the least cardinality of a non-empty open set in X. We prove that no Baire metric space can be covered by a small number of discrete sets, and give some generalizations. We show a ZFC example of a regular Baire σ-space and a consistent example of a normal Baire Moore space which can be covered by a small number of discrete sets. We finish with some remarks on linearly ordered spaces.     

Between compactness and completeness

Call a sequence in a metric space cofinally Cauchy if for each positive ε there exists a cofinal (rather than residual) set of indices whose corresponding terms are ε-close. We give a number of new characterizations of metric spaces for which each cofinally Cauchy sequence has a cluster point. For example, a space has such a metric if and only each continuous function defined on it is uniformly locally bounded. A number of results exploit a measure of local compactness functional that we introduce. We conclude with a short proof of Romaguera's Theorem: a metrizable space admits such a metric if and only if its set of points having a compact neighborhood has compact complement.     

Mrówka maximal almost disjoint families for uncountable cardinals

We consider generalizations of a well-known class of spaces, called by S. Mrówka, N∪R, where R is an infinite maximal almost disjoint family (MADF) of countable subsets of the natural numbers N. We denote these generalizations by ψ=ψ(κ,R) for κ?ω. Mrówka proved the interesting theorem that there exists an R such that |βψ(ω,R)?ψ(ω,R)|=1. In other words there is a unique free z-ultrafilter p₀ on the space ψ. We extend this result of Mrówka to uncountable cardinals. We show that for κ?c, Mrówka's MADF R can be used to produce a MADF M⊂ω[κ] such that |βψ(κ,M)?ψ(κ,M)|=1. For κ>c, and every M⊂ω[κ], it is always the case that |βψ(κ,M)?ψ(κ,M)|≠1, yet there exists a special free z-ultrafilter p on ψ(κ,M) retaining some of the properties of p₀. In particular both p and p₀ have a clopen local base in βψ (although βψ(κ,M) need not be zero-dimensional). A result for κ>c, that does not apply to p₀, is that for certain κ>c, p is a P-point in βψ.     

Local connectedness and extension of uniformly continuous functions

A metric space X is straight if for each finite cover of X by closed sets, and for each real valued function f on X, if f is uniformly continuous on each set of the cover, then f is uniformly continuous on the whole of X. The straight spaces have been studied in [A. Berarducci, D. Dikranjan, J. Pelant, An additivity theorem for uniformly continuous functions, Topology and its Applications 146-147 (2005) 339-352], which contains characterization of the straight spaces within the class of the locally connected spaces (they are the uniformly locally connected ones) and the class of the totally disconnected spaces (they coincide with the totally disconnected Atsuji spaces). We show that the completion of a straight space is straight and we characterize the dense straight subspaces of a straight space. In order to clarify further the relation between straightness and the level of local connectedness of the space we introduce two more intermediate properties between straightness and uniform local connectedness and we give various examples to distinguish them. One of these properties coincides with straightness for complete spaces and provides in this way a useful characterization of complete straight spaces in terms of the behaviour of the quasi-components of the space.     

Thin-type dense sets and related properties

We build on Gruenhage, Natkaniec, and Piotrowski?s study of thin, very thin, and slim dense sets in products, and the related notions of (NC) and (GC) which they introduced. We find examples of separable spaces X such that X² has a thin or slim dense set but no countable one. We characterize ordered spaces that satisfy (GC) and (NC), and we give an example of a separable space which satisfies (GC) but not witnessed by a collection of finite sets. We show that the question of when the topological sum of two countable strongly irresolvable spaces satisfies (NC) is related to the Rudin-Keisler order on βω. We also introduce and study the concepts of <κ-thin and superslim dense sets.     

Ordinal remainders of ψ-spaces

We consider which ordinals, with the order topology, can be Stone-?ech remainders of which spaces of the form ψ(κ,M), where ω?κ is a cardinal number and M⊂ω[κ] is a maximal almost disjoint family of countable subsets of κ (MADF). The cardinality of the continuum, denoted c, and its successor cardinal, c⁺, play important roles. We show that if κ>c⁺, then no ψ(κ,M) has any ordinal as a Stone-?ech remainder. If κ?c then for every ordinal δ<κ⁺ there exists Mδ⊂ω[κ], a MADF, such that βψ(κ,Mδ)?ψ(κ,Mδ) is homeomorphic to δ+1. For κ=c⁺, βψ(κ,Mδ)?ψ(κ,Mδ) is homeomorphic to δ+1 if and only if c⁺?δ<c⁺⋅ω.     

On some classes of Lindelöf Σ-spaces

We consider special subclasses of the class of Lindelöf Σ-spaces obtained by imposing restrictions on the weight of the elements of compact covers that admit countable networks: A space X is in the class LΣ(?κ) if it admits a cover by compact subspaces of weight κ and a countable network for the cover. We restrict our attention to κ?ω. In the case κ=ω, the class includes the class of metrizably fibered spaces considered by Tkachuk, and the P-approximable spaces considered by Tka?enko. The case κ=1 corresponds to the spaces of countable network weight, but even the case κ=2 gives rise to a nontrivial class of spaces. The relation of known classes of compact spaces to these classes is considered. It is shown that not every Corson compact of weight ℵ₁ is in the class LΣ(?ω), answering a question of Tkachuk. As well, we study whether certain compact spaces in LΣ(?ω) have dense metrizable subspaces, partially answering a question of Tka?enko. Other interesting results and examples are obtained, and we conclude the paper with a number of open questions.     

Productive local properties of function spaces

We characterize the spaces X for which the space Cp(X) of real valued continuous functions with the topology of pointwise convergence has local properties related to the preservation of countable tightness or the Fréchet property in products. In particular, we use the methods developed to construct an uncountable subset W of the real line such that the product of Cp(W) with any strongly Fréchet space is Fréchet. The example resolves an open question.     

A new bound on the cardinality of homogeneous compacta

We show (in ZFC) that if X is a compact homogeneous Hausdorff space then |X|?²t(X), where t(X) denotes the tightness of X. It follows that under GCH the character and the tightness of such a space coincide.     

Fréchet-Urysohn for finite sets, II

We continue our study [G. Gruenhage, P.J. Szeptycki, Fréchet Urysohn for finite sets, Topology Appl. 151 (2005) 238-259] of several variants of the property of the title. We answer a question from that paper by showing that a space defined in a natural way from a certain Hausdorff gap is a Fréchet α₂ space which is not Fréchet-Urysohn for 2-point sets (FU₂), and answer a question of Hrušák by showing that under MAω₁, no such “gap space” is FU₂. We also introduce versions of the properties which are defined in terms of “selection principles”, give examples when possible showing that the properties are distinct, and discuss relationships of these properties to convergence in product spaces, to the αi-spaces of A.V. Arhangel'skii, and to topological games.     

p-q-convergence of sequences of measurable functions

We introduce new types of convergence of sequences of measurable functions stronger than convergence in measure for each pair of positive real numbers p, q and we obtain a classification of convergences in measure. Also in the space M of sequences of measurable functions converging in measure to zero, we introduce in a natural way an equivalence relation ∼, and in the quotient space M=M/∼ a metric, under which M turns to be a complete metric space.     

Almost arcwise connected continua without dense arc components

A continuum M is almost arcwise connected if each pair of nonempty open subsets of M can be joined by an arc in M. An almost arcwise connected plane continuum without a dense arc component can be defined by identifying pairs of endpoints of three copies of the Knaster indecomposable continuum that has two endpoints. In [7] K.R. Kellum gave this example and asked if every almost arcwise connected continuum without a dense arc component has uncountably many arc components. We answer Kellum's question by defining an almost arcwise connected plane continuum with only three arc components none of which are dense. A continuum M is almost Peano if for each finite collection $\text{C}$ of nonempty open subsets of M there is a Peano continuum in M that intersects each element of $\text{C}$. We define a hereditarily unicoherent almost Peano plane continuum that does not have a dense arc component. We prove that every almost arcwise connected planar λ-dendroid has exactly one dense arc component. It follows that every hereditarily unicoherent almost arcwise connected plane continuum without a dense arc component has uncountably many arc components. Using an example of J. Krasinkiewicz and P Minc [8], we define an almost Peano λ-dendroid that do not have a dense arc component. Using a theorem of J.B. Fugate and L. Mohler [3], we prove that every almost arcwise connected λ-dendroid without a dense arc component has uncountably many arc components. In Euclidean 3-space we define an almost Peano continuum with only countably many arc components no one of which is dense. It is not known if the plane contains a continuum with these properties.     

Examples from trees, related to discrete subsets, pseudo-radiality and ω-boundedness

We construct some examples using trees. Some of them are consistent counterexamples for the discrete reflection of certain topological properties. All the properties dealt with here were already known to be non-discretely reflexive if we assume CH and we show that the same is true assuming the existence of a Suslin tree. In some cases we actually get some ZFC results. We construct also, using a Suslin tree, a compact space that is pseudo-radial but it is not discretely generated. With a similar construction, but using an Aronszajn tree, we present a ZFC space that is first countable, ω-bounded but is not strongly ω-bounded, answering a question of Peter Nyikos.     

Generalized Alexandroff-Urysohn squares and a characterization of the fixed point property

Given a Hausdorff continuum X, we introduce a topology on X×X that yields a Hausdorff continuum. We call the resulting space the Alexandroff-Urysohn square of X and prove that X has the fixed point property if and only if the Alexandroff-Urysohn square of X has the fixed point property.     

Compact spaces, elementary submodels, and the countable chain condition, II

Given a space 〈X,T〉 in an elementary submodel of H(θ), define XM to be X∩M with the topology generated by . It is established that if XM is compact and satisfies the countable chain condition, while X is not scattered and has cardinality less than the first inaccessible cardinal, then X=XM. If the character of XM is a member of M, then “inaccessible” may be replaced by “1-extendible”.     

Group-valued continuous functions with the topology of pointwise convergence

Let G be a topological group with the identity element e. Given a space X, we denote by Cp(X,G) the group of all continuous functions from X to G endowed with the topology of pointwise convergence, and we say that X is: (a) G-regular if, for each closed set F⊆X and every point x∈X?F, there exist f∈Cp(X,G) and g∈G?{e} such that f(x)=g and f(F)⊆{e}; (b) G^?-regular provided that there exists g∈G?{e} such that, for each closed set F⊆X and every point x∈X?F, one can find f∈Cp(X,G) with f(x)=g and f(F)⊆{e}. Spaces X and Y are G-equivalent provided that the topological groups Cp(X,G) and Cp(Y,G) are topologically isomorphic.We investigate which topological properties are preserved by G-equivalence, with a special emphasis being placed on characterizing topological properties of X in terms of those of Cp(X,G). Since R-equivalence coincides with l-equivalence, this line of research “includes” major topics of the classical Cp-theory of Arhangel'ski? as a particular case (when G=R).We introduce a new class of TAP groups that contains all groups having no small subgroups (NSS groups). We prove that: (i) for a given NSS group G, a G-regular space X is pseudocompact if and only if Cp(X,G) is TAP, and (ii) for a metrizable NSS group G, a G^?-regular space X is compact if and only if Cp(X,G) is a TAP group of countable tightness. In particular, a Tychonoff space X is pseudocompact (compact) if and only if Cp(X,R) is a TAP group (of countable tightness). Demonstrating the limits of the result in (i), we give an example of a precompact TAP group G and a G-regular countably compact space X such that Cp(X,G) is not TAP.We show that Tychonoff spaces X and Y are T-equivalent if and only if their free precompact Abelian groups are topologically isomorphic, where T stays for the quotient group R/Z. As a corollary, we obtain that T-equivalence implies G-equivalence for every Abelian precompact group G. We establish that T-equivalence preserves the following topological properties: compactness, pseudocompactness, σ-compactness, the property of being a Lindelöf Σ-space, the property of being a compact metrizable space, the (finite) number of connected components, connectedness, total disconnectedness. An example of R-equivalent (that is, l-equivalent) spaces that are not T-equivalent is constructed.     

On M-structures

We introduce the notion of M-structures and consider the class $\text{M}$ of stratifiable spaces with M-structures. Especially we study the relation between the class $\text{M}$ and that of M₁-spaces.     

Stratifiable spaces defined by pair collections

We define a pair (F,U) to be a closed set F and an open set U such that F ? U. A sequence of pair collections is used to characterize stratifiable spaces instead of a sequence of neighbornets. We introduce a new class of spaces, called regularly stratifiable spaces, which is defined in terms of pair collections. Every stratifiable μ -space is regularly stratifiable, and every regularly stratifiable space has a σ -almost locally finite base, thus is hereditary M₁. J. Nagata's problem for the dimension of M₁ -spaces is answered positively in the class of regularly stratifiable spaces.