Estimating the set of bifurcation values of a smooth function (Q2682940)

Let \(f:\mathbb{R}^n\rightarrow \mathbb{R}\) be a \(C^{\infty}\)-smooth function. The smallest set \(B(f)\subset \mathbb{R}\) outside which the level sets of \(f\) define a locally trivial smooth fibration is its bifurcation set. The values of \(f\) outside \(B(f)\) are called typical. The author introduces the framework for finding out conditions implying that \(y\in \mathbb{R}\) is a typical value. This framework is adopted to obtain some currently known conditions for estimating the set of bifurcation values. Two new such conditions are added. It is also shown that the trivialization of \(f\) in a neighbourhood \(U\) of \(f^{-1}(y)\) can always be obtained by integrating its gradient with respect to some metric on \(U\).