DAS WALLMAN-VERFAHREN UND INVERSE LIMITES

Abstract

The relationship between Wallman's construction of a compact T₁-space [9] and Flachsmeyer's inverse limit spaces of inverse systems of decomposition spaces [2] is investigated. There are connections between Wallman spaces and inverse limits, which were initiated by Alexandroff in 1928. Some old theorems using inverse limits have shorter proofs now. On the other hand we obtain a new method to treat Wallman compactifications in terms of inverse limit spaces. A suitable notion in this context is the “prime-filter space”, having an interesting maximality property. This space seems to be proper to examine prime ideals in C(X).     

The combinatorics of τ-covers

We solve four out of the six open problems concerning critical cardinalities of topological diagonalization properties involving τ-covers, show that the remaining two cardinals are equal, and give a consistency result concerning this remaining cardinal. Consequently, 21 open problems concerning potential implications between these properties are settled. We also give structural results based on the combinatorial techniques.     

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 .     

On strong cellularity type properties of Lindelöf groups

We prove several facts about cellularity and κ-cellularity of λ-Lindelöf groups generated by their κ-stable subspaces. For example, if a Lindelöf group G is generated by its κ-stable subspace then κ-cellularity (and hence cellularity) of G does not exceed κ. In particular, ω₁-cellularity (and hence cellularity) of a Lindelöf group does not exceed ω₁ if this group is generated by its ω₁-Lindelöf subspace which is a P-space. For any cardinal μ with ω<μ?c a Lindelöf group G is constructed which is separable (and hence has countable cellularity) while ω-cellularity of G is equal to μ.     

D-spaces and thick covers

The following results are obtained.

-

An open neighbornet U of X has a closed discrete kernel if X has an almost thick cover by countably U-close sets.

-

Every hereditarily thickly covered space is aD and linearly D.

-

Every t-metrizable space is a D-space.

-

X is a D-space if X has a cover {Xα:α<λ} by D-subspaces such that, for each β<λ, the set ?{Xα:α<β} is closed.

     

Upper semifinite hyperspaces as unifying tools in normal Hausdorff topology

In this paper we use the upper semifinite topology in hyperspaces to get results in normal Hausdorff topology. The advantage of this point of view is that the upper semifinite topology, although highly non-Hausdorff, is very easy to handle. By this way we treat different topics and relate topological properties on spaces with some topological properties in hyperspaces. This hyperspace is, of course, determined by the base space. We prove here some reciprocals which are not true for the usual Vietoris topology. We also point out that this framework is a very adequate one to construct the ?ech-Stone compactification of a normal space. We also describe compactness in terms of the second countability axiom and of the fixed point property. As a summary we relate non-Hausdorff topology with some facts in the core of normal Hausdorff topology. In some sense, we reinforce the unity of the subject.     

Spaces of continuous functions over a Ψ-space

The Lindelöf property of the space of continuous real-valued continuous functions is studied. A consistent example of an uncountable Ψ-like space is constructed for which the space of continuous real-valued functions with the pointwise convergence topology is Lindelöf.     

Productively Lindelöf and indestructibly Lindelöf spaces

There has recently been considerable interest in productively Lindelöf spaces, i.e. spaces such that their product with every Lindelöf space is Lindelöf. See e.g. , , , , ,  and , and work in progress by Brendle and Raghavan. Here we make several related remarks about such spaces. Indestructible Lindelöf spaces, i.e. spaces that remain Lindelöf in every countably closed forcing extension, were introduced in [28]. Their connection with topological games and selection principles was explored in [27]. We find further connections here.     

Remarks on ω-domination of discrete subspaces

Abstract

Given a space X, we will say that a class of subsets of X is dominated by a class ? if for any A ∈ , there exists a B ∈ ? such that A ? . In particular, all (closed) discrete subsets of X are countably dominated (which we frequently abbreviate as ω-dominated) if, for any (closed) discrete set D ? X, there exists a countable set B ? X such that D ? . In this paper, we investigate the topological properties of spaces in which (closed) discrete subspaces are dominated either by countable subsets or by Lindelöf subspaces.     

