On Hilbert's 17th problem and real Nullstellensatz for global analytic functions (Q1066965): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:04, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On Hilbert's 17th problem and real Nullstellensatz for global analytic functions |
scientific article |
Statements
On Hilbert's 17th problem and real Nullstellensatz for global analytic functions (English)
0 references
1985
0 references
Sei M eine reell-analytische Mannigfaltigkeit. Der Verf. beweist folgende Sätze: (1) Sei X eine kompakte irreduzible analytische Menge in M und \(f: X\to {\mathbb{R}}\) eine nirgends negative analytische Funktion. Dann ist f eine Summe von Quadraten meromorpher Funktionen. - (2) Sei \(I\subset {\mathcal O}(M)\) ein endlich erzeugtes Ideal und sei die Nullstellenmenge Z(I) von I kompakt. Dann gilt für das von Z(I) erzeugte Ideal IZ(I): (a) IZ(I)\(=^ R\sqrt{I}\), wobei \({}^ R\sqrt{I}\) das reelle Radikal von I bezeichnet; (b) IZ(I)\(=I \Leftrightarrow I\) ist reell. Zentrales Beweismittel für die Sätze ist die Theorie der totalen Ordnungen von Ringen, vor allem der folgende Satz: Sei \(I\subset {\mathcal O}(M)\) ein Primideal and \(X=Z(I)\). Es existiere ein \(\psi\in I\), derart, daß \(\{\psi =0\}\) kompakt ist. Sind dann \(f_ 1,...,f_ m\in {\mathcal O}(M)\), derart, daß ihre Klassen modulo I in einer totalen Ordnung auf \({\mathcal O}(M)/I\) positiv sind, so ist \(\{f_ 1>0,...,f_ m>0\}\cap X\neq \emptyset.\)
0 references
real nullstellensatz
0 references
Hilbert's 17th problem
0 references
sum of squares of
0 references
meromorphic functions
0 references
real radical
0 references