In a triangle whose two sides at an apex are glued with that apex fixed, cross-sections become circles and the apex becomes their cone point. This quotient is a disc. A second triangle with boundary word becomes a Möbius band after the sides are identified. Gluing the remaining boundary to the first disc caps the band and gives the real projective plane. The resulting two-face cell structure has two vertices, three edges and Euler characteristic one.
On vertices , take the simplicial complex generated by . Every edge occurs in two facets. The vertex links, listed cyclically, are , , , , , and , respectively. Thus each vertex link is a cycle graph, and the realization is a compact connected surface without boundary. Its Euler characteristic is , so the classification theorem for surfaces identifies it with the real projective plane. All fifteen possible edges occur, and the listed triangles are distinct three-element sets, so this is an honest abstract simplicial complex, not merely a polygon presentation.
A degree- homogeneous real polynomial defines a section of the th tensor power of the dual real tautological line bundle over . Its first Stiefel–Whitney class is , where generates . By parity of zeros of a real line-bundle section, a generic zero curve has mod-two dual class . Two transverse zero curves of degrees therefore have intersection parity , since two distinct projective lines intersect once. For example, the line and the conic are disjoint in the real projective plane, although their degree product is two.
Each real projective plane has cells with and . Their product cellular chain complex has ranks . Its degree-two cycle has order two in homology. The degree-three cycle also has order two, because its double is . Consequently , , and all other groups vanish. The degree-three torsion is also the Tor functor term in the Künneth theorem.
The displayed metric on antipodal classes of the unit sphere induces its quotient topology. Triangle inequality follows by choosing the signs that realize each minimum and applying the Euclidean triangle inequality. Distinct classes have disjoint saturated unions of small balls, proving the quotient is Hausdorff; compactness follows from the continuous quotient map.
Articles by others on the same topic
The real projective plane, often denoted as \(\mathbb{RP}^2\), is a two-dimensional manifold that captures the idea of lines through the origin in three-dimensional space. Here are some key concepts to understand what the real projective plane is: 1. **Definition**: The real projective plane can be defined as the set of all lines through the origin in \(\mathbb{R}^3\).
For some reason, Ciro Santilli is mildly obsessed with understanding and visualizing the real projective plane.
To see why this is called a plane, move he center of the sphere to , and project each line passing on the center of the sphere on the x-y plane. This works for all points of the sphere, except those at the equator . Those are the points at infinity. Note that there is one such point at infinity for each direction in the x-y plane.