CLP-compactness for topological spaces and groups

We study CLP-compact spaces (every cover consisting of clopen sets has a finite subcover) and CLP-compact topological groups. In particular, we extend a theorem on CLP-compactness of products from [J. Steprāns, A. Šostak, Restricted compactness properties and their preservation under products, Topology Appl. 101 (3) (2000) 213-229] and we offer various criteria for CLP-compactness for spaces and topological groups, that work particularly well for precompact groups. This allows us to show that arbitrary products of CLP-compact pseudocompact groups are CLP-compact. For every natural n we construct:

(i)

a totally disconnected, n-dimensional, pseudocompact CLP-compact group; and

(ii)

a hereditarily disconnected, n-dimensional, totally minimal, CLP-compact group that can be chosen to be either separable metrizable or pseudocompact (a Hausdorff group G is totally minimal when all continuous surjective homomorphisms G→H, with a Hausdorff group H, are open).

     

Rothberger bounded groups and Ramsey theory

We show that:

(1)

Rothberger bounded subgroups of σ-compact groups are characterized by Ramseyan partition relations (Corollary 4).

(2)

For each uncountable cardinal κ there is a T₀ topological group of cardinality κ such that ONE has a winning strategy in the point-open game on the group and the group is not a closed subspace of any σ-compact space (Theorem 8).

(3)

For each uncountable cardinal κ there is a T₀ topological group of cardinality κ such that ONE has a winning strategy in the point-open game on the group and the group is σ-compact (Corollary 17).

     

Spaces with large weak extent

In this paper, we show the following statements:

(1)

For any cardinal κ, there exists a pseudocompact centered-Lindelöf Tychonoff space X such that we(X)?κ.

(2)

Assuming ℵ₀²=ℵ₁², there exists a centered-Lindelöf normal space X such that we(X)?ω₁.

     

Realcompactness of hyperspaces and extensions of open-closed maps

In response to questions of Ginsburg [9, 10], we prove that if cf(c)>ω₁, then there exists an open-closed, continuous map f from a normal, realcompact space X onto a space Y which is not realcompact. By his result the hyperspace 2^x of closed subsets of X is then not realcompact, and the extension μf(vf) of f to the topological completion (the Hewitt realcompactification) of X is not onto. The latter fact solves problems raised by Morita [16] and by Isiwata [12] both negatively. We also consider the problem whether or not the hyperspace of a hereditarily Lindelöf space is hereditarily realcompact.     

Asymptotic cones of finitely presented groups

Let G be a connected semisimple Lie group with at least one absolutely simple factor S such that and let Γ be a uniform lattice in G.

(a)

If CH holds, then Γ has a unique asymptotic cone up to homeomorphism.

(b)

If CH fails, then Γ has 2^2ω asymptotic cones up to homeomorphism.

     

Rigid continua and transfinite inductive dimension

We introduce a general method of resolving first countable, compact spaces that allows accurate estimate of inductive dimensions. We apply this method to construct, inter alia, for each ordinal number α>1 of cardinality ?c, a rigid, first countable, non-metrizable continuum Sα with . Sα is the increment in some compactification of [0,1) and admits a fully closed, ring-like map onto a metric continuum. Moreover, every subcontinuum of Sα is separable. Additionally, Sα can be constructed so as to be: (1) a hereditarily indecomposable Anderson-Choquet continuum with covering dimension a given natural number n, provided α>n, (2) a hereditarily decomposable and chainable weak Cook continuum, (3) a hereditarily decomposable and chainable Cook continuum, provided α is countable, (4) a hereditarily indecomposable Cook continuum with covering dimension one, or (5) a Cook continuum with covering dimension two, provided α>2.We also produce a chainable and hereditarily decomposable space Sω(c⁺) with , , trind₀Sω(c⁺) and trInd₀Sω(c⁺) all equal to ω(c⁺), the first ordinal of cardinality c⁺.     

Extending compact topologies to compact Hausdorff topologies in ZF

Within the framework of Zermelo-Fraenkel set theory ZF, we investigate the set-theoretical strength of the following statements:

(1)

