Archive:Article of the Week

The Article of the Week is an article chosen by vote among Citizens as exemplifying various qualities we like to see in a Citizendium article; see our article standards. It is chosen each week by vote in a manner similar to that of its sister project, the New Draft of the Week

Add New Nominees Here

To add a new nominee or vote for an existing nominee, click edit for this section and follow the instructions

Table of Nominees

Nominated article	Supporters	Specialist supporters	Score
Tranexamic acid	Howard C. Berkowitz		1
Smog	--Daniel Mietchen 22:12, 7 September 2010 (UTC)		1
New nominee name goes here

Transclusion of the above nominees (to be done by an Administrator)

• Transclude each of the nominees in the above "Table of Nominees" as per the instructions at Template:Featured Article Candidate.
• Then add the transcluded article to the list in the next section below, using the {{Featured Article Candidate}} template.

View Current Transcluded Nominees (after they have been transcluded by an Administrator)

The next article (or draft) of the week will be the article with the most votes at 1 AM UTC on Thursday, 23 September, 2010.

Text in this section is transcluded from the respective Citizendium entries and may change when these are edited.

Nominated article	Supporters	Specialist supporters	Score
Space (mathematics): A set with some added structure, which often form a hierarchy, i.e., one space may inherit all the characteristics of a parent space. [e] The metadata subpage is missing. You can start it via filling in this form or by following the instructions that come up after clicking on the [show] link to the right. Do you see this on PREVIEW? then SAVE! before following a link. To find out more about the use of metadata for the management of Citizendium pages, see CZ:Metadata. You may see this box for one of two reasons. Either: A - New page has been created, or subpages template was added to an existing page B - Cluster move is in progress Click either the A or B link for further instructions. [Feel free to recommend improvements to the text or links in this template] A - For a New Cluster use the following directions Subpages format requires a metadata page. Using the following instructions will complete the process of creating this article's subpages. Click the blue "metadata template" link below to create the page. On the edit page that appears paste in the article's title across from "pagename =". You might also fill out the checklist part of the form. Ignore the rest. For background, see Using the Subpages template Don't worry--you'll get the hang of it right away. Remember to hit Save! the "metadata template". However, you can create articles without subpages. Just delete the {{subpages}} template from the top of this page and this prompt will disappear. :) Don't feel obligated to use subpages, it's more important that you write sentences, which you can always do without writing fancy code. [Feel free to recommend improvements to the text or links in this template] B - For a Cluster Move use the following directions The metadata template should be moved to the new name as the first step. Please revert this move and start by using the Move Cluster link at the top left of the talk page. The name prior to this move can be found at the following link. [Feel free to recommend improvements to the text or links in this template] This article is about evolution of the mathematical idea of space from classical to modern. For the classical approach, see Euclidean geometry. Modern mathematics treats space quite differently than classical mathematics did. The differences are listed below; their origin and meaning are explained afterwards. Differences Classic Modern axioms are obvious implications of definitions axioms are conventional theorems are absolute objective truths theorems are implications of the corresponding axioms relationships between points, lines etc. are determined by their nature relationships between points, lines etc. are essential; their nature is not mathematical objects are given to us with their structure each mathematical theory describes its objects by some of their properties geometry corresponds to an experimental reality geometric theorems are mathematical truths all geometric properties of the space follow from the axioms the axioms of a space need not determine all geometric properties geometry is an autonomous and living science classical geometry is a universal language of mathematics the space is three-dimensional different concepts of dimension apply to different kinds of spaces the space is the universe of geometry spaces are just mathematical structures, they occur in various branches of mathematics History Before the golden age of geometry In ancient mathematics, "space" was a geometric abstraction of the three-dimensional space observed in the everyday life. The axiomatic method was the main research tool since Euclid (about 300 BC). The coordinate method (analytic geometry) was added by René Descartes in 1637. At that time geometric theorems were treated as an absolute objective truth that can be known through intuition and reason, similar to the objects of natural science; and axioms were treated as obvious implications of definitions. Two equivalence relations between geometric figures were used: congruence and similarity. Translations, rotations and reflections transform a figure into congruent figures; homotheties into similar figures. For example, all circles are mutually similar, but ellipses are not similar to circles. A third equivalence relation, introduced by projective geometry (Gaspard Monge, 1795), corresponds to projective transformations. Not only ellipses but also parabolas and hyperbolas turn into circles under appropriate projective transformations; they all are projectively equivalent figures. The relation between the two geometries, Euclidean and projective, shows that mathematical objects are not given to us with their structure. Rather, each mathematical theory describes its objects by some of their properties, precisely those that are put as axioms at the foundations of the theory. Distances and angles are never mentioned in the axioms of the projective geometry and therefore cannot appear in its theorems. The question "what is the sum of the three angles of a triangle" is meaningful in the Euclidean geometry but meaningless in the projective geometry. A different situation appeared in the 19th century: in some geometries the sum of the three angles of a triangle is well-defined but different from the classical value (180 degrees). The non-Euclidean hyperbolic geometry, introduced by Nikolai Lobachevsky in 1829 and Janos Bolyai in 1832 (and Carl Friedrich Gauß in 1816, unpublished) stated that the sum depends on the triangle and is always less than 180 degrees. Eugenio Beltrami in 1868 and Felix Klein in 1871 have obtained Euclidean "models" of the non-Euclidean hyperbolic geometry, and thereby completely justified this theory. This discovery forced the abandonment of the pretensions to the absolute truth of Euclidean geometry. It showed that axioms are not "obvious", nor "implications of definitions". Rather, they are hypotheses. To what extent do they correspond to an experimental reality? This important physical problem has nothing anymore to do with mathematics. Even if a "geometry" does not correspond to an experimental reality, its theorems remain no less "mathematical truths". A Euclidean model of a non-Euclidean geometry is a clever choice of some objects existing in Euclidean space and some relations between these objects that satisfy all axioms (therefore, all theorems) of the non-Euclidean geometry. These Euclidean objects and relations "play" the non-Euclidean geometry like contemporary actors playing an ancient performance! Relations between the actors only mimic relations between the characters in the play. Likewise, the chosen relations between the chosen objects of the Euclidean model only mimic the non-Euclidean relations. It shows that relations between objects are essential in mathematics, while the nature of the objects is not. The golden age and afterwards: dramatic change According to Nicolas Bourbaki, the period between 1795 ("Géométrie descriptive" of Monge) and 1872 (the "Erlangen program (Erlanger Programm)" of Klein) can be called the golden age of geometry. Analytic geometry made a great progress and succeeded in replacing theorems of classical geometry with computations via invariants of transformation groups. Since that time new theorems of classical geometry interest amateurs rather than professional mathematicians. However, it does not mean that the heritage of the classical geometry was lost. Quite the contrary! According to Bourbaki, "passed over in its role as an autonomous and living science, classical geometry is thus transfigured into a universal language of contemporary mathematics". According to the famous Habilitation lecture given by Bernhard Riemann in 1854, every mathematical object parametrized by n real numbers may be treated as a point of the n-dimensional space of all such objects. Nowadays mathematicians follow this idea routinely and find it extremely suggestive to use the terminology of classical geometry nearly everywhere. In order to fully appreciate the generality of this approach one should note that mathematics is "a pure theory of forms, which has as its purpose, not the combination of quantities, or of their images, the numbers, but objects of thought" (Hermann Hankel, 1867). Functions are important mathematical objects. Usually they form infinite-dimensional spaces, as noted already by Riemann and elaborated in the 20th century by functional analysis. An object parametrized by n complex numbers may be treated as a point of a complex n-dimensional space. However, the same object is also parametrized by 2n real numbers (real parts and imaginary parts of the complex numbers), thus, a point of a real 2n-dimensional space. The complex dimension differs from the real dimension. This is only the tip of the iceberg. The "algebraic" concept of dimension applies to linear spaces. The "topological" concept of dimension applies to topological spaces. There is also Hausdorff dimension for metric spaces; this one can be non-integer (especially for fractals). Some kinds of spaces (for instance, measure spaces) admit no concept of dimension at all. The original space investigated by Euclid is now called "the three-dimensional Euclidean space". Its axiomatization, started by Euclid 23 centuries ago, was finalized in the 20 century by David Hilbert, Alfred Tarski and George Birkhoff. This approach describes the space via undefined primitives (such as "point", "between", "congruent") constrained by a number of axioms. Such a definition "from scratch" is now of little use, since it hides the standing of this space among other spaces. The modern approach defines the three-dimensional Euclidean space more algebraically, via linear spaces and quadratic forms, namely, as an affine space whose difference space is a three-dimensional inner product space. Also a three-dimensional projective space is now defined non-classically, as the space of all one-dimensional subspaces (that is, straight lines through the origin) of a four-dimensional linear space. A space consists now of selected mathematical objects (for instance, functions on another space, or subspaces of another space, or just elements of a set) treated as points, and selected relationships between these points. It shows that spaces are just mathematical structures. One may expect that the structures called "spaces" are more geometric than others, but this is not always true. For example, a differentiable manifold (called also smooth manifold) is much more geometric than a measurable space, but no one calls it "differentiable space" (nor "smooth space"). Taxonomy of spaces Three taxonomic ranks Spaces are classified on three levels. Given that each mathematical theory describes its objects by some of their properties, the first question to ask is: which properties? For example, the upper-level classification distinguishes between Euclidean and projective spaces, since the distance between two points is defined in Euclidean spaces but undefined in projective spaces. These are spaces of different type. Another example. The question "what is the sum of the three angles of a triangle" makes sense in a Euclidean space but not in a projective space; these are spaces of different type. In a non-Euclidean space the question makes sense but is answered differently, which is not an upper-level distinction. Also the distinction between a Euclidean plane and a Euclidean 3-dimensional space is not an upper-level distinction; the question "what is the dimension" makes sense in both cases. In terms of Bourbaki the upper-level classification is related to "typical characterization" (or "typification"). However, it is not the same (since two equivalent structures may differ in typification). On the second level of classification one takes into account answers to especially important questions (among the questions that make sense according to the first level). For example, this level distinguishes between Euclidean and non-Euclidean spaces; between finite-dimensional and infinite-dimensional spaces; between compact and non-compact spaces, etc. In terms of Bourbaki the second-level classification is the classification by "species". Unlike biological taxonomy, a space may belong to several species. On the third level of classification, roughly speaking, one takes into account answers to all possible questions (that make sense according to the first level). For example, this level distinguishes between spaces of different dimension, but does not distinguish between a plane of a three-dimensional Euclidean space, treated as a two-dimensional Euclidean space, and the set of all pairs of real numbers, also treated as a two-dimensional Euclidean space. Likewise it does not distinguish between different Euclidean models of the same non-Euclidean space. More formally, the third level classifies spaces up to isomorphism. An isomorphism between two spaces is defined as a one-to-one correspondence between the points of the first space and the points of the second space, that preserves all relations between the points, stipulated by the given "typification". Mutually isomorphic spaces are thought of as copies of a single space. If one of them belongs to a given species then they all do. The notion of isomorphism sheds light on the upper-level classification. Given a one-to-one correspondence between two spaces of the same type, one may ask whether it is an isomorphism or not. This question makes no sense for two spaces of different type. Isomorphisms to itself are called automorphisms. Automorphisms of a Euclidean space are motions and reflections. Euclidean space is homogeneous in the sense that every point can be transformed into every other point by some automorphism. Two relations between species, and a property of species Topological notions (continuity, convergence, open sets, closed sets etc.) are defined naturally in every Euclidean space. In other words, every Euclidean space is also a topological space. Every isomorphism between two Euclidean spaces is also an isomorphism between the corresponding topological spaces (called "homeomorphism"), but the converse is wrong: a homeomorphism may distort distances. In terms of Bourbaki, "topological space" is an underlying structure of the "Euclidean space" structure. Similar ideas occur in category theory: the category of Euclidean spaces is a concrete category over the category of topological spaces; the forgetful (or "stripping") functor maps the former category to the latter category. A three-dimensional Euclidean space is a special case of a Euclidean space. In terms of Bourbaki, the species of three-dimensional Euclidean space is richer than the species of Euclidean space. Likewise, the species of compact topological space is richer than the species of topological space. Euclidean axioms leave no freedom, they determine uniquely all geometric properties of the space. More exactly: all three-dimensional Euclidean spaces are mutually isomorphic. In this sense we have "the" three-dimensional Euclidean space. In terms of Bourbaki, the corresponding theory is univalent. In contrast, topological spaces are generally non-isomorphic, their theory is multivalent. A similar idea occurs in mathematical logic: a theory is called categorical if all its models are mutually isomorphic. According to Bourbaki, the study of multivalent theories is the most striking feature which distinguishes modern mathematics from classical mathematics. Zoo of spaces Linear and topological spaces Two basic species are linear spaces (also called vector spaces) and topological spaces. Linear spaces are of algebraic nature; there are real linear spaces (over the field of real numbers), complex linear spaces (over the field of complex numbers), and more generally, linear spaces over any field. Every complex linear space is also a real linear space (the latter underlies the former), since each real number is also a complex number. Linear operations, given in a linear space by definition, lead to such notions as straight lines (and planes, and other linear subspaces); parallel lines; ellipses (and ellipsoids). However, orthogonal (perpendicular) lines cannot be defined, and circles cannot be singled out among ellipses. The dimension of a linear space is defined as the maximal number of linearly independent vectors or, equivalently, as the minimal number of vectors that span the space; it may be finite or infinite. Two linear spaces over the same field are isomorphic if and only if they are of the same dimension. Topological spaces are of analytic nature. Open sets, given in a topological space by definition, lead to such notions as continuous functions, paths, maps; convergent sequences, limits; interior, boundary, exterior. However, uniform continuity, bounded sets, Cauchy sequences, differentiable functions (paths, maps) remain undefined. Isomorphisms between topological spaces are traditionally called "homeomorphisms"; these are one-to-one correspondences continuous in both directions. The open interval $(0,1)$ is homeomorphic to the whole line $(-\infty ,\infty )$ but not homeomorphic to the closed interval $[0,1]$, nor to a circle. The surface of a cube is homeomorphic to a sphere (the surface of a ball) but not homeomorphic to a torus. Euclidean spaces of different dimensions are not homeomorphic, which seems evident, but is not easy to prove. Dimension of a topological space is difficult to define; "inductive dimension" and "Lebesgue covering dimension" are used. Every subset of a topological space is itself a topological space (in contrast, only linear subsets of a linear space are linear spaces). Arbitrary topological spaces, investigated by general topology (called also point-set topology) are too diverse for a complete classification (up to homeomorphism). They are inhomogeneous (in general). Compact topological spaces are an important class of topological spaces ("species" of this "type"). Every continuous function is bounded on such space. The closed interval $[0,1]$ and the extended real line $[-\infty ,\infty ]$ are compact; the open interval $(0,1)$ and the line $(-\infty ,\infty )$ are not. Geometric topology investigates manifolds (another "species" of this "type"); these are topological spaces locally homeomorphic to Euclidean spaces. Low-dimensional manifolds are completely classified (up to homeomorphism). The two structures discussed above (linear and topological) are both underlying structures of the "linear topological space" structure. That is, a linear topological space is both a linear (real or complex) space and a (homogeneous, in fact) topological space. However, an arbitrary combination of these two structures is generally not a linear topological space; the two structures must conform, namely, the linear operations must be continuous. Every finite-dimensional (real or complex) linear space is a linear topological space in the sense that it carries one and only one topology that makes it a linear topological space. The two structures, "finite-dimensional (real or complex) linear space" and "finite-dimensional linear topological space", are thus equivalent, that is, mutually underlying. Accordingly, every invertible linear transformation of a finite-dimensional linear topological space is a homeomorphism. In the infinite dimension, however, different topologies conform to a given linear structure, and invertible linear transformations are generally not homeomorphisms. Affine and projective spaces It is convenient to introduce affine and projective spaces by means of linear spaces, as follows. An $n$-dimensional linear subspace of an $(n+1)$-dimensional linear space, being itself an $n$-dimensional linear space, is not homogeneous; it contains a special point, the origin. Shifting it by a vector external to it, one obtains an $n$-dimensional affine space. It is homogeneous. In the words of John Baez, "an affine space is a vector space that's forgotten its origin". A straight line in the affine space is, by definition, its intersection with a two-dimensional linear subspace (plane through the origin) of the $(n+1)$-dimensional linear space. Every linear space is also an affine space. Every point of the affine space is its intersection with a one-dimensional linear subspace (line through the origin) of the $(n+1)$-dimensional linear space. However, some one-dimensional subspaces are parallel to the affine space; in some sense, they intersect it at infinity. The set of all one-dimensional linear subspaces of an $(n+1)$-dimensional linear space is, by definition, an $n$-dimensional projective space. Choosing an $n$-dimensional affine space as before one observes that the affine space is embedded as a proper subset into the projective space. However, the projective space itself is homogeneous. A straight line in the projective space, by definition, corresponds to a two-dimensional linear subspace of the $(n+1)$-dimensional linear space. Defined this way, affine and projective spaces are of algebraic nature; they can be real, complex, and more generally, over any field. Every real (or complex) affine or projective space is also a topological space. An affine space is a non-compact manifold; a projective space is a compact manifold. Metric and uniform spaces Distances between points are defined in a metric space. Every metric space is also a topological space. Bounded sets and Cauchy sequences are defined in a metric space (but not just in a topological space). Isomorphisms between metric spaces are called isometries. A metric space is called complete if all Cauchy sequences converge. Every incomplete space is isometrically embedded into its completion. Every compact metric space is complete; the real line is non-compact but complete; the open interval $(0,1)$ is incomplete. A topological space is called metrizable, if it underlies a metric space. All manifolds are metrizable. Every Euclidean space is also a complete metric space. Moreover, all geometric notions immanent to a Euclidean space can be characterized in terms of its metric. For example, the straight segment connecting two given points $A$ and $C$ consists of all points $B$ such that the distance between $A$ and $C$ is equal to the sum of two distances, between $A$ and $B$ and between $B$ and $C$. Uniform space does not introduce distances, but still allows one to use uniform continuity, Cauchy sequences, completeness and completion. Every uniform space is also a topological space. Every linear topological space (metrizable or not) is also a uniform space. More generally, every commutative topological group is also a uniform space. A non-commutative topological group, however, carries two uniform structures, one left-invariant, the other right-invariant. Linear topological spaces are complete in finite dimension but generally incomplete in infinite dimension. Normed, Banach, inner product, and Hilbert spaces Vectors in a Euclidean space are a linear space, but each vector $x$ has also a length, in other words, norm, $\|x\|$. A (real or complex) linear space endowed with a norm is a normed space. Every normed space is both a linear topological space and a metric space. A Banach space is defined as a complete normed space. Many spaces of sequences or functions are infinite-dimensional Banach spaces. The set of all vectors of norm less than one is called the unit ball of a normed space. It is a convex, centrally symmetric set, generally not an ellipsoid; for example, it may be a polygon (on the plane). The parallelogram law (called also parallelogram identity) $\|x-y\|^{2}+\|x+y\|^{2}=2\|x\|^{2}+2\|y\|^{2}$ generally fails in normed spaces, but holds for vectors in Euclidean spaces, which follows from the fact that the squared Euclidean norm of a vector is its inner product to itself. An inner product space is a (real or complex) linear space endowed with a bilinear (or sesquilinear) form satisfying some conditions and called inner product. Every inner product space is also a normed space. A normed space underlies an inner product space if and only if it satisfies the parallelogram law, or equivalently, if its unit ball is an ellipsoid. Angles between vectors are defined in inner product spaces. A Hilbert space is defined as a complete inner product space. (Some authors insist that it must be complex, others admit also real Hilbert spaces.) Many spaces of sequences or functions are infinite-dimensional Hilbert spaces. Hilbert spaces are very important for quantum theory. All $n$-dimensional real inner product spaces are mutually isomorphic. One may say that the $n$-dimensional Euclidean space is the $n$-dimensional real inner product space that's forgotten its origin. Smooth and Riemannian manifolds (spaces) Smooth manifolds are not called "spaces", but could be. Smooth (differentiable) functions, paths, maps, given in a smooth manifold by definition, lead to tangent spaces. Every smooth manifold is a (topological) manifold. Smooth surfaces in a finite-dimensional linear space (like the surface of an ellipsoid, not a polytope) are smooth manifolds. Every smooth manifold can be embedded into a finite-dimensional linear space. A smooth path in a smooth manifold has (at every point) the tangent vector, belonging to the tangent space (attached to this point). Tangent spaces to an $n$-dimensional smooth manifold are $n$-dimensional linear spaces. A smooth function has (at every point) the differential, – a linear functional on the tangent space. Real (or complex) finite-dimensional linear, affine and projective spaces are also smooth manifolds. A Riemannian manifold, or Riemann space, is a smooth manifold whose tangent spaces are endowed with inner product (satisfying some conditions). Euclidean spaces are also Riemann spaces. Smooth surfaces in Euclidean spaces are Riemann spaces. A hyperbolic non-Euclidean space is also a Riemann space. A curve in a Riemann space has the length. A Riemann space is both a smooth manifold and a metric space; the length of the shortest curve is the distance. The angle between two curves intersecting at a point is the angle between their tangent lines. Waiving positivity of inner product on tangent spaces one gets pseudo-Riemann (especially, Lorentzian) spaces very important for general relativity. Measurable, measure, and probability spaces Waiving distances and angles while retaining volumes (of geometric bodies) one moves toward measure theory. Besides the volume, a measure generalizes area, length, mass (or charge) distribution, and also probability distribution, according to Andrei Kolmogorov's approach to probability theory. A "geometric body" of classical mathematics is much more regular than just a set of points. The boundary of the body is of zero volume. Thus, the volume of the body is the volume of its interior, and the interior can be exhausted by an infinite sequence of cubes. In contrast, the boundary of an arbitrary set of points can be of non-zero volume (an example: the set of all rational points inside a given cube). Measure theory succeeded in extending the notion of volume (or another measure) to a vast class of sets, so-called measurable sets. Indeed, non-measurable sets never occur in applications, but anyway, the theory must restrict itself to measurable sets (and functions). Measurable sets, given in a measurable space by definition, lead to measurable functions and maps. In order to turn a topological space into a measurable space one endows it with a σ-algebra. The σ-algebra of Borel sets is most popular, but not the only choice (Baire sets, universally measurable sets etc. are used sometimes). Alternatively, a σ-algebra can be generated by a given collection of sets (or functions) irrespective of any topology. Quite often, different topologies lead to the same σ-algebra (for example, the norm topology and the weak topology on a separable Hilbert space). Every subset of a measurable space is itself a measurable space. Standard measurable spaces (called also standard Borel spaces) are especially useful. Every Borel set (in particular, every closed set and every open set) in a Euclidean space (and more generally, in a complete separable metric space) is a standard measurable space. All uncountable standard measurable spaces are mutually isomorphic. A measure space is a measurable space endowed with a measure. A Euclidean space with Lebesgue measure is a measure space. Integration theory defines integrability and integrals of measurable functions on a measure space. Sets of measure 0, called null sets, are negligible. Accordingly, a $\mod 0$ isomorphism is defined as isomorphism between subsets of full measure (that is, with negligible complement). A probability space is a measure space such that the measure of the whole space is equal to 1. The product of any family (finite or not) of probability spaces is a probability space. In contrast, for measure spaces in general, only the product of finitely many spaces is defined. Accordingly, there are many infinite-dimensional probability measures (especially, Gaussian measures), but no infinite-dimensional Lebesgue measure. Standard probability spaces are especially useful. Every probability measure on a standard measurable space leads to a standard probability space. The product of a sequence (finite or not) of standard probability spaces is a standard probability space. All non-atomic standard probability spaces are mutually isomorphic $\mod 0;$ one of them is the interval $(0,1)$ with Lebesgue measure. These spaces are less geometric. In particular, the idea of dimension, applicable (in one form or another) to all other spaces, does not apply to measurable, measure and probability spaces. Other spaces Harmonic spaces. Conformal spaces. Analytic (called also complex analytic) spaces. Affinely connected spaces. Algebraic spaces. Symplectic spaces. (Read more...)	Daniel Mietchen 14:32, 11 August 2010 (UTC)		1

