On products of discretely generated spaces

Assuming a measurable cardinal exists, we construct a pair of discretely generated spaces whose product fails to be weakly discretely generated. Under the Continuum Hypothesis, a similar result is obtained for a pair of countable Fréchet spaces as well as for two compact discretely generated spaces whose product is not discretely generated. A somewhat weaker example is presented assuming Martin's Axiom for countable posets. Further, the class of strongly discretely generated compacta is shown to preserve discrete generability in products.     

Continuous weak selections for products

A weak selection on an infinite set X   is a function σ:[X]²→X$\sigma :{[X]}^2\to X$ such that σ({x,y})∈{x,y}$\sigma (\{x,y\})\in \{x,y\}$ for each {x,y}∈[X]²$\{x,y\}\in {[X]}^2$. A weak selection on a space is said to be continuous if it is a continuous function with respect to the Vietoris topology on [X]²${[X]}^2$ and the topology on X  . We study some topological consequences from the existence of a continuous weak selection on the product X×Y$X\times Y$ for the following particular cases:

(i)

Both X and Y are spaces with one non-isolated point.     

Minimal KC spaces are compact

We show that every KC space (X,τ), such that τ is minimal among the KC topologies on X, must be compact (not necessarily T₂). This solves a long-standing question, first raised by R. Larson in 1973.     

Compact spaces generated by retractions

