No label defined (Q4549546)

For the space \(C^r (M,N)\) of \(C^r\)-maps between \(C^r\)-manifolds \(M\) and \(N\), where \(0\leq r\leq \infty\), three types of topologies are used in the theory of differentiable maps and their singularities: the Thom topology \(\tau C^r\), the Whitney topology (or the strong topology) \(\tau W^r\) and the very strong topology \(\tau V^\infty\). In the paper under review the author indicates a difference and relationship between two mapping-space topologies - the strong and very strong topology. Moreover, to compare how strong is the very strong topology the author gives a detailed proof of the following theorem of Cerf: Suppose \(N\) and \(P\) are smooth manifolds, \(U\) is an open subset of \(N\) and \(f\) is in \(C^\infty (N,P)\). Then there is a \(\tau V^\infty\)-neighborhood \(\mathcal U\) of \(f|_U\) in \(C^\infty (U,P)\) such that the induced map \(h^\ast\colon N\to P\), defined by \(h\) and by \(f\) outside \(U\), is \(C^\infty\) for all \(h\in \mathcal U\). For the entire collection see [Zbl 0979.00028].