On a property of ideals of differentiable functions. (English) Zbl 0603.26010

Bruno, Oscar P.

Bull. Aust. Math. Soc. 33, 293-305 (1986).

et \(J\subseteq C^{\infty}(R^ n)\) be any ideal. Since a function of the variables \(\overline{t}=(t_ 1,...,t_ n)\) is a function of the variables \((\overline{t},\overline{x})=(t_ 1,...,t_ n,x_ 1,...,x_ p)\) which does not depend on \(\overline{x}\), we have \(J\subseteq C^{\infty}(R^{n+p})\). Of course, J is not an ideal of \(C^{\infty}(R^{n+p})\), but it generates an ideal that we call \(J(\overline{t},\overline{x})\). Consider the following statement (1) on J: ”Given any \(f\in C^{\infty}(R^{n+p})\), \(f\in J(\overline{t},\overline{x})\) if and only if for every fixed \(a\in R^ p\), \(f(\overline{t},\overline{a})\in 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(\(\overline{t})\) (in the sense of Whitney) such that for all \(p\in N\), the ideal \(J(\overline{t},\overline{x})\) is also closed. Finally, some non-trivial examples are developed.

MSC:

26E10	\(C^\infty\)-functions, quasi-analytic functions
58C20	Differentiation theory (Gateaux, Fréchet, etc.) on manifolds

Keywords:

ideals of differentiable functions

References:

[1]	Weil, Géométrie différentielle pp 111– (1953)
[2]	DOI: 10.2307/2374046 · Zbl 0483.58003 · doi:10.2307/2374046
[3]	Reyes, The L.E.J. Brouwer Centenary Symposium pp 377– (1982)
[4]	DOI: 10.2307/2372203 · Zbl 0037.35502 · doi:10.2307/2372203