Structural properties of typical continuous functions defined on locally compact metric spaces (Q2367061): Difference between revisions

Let \(C(E)\) be the space of all real-valued continuous functions on a locally compact dense-in-itself metric space. A function \(f\in C(E)\) is regular at a point \(x_ 0\in E\) if for some \(\delta>0\) the following conditions are fulfilled: (1) if \(x''\in B(x_ 0,\delta)\) and \(f(x')> f(x_ 0)\), then \(Q^ +(x')\backslash B(x_ 0,\delta)\neq\emptyset\); (2) if \(x'\in B(x_ 0,\delta)\) and \(f(x'')< f(x_ 0)\), then \(Q^ - (x'')\backslash B(x_ 0,\delta)\neq\emptyset\); (3) \(Q^ +(x_ 0)\backslash B(x_ 0,\delta)\neq\emptyset\neq Q^ -(x_ 0)\backslash B(x_ 0,\delta)\). (\(B(x_ 0,\delta)\) denotes the open ball with the center at \(x_ 0\) and the radius \(\delta\), \(Q^ +(t)\) denotes the connected component of the set \(\{x: f(x)\geq f(x_ 0)\}\) with \(t\in Q^ +(t)\) and \(Q^ -(t)\) denotes the connected component of the set \(\{x: f(x)\leq f(x_ 0)\}\) with \(t\in Q^ -(t)\).) A function \(f\in C(E)\) is of the regular type at a point \(x_ 0\) if there exists a Lipschitz function \(h\in C(E)\) such that \(f-h\) is regular at \(x_ 0\). A function \(f\in C(E)\) is of the regular type if it is of the irregular type at no \(x\in E\). The main result is: functions of the irregular type form a residual \(G_ \delta\) subset of \(C(E)\). This theorem is used to describe the level set structure of typical functions in \(C(E)\).