On a property of ideals of differentiable functions

Abstract

Let J ⊆ C^∞(R^n) be any ideal. Since a function of the variables t = (t_1,...,t_n) is a function of the variables (t,x) = (t_1,...,t_n,x_1,...x_p) which does not depend on x, we have J ⊆ C^∞(R^(n+p)). Of course, J is not an ideal of C^∞(R^(n+p), but it generates an ideal that we call J(t,x). Consider the following statement (1) on J: "Given any f ϵ C^∞ (R^(n+p), f ϵ J(t,x) if and only if for every fixed a ϵ R^p, f(t,a) ϵ J". In this paper we show that statement (1) holds for a large class of finitely generated ideals although not for all of them. We say that ideals satisfying statement (1) have line determined extensions. We characterize these ideals to be closed ideals J(t) (in the sense of Whitney) such that for all p ∈ ℕ, the ideal J(t,x) is also closed. Finally, some non-trivial examples are developed.

Additional details