Products of symmetric spaces, and k-networks

As is well known, every product of symmetric spaces need not be symmetric. For symmetric spaces X and Y, in terms of their balls, we give characterizations for the product X×Y to be symmetric under X and Y having certain k-networks, or Y being semi-metric.     

Multistage n-dimensional universal spaces and extensions

Let Iτ be the Tychonoff cube of weight τ?ω with a fixed point, στ and Στ be the correspondent σ- and Σ-products in Iτ and στ⊂(Σστ=ω(στ))⊂Στ. Then for any n∈{0,1,2,…}, there exists a compactum Unτ⊂Iτ of dimension n such that for any Z⊂Iτ of dimension?n, there exists a topological embedding of Z in Unτ that maps the intersections of Z with στ, Σστ and Στ to the intersections , and of Unτ with στ, Σστ and Στ, respectively; , and are n-dimensional and is σ-compact, is a Lindelöf Σ-space and is a sequentially compact normal Fréchet-Urysohn space. This theorem (on multistage universal spaces of given dimension and weight) implies multistage extension theorems (in particular, theorems on Corson and Eberlein compactifications) for Tychonoff spaces.     

Spaces from pieces II

In Parts II to IV, we are going to investigate simultaneous extensions of various topological structures (i.e. traces on several subsets at the same time are prescribed), also with separation axioms T₀, T₁, symmetry (in the sense of Part I, § 3), Riesz property, Lodato property. The following questions will be considered: (i) Under what conditions is there an extension? (ii) How can the finest extension be described? (iii) Is there a coarsest extension? (iv) Can we say more about extensions of two structures than in the general case? (v) Assume that certain subfamilies (e.g. the finite ones) can be extended; does the whole family have an extension, too? The general categorial results from Part I will be applied whenever possible (even when they are not really needed).     

Fréchet versus strongly Fréchet

We construct under [CH] a Tychonoff pseudocompact Fréchet space and a countably compact Hausdorff Fréchet space which are both not strongly Fréchet.     

Ohio completeness and products

In [A.V. Arhangel'ski?, Remainders in compactifications and generalized metrizability properties, Topology Appl. 150 (2005) 79-90], Arhangel'ski? introduced the notion of Ohio completeness and proved it to be a useful concept in his study of remainders of compactifications and generalized metrizability properties. We will investigate the behavior of Ohio completeness with respect to closed subspaces and products. We will prove among other things that if an uncountable product is Ohio complete, then all but countably many factors are compact. As a consequence, Rκ is not Ohio complete, for every uncountable cardinal number κ.     

GRAPHIC EXTENSIONS OF MAPPINGS

ABSTRACT

Given a mapping f: X → Y and an extension e: X → [Xtilde] of X, the restriction of the projection Π: [Xtilde] X Y → Y to the closure of the graph of f in [Xtilde] X Y is called the graphic extension of f with respect to e. It is shown that this approach is widely applicable to various types of topological extensions of mappings found in the literature and often gives simpler proofs of their existence, properties, and results relating to them.     

An extension theorem for D-normal spaces

A second countable developable T₁-space $\text{D}$₁ is defined which has the following properties: (1) $\text{D}$₁ is an absolute extensor for the class of perfect spaces. (2) $\text{D}$₁^?₀ is a universal space for second countable developable T₁-spaces.     

Topological continuous convergence

Let X be a limit space, Y a topological space. We show that c(X,Y), the limitierung of continuous convergence on LIM(X,Y), is topological whenever X is basic locally compact. For regular Y, local compactness of X is sufficient. In both cases, c(X,Y) coincides with the compact-open topology. If X satisfies a certain regularity condition, the fact that c(X,Y) is topological implies, conversely, that X is (basic) locally compact.The author would like to thank S. Weck for some inspiring discussions.     

A selective bitopological version of the Reznichenko property in function spaces

For a Tychonoff space X we consider the compact-open and the topology of pointwise convergence on the set of all continuous real-valued functions, define a selective version of the Reznichenko property connecting the two topologies and characterize it dually via a suitable covering property of the space X.