There is no monad based on Hartman-Mycielski functor (Q2452167): Difference between revisions

Given a topological space \(X\) and an admissible metric \(d\) on \(X\) bounded by \(1\), \(HM(X)\) denotes the space of all maps from the half-open interval \([0,1)\) to \(X\) such that \(f|_{[t_i,\,t_{i+1})}\equiv\text{const}\) for some \(0=t_0\leqslant\ldots\leqslant t_n=1\) with respect to the metric \(d_{HM}(f,g)=\int\limits_0^1d(f(t),g(t))dt\) for every \(f,g\in HM(X)\). \(HM(X)\) is known as the Hartman-Mycielski construction~[\textit{S. Hartman} and \textit{J. Mycielski}, Colloq. Math. 5, 167--169 (1958; Zbl 0086.02601)]. This construction was employed in~[\textit{A. Teleiko} and \textit{M. Zarichnyi}, Categorical topology of compact Hausdorff spaces. Mathematical Studies Monograph Series. 5. Lviv: VNTL Publishers. (1999; Zbl 1032.54004)], to get a family \(\mathcal{F}\) of normal functors (in the sense of~[\textit{E. V. Shchepin}, Russ. Math. Surv. 36, No. 3, 1--71 (1981; Zbl 0487.54011)]) on the category \textbf{Comp} of compact Hausdorff spaces (one notices that, in general, the space \(HM(X)\) is not compact). In~[\textit{T. M. Radul}, Mat. Stud. 19, No. 2, 201--207 (2003; Zbl 1023.54017)], one constructed a normal functor \(H\), which contained all the elements of \(\mathcal{F}\) as subfunctors. The present paper shows that the functor \(H\) can not be extended to a monad on \textbf{Comp}. This result follows from Theorem~4.2 on page~125, the proof of which is based in a number of technical lemmas. The paper itself is rather technical in nature and its language is quite concise. It is, however, well written, and will be of interest to categorical topologists.