Current Winner (to be selected and implemented by an Administrator)

To change, click edit and follow the instructions, or see documentation at {{Featured Article}}.

The metadata subpage is missing. You can start it via filling in this form or by following the instructions that come up after clicking on the [show] link to the right.

Do you see this on PREVIEW? then SAVE! before following a link. To find out more about the use of metadata for the management of Citizendium pages, see CZ:Metadata. You may see this box for one of two reasons. Either: A - New page has been created, or subpages template was added to an existing page B - Cluster move is in progress Click either the A or B link for further instructions. [Feel free to recommend improvements to the text or links in this template] A - For a New Cluster use the following directions Subpages format requires a metadata page. Using the following instructions will complete the process of creating this article's subpages. Click the blue "metadata template" link below to create the page. On the edit page that appears paste in the article's title across from "pagename =". You might also fill out the checklist part of the form. Ignore the rest. For background, see Using the Subpages template Don't worry--you'll get the hang of it right away. Remember to hit Save! the "metadata template". However, you can create articles without subpages. Just delete the {{subpages}} template from the top of this page and this prompt will disappear. :) Don't feel obligated to use subpages, it's more important that you write sentences, which you can always do without writing fancy code. [Feel free to recommend improvements to the text or links in this template] B - For a Cluster Move use the following directions The metadata template should be moved to the new name as the first step. Please revert this move and start by using the Move Cluster link at the top left of the talk page. The name prior to this move can be found at the following link. [Feel free to recommend improvements to the text or links in this template]

