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

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.


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


[1] Weil, Géométrie différentielle pp 111– (1953)
[2] DOI: 10.2307/2374046 · Zbl 0483.58003
[3] Reyes, The L.E.J. Brouwer Centenary Symposium pp 377– (1982)
[4] DOI: 10.2307/2372203 · Zbl 0037.35502
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.