Semi-algebraic geometry (Q1908834): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q798392
Property / author
 
Property / author: Q1908833 / rank
Normal 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

    Identifiers

    0 references
    0 references
    0 references
    0 references