About certain subsets of the Euclidean space

DOI10.5802/AIF.1270MaRDI QIDQ1190720zbMATH OpenOpenAlexFDO

Publication date 26 September 1992

Published in Annales de l’institut Fourier (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=AIF_1991__41_3_679_0, https://eudml.org/doc/74934

A. G. Khovanskij's theorems exponential Pfaff manifold Pfaff system polynomial functions projection zeroset of a function

Mathematics Subject Classification ID

Relevant commutative algebra (14A05) Nash functions and manifolds (14P20) Linear function spaces and their duals (46E99) Real-analytic and Nash manifolds (58A07) Pfaffian systems (58A17)

Review text

Let \(\tilde{\mathcal A}_ m\) be the algebra of functions on \(\mathbb{R}^ n\) generated by polynomial functions and exponentials of linear forms. The subset \(S\) in \(\mathbb{R}^ n\) belongs to \({\mathcal P}_ n\) if and only if there exist \(m\) and \(F\) in \(\tilde{\mathcal A}_{n+m}\) for which \(S\) is the image of the zerosubset of \(F\) by the canonical projection of \(\mathbb{R}^{n+m}\) onto \(\mathbb{R}^ n\). Let \(\tilde{\mathcal P}_ n\) be the smallest subset of parts in \(\mathbb{R}^ n\) which contains \({\mathcal P}_ n\), their closures and the images by the canonical projection of the elements in \(\tilde{\mathcal P}_{n+m}\). --- This family of sets is defined by an induction in two steps. The main goal of this article is to prove that \(\tilde{\mathcal P}_{n+m}\) contains the complementary part of each element in \(\tilde{\mathcal P}_{n+m}\), the union and the intersection of every finite family in \(\tilde{\mathcal P}_{n+m}\). The key results for the proof are theorems by A. G. Khovanskij on the set of the solutions of a Pfaff system on a Pfaff manifold.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: About certain subsets of the Euclidean space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1190720)