For every family(Ai)_i∈Iof sets there exists a family(Ti)_i∈Isuch that for everyi∈I(Ai,Ti)is a compactT₂space.

(2)

For every family(Ai)_i∈Iof sets there exists a family(Ti)_i∈Isuch that for everyi∈I(Ai,Ti)is a compact, scattered, T₂space.

(3)

For every set X, every compactR₁topology (itsT₀-reflection isT₂) on X can be enlarged to a compactT₂topology.

We show:

(a)

(1) implies every infinite set can be split into two infinite sets.

(b)

(2) iff AC.

(c)

(3) and “there exists a free ultrafilter” iff AC.

We also show that if the topology of certain compact T₁ spaces can be enlarged to a compact T₂ topology then (1) holds true. But in general, compact T₁ topologies do not extend to compact T₂ ones.     

Free Boolean algebras over unions of two well orderings

Given a partially ordered set P there exists the most general Boolean algebra which contains P as a generating set, called the free Boolean algebra over P. We study free Boolean algebras over posets of the form P=P₀∪P₁, where P₀, P₁ are well orderings. We call them nearly ordinal algebras.Answering a question of Maurice Pouzet, we show that for every uncountable cardinal κ there are κ² pairwise non-isomorphic nearly ordinal algebras of cardinality κ.Topologically, free Boolean algebras over posets correspond to compact 0-dimensional distributive lattices. In this context, we classify all closed sublattices of the product (ω₁+1)×(ω₁+1), showing that there are only ℵ₁ many types. In contrast with the last result, we show that there are ℵ₁² topological types of closed subsets of the Tikhonov plank (ω₁+1)×(ω+1).     

The topology of continua that are approximated by disjoint subcontinua

Suppose that is a collection of disjoint subcontinua of continuum X such that limi→∞dH(Yi,X)=0 where dH is the Hausdorff metric. Then the following are true:

(1)

X is non-Suslinean.

(2)

If each Yi is chainable and X is finitely cyclic, then X is indecomposable or the union of 2 indecomposable subcontinua.

(3)

If X is G-like, then X is indecomposable.

(4)

If all lie in the same ray and X is finitely cyclic, then X is indecomposable.

     

Self-duality in the class of precompact groups

A topological Abelian group G is called (strongly) self-dual if there exists a topological isomorphism Φ:G→G^∧ of G onto the dual group G^∧ (such that Φ(x)(y)=Φ(y)(x) for all x,y∈G). We prove that every countably compact self-dual Abelian group is finite. It turns out, however, that for every infinite cardinal κ with κω=κ, there exists a pseudocompact, non-compact, strongly self-dual Boolean group of cardinality κ.     

Continuity of posets via Scott topology and sobrification

In this paper, posets which may not be dcpos are considered. The concept of embedded bases for posets is introduced. Characterizations of continuity of posets in terms of embedded bases and Scott topology are given. The main results are:

(1)

A poset is continuous iff it is an embedded basis for a dcpo up to an isomorphism;

(2)

A poset is continuous iff its Scott topology is completely distributive;

(3)

A topological T₀ space is a continuous poset equipped with the Scott topology in the specialization order iff its topology is completely distributive and coarser than or equal to the Scott topology;

(4)

A topological T₁ space is a discrete space iff its topology is completely distributive.

These results generalize the relevant results obtained by J.D. Lawson for dcpos.     

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 Möbius midpoint condition as a test for quasiconformality and the quasimöbius property

The Möbius midpoint condition, introduced by Goldberg in 1974 as a criterion for the quasisymmetry of a mapping of the line onto itself and considered by Aseev and Kuzin in 1998 in the same role for the topological embeddings of the line into ? ⁿ , yields no information on the quasiconformality or quasisymmetry of a topological embedding of ? ^k into ? ⁿ for 1 < k ≤ n. In this article we introduce a Möbius-invariant modification of the midpoint condition, which we call the “Möbius midpoint condition” MMC(f) ≤ H < 1. We prove that if this condition is fulfilled then every homeomorphism of domains in \(\overline {\mathbb{R}^n }\) is K(H)-quasiconformal, while a topological embedding of the sphere \(\overline {\mathbb{R}^k }\) into \(\overline {\mathbb{R}^n }\) (for 1 ≤ k ≤ n) is ω _H-quasimöbius. The quasiconformality coefficient of K(H) and the distortion function ω _H depend only on H and are expressed by explicit formulas showing that K(H) → 1 and ω _H → id as H → 1/2. Since MMC(f) = 1/2 is equivalent to the Möbius property of f, the resulting formulas yield the closeness of the mapping to a Möbius mapping for H near 1/2.     