---

This article is about evolution of the mathematical idea of space from classical to modern. For the classical approach, see Euclidean geometry.

Modern mathematics treats space quite differently than classical mathematics did. The differences are listed below; their origin and meaning are explained afterwards.

Differences

Classic	Modern
axioms are obvious implications of definitions	axioms are conventional
theorems are absolute objective truths	theorems are implications of the corresponding axioms
relationships between points, lines etc. are determined by their nature	relationships between points, lines etc. are essential; their nature is not
mathematical objects are given to us with their structure	each mathematical theory describes its objects by some of their properties
geometry corresponds to an experimental reality	geometric theorems are mathematical truths
all geometric properties of the space follow from the axioms	the axioms of a space need not determine all geometric properties
geometry is an autonomous and living science	classical geometry is a universal language of mathematics
the space is three-dimensional	different concepts of dimension apply to different kinds of spaces
the space is the universe of geometry	spaces are just mathematical structures, they occur in various branches of mathematics

History

Before the golden age of geometry

In ancient mathematics, "space" was a geometric abstraction of the three-dimensional space observed in the everyday life. The axiomatic method was the main research tool since Euclid (about 300 BC). The coordinate method (analytic geometry) was added by René Descartes in 1637. At that time geometric theorems were treated as an absolute objective truth that can be known through intuition and reason, similar to the objects of natural science; and axioms were treated as obvious implications of definitions.

