Real projective plane

Last updated
ProjectivePlaneAsSquare.svg
The fundamental polygon of the projective plane.
MobiusStripAsSquare.svg
The Möbius strip with a single edge, can be closed into a projective plane by gluing opposite open edges together.
KleinBottleAsSquare.svg
In comparison, the Klein bottle is a Möbius strip closed into a cylinder.

In mathematics, the real projective plane is an example of a compact non-orientable two-dimensional manifold; in other words, a one-sided surface. It cannot be embedded in standard three-dimensional space without intersecting itself. It has basic applications to geometry, since the common construction of the real projective plane is as the space of lines in R3 passing through the origin.

Contents

The plane is also often described topologically, in terms of a construction based on the Möbius strip: if one could glue the (single) edge of the Möbius strip to itself in the correct direction, one would obtain the projective plane. (This cannot be done in three-dimensional space without the surface intersecting itself.) Equivalently, gluing a disk along the boundary of the Möbius strip gives the projective plane. Topologically, it has Euler characteristic 1, hence a demigenus (non-orientable genus, Euler genus) of 1.

Since the Möbius strip, in turn, can be constructed from a square by gluing two of its sides together with a half-twist, the real projective plane can thus be represented as a unit square (that is, [0, 1] × [0,1]) with its sides identified by the following equivalence relations:

(0, y) ~ (1, 1 − y) for 0 ≤ y ≤ 1

and

(x, 0) ~ (1 − x, 1) for 0 ≤ x ≤ 1,

as in the leftmost diagram shown here.

Examples

Projective geometry is not necessarily concerned with curvature and the real projective plane may be twisted up and placed in the Euclidean plane or 3-space in many different ways. [1] Some of the more important examples are described below.

The projective plane cannot be embedded (that is without intersection) in three-dimensional Euclidean space. The proof that the projective plane does not embed in three-dimensional Euclidean space goes like this: Assuming that it does embed, it would bound a compact region in three-dimensional Euclidean space by the generalized Jordan curve theorem. The outward-pointing unit normal vector field would then give an orientation of the boundary manifold, but the boundary manifold would be the projective plane, which is not orientable. This is a contradiction, and so our assumption that it does embed must have been false.

The projective sphere

Consider a sphere, and let the great circles of the sphere be "lines", and let pairs of antipodal points be "points". It is easy to check that this system obeys the axioms required of a projective plane:

If we identify each point on the sphere with its antipodal point, then we get a representation of the real projective plane in which the "points" of the projective plane really are points. This means that the projective plane is the quotient space of the sphere obtained by partitioning the sphere into equivalence classes under the equivalence relation ~, where x ~ y if y = x or y = x. This quotient space of the sphere is homeomorphic with the collection of all lines passing through the origin in R3.

The quotient map from the sphere onto the real projective plane is in fact a two sheeted (i.e. two-to-one) covering map. It follows that the fundamental group of the real projective plane is the cyclic group of order 2; i.e., integers modulo 2. One can take the loop AB from the figure above to be the generator.

Projective hemisphere

A hemisphere can represent a real projective plane by attaching opposite points on the equator together. Sphere symmetry group ci.png
A hemisphere can represent a real projective plane by attaching opposite points on the equator together.

Because the sphere covers the real projective plane twice, the plane may be represented as a closed hemisphere around whose rim opposite points are identified. [2]

Boy's surface – an immersion

The projective plane can be immersed (local neighbourhoods of the source space do not have self-intersections) in 3-space. Boy's surface is an example of an immersion.

Polyhedral examples must have at least nine faces. [3]

Roman surface

An animation of the Roman surface Steiner's Roman Surface.gif
An animation of the Roman surface

Steiner's Roman surface is a more degenerate map of the projective plane into 3-space, containing a cross-cap.

The tetrahemihexahedron is a polyhedral representation of the real projective plane. Tetrahemihexahedron.png
The tetrahemihexahedron is a polyhedral representation of the real projective plane.

A polyhedral representation is the tetrahemihexahedron, [4] which has the same general form as Steiner's Roman surface, shown here.

Hemi polyhedra

Looking in the opposite direction, certain abstract regular polytopeshemi-cube, hemi-dodecahedron, and hemi-icosahedron – can be constructed as regular figures in the projective plane; see also projective polyhedra.

Planar projections

Various planar (flat) projections or mappings of the projective plane have been described. In 1874 Klein described the mapping: [1]

Central projection of the projective hemisphere onto a plane yields the usual infinite projective plane, described below.

Cross-capped disk

A closed surface is obtained by gluing a disk to a cross-cap. This surface can be represented parametrically by the following equations:

where both u and v range from 0 to 2π.

These equations are similar to those of a torus. Figure 1 shows a closed cross-capped disk.

CrossCapTwoViews.PNG
Figure 1. Two views of a cross-capped disk.

