Dieudonné completion and \(b_{f}\)-group actions (Q2433693)

From MaRDI portal





scientific article; zbMATH DE number 5068491
Language Label Description Also known as
default for all languages
No label defined
    English
    Dieudonné completion and \(b_{f}\)-group actions
    scientific article; zbMATH DE number 5068491

      Statements

      Dieudonné completion and \(b_{f}\)-group actions (English)
      0 references
      0 references
      30 October 2006
      0 references
      The problems of existence and realization of equivariant compactifications in topological dynamics have been dealt with by many authors. Let \(G\) be a Hausdorff topological group continuously acting on a Tychonoff space \(X\). The main result in this paper (Theorem 3.6) asserts that, if \(G\) is a \(b_f\)-space, and \(X\) is pseudocompact, then there exist such compactifications for \(X\) (i. e. \(X\) can be equivariantly embedded into a compact \(G\)-space as a dense subset; this property is usually referred to as ``\(X\) is \(G\)-Tychonoff''), and the topological space underlying the maximal one is the Stone-Čech's compactification \(\beta X\) of \(X\). (A \(b_f\)-space is characterized by the following property: if restrictions to bounded subsets of a real-valued function defined on such a space are continuous, then the function is continuous.) The authors deal also with the converse question: what can be said of a space which is \(G\)-Tychonoff and whose maximal equivariant compactification is Stone-Čech's? They observe that the proof of an important result in this direction, proved by \textit{J. de Vries} [Topology theory and applications, 5th Colloq., Eger/Hung. 1983, Colloq. Math. Soc. János Bolyai 41, 655--666 (1985; Zbl 0598.54019)], does not use this reference's initial assumption of \(G\) being locally compact, and thus derive, among other results, that \(X\) is pseudocompact whenever \(G\) is metrizable and the set of elements in \(X\) with open isotropy group has empty interior (Corollary 3.10). Along the way to these results the authors prove a few interesting facts concerning free topological groups and \(b_f\)-spaces, e. g. both the free topological group and the free Abelian topological group over a pseudocompact space are \(b_f\)-spaces (Theorem 2.4).
      0 references
      0 references
      \(b_f\)-space
      0 references
      equivariant compactification
      0 references
      pseudocompact space
      0 references
      free topological group
      0 references
      free Abelian topological group
      0 references
      Dieudonné completion
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references