We study compact spaces which are obtained from metric compacta by iterating the operation of inverse limit of continuous sequences of retractions. This class, denoted by R, has been introduced in [M. Burke, W. Kubi?, S. Todor?evi?, Kadec norms on spaces of continuous functions, http://arxiv.org/abs/math.FA/0312013]. Allowing continuous images in the definition of class R, one obtains a strictly larger class, which we denote by RC. We show that every space in class RC is either Corson compact or else contains a copy of the ordinal segment ω₁+1. This improves a result of Kalenda from [O. Kalenda, Embedding of the ordinal segment [0,ω₁] into continuous images of Valdivia compacta, Comment. Math. Univ. Carolin. 40 (4) (1999) 777-783], where the same was proved for the class of continuous images of Valdivia compacta. We prove that spaces in class R do not contain cutting P-points (see the definition below), which provides a tool for finding spaces in RC?R. Finally, we study linearly ordered spaces in class RC. We prove that scattered linearly ordered compacta belong to RC and we characterize those ones which belong to R. We show that there are only 5 types (up to order isomorphism) of connected linearly ordered spaces in class R and all of them are Valdivia compact. Finally, we find a universal pre-image for the class of all linearly ordered Valdivia compacta.     

Compact factors in finally compact products of topological spaces

We present instances of the following phenomenon: if a product of topological spaces satisfies some given compactness property then the factors satisfy a stronger compactness property, except possibly for a small number of factors.The first known result of this kind, a consequence of a theorem by A.H. Stone, asserts that if a product is regular and Lindelöf then all but at most countably many factors are compact. We generalize this result to various forms of final compactness, and extend it to two-cardinal compactness. In addition, our results need no separation axiom.     

Projective versions of selection principles

All spaces are assumed to be Tychonoff. A space X is called projectively P (where P is a topological property) if every continuous second countable image of X is P. Characterizations of projectively Menger spaces X in terms of continuous mappings , of Menger base property with respect to separable pseudometrics and a selection principle restricted to countable covers by cozero sets are given. If all finite powers of X are projectively Menger, then all countable subspaces of Cp(X) have countable fan tightness. The class of projectively Menger spaces contains all Menger spaces as well as all σ-pseudocompact spaces, and all spaces of cardinality less than d. Projective versions of Hurewicz, Rothberger and other selection principles satisfy properties similar to the properties of projectively Menger spaces, as well as some specific properties. Thus, X is projectively Hurewicz iff Cp(X) has the Monotonic Sequence Selection Property in the sense of Scheepers; βX is Rothberger iff X is pseudocompact and projectively Rothberger. Embeddability of the countable fan space Vω into Cp(X) or Cp(X,2) is characterized in terms of projective properties of X.     

Fixed point property on symmetric products

For a metric continuum X, let Fn(X)={A⊂X:A is nonempty and has at most n points}. In this paper we show a continuum X such that F₂(X) has the fixed point property while X does not have it.     

On the cardinality of the θ-closed hull of sets

The θ-closed hull of a set A in a topological space is the smallest set C containing A such that, whenever all closed neighborhoods of a point intersect C, this point is in C.     

Extension of continuous functions in digital spaces with the Khalimsky topology

The digital space Zn equipped with Efim Khalimsky's topology is a connected space. We study continuous functions Zn⊃A→Z, from a subset of Khalimsky n-space to the Khalimsky line. We give necessary and sufficient condition for such a function to be extendable to a continuous function Zn→Z. We classify the subsets A of the digital plane such that every continuous function A→Z can be extended to a continuous function on the whole plane.     

Normal covers of various products

Throughout this paper, we consider the following two problems: (A) When does a rectangular normal cover of a product X×Y (or an infinite product _∏λ∈ΛXλ) have a σ-locally finite rectangular cozero refinement? (B) What kind of a refinement makes a rectangular open cover of a product X×Y (or an infinite product _∏λ∈ΛXλ) be normal? We shall discuss these problems on various products listed below.     

A characterization of the Menger property by means of ultrafilter convergence

We characterize various Menger/Rothberger-related properties, and discuss their behavior with respect to products.     

Cosheaves and connectedness in formal topology

The localic definitions of cosheaves, connectedness and local connectedness are transferred from impredicative topos theory to predicative formal topology. A formal topology is locally connected (has base of connected opens) iff it has a cosheaf π₀ together with certain additional structure and properties that constrain π₀ to be the connected components cosheaf. In the inductively generated case, complete spreads (in the sense of Bunge and Funk) corresponding to cosheaves are defined as formal topologies. Maps between the complete spreads are equivalent to homomorphisms between the cosheaves. A cosheaf is the connected components cosheaf for a locally connected formal topology iff its complete spread is a homeomorphism, and in this case it is a terminal cosheaf.A new, geometric proof is given of the topos-theoretic result that a cosheaf is a connected components cosheaf iff it is a “strongly terminal” point of the symmetric topos, in the sense that it is terminal amongst all the generalized points of the symmetric topos. It is conjectured that a study of sites as “formal toposes” would allow such geometric proofs to be incorporated into predicative mathematics.     

Canonical subbase-compactness of topological products

For topological products the concept of canonical subbase-compactness is introduced, and the question analyzed under what conditions such products are canonically subbase-compact in ZF-set theory.Results: (1) Products of finite spaces are canonically subbase-compact iff AC(fin), the axiom of choice for finite sets, holds.(2) Products of n-element spaces are canonically subbase-compact iff AC(<n), the axiom of choice for sets with less than n elements, holds.(3) Products of compact spaces are canonically subbase-compact iff AC, the axiom of choice, holds.(4) All powers XI of a compact space X are canonically subbase compact iff X is a Loeb-space.These results imply that in ZF the implications

     

Classification of regular embeddings of hypercubes of odd dimension

By a regular embedding of a graph into a closed surface we mean a 2-cell embedding with the automorphism group acting regularly on flags. Recently, Kwon and Nedela [Non-existence of nonorientable regular embeddings of n-dimensional cubes, Discrete Math., to appear] showed that no regular embeddings of the n-dimensional cubes Q_n into nonorientable surfaces exist for any positive integer n>2. In 1997, Nedela and Škoviera [Regular maps from voltage assignments and exponent groups, European J. Combin. 18 (1997) 807-823] presented a construction giving for each solution of the congruence a regular embedding M_e of the hypercube Q_n into an orientable surface. It was conjectured that all regular embeddings of Q_n into orientable surfaces can be constructed in this way. This paper gives a classification of regular embeddings of hypercubes Q_n into orientable surfaces for n odd, proving affirmatively the conjecture of Nedela and Škoviera for every odd n.     

Rigidity of symmetric products

Given a metric continuum X, we consider the following hyperspaces of X  : 2^X$2^X$, _Cn(X)$C_n(X)$ and _Fn(X)$F_n(X)$ (n∈N$n\in \mathbb{N}$). Let _F1(X)={{x}:x∈X}$F_1(X)=\{\{x\}:x\in X\}$. A hyperspace K(X)$K(X)$ of X   is said to be rigid provided that for every homeomorphism h:K(X)→K(X)$h:K(X)\to K(X)$ we have that h(_F1(X))=_F1(X)$h(F_1(X))=F_1(X)$. In this paper we study under which conditions a continuum X   has a rigid hyperspace _Fn(X)$F_n(X)$.     

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.     

Minimal pseudocompact group topologies on free abelian groups

A Hausdorff topological group G is minimal if every continuous isomorphism f:G→H between G and a Hausdorff topological group H is open. Significantly strengthening a 1981 result of Stoyanov, we prove the following theorem: For every infinite minimal abelian group G there exists a sequence of cardinals such that

     

On productively Lindelöf spaces

The class of spaces such that their product with every Lindelöf space is Lindelöf is not well-understood. We prove a number of new results concerning such productively Lindelöf spaces with some extra property, mainly assuming the Continuum Hypothesis.     

The notion of o-tightness and C-embedded subspaces of products

We consider the question: when is a dense subset of a space XC-embedded in X? We introduce the notion of o-tightness and prove that if each finite subproduct of a product X = Π_α?AX_α has a countable o-tightness and Y is a subset of X such that π_B(Y) = Π_α?BX_α for every countable B ? A, then Y is C-embedded in X. This result generalizes some of Noble and Ulmer's results on C-embedding.     

Valdivia compact groups are products

It is shown that every Valdivia compact group is homeomorphic to a product of metrizable compacta.