A cross-capped disk has a plane of symmetry that passes through its line segment of double points. In Figure 1 the cross-capped disk is seen from above its plane of symmetry z = 0, but it would look the same if seen from below.

A cross-capped disk can be sliced open along its plane of symmetry, while making sure not to cut along any of its double points. The result is shown in Figure 2.

CrossCapSlicedOpen.PNG
Figure 2. Two views of a cross-capped disk which has been sliced open.

Once this exception is made, it will be seen that the sliced cross-capped disk is homeomorphic to a self-intersecting disk, as shown in Figure 3.

SelfIntersectingDisk.PNG
Figure 3. Two alternative views of a self-intersecting disk.

The self-intersecting disk is homeomorphic to an ordinary disk. The parametric equations of the self-intersecting disk are:

where u ranges from 0 to 2π and v ranges from 0 to 1.

Projecting the self-intersecting disk onto the plane of symmetry (z = 0 in the parametrization given earlier) which passes only through the double points, the result is an ordinary disk which repeats itself (doubles up on itself).

The plane z = 0 cuts the self-intersecting disk into a pair of disks which are mirror reflections of each other. The disks have centers at the origin.

Now consider the rims of the disks (with v = 1). The points on the rim of the self-intersecting disk come in pairs which are reflections of each other with respect to the plane z = 0.

A cross-capped disk is formed by identifying these pairs of points, making them equivalent to each other. This means that a point with parameters (u, 1) and coordinates is identified with the point (u + π, 1) whose coordinates are . But this means that pairs of opposite points on the rim of the (equivalent) ordinary disk are identified with each other; this is how a real projective plane is formed out of a disk. Therefore, the surface shown in Figure 1 (cross-cap with disk) is topologically equivalent to the real projective plane RP2.

Homogeneous coordinates

The points in the plane can be represented by homogeneous coordinates. A point has homogeneous coordinates [x : y : z], where the coordinates [x : y : z] and [tx : ty : tz] are considered to represent the same point, for all nonzero values of t. The points with coordinates [x : y : 1] are the usual real plane, called the finite part of the projective plane, and points with coordinates [x : y : 0], called points at infinity or ideal points, constitute a line called the line at infinity . (The homogeneous coordinates [0 : 0 : 0] do not represent any point.)

The lines in the plane can also be represented by homogeneous coordinates. A projective line corresponding to the plane ax + by + cz = 0 in R3 has the homogeneous coordinates (a : b : c). Thus, these coordinates have the equivalence relation (a : b : c) = (da : db : dc) for all nonzero values of d. Hence a different equation of the same line dax + dby + dcz = 0 gives the same homogeneous coordinates. A point [x : y : z] lies on a line (a : b : c) if ax + by + cz = 0. Therefore, lines with coordinates (a : b : c) where a, b are not both 0 correspond to the lines in the usual real plane, because they contain points that are not at infinity. The line with coordinates (0 : 0 : 1) is the line at infinity, since the only points on it are those with z = 0.

Points, lines, and planes

Proj geom1.PNG

A line in P2 can be represented by the equation ax + by + cz = 0. If we treat a, b, and c as the column vector and x, y, z as the column vector x then the equation above can be written in matrix form as:

xT = 0 or Tx = 0.

Using vector notation we may instead write x = 0 or x = 0.

The equation k(xT) = 0 (which k is a non-zero scalar) sweeps out a plane that goes through zero in R3 and k(x) sweeps out a line, again going through zero. The plane and line are linear subspaces in R3, which always go through zero.

Ideal points

Prj geom.svg

In P2 the equation of a line is ax + by + cz = 0 and this equation can represent a line on any plane parallel to the x, y plane by multiplying the equation by k.

If z = 1 we have a normalized homogeneous coordinate. All points that have z = 1 create a plane. Let's pretend we are looking at that plane (from a position further out along the z axis and looking back towards the origin) and there are two parallel lines drawn on the plane. From where we are standing (given our visual capabilities) we can see only so much of the plane, which we represent as the area outlined in red in the diagram. If we walk away from the plane along the z axis, (still looking backwards towards the origin), we can see more of the plane. In our field of view original points have moved. We can reflect this movement by dividing the homogeneous coordinate by a constant. In the adjacent image we have divided by 2 so the z value now becomes 0.5. If we walk far enough away what we are looking at becomes a point in the distance. As we walk away we see more and more of the parallel lines. The lines will meet at a line at infinity (a line that goes through zero on the plane at z = 0). Lines on the plane when z = 0 are ideal points. The plane at z = 0 is the line at infinity.

The homogeneous point (0, 0, 0) is where all the real points go when you're looking at the plane from an infinite distance, a line on the z = 0 plane is where parallel lines intersect.

Duality

Projective geometry diagram 2.svg