Pseudocompactness of hyperspaces

We consider the following question of Ginsburg: Is there any relationship between the pseudocompactness ofXωand that of the hyperspaceX²? We do that first in the context of Mrówka-Isbell spaces Ψ(A) associated with a maximal almost disjoint (MAD) family A on ω answering a question of J. Cao and T. Nogura. The space Ψω(A) is pseudocompact for every MAD family A. We show that

(1)

(p=c) ²Ψ(A) is pseudocompact for every MAD family A.

(2)

(h<c) There is a MAD family A such that ²Ψ(A) is not pseudocompact.

We also construct a ZFC example of a space X such that Xω is pseudocompact, yet X² is not.     

Resolvability of spaces having small spread or extent

In a recent paper O. Pavlov proved the following two interesting resolvability results:

(1)

If a T₁-space X satisfies Δ(X)>ps(X) then X is maximally resolvable.

(2)

If a T₃-space X satisfies Δ(X)>pe(X) then X is ω-resolvable.

Here ps(X) (pe(X)) denotes the smallest successor cardinal such that X has no discrete (closed discrete) subset of that size and Δ(X) is the smallest cardinality of a non-empty open set in X.In this note we improve (1) by showing that Δ(X)>ps(X) can be relaxed to Δ(X)?ps(X), actually for an arbitrary topological space X. In particular, if X is any space of countable spread with Δ(X)>ω then X is maximally resolvable.The question if an analogous improvement of (2) is valid remains open, but we present a proof of (2) that is simpler than Pavlov's.     

Normality and countable paracompactness of hyperspaces of ordinals

For an ordinal α, α² denotes the collection of all nonempty closed sets of α with the Vietoris topology and K(α) denotes the collection of all nonempty compact sets of α with the subspace topology of α². It is well known that α² is normal iff cfα=1. In this paper, we will prove that for every nonzero-ordinal α:

(1)

α² is countably paracompact iff cfα≠ω.

(2)

K(α) is countably paracompact.

(3)

K(α) is normal iff, if cfα is uncountable, then cfα=α.

In (3), we use elementary submodel techniques.     

Continuous mappings on subspaces of products with the κ-box topology

Much of General Topology addresses this issue: Given a function f∈C(Y,Z) with Y⊆Y^′ and Z⊆Z^′, find , or at least , such that ; sometimes Z=Z^′ is demanded. In this spirit the authors prove several quite general theorems in the context Y^′=κ(XI)=_∏i∈IXi in the κ-box topology (that is, with basic open sets of the form _∏i∈IUi with Ui open in Xi and with Ui≠Xi for <κ-many i∈I). A representative sample result, extending to the κ-box topology some results of Comfort and Negrepontis, of Noble and Ulmer, and of Hušek, is this.

Theorem. Letω?κ?α (that means: κ<α, and[β<αandλ<κ]⇒βλ<α) with α regular,be a set of non-empty spaces with eachd(Xi)<α,π[Y]=XJfor each non-emptyJ⊆Isuch that|J|<α, and the diagonal in Z be the intersection of <α-many regular-closed subsets ofZ×Z. Then (a) Y is pseudo-(α,α)-compact, (b) for everyf∈C(Y,Z)there isJ∈[I]^<αsuch thatf(x)=f(y)wheneverxJ=yJ, and (c) every such f extends to.     

Properties of the Holmes space

The following properties of the Holmes space H are established:

(i)

H has the Metric Approximation Property (MAP).

(ii)

The w^∗-closure of the set of extreme points of the unit ball BH^∗ of the dual space H^∗ is the whole ball BH^∗.

A family of compact subsets X⊂U of the Urysohn space is described such that the Lipschitz-free space F(X) has a finite-dimensional decomposition and is not complemented in H.