Semitopological groups,Bouziad spaces and topological groups

A semitopological group (topological group) is a group endowed with a topology for which multiplication is separately continuous (multiplication is jointly continuous and inversion is continuous). In this paper we use topological games to show that many semitopological groups are in fact topological groups.     

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).

     

Singular homology groups of fuzzy topological spaces

Let L be a completely distributive lattice with order reversing involution, and (X, τ) an L-fuzzy topological space. The purpose of this paper is to introduce the fundamental concept of fuzzy algebraic topology-the singular homology groups of the L-fuzzy topological space, in such a way that they take the (usual) cubical singular homology groups of a topological space as a special case. Also, we shall prove that they are L-fuzzy homeomorphic invariants.     

Criterion of completeness of topological linear spaces and topological Abelian groups

A criterion of completeness, established earlier by the author for locally convex spaces, is generalized to arbitrary topological linear spaces and topological Abelian groups.     

Topological characteristics of free bases of topological groups and topological vector spaces

Mutual dimensional properties of basis-equivalent (b-equivalent) and weakly l-equivalent topological spaces are studied. It is shown that the b-equivalence does not preserve bicompactness; in particular, b-equivalent topological spaces can be non-l-equivalent. Bibliography: 18 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 231, 1995, pp. 76–87. Translated by O. A. Ivanov.     

Subseries convergence in topological groups and vector spaces

LetG be a separable complete metric additive topological group; it is shown that if a series Σx _n is subseries convergent in any weaker Hausdorff group topology onG, then Σx _n converges inG. This result can be used to obtain various extensions of the classical Orlicz-Pettis Theorem on subseries convergence in locally convex spaces.     

Harmonic functions on topological groups and symmetric spaces

Let G be a metric group, not necessarily locally compact, acting on a metric space X, for instance, a right coset space of G. We introduce and develop a basic structure theory for harmonic functions on X which is applicable to infinite dimensional Riemannian symmetric spaces.     

Fréchet-Urysohn spaces in free topological groups

Let and be respectively the free topological group and the free Abelian topological group on a Tychonoff space . For every natural number we denote by () the subset of () consisting of all words of reduced length . It is well known that if a space is not discrete, then neither nor is Fréchet-Urysohn, and hence first countable. On the other hand, it is seen that both and are Fréchet-Urysohn for a paracompact Fréchet-Urysohn space . In this paper, we prove first that for a metrizable space , () is Fréchet-Urysohn if and only if the set of all non-isolated points of is compact and is Fréchet-Urysohn if and only if is compact or discrete. As applications, we characterize the metrizable space such that is Fréchet-Urysohn for each and is Fréchet-Urysohn for each except for . In addition, however, there is a first countable, and hence Fréchet-Urysohn subspace of () which is not contained in any (). We shall show that if such a space is first countable, then it has a special form in (). On the other hand, we give an example showing that if the space is Fréchet-Urysohn, then it need not have the form.

     

On the Charshiladze-Lozinski theorem for compact topological groups and homogeneous spaces

This paper is concerned with an extension of the Charshiladze-Lozinski theorem to compact (not necessarily abelian) topological groups G and symmetric compact homogeneous spaces G/H. The proof is based on a generalized Marcinkiewicz — Berman formula. As an application, some divergence theorems for expansions of continuous resp. integrable complex — valued functions on Euclidean spheres and projective spaces in series of polynomial functions on these spaces are established.     

The Baire category theorem in products of linear spaces and topological groups

A space is a Baire space if the intersection of countably many dense open sets is dense. We show that if X is a non-separable completely metrizable linear space (pathconnected abelian topological group) then X contains two linear subspaces (subgroups) E and F such that both E and F are Baire but E×F is not. If X is a completely metrizable linear space of weight ℵ₁ then X is the direct sum E⊕F of two linear subspaces E and F such that both E and F are Baire but E×F is not.     

Recursive topological spaces

The research was supported by the Russian Foundation for Fundamental Research (Grant 093-01-01506).