Two equivalence relations between geometric figures were used: congruence and similarity. Translations, rotations and reflections transform a figure into congruent figures; homotheties into similar figures. For example, all circles are mutually similar, but ellipses are not similar to circles. A third equivalence relation, introduced by projective geometry (Gaspard Monge, 1795), corresponds to projective transformations. Not only ellipses but also parabolas and hyperbolas turn into circles under appropriate projective transformations; they all are projectively equivalent figures.

The relation between the two geometries, Euclidean and projective, shows that mathematical objects are not given to us with their structure. Rather, each mathematical theory describes its objects by some of their properties, precisely those that are put as axioms at the foundations of the theory.

Distances and angles are never mentioned in the axioms of the projective geometry and therefore cannot appear in its theorems. The question "what is the sum of the three angles of a triangle" is meaningful in the Euclidean geometry but meaningless in the projective geometry.

A different situation appeared in the 19th century: in some geometries the sum of the three angles of a triangle is well-defined but different from the classical value (180 degrees). The non-Euclidean hyperbolic geometry, introduced by Nikolai Lobachevsky in 1829 and Janos Bolyai in 1832 (and Carl Friedrich Gauß in 1816, unpublished) stated that the sum depends on the triangle and is always less than 180 degrees. Eugenio Beltrami in 1868 and Felix Klein in 1871 have obtained Euclidean "models" of the non-Euclidean hyperbolic geometry, and thereby completely justified this theory.

This discovery forced the abandonment of the pretensions to the absolute truth of Euclidean geometry. It showed that axioms are not "obvious", nor "implications of definitions". Rather, they are hypotheses. To what extent do they correspond to an experimental reality? This important physical problem has nothing anymore to do with mathematics. Even if a "geometry" does not correspond to an experimental reality, its theorems remain no less "mathematical truths".

A Euclidean model of a non-Euclidean geometry is a clever choice of some objects existing in Euclidean space and some relations between these objects that satisfy all axioms (therefore, all theorems) of the non-Euclidean geometry. These Euclidean objects and relations "play" the non-Euclidean geometry like contemporary actors playing an ancient performance! Relations between the actors only mimic relations between the characters in the play. Likewise, the chosen relations between the chosen objects of the Euclidean model only mimic the non-Euclidean relations. It shows that relations between objects are essential in mathematics, while the nature of the objects is not.

