English

Characterization of a metrizable space $X$ such that $F_4(X)$ is Fr\'echet-Urysohn

General Topology 2018-07-09 v1

Abstract

Let F(X)F(X) be the free topological group on a Tychonoff space XX. For all natural numbers nn we denote by Fn(X)F_n(X) the subset of F(X)F(X) consisting of all words of reduced length n\leq n. In \cite{Y3}, the author found equivalent conditions on a metrizable space XX for F3(X)F_3(X) to be Fr\'echet-Urysohn, and for Fn(X)F_n(X) to be Fr\'echet-Urysohn for n5n\geq5. However, no equivalent condition on XX for n=4n=4 was found. In this paper, we give the equivalent condition. In fact, we show that for a metrizable space XX, if the set of all non-isolated points of XX is compact, then F4(X)F_4(X) is Fr\'echet-Urysohn. Consequently, for a metrizable space XX F3(X)F_3(X) is Fr\'echet-Urysohn if and only if F4(X)F_4(X) is Fr\'echet-Urysohn.

Keywords

Cite

@article{arxiv.1807.02260,
  title  = {Characterization of a metrizable space $X$ such that $F_4(X)$ is Fr\'echet-Urysohn},
  author = {Kohzo Yamada},
  journal= {arXiv preprint arXiv:1807.02260},
  year   = {2018}
}