Шексіздіктегі нүктелермен кеңістікті толықтыру

Completion of the usual space with "points at infinity"

In mathematics, the concept of a projective space originated from the visual effect of perspective, where parallel lines seem to meet at infinity. A projective space may thus be viewed as the extension of a Euclidean space, or, more generally, an affine space with points at infinity, in such a way that there is one point at infinity of each direction of parallel lines. This definition of a projective space has the disadvantage of not being isotropic, having two different sorts of points, which must be considered separately in proofs. Therefore, other definitions are generally preferred. There are two classes of definitions. In synthetic geometry, point and line are primitive entities that are related by the incidence relation "a point is on a line" or "a line passes through a point", which is subject to the axioms of projective geometry. For some such set of axioms, the projective spaces that are defined have been shown to be equivalent to those resulting from the following definition, which is more often encountered in modern textbooks. Using linear algebra, a projective space of dimension n is defined as the set of the vector lines (that is, vector subspaces of dimension one) in a vector space V of dimension n + 1. Equivalently, it is the quotient set of by the equivalence relation "being on the same vector line". As a vector line intersects the unit sphere of V in two antipodal points, projective spaces can be equivalently defined as spheres in which antipodal points are identified. A projective space of dimension 1 is a projective line, and a projective space of dimension 2 is a projective plane. Projective spaces are widely used in geometry, as allowing simpler statements and simpler proofs. For example, in affine geometry, two distinct lines in a plane intersect in at most one point, while, in projective geometry, they intersect in exactly one point. Also, there is only one class of conic sections, which can be distinguished only by their intersections with the line at infinity: two intersection points for hyperbolas; one for the parabola, which is tangent to the line at infinity; and no real intersection point of ellipses. In topology, and more specifically in manifold theory, projective spaces play a fundamental role, being typical examples of non orientable manifolds.

As outlined above, projective spaces were introduced for formalizing statements like "two coplanar lines intersect in exactly one point, and this point is at infinity if the lines are parallel". Such statements are suggested by the study of perspective, which may be considered as a central projection of the three dimensional space onto a plane (see Pinhole camera model). More precisely, the entrance pupil of a camera or of the eye of an observer is the center of projection, and the image is formed on the projection plane. Mathematically, the center of projection is a point O of the space (the intersection of the axes in the figure); the projection plane (, in blue on the figure) is a plane not passing through O, which is often chosen to be the plane of equation 1=z = 1, when Cartesian coordinates are considered. Then, the central projection maps a point P to the intersection of the line OP with the projection plane. Such an intersection exists if and only if the point P does not belong to the plane (, in green on the figure) that passes through O and is parallel to
It follows that the lines passing through O split in two disjoint subsets: the lines that are not contained in , which are in one to one correspondence with the points of , and those contained in , which are in one to one correspondence with the directions of parallel lines in This suggests to define the points (called here projective points for clarity) of the projective plane as the lines passing through O. A projective line in this plane consists of all projective points (which are lines) contained in a plane passing through O. As the intersection of two planes passing through O is a line passing through O, the intersection of two distinct projective lines consists of a single projective point. The plane
defines a projective line which is called the line at infinity of By identifying each point of with the corresponding projective point, one can thus say that the projective plane is the disjoint union of and the (projective) line at infinity. As an affine space with a distinguished point O may be identified with its associated vector space (see ), the preceding construction is generally done by starting from a vector space and is called projectivization. Also, the construction can be done by starting with a vector space of any positive dimension. So, a projective space of dimension n can be defined as the set of vector lines (vector subspaces of dimension one) in a vector space of dimension n + 1. A projective space can also be defined as the elements of any set that is in natural correspondence with this set of vector lines. This set can be the set of equivalence classes under the equivalence relation between vectors defined by "one vector is the product of the other by a nonzero scalar". In other words, this amounts to defining a projective space as the set of vector lines in which the zero vector has been removed. A third equivalent definition is to define a projective space of dimension n as the set of pairs of antipodal points in a sphere of dimension n (in a space of dimension n + 1).

