Processing math: 100%

Projective spaces

We can also define spaces in other ways, and then try to find cell complex structures for them. For example, the real projective n-space RPn is defined as the space of all lines through the origin in Rn+1. Each such line is determined by a unit vector, except that the negative of every vector is identified with the same line, so we can consider RPn to be Sn with antipodal points identified.

Alternatively, we can look at RPn as the unit vectors in the upper hemisphere only, since the lower hemisphere is made up of all negatives of the upper; except that now, antipodal points of the boundary are identified. But the upper hemisphere is Dn and its boundary is Sn1 with antipodal points identified, or RPn1. Thus RPn is obtained by attaching an n-cell to RPn1, and by induction we can see that RPn has a cell complex structure with one cell in each dimension up to n.

19.projective-space

The identifications in the above constructions of RP2 are not easily visualized, since they cannot be embedded in R3. In contrast, RP1, also called the real projective line, is D1 with boundary S0 having antipodal points identified, i.e. the line segment with the endpoints identified; in other words RP1S1, the circle. Another way of viewing this is to consider the map from each line (omitting the origin) to its slope, with the vertical line then being mapped to infinity, resulting in RP1RS1, where RR{} denotes the space R along with a point at infinity:

R2RP1R{(x,mx),m,0xR}m{(0,y),yR}

We can also define the complex projective n-space CPn, which is the space of all lines through the origin in Cn+1. In this case one has a cell complex structure with one cell in each even dimension up to 2n. HPn can similarly be defined, but OPn can only be defined for n<3 due to lack of associativity. By generalizing the reasoning above, we have CP1CS2; HP1HS4; and OP1OS8. As manifolds, the projective spaces are all closed, i.e. compact and without boundary.

An Illustrated Handbook