The golden age and afterwards: dramatic change

According to Nicolas Bourbaki, the period between 1795 ("Géométrie descriptive" of Monge) and 1872 (the "Erlangen program (Erlanger Programm)" of Klein) can be called the golden age of geometry. Analytic geometry made a great progress and succeeded in replacing theorems of classical geometry with computations via invariants of transformation groups. Since that time new theorems of classical geometry interest amateurs rather than professional mathematicians.

However, it does not mean that the heritage of the classical geometry was lost. Quite the contrary! According to Bourbaki, "passed over in its role as an autonomous and living science, classical geometry is thus transfigured into a universal language of contemporary mathematics".

According to the famous Habilitation lecture given by Bernhard Riemann in 1854, every mathematical object parametrized by n real numbers may be treated as a point of the n-dimensional space of all such objects. Nowadays mathematicians follow this idea routinely and find it extremely suggestive to use the terminology of classical geometry nearly everywhere.

In order to fully appreciate the generality of this approach one should note that mathematics is "a pure theory of forms, which has as its purpose, not the combination of quantities, or of their images, the numbers, but objects of thought" (Hermann Hankel, 1867).

Functions are important mathematical objects. Usually they form infinite-dimensional spaces, as noted already by Riemann and elaborated in the 20th century by functional analysis.

An object parametrized by n complex numbers may be treated as a point of a complex n-dimensional space. However, the same object is also parametrized by 2n real numbers (real parts and imaginary parts of the complex numbers), thus, a point of a real 2n-dimensional space. The complex dimension differs from the real dimension. This is only the tip of the iceberg. The "algebraic" concept of dimension applies to linear spaces. The "topological" concept of dimension applies to topological spaces. There is also Hausdorff dimension for metric spaces; this one can be non-integer (especially for fractals). Some kinds of spaces (for instance, measure spaces) admit no concept of dimension at all.

The original space investigated by Euclid is now called "the three-dimensional Euclidean space". Its axiomatization, started by Euclid 23 centuries ago, was finalized in the 20 century by David Hilbert, Alfred Tarski and George Birkhoff. This approach describes the space via undefined primitives (such as "point", "between", "congruent") constrained by a number of axioms. Such a definition "from scratch" is now of little use, since it hides the standing of this space among other spaces. The modern approach defines the three-dimensional Euclidean space more algebraically, via linear spaces and quadratic forms, namely, as an affine space whose difference space is a three-dimensional inner product space.

Also a three-dimensional projective space is now defined non-classically, as the space of all one-dimensional subspaces (that is, straight lines through the origin) of a four-dimensional linear space.

A space consists now of selected mathematical objects (for instance, functions on another space, or subspaces of another space, or just elements of a set) treated as points, and selected relationships between these points. It shows that spaces are just mathematical structures. One may expect that the structures called "spaces" are more geometric than others, but this is not always true. For example, a differentiable manifold (called also smooth manifold) is much more geometric than a measurable space, but no one calls it "differentiable space" (nor "smooth space").

Taxonomy of spaces

Three taxonomic ranks

Spaces are classified on three levels. Given that each mathematical theory describes its objects by some of their properties, the first question to ask is: which properties?

For example, the upper-level classification distinguishes between Euclidean and projective spaces, since the distance between two points is defined in Euclidean spaces but undefined in projective spaces. These are spaces of different type.

Another example. The question "what is the sum of the three angles of a triangle" makes sense in a Euclidean space but not in a projective space; these are spaces of different type. In a non-Euclidean space the question makes sense but is answered differently, which is not an upper-level distinction.

Also the distinction between a Euclidean plane and a Euclidean 3-dimensional space is not an upper-level distinction; the question "what is the dimension" makes sense in both cases.

In terms of Bourbaki the upper-level classification is related to "typical characterization" (or "typification"). However, it is not the same (since two equivalent structures may differ in typification).

On the second level of classification one takes into account answers to especially important questions (among the questions that make sense according to the first level). For example, this level distinguishes between Euclidean and non-Euclidean spaces; between finite-dimensional and infinite-dimensional spaces; between compact and non-compact spaces, etc.

In terms of Bourbaki the second-level classification is the classification by "species". Unlike biological taxonomy, a space may belong to several species.

On the third level of classification, roughly speaking, one takes into account answers to all possible questions (that make sense according to the first level). For example, this level distinguishes between spaces of different dimension, but does not distinguish between a plane of a three-dimensional Euclidean space, treated as a two-dimensional Euclidean space, and the set of all pairs of real numbers, also treated as a two-dimensional Euclidean space. Likewise it does not distinguish between different Euclidean models of the same non-Euclidean space.

More formally, the third level classifies spaces up to isomorphism. An isomorphism between two spaces is defined as a one-to-one correspondence between the points of the first space and the points of the second space, that preserves all relations between the points, stipulated by the given "typification". Mutually isomorphic spaces are thought of as copies of a single space. If one of them belongs to a given species then they all do.

The notion of isomorphism sheds light on the upper-level classification. Given a one-to-one correspondence between two spaces of the same type, one may ask whether it is an isomorphism or not. This question makes no sense for two spaces of different type.

Isomorphisms to itself are called automorphisms. Automorphisms of a Euclidean space are motions and reflections. Euclidean space is homogeneous in the sense that every point can be transformed into every other point by some automorphism.

Two relations between species, and a property of species

Topological notions (continuity, convergence, open sets, closed sets etc.) are defined naturally in every Euclidean space. In other words, every Euclidean space is also a topological space. Every isomorphism between two Euclidean spaces is also an isomorphism between the corresponding topological spaces (called "homeomorphism"), but the converse is wrong: a homeomorphism may distort distances. In terms of Bourbaki, "topological space" is an underlying structure of the "Euclidean space" structure. Similar ideas occur in category theory: the category of Euclidean spaces is a concrete category over the category of topological spaces; the forgetful (or "stripping") functor maps the former category to the latter category.

A three-dimensional Euclidean space is a special case of a Euclidean space. In terms of Bourbaki, the species of three-dimensional Euclidean space is richer than the species of Euclidean space. Likewise, the species of compact topological space is richer than the species of topological space.

Euclidean axioms leave no freedom, they determine uniquely all geometric properties of the space. More exactly: all three-dimensional Euclidean spaces are mutually isomorphic. In this sense we have "the" three-dimensional Euclidean space. In terms of Bourbaki, the corresponding theory is univalent. In contrast, topological spaces are generally non-isomorphic, their theory is multivalent. A similar idea occurs in mathematical logic: a theory is called categorical if all its models are mutually isomorphic. According to Bourbaki, the study of multivalent theories is the most striking feature which distinguishes modern mathematics from classical mathematics.

Zoo of spaces

Linear and topological spaces

Two basic species are linear spaces (also called vector spaces) and topological spaces.

Linear spaces are of algebraic nature; there are real linear spaces (over the field of real numbers), complex linear spaces (over the field of complex numbers), and more generally, linear spaces over any field. Every complex linear space is also a real linear space (the latter underlies the former), since each real number is also a complex number. Linear operations, given in a linear space by definition, lead to such notions as straight lines (and planes, and other linear subspaces); parallel lines; ellipses (and ellipsoids). However, orthogonal (perpendicular) lines cannot be defined, and circles cannot be singled out among ellipses. The dimension of a linear space is defined as the maximal number of linearly independent vectors or, equivalently, as the minimal number of vectors that span the space; it may be finite or infinite. Two linear spaces over the same field are isomorphic if and only if they are of the same dimension.

