Continuously differentiable functions on compact sets

From MaRDI portal



Abstract: We consider the space of real-valued continuously differentiable functions on a compact subset of a euclidean space. We characterize the completeness of this space and prove that the space of restrictions of continuously differentiable functions on the ambient space is always dense. The space is then compared with other spaces of differentiable functions on compact sets.


Let \(K\) be a compact subset of \(\mathbb{R}^d\). The authors define \(C^1(K)\) to be the space of all functions \(f:K \rightarrow \mathbb{R}\) for which there is a continuous function \(df:K \rightarrow L(\mathbb{R}^d,\mathbb{R})\) satisfying \[\lim_{y\to x}\frac{f(y)-f(x)-df(x)(y-x)}{\|y-x\|_2}=0\] for every \(x\in K\). In contrast to the case of an open domain, \(df\) need not be unique. The space \(C^1(K)\) is equipped with a natural norm. Among other results, the authors characterize the completeness of \(C^1(K)\) and show that the space \[C^1(\mathbb{R}^d|K):=\{f|_K:f\in C^1(\mathbb{R}^d)\}\] is always dense in \(C^1(K)\).





Describes a project that uses

Uses Software






This page was built for publication: Continuously differentiable functions on compact sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2210838)