\(C^n\) functions, Hausdorff measures, and analytic sets (Q5957499): Difference between revisions

For a \(C^n\) function \(f: [0,1]\to [0,1]\) the authors introduce the set \(Z_{(f,n)}= \{x: f^{(i)}(x)= 0\) for all \(1\leq i\leq n\}\). If \(f\in C^\infty\), then \(Z_{(f,\infty)}= \{x: f^{(i)}(x)= 0\) for all \(i\geq 1\}\) (\(f^{(i)}\) -- the \(i\)th derivative of \(f\)). \({\mathfrak A}_n\) denotes the collection of all sets \(P\subset [0,1]\) such that there is a function \(f\in C^n\) \((1\leq n\leq\infty)\) with \(P= f(Z_{(f,n)})\). In the paper in terms of Hausdorff measures a characterization of the collection \({\mathfrak A}_n\) is given. The collection \({\mathfrak A}_n\) is also used to characterize the set of all points where the level sets of some \(C^n\) function are perfect (are uncountable).