Good quantum number

From formulasearchengine
Revision as of 21:27, 26 December 2013 by 76.176.110.29 (talk)
Jump to navigation Jump to search
For a Gödel constructive set, see constructible universe.

In topology, a constructible set in a 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 be a morphism of finite presentation 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 projection of the variety (the hyperbola) onto the x-axis is the x-axis minus the origin: this is a constructible set which is neither a variety nor open or closed in the plane.

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

See also

Notes

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

References


Template:Topology-stub

  1. Jinpeng An (2012). "Rigid geometric structures, isometric actions, and algebraic quotients". Geom. Dedicata 157: 153–185.