Universal free G-spaces

For a compact Lie group G, we prove the existence of a universal G-space in the class of all paracompact (respectively, metrizable, and separable metrizable) free G-spaces. We show that such a universal free G-space cannot be compact.     

Fibrant extensions of free G-spaces

We show that any equivariant fibrant extension of a compact free G-space is also free. This result allows us to prove that the orbit space of any equivariant fibrant compact space E is also fibrant, provided that E has only one orbit type.     

Universal G-spaces for proper actions of locally compact groups

We establish the existence of universal G-spaces for proper actions of locally compact groups on Tychonoff spaces. A typical result sounds as follows: for each infinite cardinal number τ every locally compact, non-compact, σ-compact group G of weight w(G)?τ, can act properly on Rτ?{0} such that Rτ?{0} contains a G-homeomorphic copy of every Tychonoff proper G-space of weight ?τ. The metric cones Cone(G/H) with H⊂G a compact subgroup such that G/H is a manifold, are the main building blocks in our approach. As a byproduct we prove that the cardinality of the set of all conjugacy classes of such subgroups H⊂G does not exceed the weight of G.     

Universal elements in some classes of mappings and classes of G-spaces

In the present paper it is proved the existence of topologically universal elements in some classes of mappings and classes of G-spaces generalizing some results from [S.D. Iliadis, Universal Spaces and Mappings, North-Holland Math. Stud., vol. 198, Elsevier, 2005] and [S.D. Iliadis, Universal Borel mappings and Borel actions of groups, Topology Appl., in press, doi:10.1016/j.topol.2007.05.029].     

A note on D-spaces

We introduce notions of nearly good relations and N-sticky modulo a relation as tools for proving that spaces are D-spaces. As a corollary to general results about such relations, we show that Cp(X) is hereditarily a D-space whenever X is a Lindelöf Σ-space. This answers a question of Matveev, and improves a result of Buzyakova, who proved the same result for X compact.We also prove that if a space X is the union of finitely many D-spaces, and has countable extent, then X is linearly Lindelöf. It follows that if X is in addition countably compact, then X must be compact. We also show that Corson compact spaces are hereditarily D-spaces. These last two results answer recent questions of Arhangel'skii. Finally, we answer a question of van Douwen by showing that a perfectly normal collectionwise-normal non-paracompact space constructed by R. Pol is a D-space.     

A note on D-spaces

We show that every regular T₁ submeta-Lindelöf space of cardinality ω₁ is D under MA+¬CH, which answers a question posed by Gruenhage (2011) [9]. Borges (1991) [5] asked if every monotonically normal paracompact space is a D-space, we give a characterization of paracompactness for monotonically normal spaces, which may be of some use in solving this problem.     

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.

     

Metrization of Fpp-spaces

A Hausdorff space each subspace of which is a paracompact p-space is an F_pp-space. A space X is a closed hereditary Baire space if each closed subspace of X is a Baire space. Using a delicate theorem of Z. Balogh it is shown that a first-countable F_pp-space that is a closed hereditary Baire space is metrizable.     

D-spaces, aD-spaces and finite unions

In this paper, we prove that if a space X is the union of a finite family of strong Σ-spaces, then X is a D-space. This gives a positive answer to a question posed by Arhangel'skii in [A.V. Arhangel'skii, D-spaces and finite unions, Proc. Amer. Math. Soc. 132 (2004) 2163-2170]. We also obtain results on aD-spaces and finite unions. These results improve the correspond results in [A.V. Arhangel'skii, R.Z. Buzyakova, Addition theorems and D-spaces, Comment. Math. Univ. Carolin. 43 (2002) 653-663] and [Liang-Xue Peng, The D-property of some Lindelöf spaces and related conclusions, Topology Appl. 154 (2007) 469-475].     

Three examples of pseudocompact quasitopological groups

A quasitopological group is an abstract group with topology in which the inversion and all translations are continuous. We show that a pseudocompact quasitopological group of countable cellularity need not be a Moscow space. Then we present an example of two pseudocompact quasitopological groups whose product fails to be pseudocompact, and of a pseudocompact quasitopological group that contains an infinite discrete subgroup.     

Constructing aD, non-D-spaces

We introduce a general method to construct 0-dimensional, scattered T₂ spaces which are not linearly D. The construction is used to show that there are aD, non-D-spaces, answering a question of Arhangel?skii. The latter example is achieved using Shelah?s club guessing principles.     

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

     

Locally G-homogeneous Busemann G-spaces

We present short proofs of all known topological properties of general Busemann G-spaces (at present no other property is known for dimensions more than four). We prove that all small metric spheres in locally G-homogeneous Busemann G-spaces are homeomorphic and strongly topologically homogeneous. This is a key result in the context of the classical Busemann conjecture concerning the characterization of topological manifolds, which asserts that every n-dimensional Busemann G-space is a topological n-manifold. We also prove that every Busemann G-space which is uniformly locally G-homogeneous on an orbal subset must be finite-dimensional.     

A wage-type example with a pseudocompact factor

The following example is constructed without any set-theoretic assumptions beyond ZFC: There exist a hereditarily separable hereditarily Lindelöf space X and a first-countable locally compact separable pseudocompact space Y such that dim X = dimY = 0, while dim(X × Y)>0.     

Shrinking property in Σ-products of paracompact p-spaces

It is shown that a Σ-product of paracompact p-spaces with countable tightness has the shrinking property.     

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.     

On nearly pseudocompact spaces

A completely regular space X is called nearly pseudocompact if υX?X is dense in βX?X, where βX is the Stone-?ech compactification of X and υX is its Hewitt realcompactification. After characterizing nearly pseudocompact spaces in a variety of ways, we show that X is nearly pseudocompact if it has a dense locally compact pseudocompact subspace, or if no point of X has a closed realcompact neighborhood. Moreover, every nearly pseudocompact space X is the union of two regular closed subsets X₁, X₂ such that Int X₁ is locally compact, no points of X₂ has a closed realcompact neighborhood, and $\text{Int(X}{}_1\text{?X}{}_2\text{)=?}$. It follows that a product of two nearly pseudocompact spaces, one of which is locally compact, is also nearly pseudocompact.