In the equation xT = 0 there are two column vectors. You can keep either constant and vary the other. If we keep the point x constant and vary the coefficients we create new lines that go through the point. If we keep the coefficients constant and vary the points that satisfy the equation we create a line. We look upon x as a point, because the axes we are using are x, y, and z. If we instead plotted the coefficients using axis marked a, b, c points would become lines and lines would become points. If you prove something with the data plotted on axis marked x, y, and z the same argument can be used for the data plotted on axis marked a, b, and c. That is duality.

Lines joining points and intersection of lines (using duality)

The equation xT = 0 calculates the inner product of two column vectors. The inner product of two vectors is zero if the vectors are orthogonal. In P2, the line between the points x1 and x2 may be represented as a column vector that satisfies the equations x1T = 0 and x2T = 0, or in other words a column vector that is orthogonal to x1 and x2. The cross product will find such a vector: the line joining two points has homogeneous coordinates given by the equation x1 × x2. The intersection of two lines may be found in the same way, using duality, as the cross product of the vectors representing the lines, 1 × 2.

Embedding into 4-dimensional space

The projective plane embeds into 4-dimensional Euclidean space. The real projective plane P2(R) is the quotient of the two-sphere

S2 = {(x, y, z) ∈ R3 : x2 + y2 + z2 = 1}

by the antipodal relation (x, y, z) ~ (−x, −y, −z). Consider the function R3R4 given by (x, y, z) ↦ (xy, xz, y2z2, 2yz). This map restricts to a map whose domain is S2 and, since each component is a homogeneous polynomial of even degree, it takes the same values in R4 on each of any two antipodal points on S2. This yields a map P2(R) → R4. Moreover, this map is an embedding. Notice that this embedding admits a projection into R3 which is the Roman surface.

Higher non-orientable surfaces

By gluing together projective planes successively we get non-orientable surfaces of higher demigenus. The gluing process consists of cutting out a little disk from each surface and identifying (gluing) their boundary circles. Gluing two projective planes creates the Klein bottle.

The article on the fundamental polygon describes the higher non-orientable surfaces.

See also

Citations

Related Research Articles

<span class="mw-page-title-main">Projective plane</span> Geometric concept of a 2D space with a "point at infinity" adjoined

In mathematics, a projective plane is a geometric structure that extends the concept of a plane. In the ordinary Euclidean plane, two lines typically intersect at a single point, but there are some pairs of lines that do not intersect. A projective plane can be thought of as an ordinary plane equipped with additional "points at infinity" where parallel lines intersect. Thus any two distinct lines in a projective plane intersect at exactly one point.

<span class="mw-page-title-main">3-sphere</span> Mathematical object

In mathematics, a 3-sphere, glome or hypersphere is a higher-dimensional analogue of a sphere. It may be embedded in 4-dimensional Euclidean space as the set of points equidistant from a fixed central point. Analogous to how the boundary of a ball in three dimensions is an ordinary sphere, the boundary of a ball in four dimensions is a 3-sphere. A 3-sphere is an example of a 3-manifold and an n-sphere.

<span class="mw-page-title-main">Stereographic projection</span> Particular mapping that projects a sphere onto a plane

In mathematics, a stereographic projection is a perspective projection of the sphere, through a specific point on the sphere, onto a plane perpendicular to the diameter through the point. It is a smooth, bijective function from the entire sphere except the center of projection to the entire plane. It maps circles on the sphere to circles or lines on the plane, and is conformal, meaning that it preserves angles at which curves meet and thus locally approximately preserves shapes. It is neither isometric nor equiareal.

<span class="mw-page-title-main">Hyperboloid</span> Unbounded quadric surface

In geometry, a hyperboloid of revolution, sometimes called a circular hyperboloid, is the surface generated by rotating a hyperbola around one of its principal axes. A hyperboloid is the surface obtained from a hyperboloid of revolution by deforming it by means of directional scalings, or more generally, of an affine transformation.

Elliptic geometry is an example of a geometry in which Euclid's parallel postulate does not hold. Instead, as in spherical geometry, there are no parallel lines since any two lines must intersect. However, unlike in spherical geometry, two lines are usually assumed to intersect at a single point. Because of this, the elliptic geometry described in this article is sometimes referred to as single elliptic geometry whereas spherical geometry is sometimes referred to as double elliptic geometry.

<span class="mw-page-title-main">Projective space</span> 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.

<span class="mw-page-title-main">Homogeneous coordinates</span> Coordinate system used in projective geometry

In mathematics, homogeneous coordinates or projective coordinates, introduced by August Ferdinand Möbius in his 1827 work Der barycentrische Calcul, are a system of coordinates used in projective geometry, just as Cartesian coordinates are used in Euclidean geometry. They have the advantage that the coordinates of points, including points at infinity, can be represented using finite coordinates. Formulas involving homogeneous coordinates are often simpler and more symmetric than their Cartesian counterparts. Homogeneous coordinates have a range of applications, including computer graphics and 3D computer vision, where they allow affine transformations and, in general, projective transformations to be easily represented by a matrix. They are also used in fundamental elliptic curve cryptography algorithms.