Given a vector space V over a field K, the projective space 'P'(V) is the set of equivalence classes of under the equivalence relation ~ defined by x ~ y if there is a nonzero element λ of K such that 1=x = λy. If V is a topological vector space, the quotient space 'P'(V) is a topological space, endowed with the quotient topology of the subspace topology of This is the case when K is the field 'R' of the real numbers or the field 'C' of the complex numbers. If V is finite dimensional, the dimension of 'P'(V) is the dimension of V minus one. In the common case where , the projective space 'P'(V) is denoted (as well as or , although this notation may be confused with exponentiation). The space is often called the projective space of dimension n over K, or the projective n space, since all projective spaces of dimension n are isomorphic to it (because every K vector space of dimension n + 1 is isomorphic to ). The elements of a projective space 'P'(V) are commonly called points. If a basis of V has been chosen, and, in particular if , the projective coordinates of a point P are the coordinates on the basis of any element of the corresponding equivalence class. These coordinates are commonly denoted [x0 : : xn], the colons and the brackets being used for distinguishing from usual coordinates, and emphasizing that this is an equivalence class, which is defined up to the multiplication by a non zero constant. That is, if [x0 : : xn] are projective coordinates of a point, then [λx0 : : λxn] are also projective coordinates of the same point, for any nonzero λ in K. Also, the above definition implies that [x0 : : xn] are projective coordinates of a point if and only if at least one of the coordinates is nonzero. If K is the field of real or complex numbers, a projective space is called a real projective space or a complex projective space, respectively. If n is one or two, a projective space of dimension n is called a projective line or a projective plane, respectively. The complex projective line is also called the Riemann sphere. All these definitions extend naturally to the case where K is a division ring; see, for example, Quaternionic projective space. The notation PG(n, K) is sometimes used for If K is a finite field with q elements, is often denoted PG(n, q) (see PG(3,2)).

Every intersection of projective subspaces is a projective subspace. It follows that for every subset S of a projective space, there is a smallest projective subspace containing S, the intersection of all projective subspaces containing S. This projective subspace is called the projective span of S, and S is a spanning set for it. A set S of points is projectively independent if its span is not the span of any proper subset of S. If S is a spanning set of a projective space P, then there is a subset of S that spans P and is projectively independent (this results from the similar theorem for vector spaces). If the dimension of P is n, such an independent spanning set has n + 1 elements. Contrarily to the cases of vector spaces and affine spaces, an independent spanning set does not suffice for defining coordinates. One needs one more point, see next section.

A projective frame is an ordered set of points in a projective space that allows defining coordinates. More precisely, in a n dimensional projective space, a projective frame is a tuple of n + 2 points such that any n + 1 of them are independent – that is are not contained in a hyperplane. If V is a (n + 1) dimensional vector space, and p is the canonical projection from V to 'P'(V), then (p(e0), , p(en+1)) is a projective frame if and only if (e0, , en) is a basis of V, and the coefficients of en+1 on this basis are all nonzero. By rescaling the first n vectors, any frame can be rewritten as (p(e′0), , p(e′n+1)) such that 1=e′n+1 = e′0 + + e′n; this representation is unique up to the multiplication of all e′i with a common nonzero factor. The projective coordinates or homogeneous coordinates of a point p(v) on a frame (p(e0), , p(en+1)) with 1=en+1 = e0 + + en are the coordinates of v on the basis (e0, , en). They are again only defined up to scaling with a common nonzero factor. The canonical frame of the projective space consists of images by p of the elements of the canonical basis of (the tuples with only one nonzero entry, equal to 1), and the image by p of their sum.

Real projective spaces have a simple CW complex structure, as 'P'^(n)('R') can be obtained from 'P'^(n−1)('R') by attaching an n cell with the quotient projection 'S'^(n−1) → 'P'^(n−1)('R') as the attaching map.

