The Dieudonné \(\tau\)-complete spaces and free topological groups of uniform spaces (Q2217249)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 7289022
Language Label Description Also known as
default for all languages
No label defined
    English
    The Dieudonné \(\tau\)-complete spaces and free topological groups of uniform spaces
    scientific article; zbMATH DE number 7289022

      Statements

      The Dieudonné \(\tau\)-complete spaces and free topological groups of uniform spaces (English)
      0 references
      0 references
      0 references
      0 references
      29 December 2020
      0 references
      The authors investigate the uniformity generated by all continuous mappings of a Tychonoff space to metric spaces of weight less than or equal to a given cardinal \(\tau\). By studying the completion of such uniformity (called Dieudonné \(\tau\)-completion), they provide some generalization of results about the Dieudonné completion itself. Finally, the authors study the free topological group of the Dieudonné \(\tau\)-completion, obtaining some interesting consequences. In addition, they prove that the Weil completion of the free topological group coincides with its Raikov completion and that the free topological groups in the sense of \textit{T. Nakayama} [Proc. Imp. Acad. Tokyo 19, 471--475 (1943; Zbl 0063.05899)] and \textit{E. C. Nummela} [Topology Appl. 13, 77--83 (1982; Zbl 0471.22001)] coincide.
      0 references
      universal uniformity
      0 references
      zero(cozero)-sets
      0 references
      locally finite cozero covering
      0 references
      \(z\)-ultrafilter
      0 references
      \(\tau\)-co-LFA \(z\)-ultrafilter
      0 references
      Dieudonné \(\tau\)-completeness
      0 references
      Dieudonné \(\tau\)-completion
      0 references
      free topological group of a Tychonoff space
      0 references
      free topological group of a uniform space
      0 references
      \(P_\tau( P_\tau^\ast)\)-embedding
      0 references
      \(P( P^\ast)\)-embedding
      0 references

      Identifiers

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