Topologies on product and coproduct Frölicher spaces (Q488844)

A Frölicher space is a triple \(\langle M, C, F\rangle\), where \(C\)~is a set of maps from \(\mathbb R\) to \(M\) (called `curves') and \(F\)~is a set of maps from~\(M\) to \(\mathbb R\). The two sets are related by the dual demands that \(c\in C\) iff for every \(f\in F\) the composition \(f\circ c\) is smooth, and \(f\in F\) iff for every \(c\in C\) the composition \(f\circ c\)~is smooth, where `smooth' means infinitely often differentiable. The set~\(M\) carries two natural topologies: the initial topology, \(\tau_F\), with respect to~\(F\) and the final topology, \(\tau_C\), with respect to \(C\). It is clear that \(\tau_F\subseteq\tau_C\). Given a family, \(\bigl\{\langle M_i, C_i, F_i\rangle:i\in I\bigr\}\) one defines a product structure on~\(\prod_iM_i\) by saying that \(c\in C\) iff for all~\(i\in I\) and all \(f\in F_i\) the composition \(f_i\circ p_i\circ c\) is smooth and then defining \(F\) to be the set of \(f\) for which all compositions~\(f\circ c\) with \(c\in C\) are smooth. The authors claim to prove that \(\tau_F\)~is exactly the product topology induced by the topologies~\(\tau_{F_i}\). Reviewer's remark: However, a counterexample to this assertion may be constructed by taking the `discrete' structure \(\langle\mathbb{R},C_c,{}^{\mathbb R}{\mathbb R}\rangle\), where \(C_c\)~consists of the constant maps and \({}^{\mathbb R}{\mathbb R}\) is the set of all maps; both of its topologies are discrete. The product structure on an infinite power \(\mathbb{R}^I\) is readily seen to have as its curves the constant maps and the full set of maps from \(\mathbb{R}^I\) to \(\mathbb R\) as its third coordinate. Hence both \(\tau_C\) and \(\tau_F\) are just the discrete topology; however the product topology is not discrete.