Topological spaces are of analytic nature. Open sets, given in a topological space by definition, lead to such notions as continuous functions, paths, maps; convergent sequences, limits; interior, boundary, exterior. However, uniform continuity, bounded sets, Cauchy sequences, differentiable functions (paths, maps) remain undefined. Isomorphisms between topological spaces are traditionally called "homeomorphisms"; these are one-to-one correspondences continuous in both directions. The open interval $(0,1)$ is homeomorphic to the whole line $(-\infty ,\infty )$ but not homeomorphic to the closed interval $[0,1]$, nor to a circle. The surface of a cube is homeomorphic to a sphere (the surface of a ball) but not homeomorphic to a torus. Euclidean spaces of different dimensions are not homeomorphic, which seems evident, but is not easy to prove. Dimension of a topological space is difficult to define; "inductive dimension" and "Lebesgue covering dimension" are used. Every subset of a topological space is itself a topological space (in contrast, only linear subsets of a linear space are linear spaces). Arbitrary topological spaces, investigated by general topology (called also point-set topology) are too diverse for a complete classification (up to homeomorphism). They are inhomogeneous (in general). Compact topological spaces are an important class of topological spaces ("species" of this "type"). Every continuous function is bounded on such space. The closed interval $[0,1]$ and the extended real line $[-\infty ,\infty ]$ are compact; the open interval $(0,1)$ and the line $(-\infty ,\infty )$ are not. Geometric topology investigates manifolds (another "species" of this "type"); these are topological spaces locally homeomorphic to Euclidean spaces. Low-dimensional manifolds are completely classified (up to homeomorphism).

The two structures discussed above (linear and topological) are both underlying structures of the "linear topological space" structure. That is, a linear topological space is both a linear (real or complex) space and a (homogeneous, in fact) topological space. However, an arbitrary combination of these two structures is generally not a linear topological space; the two structures must conform, namely, the linear operations must be continuous.

Every finite-dimensional (real or complex) linear space is a linear topological space in the sense that it carries one and only one topology that makes it a linear topological space. The two structures, "finite-dimensional (real or complex) linear space" and "finite-dimensional linear topological space", are thus equivalent, that is, mutually underlying. Accordingly, every invertible linear transformation of a finite-dimensional linear topological space is a homeomorphism. In the infinite dimension, however, different topologies conform to a given linear structure, and invertible linear transformations are generally not homeomorphisms.

Affine and projective spaces

It is convenient to introduce affine and projective spaces by means of linear spaces, as follows. An $n$-dimensional linear subspace of an $(n+1)$-dimensional linear space, being itself an $n$-dimensional linear space, is not homogeneous; it contains a special point, the origin. Shifting it by a vector external to it, one obtains an $n$-dimensional affine space. It is homogeneous. In the words of John Baez, "an affine space is a vector space that's forgotten its origin". A straight line in the affine space is, by definition, its intersection with a two-dimensional linear subspace (plane through the origin) of the $(n+1)$-dimensional linear space. Every linear space is also an affine space.

Every point of the affine space is its intersection with a one-dimensional linear subspace (line through the origin) of the $(n+1)$-dimensional linear space. However, some one-dimensional subspaces are parallel to the affine space; in some sense, they intersect it at infinity. The set of all one-dimensional linear subspaces of an $(n+1)$-dimensional linear space is, by definition, an $n$-dimensional projective space. Choosing an $n$-dimensional affine space as before one observes that the affine space is embedded as a proper subset into the projective space. However, the projective space itself is homogeneous. A straight line in the projective space, by definition, corresponds to a two-dimensional linear subspace of the $(n+1)$-dimensional linear space.

Defined this way, affine and projective spaces are of algebraic nature; they can be real, complex, and more generally, over any field.

Every real (or complex) affine or projective space is also a topological space. An affine space is a non-compact manifold; a projective space is a compact manifold.

Metric and uniform spaces

Distances between points are defined in a metric space. Every metric space is also a topological space. Bounded sets and Cauchy sequences are defined in a metric space (but not just in a topological space). Isomorphisms between metric spaces are called isometries. A metric space is called complete if all Cauchy sequences converge. Every incomplete space is isometrically embedded into its completion. Every compact metric space is complete; the real line is non-compact but complete; the open interval $(0,1)$ is incomplete.

A topological space is called metrizable, if it underlies a metric space. All manifolds are metrizable.

Every Euclidean space is also a complete metric space. Moreover, all geometric notions immanent to a Euclidean space can be characterized in terms of its metric. For example, the straight segment connecting two given points $A$ and $C$ consists of all points $B$ such that the distance between $A$ and $C$ is equal to the sum of two distances, between $A$ and $B$ and between $B$ and $C$.

Uniform space does not introduce distances, but still allows one to use uniform continuity, Cauchy sequences, completeness and completion. Every uniform space is also a topological space. Every linear topological space (metrizable or not) is also a uniform space. More generally, every commutative topological group is also a uniform space. A non-commutative topological group, however, carries two uniform structures, one left-invariant, the other right-invariant. Linear topological spaces are complete in finite dimension but generally incomplete in infinite dimension.

Normed, Banach, inner product, and Hilbert spaces

Vectors in a Euclidean space are a linear space, but each vector $x$ has also a length, in other words, norm, $\|x\|$. A (real or complex) linear space endowed with a norm is a normed space. Every normed space is both a linear topological space and a metric space. A Banach space is defined as a complete normed space. Many spaces of sequences or functions are infinite-dimensional Banach spaces.

The set of all vectors of norm less than one is called the unit ball of a normed space. It is a convex, centrally symmetric set, generally not an ellipsoid; for example, it may be a polygon (on the plane). The parallelogram law (called also parallelogram identity) $\|x-y\|^{2}+\|x+y\|^{2}=2\|x\|^{2}+2\|y\|^{2}$ generally fails in normed spaces, but holds for vectors in Euclidean spaces, which follows from the fact that the squared Euclidean norm of a vector is its inner product to itself.

An inner product space is a (real or complex) linear space endowed with a bilinear (or sesquilinear) form satisfying some conditions and called inner product. Every inner product space is also a normed space. A normed space underlies an inner product space if and only if it satisfies the parallelogram law, or equivalently, if its unit ball is an ellipsoid. Angles between vectors are defined in inner product spaces. A Hilbert space is defined as a complete inner product space. (Some authors insist that it must be complex, others admit also real Hilbert spaces.) Many spaces of sequences or functions are infinite-dimensional Hilbert spaces. Hilbert spaces are very important for quantum theory.

All $n$-dimensional real inner product spaces are mutually isomorphic. One may say that the $n$-dimensional Euclidean space is the $n$-dimensional real inner product space that's forgotten its origin.

Smooth and Riemannian manifolds (spaces)

Smooth manifolds are not called "spaces", but could be. Smooth (differentiable) functions, paths, maps, given in a smooth manifold by definition, lead to tangent spaces. Every smooth manifold is a (topological) manifold. Smooth surfaces in a finite-dimensional linear space (like the surface of an ellipsoid, not a polytope) are smooth manifolds. Every smooth manifold can be embedded into a finite-dimensional linear space. A smooth path in a smooth manifold has (at every point) the tangent vector, belonging to the tangent space (attached to this point). Tangent spaces to an $n$-dimensional smooth manifold are $n$-dimensional linear spaces. A smooth function has (at every point) the differential, – a linear functional on the tangent space. Real (or complex) finite-dimensional linear, affine and projective spaces are also smooth manifolds.

