Invariant Whitney functions

Theorem 1 of [G. W. Schwarz, Smooth functions invariant under the action of a compact Lie group, Topology 14 (1975) 63–68.] says that for a linear action of a compact Lie group [Formula: see text] on a finite dimensional real vector space [Formula: see text], any smooth [Formula: see text]-invariant function on [Formula: see text] can be written as a composite with the Hilbert map. We prove a similar statement for the case of Whitney functions along a subanalytic set [Formula: see text] fulfilling some regularity assumptions. In order to deal with the case when [Formula: see text] is not [Formula: see text]-stable, we use the language of groupoids.

Spaces of Whitney Functions on Cantor-Type Sets

We introduce the concept of logarithmic dimension of a compact set. In terms of this magnitude, the extension property and the diametral dimension of spaces Ɛ(K) can be described for Cantor-type compact sets.