Constructible set (topology)

For a Gödel constructive set, see constructible universe.

In topology, a constructible set in a noetherian topological space is a finite union of locally closed sets. (A set is locally closed if it is the intersection of an open set and closed set, or equivalently, if it is open in its closure.) Constructible sets form a Boolean algebra (i.e., it is closed under finite union and complementation.) In fact, the constructible sets are precisely the Boolean algebra generated by open sets and closed sets; hence, the name "constructible". The notion appears in classical algebraic geometry.

Chevalley's theorem (EGA IV, 1.8.4.) states: Let f: X \to Y be a morphism of finite presentations of schemes. Then the image of any constructible set under f is constructible. In particular, the image of a variety need not be a variety, but is (under the assumptions) always a constructible set. For example, the variety xy = 1 (the hyperbola) has image under projecting to the x-axis of the x-axis minus the origin: this is constructible but not a variety, and neither open nor closed in the plane.

In a topological space, every constructible set contains a dense open subset of its closure.[1]

See also


  1. ^ Jinpeng An, Rigid geometric structures, isometric actions, and algebraic quotients, arXiv:1005.1423.


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Constructible set — In mathematics, constructible set may refer to either: a notion in Gödel s constructible universe. a union of locally closed set in a topological space. See constructible set (topology). This disambiguation page lists articles associated with the …   Wikipedia

  • Constructible topology — In commutative algebra, the constructible topology on the spectrum of a commutative ring A is a topology where each closed set is the image of in for some algebra B over A. An important feature of this construction is that the map …   Wikipedia

  • Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects …   Wikipedia

  • Morse–Kelley set theory — In the foundation of mathematics, Morse–Kelley set theory (MK) or Kelley–Morse set theory (KM) is a first order axiomatic set theory that is closely related to von Neumann–Bernays–Gödel set theory (NBG). While von Neumann–Bernays–Gödel set theory …   Wikipedia

  • Differentially closed field — In mathematics, a differential field K is differentially closed if every finite system of differential equations with a solution in some differential field extending K already has a solution in K. This concept was introduced by Robinson (1959).… …   Wikipedia

  • Hermann Weyl — Infobox Scientist box width = name = Hermann Klaus Hugo Weyl image size = caption = Hermann Weyl (left) and Ernst Peschl (right) birth date = Birth date|1885|11|9|df=y birth place = Elmshorn, Germany death date = Death date and… …   Wikipedia

  • Continuum hypothesis — This article is about the hypothesis in set theory. For the assumption in fluid mechanics, see Fluid mechanics. In mathematics, the continuum hypothesis (abbreviated CH) is a hypothesis, advanced by Georg Cantor in 1877[citation needed], about… …   Wikipedia

  • Étale cohomology — In mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil… …   Wikipedia

  • List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

  • Field (mathematics) — This article is about fields in algebra. For fields in geometry, see Vector field. For other uses, see Field (disambiguation). In abstract algebra, a field is a commutative ring whose nonzero elements form a group under multiplication. As such it …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.