Minimale Erzeugung von Positivbereichen (Q798393)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Minimale Erzeugung von Positivbereichen |
scientific article |
Statements
Minimale Erzeugung von Positivbereichen (English)
0 references
1984
0 references
Let \(R\) be a real closed field and \(V\) an affine algebraic \(R\)-variety. A positive cone is a semialgebraic subset \(S\subset V(R)\) of the form \(S=S(f_1,\ldots,f_s)=\{x\in V(R)\mid f_i(x)>0\) for \(i=1,\ldots,s\}\) with \(f_i\in R[V]\). Let \(s(S)=\min\{s\mid S=S(f_1,\ldots,f_s)\}, s(V)=\sup\{s(S)\mid S\) a positive cone in \(V\}\) and \(s(n)=\sup\{s(V)\mid \dim V=n\}\). It is shown that \(s(n)<\infty\). In fact \(s(n)=n\) for \(0<n\le 3\). Also an explicit bound of \(s(n)\) is given for general \(n\) and a characterization of the positive cones among the semialgebraic sets.
0 references
real algebraic geometry
0 references
spaces of orderings
0 references
real spectrum
0 references
positive cone
0 references
semialgebraic subset
0 references