Originally, algebraic geometry was the study of common zeros of sets of multivariate polynomials. These common zeros, called algebraic varieties belong to an affine space. It appeared soon, that in the case of real coefficients, one must consider all the complex zeros for having accurate results. For example, the fundamental theorem of algebra asserts that a univariate square free polynomial of degree n has exactly n complex roots. In the multivariate case, the consideration of complex zeros is also needed, but not sufficient: one must also consider zeros at infinity. For example, Bézout's theorem asserts that the intersection of two plane algebraic curves of respective degrees d and e consists of exactly de points if one consider complex points in the projective plane, and if one counts the points with their multiplicity. Another example is the genus–degree formula that allows computing the genus of a plane algebraic curve from its singularities in the complex projective plane. So a projective variety is the set of points in a projective space, whose homogeneous coordinates are common zeros of a set of homogeneous polynomials. Any affine variety can be completed, in a unique way, into a projective variety by adding its points at infinity, which consists of homogenizing the defining polynomials, and removing the components that are contained in the hyperplane at infinity, by saturating with respect to the homogenizing variable. An important property of projective spaces and projective varieties is that the image of a projective variety under a morphism of algebraic varieties is closed for Zariski topology (that is, it is an algebraic set). This is a generalization to every ground field of the compactness of the real and complex projective space. A projective space is itself a projective variety, being the set of zeros of the zero polynomial.

Scheme theory, introduced by Alexander Grothendieck during the second half of 20th century, allows defining a generalization of algebraic varieties, called schemes, by gluing together smaller pieces called affine schemes, similarly as manifolds can be built by gluing together open sets of 'R'^(n). The Proj construction is the construction of the scheme of a projective space, and, more generally of any projective variety, by gluing together affine schemes. In the case of projective spaces, one can take for these affine schemes the affine schemes associated to the charts (affine spaces) of the above description of a projective space as a manifold.

Dimension 0 (no lines): The space is a single point. Dimension 1 (exactly one line): All points lie on the unique line. Dimension 2: There are at least 2 lines, and any two lines meet. A projective space for 1=n = 2 is equivalent to a projective plane. These are much harder to classify, as not all of them are isomorphic with a PG(d, K). The Desarguesian planes (those that are isomorphic with a PG(2, K)) satisfy Desargues's theorem and are projective planes over division rings, but there are many non Desarguesian planes. Dimension at least 3: Two non intersecting lines exist. proved the Veblen–Young theorem, to the effect that every projective space of dimension n ≥ 3 is isomorphic with a PG(n, K), the n dimensional projective space over some division ring K.

A finite projective space is a projective space where P is a finite set of points. In any finite projective space, each line contains the same number of points and the order of the space is defined as one less than this common number. For finite projective spaces of dimension at least three, Wedderburn's theorem implies that the division ring over which the projective space is defined must be a finite field, GF(q), whose order (that is, number of elements) is q (a prime power). A finite projective space defined over such a finite field has q + 1 points on a line, so the two concepts of order coincide. Notationally, PG(n, GF(q)) is usually written as PG(n, q). All finite fields of the same order are isomorphic, so, up to isomorphism, there is only one finite projective space for each dimension greater than or equal to three, over a given finite field. However, in dimension two there are non Desarguesian planes. Up to isomorphism there are

finite projective planes of orders 2, 3, 4, , 10, respectively. The numbers beyond this are very difficult to calculate and are not determined except for some zero values due to the Bruck–Ryser theorem. The smallest projective plane is the Fano plane, PG(2, 2) with 7 points and 7 lines. The smallest 3 dimensional projective spaces is PG(3, 2), with 15 points, 35 lines and 15 planes.

When the construction above is applied to the dual space V^(∗) rather than V, one obtains the dual projective space, which can be canonically identified with the space of hyperplanes through the origin of V. That is, if V is n dimensional, then 'P'(V^(∗)) is the Grassmannian of n − 1 planes in V.

In algebraic geometry, this construction allows for greater flexibility in the construction of projective bundles. One would like to be able to associate a projective space to every quasi coherent sheaf E over a scheme Y, not just the locally free ones. See EGAII, Chap. II, par. 4 for more details.

dimension The projective space, being the "space" of all one dimensional linear subspaces of a given vector space V is generalized to Grassmannian manifold, which is parametrizing higher dimensional subspaces (of some fixed dimension) of V.
sequence of subspaces More generally flag manifold is the space of flags, i. e., chains of linear subspaces of V.
other subvarieties Even more generally, moduli spaces parametrize objects such as elliptic curves of a given kind. other rings Generalizing to associative rings (rather than only fields) yields, for example, the projective line over a ring. patching Patching projective spaces together yields projective space bundles. Severi–Brauer varieties are algebraic varieties over a field K, which become isomorphic to projective spaces after an extension of the base field K.

Another generalization of projective spaces are weighted projective spaces; these are themselves special cases of toric varieties.