Editing Moduli space (section)

==Motivation==
Moduli spaces are spaces of solutions of geometric classification problems.  That is, the points of a moduli space correspond to solutions of geometric problems.  Here different solutions are identified if they are isomorphic (that is, geometrically the same).  Moduli spaces can be thought of as giving a universal space of parameters for the problem.  For example, consider the problem of finding all circles in the Euclidean plane up to congruence.  Any circle can be described uniquely by giving three points, but many different sets of three points give the same circle: the correspondence is many-to-one.  However, circles are uniquely parameterized by giving their center and radius: this is two real parameters and one positive real parameter.  Since we are only interested in circles "up to congruence", we identify circles having different centers but the same radius, and so the radius alone suffices to parameterize the set of interest.  The moduli space is, therefore, the [[positive real numbers]].

Moduli spaces often carry natural geometric and topological structures as well.  In the example of circles, for instance, the moduli space is not just an abstract set, but the absolute value of the difference of the radii defines a [[metric (mathematics)|metric]] for determining when two circles are "close".  The geometric structure of moduli spaces locally tells us when two solutions of a geometric classification problem are "close", but generally moduli spaces also have a complicated global structure as well.

[[File:Real projective line moduli space example.pdf|thumb|Constructing '''P'''<sup>1</sup>('''R''') by varying 0&nbsp;≤&nbsp;θ&nbsp;<&nbsp;π or as a quotient space of '''S'''<sup>1</sup>.]]

For example, consider how to describe the collection of lines in '''R'''<sup>2</sup> that intersect the origin. We want to assign to each line ''L'' of this family a quantity that can uniquely identify it—a modulus. An example of such a quantity is the positive angle θ(''L'') with 0 ≤ θ < π radians. The set of lines ''L'' so parametrized is known as '''P'''<sup>1</sup>('''R''') and is called the [[real projective line]].

We can also describe the collection of lines in '''R'''<sup>2</sup> that intersect the origin by means of a topological construction. To wit: consider the unit circle '''S'''<sup>1</sup> ⊂ '''R'''<sup>2</sup> and notice that every point ''s'' ∈ '''S'''<sup>1</sup> gives a line ''L''(''s'') in the collection (which joins the origin and ''s''). However, this map is two-to-one, so we want to identify ''s'' ~ −''s'' to yield '''P'''<sup>1</sup>('''R''') ≅ '''S'''<sup>1</sup>/~ where the topology on this space is the [[quotient topology]] induced by the [[quotient map (topology)|quotient map]] '''S'''<sup>1</sup> → '''P'''<sup>1</sup>('''R''').

Thus, when we consider '''P'''<sup>1</sup>('''R''') as a moduli space of lines that intersect the origin in '''R'''<sup>2</sup>, we capture the ways in which the members (lines in this case) of the family can modulate by continuously varying 0&nbsp;≤&nbsp;θ&nbsp;<&nbsp;π.