In geometry, an incidence relation is a heterogeneous relation that captures the idea being expressed when phrases such as "a point lies on a line" or "a line is contained in a plane" are used. The most basic incidence relation is that between a point, P, and a line, l, sometimes denoted P I l. If P I l the pair (P, l) is called a flag. There are many expressions used in common language to describe incidence (for example, a line passes through a point, a point lies in a plane, etc.) but the term "incidence" is preferred because it does not have the additional connotations that these other terms have, and it can be used in a symmetric manner. Statements such as "line l1 intersects line l2" are also statements about incidence relations, but in this case, it is because this is a shorthand way of saying that "there exists a point P that is incident with both line l1 and line l2". When one type of object can be thought of as a set of the other type of object (viz., a plane is a set of points) then an incidence relation may be viewed as containment.

In geometry and topology, the line at infinity is a projective line that is added to the real (affine) plane in order to give closure to, and remove the exceptional cases from, the incidence properties of the resulting projective plane. The line at infinity is also called the ideal line.

In projective geometry, a plane at infinity is the hyperplane at infinity of a three dimensional projective space or to any plane contained in the hyperplane at infinity of any projective space of higher dimension. This article will be concerned solely with the three-dimensional case.

In geometry, a striking feature of projective planes is the symmetry of the roles played by points and lines in the definitions and theorems, and (plane) duality is the formalization of this concept. There are two approaches to the subject of duality, one through language and the other a more functional approach through special mappings. These are completely equivalent and either treatment has as its starting point the axiomatic version of the geometries under consideration. In the functional approach there is a map between related geometries that is called a duality. Such a map can be constructed in many ways. The concept of plane duality readily extends to space duality and beyond that to duality in any finite-dimensional projective geometry.

In linear algebra, linear transformations can be represented by matrices. If is a linear transformation mapping to and is a column vector with entries, then

<span class="mw-page-title-main">Line (geometry)</span> Straight figure with zero width and depth

In geometry, a straight line, usually abbreviated line, is an infinitely long object with no width, depth, or curvature, an idealization of such physical objects as a straightedge, a taut string, or a ray of light. Lines are spaces of dimension one, which may be embedded in spaces of dimension two, three, or higher. The word line may also refer, in everyday life, to a line segment, which is a part of a line delimited by two points.

In multilinear algebra, a multivector, sometimes called Clifford number or multor, is an element of the exterior algebra Λ(V) of a vector space V. This algebra is graded, associative and alternating, and consists of linear combinations of simplek-vectors (also known as decomposablek-vectors or k-blades) of the form

<span class="mw-page-title-main">Three-dimensional space</span> Geometric model of the physical space

In geometry, a three-dimensional space is a mathematical space in which three values (coordinates) are required to determine the position of a point. Most commonly, it is the three-dimensional Euclidean space, that is, the Euclidean space of dimension three, which models physical space. More general three-dimensional spaces are called 3-manifolds. The term may also refer colloquially to a subset of space, a three-dimensional region, a solid figure.

<span class="mw-page-title-main">Lambert azimuthal equal-area projection</span> Azimuthal equal-area map projection

The Lambert azimuthal equal-area projection is a particular mapping from a sphere to a disk. It accurately represents area in all regions of the sphere, but it does not accurately represent angles. It is named for the Swiss mathematician Johann Heinrich Lambert, who announced it in 1772. "Zenithal" being synonymous with "azimuthal", the projection is also known as the Lambert zenithal equal-area projection.

<span class="mw-page-title-main">Surface (mathematics)</span> Mathematical idealization of the surface of a body

In mathematics, a surface is a mathematical model of the common concept of a surface. It is a generalization of a plane, but, unlike a plane, it may be curved; this is analogous to a curve generalizing a straight line.

In projective geometry, the circular points at infinity are two special points at infinity in the complex projective plane that are contained in the complexification of every real circle.

<span class="mw-page-title-main">Differential geometry of surfaces</span> The mathematics of smooth surfaces

In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: extrinsically, relating to their embedding in Euclidean space and intrinsically, reflecting their properties determined solely by the distance within the surface as measured along curves on the surface. One of the fundamental concepts investigated is the Gaussian curvature, first studied in depth by Carl Friedrich Gauss, who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space.

<span class="mw-page-title-main">Poincaré disk model</span> Model of hyperbolic geometry

In geometry, the Poincaré disk model, also called the conformal disk model, is a model of 2-dimensional hyperbolic geometry in which all points are inside the unit disk, and straight lines are either circular arcs contained within the disk that are orthogonal to the unit circle or diameters of the unit circle.

References