A Riemannian manifold, or Riemann space, is a smooth manifold whose tangent spaces are endowed with inner product (satisfying some conditions). Euclidean spaces are also Riemann spaces. Smooth surfaces in Euclidean spaces are Riemann spaces. A hyperbolic non-Euclidean space is also a Riemann space. A curve in a Riemann space has the length. A Riemann space is both a smooth manifold and a metric space; the length of the shortest curve is the distance. The angle between two curves intersecting at a point is the angle between their tangent lines.

Waiving positivity of inner product on tangent spaces one gets pseudo-Riemann (especially, Lorentzian) spaces very important for general relativity.

Measurable, measure, and probability spaces

Waiving distances and angles while retaining volumes (of geometric bodies) one moves toward measure theory. Besides the volume, a measure generalizes area, length, mass (or charge) distribution, and also probability distribution, according to Andrei Kolmogorov's approach to probability theory.

A "geometric body" of classical mathematics is much more regular than just a set of points. The boundary of the body is of zero volume. Thus, the volume of the body is the volume of its interior, and the interior can be exhausted by an infinite sequence of cubes. In contrast, the boundary of an arbitrary set of points can be of non-zero volume (an example: the set of all rational points inside a given cube). Measure theory succeeded in extending the notion of volume (or another measure) to a vast class of sets, so-called measurable sets. Indeed, non-measurable sets never occur in applications, but anyway, the theory must restrict itself to measurable sets (and functions).

Measurable sets, given in a measurable space by definition, lead to measurable functions and maps. In order to turn a topological space into a measurable space one endows it with a σ-algebra. The σ-algebra of Borel sets is most popular, but not the only choice (Baire sets, universally measurable sets etc. are used sometimes). Alternatively, a σ-algebra can be generated by a given collection of sets (or functions) irrespective of any topology. Quite often, different topologies lead to the same σ-algebra (for example, the norm topology and the weak topology on a separable Hilbert space). Every subset of a measurable space is itself a measurable space.

Standard measurable spaces (called also standard Borel spaces) are especially useful. Every Borel set (in particular, every closed set and every open set) in a Euclidean space (and more generally, in a complete separable metric space) is a standard measurable space. All uncountable standard measurable spaces are mutually isomorphic.

A measure space is a measurable space endowed with a measure. A Euclidean space with Lebesgue measure is a measure space. Integration theory defines integrability and integrals of measurable functions on a measure space.

Sets of measure 0, called null sets, are negligible. Accordingly, a $\mod 0$ isomorphism is defined as isomorphism between subsets of full measure (that is, with negligible complement).

A probability space is a measure space such that the measure of the whole space is equal to 1. The product of any family (finite or not) of probability spaces is a probability space. In contrast, for measure spaces in general, only the product of finitely many spaces is defined. Accordingly, there are many infinite-dimensional probability measures (especially, Gaussian measures), but no infinite-dimensional Lebesgue measure.

Standard probability spaces are especially useful. Every probability measure on a standard measurable space leads to a standard probability space. The product of a sequence (finite or not) of standard probability spaces is a standard probability space. All non-atomic standard probability spaces are mutually isomorphic $\mod 0;$ one of them is the interval $(0,1)$ with Lebesgue measure.

These spaces are less geometric. In particular, the idea of dimension, applicable (in one form or another) to all other spaces, does not apply to measurable, measure and probability spaces.

Other spaces

Harmonic spaces. Conformal spaces. Analytic (called also complex analytic) spaces. Affinely connected spaces. Algebraic spaces. Symplectic spaces. (Read more...)

Previous Winners

