RP^n

RP^n

Real projective space is the manifold obtained by identifying antipodal points of the n-dimensional sphere. It appears across topology, differential geometry, algebraic topology, and applications in areas ranging from classical mechanics to computer vision, connecting figures such as Henri Poincaré, Élie Cartan, John Milnor, Raoul Bott, and René Thom with concrete constructions like the n-sphere, projective coordinates used by Bernhard Riemann, and models employed by David Mumford.

Definition and construction

One standard construction begins with the unit n-sphere S^n and imposes the equivalence relation x ~ −x, producing the quotient space with canonical projection S^n → RP^n; this relates to the antipodal map studied by Georg Cantor and concepts exploited in the Borsuk–Ulam theorem of Karol Borsuk and J. H. C. Whitehead. Alternatively, RP^n can be defined as the set of one-dimensional linear subspaces of R^{n+1}, echoing projective methods from Projective geometry as used by Gaspard Monge and Jean-Victor Poncelet; homogeneous coordinates (x_0:...:x_n) model points, paralleling the homogeneous techniques of Augustin-Louis Cauchy and Bernhard Riemann. As a quotient of Euclidean space minus the origin, RP^n = (R^{n+1} \ {0})/R^*, it connects to linear algebraic viewpoints of Arthur Cayley and to line bundles formalized by Alexander Grothendieck.

Topological properties

RP^n is a compact, Hausdorff space whose topology inherits properties from S^n via the covering projection studied by Élie Cartan and Hermann Weyl. For n ≥ 1, RP^n is non-simply connected for n ≥ 2 with fundamental group isomorphic to Z/2Z, a fact used in the analysis of mapping class groups by William Thurston and in obstruction problems considered by Jean Leray. Its homology and cohomology rings over Z/2Z exhibit a truncated polynomial algebra structure echoing computations by Élie Cartan and later by Samuel Eilenberg and Norman Steenrod; integral homology detects torsion phenomena linked to the work of Hassler Whitney. Cell decompositions via a CW-structure mirror constructions in James Gregory-style induction and are used in the computation of spectral sequences by Jean-Pierre Serre. Orientability alternates with dimension: RP^n is orientable precisely when n is odd, a property relevant to orientation theories by Élie Cartan and Lev Pontryagin.

Differential and Riemannian structures

RP^n admits a smooth manifold structure descending from the smooth structure on S^n; transition functions can be realized using stereographic projection techniques attributed to John Flamsteed and refined in the calculus on manifolds by Marston Morse. As a quotient of the round sphere by the isometric antipodal involution, RP^n inherits a canonical constant-curvature Riemannian metric of positive sectional curvature, a classical example in comparison geometry studied by Marcel Berger and Mikhail Gromov. Geodesics on RP^n correspond to great circles on S^n modulo antipodal identification, an observation exploited in studies of closed geodesics by George Birkhoff and in rigidity questions by Gregory Perelman. The tangent bundle of RP^n is nontrivial in general; its Stiefel–Whitney classes, calculated by Eduard Stiefel and Hassler Whitney, govern immersion and embedding results proved by Michael Atiyah and Raoul Bott.

Algebraic and homotopy invariants

Spectral sequence and cohomology analyses furnish the cohomology ring H^*(RP^n; Z/2Z) ≅ Z/2Z[x]/(x^{n+1}), a foundational computation attributed to Samuel Eilenberg and Norman Steenrod that underlies many calculations in stable homotopy theory developed by J. H. C. Whitehead and J. F. Adams. The higher homotopy groups π_k(RP^n) relate to π_k(S^n) via the long exact sequence of a fibration S^n → RP^n → B(Z/2Z), connecting to classifying space constructions of Jean-Pierre Serre and to obstruction theory advanced by Henri Cartan. K-theory classes of RP^n, studied by Atiyah and Hirzebruch and expanded by Michael Atiyah and Friedrich Hirzebruch, illuminate vector bundle classifications and are central in index-theoretic applications of the Atiyah–Singer index theorem by Isadore Singer. Characteristic classes such as Stiefel–Whitney and Pontryagin classes for RP^n play roles in embedding theorems by John Milnor and Michel Kervaire.

Real projective spaces in geometry and applications

RP^n features prominently in classical and modern geometry: lines and hyperplanes in projective space underpin perspectives in Albrecht Dürer's and Leon Battista Alberti's work on perspective, while RP^2 appears in models of nonorientable surfaces examined by August Möbius and Johann Benedict Listing. In computer vision and robotics, RP^2 and RP^3 model spaces of directions and rigid-body motions used in algorithms developed by researchers at institutions like Massachusetts Institute of Technology and Stanford University; these models connect with camera calibration techniques advanced by Richard Hartley and Andrew Zisserman. In physics, RP^3 arises in discussions of rotation groups and spin structures related to Élie Cartan's spinor formalism and to applications in quantum mechanics explored by Paul Dirac and Wolfgang Pauli. RP^n also appears in coding theory and combinatorial designs influenced by work at the Bell Labs and in lens design and projective transformations used in John Wallis's analytic treatments of perspective.

Category:Topology Category:Differential geometry