Real algebraic geometry

Real algebraic geometry

In mathematics, real algebraic geometry is the study of real number solutions to algebraic equations with real number coefficients.

Real plane curves

Since the real number field is not algebraically closed, the geometry of even a plane curve "C" in the real projective plane is not a very easy topic. Assuming no singular points, the real points of "C" form a number of "ovals", in other words submanifolds that are topologically a circle. The real projective plane has a fundamental group that is a cyclic group with two elements. Such an oval may represent either group element; in other words we may or may not be able to contract it down in the plane. Taking out out the line at infinity "L", any oval that stays in the finite part of the affine plane will be contractible, and so represent the identity element of the fundamental group; the other type of oval must therefore intersect "L".

There is still the question of how the various ovals are nested. This was the topic of a Hilbert problem, Hilbert's sixteenth problem. See Harnack's curve theorem for a classical result.

ee also

* Algebraic geometry

External links

* [ "The Role of Hilbert Problems in Real Algebraic Geometry" (PostScript)]

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Algebraic geometry — This Togliatti surface is an algebraic surface of degree five. Algebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It… …   Wikipedia

  • algebraic geometry — Math. the study of sets that are defined by algebraic equations. [1895 1900] * * * Study of geometric objects expressed as equations and represented by graphs in a given coordinate system. In contrast to Euclidean geometry, algebraic geometry… …   Universalium

  • Divisor (algebraic geometry) — In algebraic geometry, divisors are a generalization of codimension one subvarieties of algebraic varieties; two different generalizations are in common use, Cartier divisors and Weil divisors (named for Pierre Cartier and André Weil). These… …   Wikipedia

  • List of algebraic geometry topics — This is a list of algebraic geometry topics, by Wikipedia page. Contents 1 Classical topics in projective geometry 2 Algebraic curves 3 Algebraic surfaces 4 …   Wikipedia

  • Geometry — (Greek γεωμετρία ; geo = earth, metria = measure) is a part of mathematics concerned with questions of size, shape, and relative position of figures and with properties of space. Geometry is one of the oldest sciences. Initially a body of… …   Wikipedia

  • Real closed field — In mathematics, a real closed field is a field F in which any of the following equivalent conditions are true:#There is a total order on F making it an ordered field such that, in this ordering, every positive element of F is a square in F and… …   Wikipedia

  • Real number — For the real numbers used in descriptive set theory, see Baire space (set theory). For the computing datatype, see Floating point number. A symbol of the set of real numbers …   Wikipedia

  • Algebraic curve — In algebraic geometry, an algebraic curve is an algebraic variety of dimension one. The theory of these curves in general was quite fully developed in the nineteenth century, after many particular examples had been considered, starting with… …   Wikipedia

  • Algebraic number field — In mathematics, an algebraic number field (or simply number field) F is a finite (and hence algebraic) field extension of the field of rational numbers Q. Thus F is a field that contains Q and has finite dimension when considered as a vector… …   Wikipedia

  • geometry — /jee om i tree/, n. 1. the branch of mathematics that deals with the deduction of the properties, measurement, and relationships of points, lines, angles, and figures in space from their defining conditions by means of certain assumed properties… …   Universalium