Semialgebraic set




In mathematics, a semialgebraic set is a subset S of Rn for some real closed field R (for example R could be the field of real numbers) defined by a finite sequence of polynomial equations (of the form P(x1,...,xn)=0{displaystyle P(x_{1},...,x_{n})=0}P(x_1,...,x_n)=0) and inequalities (of the form Q(x1,...,xn)>0{displaystyle Q(x_{1},...,x_{n})>0}Q(x_1,...,x_n) > 0), or any finite union of such sets. A semialgebraic function is a function with semialgebraic graph. Such sets and functions are mainly studied in real algebraic geometry which is the appropriate framework for algebraic geometry over the real numbers.




Contents






  • 1 Properties


  • 2 See also


  • 3 References


  • 4 External links





Properties


Similarly to algebraic subvarieties, finite unions and intersections of semialgebraic sets are still semialgebraic sets. Furthermore, unlike subvarieties, the complement of a semialgebraic set is again semialgebraic. Finally, and most importantly, the Tarski–Seidenberg theorem says that they are also closed under the projection operation: in other words a semialgebraic set projected onto a linear subspace yields another such (as case of elimination of quantifiers). These properties together mean that semialgebraic sets form an o-minimal structure on R.


A semialgebraic set (or function) is said to be defined over a subring A of R if there is some description as in the definition, where the polynomials can be chosen to have coefficients in A.


On a dense open subset of the semialgebraic set S, it is (locally) a submanifold. One can define the dimension of S to be the largest dimension at points at which it is a submanifold. It is not hard to see that a semialgebraic set lies inside an algebraic subvariety of the same dimension.



See also



  • Existential theory of the reals

  • Subanalytic set



References




  • Bochnak, J.; Coste, M.; Roy, M.-F. (1998), Real algebraic geometry, Berlin: Springer-Verlag.mw-parser-output cite.citation{font-style:inherit}.mw-parser-output q{quotes:"""""""'""'"}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-limited a,.mw-parser-output .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}.


  • Bierstone, Edward; Milman, Pierre D. (1988), "Semianalytic and subanalytic sets", Inst. Hautes Études Sci. Publ. Math., 67: 5–42, doi:10.1007/BF02699126, MR 0972342.


  • van den Dries, L. (1998), Tame topology and o-minimal structures, Cambridge University Press.



External links


  • PlanetMath page



-

Popular posts from this blog

Shashamane

Image
city in Oromia, Ethiopia Shashamane ሻሸመኔ (in Amharic) , Shashemane (in Oromo) Shashe city Main Street Shashamane Shashamane Location within Ethiopia Coordinates: 7°12′N 38°36′E  /  7.200°N 38.600°E  / 7.200; 38.600 Country Ethiopia Region Oromia Zone Mirab Arsi Population (2012)  • Total 122,046 Time zone UTC+3 (EAT) Climate Cwb Shashamane (or Shashemene , Oromo) is a town and a separate woreda in West Arsi Zone, Oromia Region, Ethiopia. The town lies on the Trans-African Highway 4 Cairo-Cape Town, about 150 miles (240 km) from the capital of Addis Ababa. It has a latitude of 7° 12' north and a longitude of 38° 36' east. The 2007 national census reported a total population for this town of 100,454, of whom 50,654 were men and 49,800 were women. A plurality of the inhabitants practiced Ethiopian Orthodox Christianity, with 43.44% of the population reporting they observed this belief, while 31.15% of the population said
Read more

Carrot

Image
Root vegetable, usually orange in color This article is about the cultivated vegetable. For other uses, see Carrot (disambiguation). Carrot Scientific classification Kingdom: Plantae Clade : Angiosperms Clade : Eudicots Clade : Asterids Order: Apiales Family: Apiaceae Genus: Daucus Species: D. carota Subspecies: D. c. subsp. sativus Trinomial name Daucus carota subsp. sativus (Hoffm.) Schübl. & G. Martens The carrot ( Daucus carota subsp. sativus ) is a root vegetable, usually orange in colour, though purple, black, red, white, and yellow cultivars exist. [1] Carrots are a domesticated form of the wild carrot, Daucus carota , native to Europe and southwestern Asia. The plant probably originated in Persia and was originally cultivated for its leaves and seeds. The most commonly eaten part of the plant is the taproot, although the stems and leaves are eaten as well. The domestic carrot ha
Read more

Deprivation index

Image
Deprivation indices are a measure of the level of deprivation in an area. Examples include: Indices of deprivation 2004 (ID2004) Indices of deprivation 2007 (ID2007) Underprivileged area score Carstairs index Department of Environment Index v t e Indices of Deprivation National (general deprivation) Carstairs index Index of Multiple Deprivation 2000 (IMD2000) Indices of deprivation 2004 (ID2004) Indices of deprivation 2007 (ID2007) Indices of deprivation 2010 (ID2010) National (subject specific deprivation) Underprivileged area score Department of Environment Index This economics-related article is a stub. You can help Wikipedia by expanding it. v t e This sociology-related article is a stub. You can help Wikipedia by expanding it. v t e This page is only for reference, If you need detailed information, please check here
Read more