Semi-algebraic geometry (Q1908834): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: author (P16): Item:Q798392 |
||
Property / author | |||
Property / author: Q1908833 / rank | |||
Revision as of 06:52, 21 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Semi-algebraic geometry |
scientific article |
Statements
Semi-algebraic geometry (English)
0 references
7 March 1996
0 references
A subset of \(\mathbb{R}^n\) is said to be semi-algebraic if it can be defined by finitely many polynomial inequalities. These sets form the geometric foundation of semi-algebraic geometry. According to the paper, `semi-algebraic geometry is the geometry of semi-algebraic sets'. This is a very narrow view. Frequently the investigation of semi-algebraic subsets of \(\mathbb{R}^n\) requires the use of semi-algebraic sets defined over arbitrary real closed fields or even of real spectra belonging to arbitrary rings. These more general concepts are also an indispensable and legitimate part of semi-algebraic geometry. Focussing on semi-algebraic subsets of \(\mathbb{R}^n\), the attention of the paper is concentrated on the most concrete part of the theory. It is a lively and inspiring introduction exhibiting connections with several other fields in mathematics, such as model theory, algebraic topology, differential geometry, differential topology and integral geometry. Being a survey, it contains many remarkable results and only few proofs (or indications thereof). The main topics are: -- the finitary description of semi-algebraic sets (including model theoretic methods), in particular descriptions by few inequalities, -- topological and metric finiteness results growing out of the finitary description, and -- topological characterizations and properties of real algebraic varieties and semi-algebraic sets.
0 references
real algebraic variety
0 references
real spectrum
0 references
quantifier elimination
0 references
Positivstellensatz
0 references
homology
0 references
semi-algebraic sets
0 references