•  World of Warcraft [r]: An online video game, released by Blizzard Entertainment in 2004. ^[e]
•  Social capital [r]: Productive assets arising out of social relations, such as trust, cooperation, solidarity, social networks of relations and those beliefs, ideologies and institutions that contribute to production of goods. ^[e]
•  Richard Condon [r]: (1915 – 1996) A prolific and popular American political novelist whose satiric works were generally presented in the form of thrillers or semi-thrillers. ^[e]
•  Natural gas [r]: A gas consisting primarily of methane (CH₄) which is found as raw natural gas in underground reservoirs, as gas associated with underground reservoirs of petroleum crude oil, as undersea methane hydrates and as coalbed methane in underground coal mines. ^[e]
•  Stairway to Heaven [r]: 1971 song written and recorded by Led Zeppelin, which became their signature tune and a centrepiece for the group's live performances. ^[e]
•  Cryptography [r]: A field at the intersection of mathematics and computer science that is concerned with the security of information, typically the confidentiality, integrity and authenticity of some message. ^[e]
•  English spellings [r]: Lists of English words showing pronunciation, and articles about letters. ^[e]
•  Folk saint [r]: A deceased person or spirit that is venerated as a saint but who has not been officially canonized by the Church. ^[e]
•  Led Zeppelin [r]: English hard rock and blues group formed in 1968, known for their albums and stage shows. ^[e]
•  Locality of reference [r]: A commonly observed pattern in memory accesses by a computer program over time. ^[e]
•  Rabbit [r]: Long-eared, short-tailed, burrowing mammals of the family Leporidae of the order Lagomorpha, found in several parts of the world. ^[e]
•  Scarborough Castle [r]: Ruined stone castle on the east coast of Yorkshire, England, begun in mid-twelfth century. ^[e] (September 3)
• The Clash of Civilizations and the Remaking of World Order [r]: Add brief definition or description (August 27)
•  Mauna Kea [r]: One of the three main volcanic mountains on Hawaii, the biggest island in Hawaii (U.S. state). ^[e] (August 20)
•  Brute force attack [r]: An attempt to break a cipher by trying all possible keys; long enough keys make this impractical. ^[e] (August 13)
•  Cruiser [r]: While definitions vary with time and doctrine, a large warship capable of acting independently, as a flagship, or a major escort; capabilities include anti-air warfare, anti-surface warfare, anti-submarine warfare, land attack, and possibly ballistic missile defense ^[e] (August 5)
•  The Canterbury Tales [r]: Collection of stories in verse and prose by Geoffrey Chaucer. ^[e] (July 30)
•  Milpa agriculture [r]: A form of swidden agriculture that is practiced in Mesoamerica. Traditionally, a "milpa" plot is planted with maize, beans, and squash. ^[e] (July 23)
•  Domain Name System [r]: The Internet service which translates to and from IP addresses and domain names. ^[e] (July 16)
•  Scuticaria [r]: A genus of orchids, closely related to Bifrenaria, formed by nine showy species of cylindrical leaves, which exist in three isolated areas of South America. ^[e] (July 9)
• Torture [r]: Add brief definition or description (July 2)
•  Miltonia [r]: An orchid genus formed by nine showy epiphyte species and seven natural hybrids of Brazil, one species reaching Argentina and Paraguay. ^[e] (June 25)
•  Ancient Celtic music [r]: The music and instruments of the ancient Celts until late Antiquity. ^[e] (June 18)
•  Bifrenaria [r]: A genus of orchids formed by circa twenty species of South America, some widely cultivated because of their large and colored flowers; divided in two distinct groups, one with large flowers and short inflorescences and the other with small flowers and long inflorescences. ^[e] (June 11)
•  Halobacterium NRC-1 [r]: A microorganism from the Archaea kingdom perfectly suited for life in highly saline environments giving biologists an ideal specimen for genetic studies. ^[e] (June 4)
•  Animal [r]: A multicellular organism that feeds on other organisms, and is distinguished from plants, fungi, and unicellular organisms. ^[e] (May 28)
•  Coal [r]: a combustible, black rock formed after millions of years of heat and pressure were applied to the decayed remains of plants and organic matter in what were then swamps. ^[e] (May 21)
•  Johannes Diderik van der Waals [r]: (1837 – 1923) Dutch scientist, proposed the van der Waals equation of state for gases. ^[e] (May 7)
•  Scientific method [r]: The concept of systematic inquiry based on hypotheses and their testing in light of empirical evidence. ^[e] (Apr 14)
•  Korematsu v. United States [r]: Add brief definition or description (Apr 7)
•  Orchid [r]: Add brief definition or description (Mar 31)
•  Oliver Cromwell [r]: Add brief definition or description (Mar 24)
•  Wisconsin v. Yoder [r]: Add brief definition or description (Mar 17)
•  Conventional coal-fired power plant [r]: Add brief definition or description (Mar 10)
•  Battle of the Ia Drang [r]: Add brief definition or description (Mar 3)
•  Ether (physics) [r]: Add brief definition or description (Feb 24)
•  Large-scale trickle filters [r]: Add brief definition or description (11 Feb)
•  Homeopathy [r]: Add brief definition or description (28 Jan)
•  Microeconomics [r]: Add brief definition or description (14 Jan)
•  Speech Recognition [r]: Add brief definition or description (26 Nov)
•  Mashup [r]: Add brief definition or description (19 Nov)
•  Tux [r]: Add brief definition or description (14 Oct)
•  Hydrogen bond [r]: Add brief definition or description (7 Oct)
•  Lead [r]: Add brief definition or description (1 Sept)
•  DNA [r]: Add brief definition or description (8 July)
•  Augustin-Louis_Cauchy [r]: Add brief definition or description (1 July)
•  Vasco da Gama [r]: Add brief definition or description (24 June)
•  Phosphorus [r]: Add brief definition or description (17 June)
•  Crystal Palace [r]: Add brief definition or description (10 June)
•  Gross Domestic Product [r]: Add brief definition or description (3 June)
•  RNA interference [r]: Add brief definition or description (27 May)
•  Latino history [r]: Add brief definition or description (20 May)
•  Navy Grog [r]: Add brief definition or description (13 May)
•  Systems biology [r]: Add brief definition or description (6 May)
•  Steroid [r]: Add brief definition or description (22 Apr)
•  Lebanon [r]: Add brief definition or description (15 Apr)
•  Wheat [r]: Add brief definition or description (7 Apr)
•  Benjamin Franklin [r]: Add brief definition or description (1 Apr)
•  Coherer [r]: Add brief definition or description (25 Mar)
•  U.S. Civil War [r]: Add brief definition or description (18 Mar)
•  Life [r]: Add brief definition or description (11 Mar)
•  Petroleum refining processes [r]: Add brief definition or description (4 Mar)
•  Shirley Chisholm [r]: Add brief definition or description (20 Feb)
•  Telephone Newspaper [r]: Add brief definition or description (4 Feb)
•  Wristwatch [r]: Add brief definition or description (28 Jan)
•  Korean War of 1592-1598 [r]: Add brief definition or description (21 Jan)
•  Andrew Carnegie [r]: Add brief definition or description (11 January 2008)
• Bowling [r]: Add brief definition or description (31 December 2007)
•  Architecture [r]: Add brief definition or description (December 6)
•  Civil society [r]: Add brief definition or description November 29
•  Joan of Arc [r]: Add brief definition or description (November 22)
•  Chemistry [r]: Add brief definition or description (November 15)
•  Albert Gallatin [r]: Add brief definition or description (November 8)
•  Prime number [r]: Add brief definition or description (November 1)
•  Tennis [r]: Add brief definition or description (October 25)
•  Rottweiler [r]: Add brief definition or description (October 18)
•  Theodor Lohmann [r]: Add brief definition or description (October 9)
•  William Shakespeare [r]: Add brief definition or description (October 2)
•  Edward I [r]: Add brief definition or description (September 25)
•  El Tío [r]: Add brief definition or description (September 18)
•  Scotland Yard [r]: Add brief definition or description (September 11)
•  Kilt [r]: Add brief definition or description (September 4)
•  U.S. Electoral College [r]: Add brief definition or description (August 28)
•  Butler [r]: Add brief definition or description (August 21)
•  Tony Blair [r]: Add brief definition or description (August 14)
•  Northwest Passage [r]: Add brief definition or description (August 7)
•  Literature [r]: Add brief definition or description (July 31)
•  Biology [r]: Add brief definition or description (July 25)

Rules and Procedure

Rules

• The article's status must be 0 or 1, i.e., only "Advanced Articles" may be nominated.
• Any Citizen may nominate an article.
• No Citizen may have nominated more than one article listed under "current nominees" at a time.
• The article's nominator is indicated simply by the first name in the list of votes (see below).
• At least for now--while the project is still small--you may nominate and vote for articles of which you are a main author.
• An article can be Article of the Week only once every six months. Nominated articles that have won top honors should be removed from the list.
• Comments on nominations should be made on the article's talk page.
• The list of nominees should be kept below 20, or thereabouts. Articles with very few supporters and which have not gained any new supporters in the last two weeks or so may be deleted to make room for new nominees.
• Any editor may entirely cancel the nomination of any unapproved article in his or her area of expertise if, for example, it contains obvious and embarrassing problems.

Voting

• To vote, add your name and date in the Supporters column next to an article title, after other supporters for that article, by signing <br />~~~~. (The date is necessary so that we can determine when the last vote was added.) Your vote is alloted a score of 1.
• Add your name in the Specialist supporters column only if you are an editor who is an expert about the topic in question. Your vote is alloted a score of 1 for articles which you created and a score of 2 for articles which you did not create.
• You may vote for as many articles as you wish, and each vote counts separately, but you can only nominate one at a time; see above. You could, theoretically, vote for every nominated article on the page, but this would be pointless.

Ranking

• The list of articles is sorted by number of votes first, then alphabetically.
• Admins should make sure that the votes are correctly tallied, but anyone may do this. Note that "Specialist Votes" are worth 3 points.

Updating

• Each Thursday, one of the admins listed below should move the winning article to the Current Winner section of this page, announces the winner on Citizendium-L and updates the "previous winning articles" section accordingly.
• The winning article will be the article at the top of the list (ie the one with the most votes).
• In the event of two or more having the same number of votes :
  • The article with the most specialist supporters is used. Should this fail to produce a winner, the article appearing first by English alphabetical order is used.
    
  • The remaining winning articles are guaranteed this position in the following weeks, again in alphabetical order. No further voting would take place on these, which remain at the top of the table with notices to that effect. Further nominations and voting take place to determine future winning articles for the following weeks.

Administrators

These are people who have volunteered to run this program. Their duties are (1) to ensure that this page remains "clean," e.g., as a given article garners more votes, its tally is accurately represented and it moves up the list, and (2) to place the winning article on the front page on a weekly basis. To become an administrator, you need not apply anywhere. Simply add your name below. Administrator duties are open to editors and authors alike.

• Carl Jantzen
• Todd Coles
• David E. Volk
• Milton Beychok

See Also

• CZ:New Draft of the Week
• CZ:Markup tags for partial transclusion of selected text in an article
• CZ:Monthly Write-a-Thon

|width=10% align=center style="background:#F5F5F5"|  |}