Continuously differentiable functions on compact sets (Q2210838)

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)\).