On the set of local extrema of a subanalytic function (Q2301241)

Let \(\mathfrak{F}\) be a category of subanalytic subsets of real analytic manifolds that is closed under basic set-theoretical operations (locally finite unions, difference and product) and basic topological operations (taking connected components and closures). Let \(M\) be a real analytic manifold and denote by \(\mathfrak{F}(M)\) the family of the subsets of \(M\) that belong to the category \(\mathfrak{F}\). Let \(f:X\rightarrow R\) be a subanalytic function on a subset \(X\in\mathfrak{F}(M)\) such that the inverse image under \(f\) of each interval of \(\mathbb{R}\) belongs to \(\mathfrak{F}(M)\). Let \(\max(f)\) be the set of local maxima of \(f\) and consider its intersections with level sets \(\max_{\lambda}(f):=\max(f)\cap\{{f=}\lambda\}\) for each \(\lambda\in\mathbb{R}\). The main result is that if \(f\) is continuous, then \(\max(f)\in\mathfrak{F}(M)\) if and only if the family \(\{\max_{\lambda}(f)\}_{\lambda\in\mathbb{R}}\) is locally finite in \(M\).