Topological Dynamics and Group Theory

On the existence of continuous (approximate) roots of algebraic equations

Let X, Y be compact Hausdorff spaces and B£(X), B*(Y)f 0 < a, |3 < 12 (the first uncountable ordinal), the associated Banach spaces of bounded real-valued Baire functions of classes a and 0. If B*(X) =£ B*AX) (which is the case if a =£ 0 and X is not dispersed), then B*(X) is neither linearly isometric to BQ(Y) nor equivalent to B^(Y) in several other ways. B^(X) is linearly isometric to B%(Y) if and only if X is Baire isomorphic to Y. For 1 < a < ft the maximal ideal space of B£(X) for a nondispersed compact space X As not an F-space. 1. Let I bea compact (more generally, completely regular) Hausdorff space and C(X) the space of continuous real-valued functions on X. Let B0(X) = C(X)9 and inductively define Ba(X) for each ordinal a < Q, (Q denotes the first uncountable ordinal) to be the space of pointwise limits of sequences of functions in U | < a B^(X). Let B*(X) be the space of bounded functions contained in Ba(X). With the pointwise operations Ba(X) and B*(X) are lattice-ordered algebras. With the supremum norm B*(X) is a Banach algebra (see [4, §41]). The Baire sets of X of multiplicative class a, denoted by Za(X)9 are defined to be the zero sets of functions in B*(X). Those of additive class a, denoted by CZa(X), are defined as the complements of sets in Za(X). Finally, those of ambiguous class a, denoted by Aa(X), are the sets which are simultaneously in Za(X) and CZa(X). With the set-theoretic operations of union and intersection, Aa(X) is a Boolean algebra for each a < 12. The sets of exactly ambiguous class a, denoted by EAa(X are those in ^ a ( Z ) U ^ < a Ac(X). The sets of exactly additive and exactly multiplicative class a are defined analogously. The class of all Baire subsets of X is AMS (MOS) subject classifications (1970). Primary 06A65, 26A21, 28A05, 46E1S, 46E30, 46J10, 54C50, 54H05; Secondary 04A15.

The topological fundamental group and free topological groups

Long colimits of topological groups II: Free groups and vector spaces

Some aspects of dimension theory for topological groups

On the Banach ⁎-algebra crossed product associated with a topological dynamical system

Introduction.Let L be an Archimedean vector lattice.The space LZ of all normal integrals (order continuous linear functionals) on L was first studied by H. Nakano [6], and has been the object of recent investigation [l]- [5].The central theorem in this paper shows that if L is the cut-completion of L, then LZ and (L)Z are isomorphic vector lattices, a known result when L = C(X), the continuous functions on a compact Hausdorff space (cf.[3, 10]).This serves as a convenient tool for examining the role that completeness of L plays in determining properties of LZ It will be shown that a number of results previously obtained under the assumption that L is complete can be extended to Archimedean vector lattices.

We show a result slightly more general than the following. Let K be a compact Hausdorff space, F a closed subset of K, and d a lower semi-continuous metric on K. Then each continuous function ƒ on F which is Lipschitz in d admits a continuous extension on K which is Lipschitz in d. The extension has the same supremum norm and the same Lipschitz constant.As a corollary we get that a Banach space X is reflexive if and only if each bounded, weakly continuous and norm Lipschitz function defined on a weakly closed subset of X admits a weakly continuous, norm Lipschitz extension defined on the entire space X.

The survey examines the properties of the Tikhonov space X that depend on the topological properties of the function space C(X) with pointwise topology and of the free topological group F(X). It covers the part of the theory of topological groups dealing with topological invariants and topological classification of topological groups. Continuous images of topological groups are considered in the context of studying the actions of topological groups on spaces.

We investigate some connections between the Fraiss? theory of amalgamation classes and ultrahomogeneous structures, Ramsey theory, and topological dynamics of automorphism groups of countable structures. We show, in particular, that results from the structural Ramsey theory can be quite useful in recognizing the universal minimal flows of this kind of groups. As result we compute universal minimal flows of several well known topological groups such as, for example, the automorphism group of the random graph, the automorphism group of the random triangle-free graph, the automorphism group of the ?-dimensional vector space over a finite field, the automorphism group of the countable atomless Boolean algebra, etc. So we have here a reversal in the traditional relationship between topological dynamics and Ramsey theory, the Ramsey-theoretic results are used in proving theorems of topological dynamics rather than vice versa.

This final chapter is devoted to studying the interplay between the spatial behaviour of random walks, harmonic functions, and compactifications of the state space. The word “topological” in the title is thought of as opposed to “measure theoretic”. This means that the rich and deep theory of the Poisson boundary, related entropy methods and the weak Liouville property (constantness of bounded harmonic functions) will be touched only marginally.

Zerofree extension of continuous functions on a compact Hausdorff space

Jerison introduced the Banach spaces C (S) of continuous real or complex-valued odd functions with respect to an involuntory homeomorphism a : S • • P S of the compact Hausdorff space S. It has been conjectured that any Banach space of the type C (S) is isomorphic to a Banach space of all continuous functions on some compact Hausdorff space. This conjecture is shown to be true if either (1) S is a Cartesian product of compact metric spaces or (2) S is a linearly ordered compact Hausdorff space and a has at most one fixed point.

In a recent paper, F. Bombal and P. Cembranos showed that if E is a Banach space such that E* is separable, then C(Q, E), the Banach space of continuous functions from a compact Hausdorff space Q to E, has the Dieudonne property. They asked whether or not the result is still true if one only assumes that E does not contain a copy of l1. In this paper we give a positive answer to their question. As a corollary we show that if E is a subspace of an order continuous Banach lattice, then E has the Dieudonne property if and only if C(Q, E) has the same property. If E is a Banach space and Q is a compact Hausdorff space, then C(Q, E) will stand for the Banach space of the E-valued continuous functions on Q under the supremum norm. A Banach space E is said to have the Dieudonne property if for every Banach space F, any bounded linear operator T: E -> F that transforms weakly Cauchy sequences into weakly convergent sequences is weakly compact. In [3] F. Bombal and P. Cembranos showed that if E is a Banach space such that E* is separable, then C(Q, E) has the Dieudonne property and they asked whether the same result is true when replacing the assumption that E* is separable by supposing only that 11 does not embed in E. In this paper we give a positive answer to their question. Recall that a topological space (X, -y) is said to be Polish if it is homeomorphic to a separable complete metric space and it is said to be analytic if it is the continuous image of a Polish space. A subset A of a topological space (X, y) is said to be coanalytic if its complement (X\A, y) is analytic. Finally A is said to be PCA if it is the continuous image of a coanalytic space. The notations and terminology used and not defined can be found in [5, 8, or 10]. In the proof of Lemma 3 we need the following two results. THEOREM 1 (M. SREBRNY [9]). Let X and Y be two analytic spaces and let F be a multivalued function from X to the subsets of Y, such that its graph is PCA and for which one can prove that for every x c X, F(x) :8 0 using only the axioms of ZFC. Then there exists a universally measurable map f: X -> Y such that f (x) c F(x) for every x E X. THEOREM 2 (I. ASSANI [1, 2]). Let E be a separable Banach space. The set of weakly Cauchy sequences is a coanalytic subset of EN. Received by the editors January 5, 1985. 1980 Mathematics Subject Classification. Primary 46G10, 46B22.

On [formula omitted]-factorizable topological groups