So these spaces are really interesting, but super duper hard to get your head around. So in this blog, I hope to make there equivalent definitions a little bit easier to understand.

I’m going to present 3 equivalent definitions of the n-dimensional real projective space using the language of quotient spaces, and then prove that they are indeed equivalent.

A. P^n is S^n by identifying the antipodal points. (Sphere Model)

B. P^n is \mathbb{R}^{n+1}\backslash\{0\} by identifying two points if they lie on the same line through the origin. (Line Model)

C. P^n is the unit ball B^n and identifying antipodal points on its surface. (Ball Model)

Now all three models are quotient spaces, and to prove that they are equivalent, i.e. that they are homeomorphic, we will need a bit of theory about identification maps. So let’s take a few moments to say a couple of things.

Say, we have topological spaces X and Y, and a continuous surjective map f: X \rightarrow Y, then we call f an identification map. Why? Because, f provides a natural partition of the space X into subsets \{f^{-1}(y)\} where y\in Y. That might boggle your mind, so let’s take a look at an example.

Consider the spaces \mathbb{R}^3\backslash \{0\} and S^2. We can define the continuous surjective function

    \[f(\vec{x})=\frac{\vec{x}}{\norm{x}}.\]

Now, clearly, any vector that points in the same direction in \mathbb{R}^3 will get mapped to the same point y on S^2. These sets of pre-images of the point y \in S^2 provide the partition of \mathbb{R}^3, known as the sets of the pre-images of f, \{f^{-1}(y)\}. We can see now, that we can describe \mathbb{R}^3 as the disjoint union of the pre-images of f, i.e.

    \[\mathbb{R}^3 =\sqcup_{y\in S^2} \{f^{-1}(y)\}.\]

Since f is surjective, none of these sets will be the empty set and so it is well defined. Now, we can represent this quotient space as \mathbb{R}^3 \backslash \sim_f, which reads as \mathbb{R}^3 partitioned into pre-images of f.” Now, in the example I chose, it is obviously true that \mathbb{R}^3 \backslash \sim_f is homeomorphic to S^2.

Now let’s go back to the general case, topological spaces X and Y and the map f: X \rightarrow Y. Now if f is an identification map, it immediately follows that X^*=X\backslash \sim_f is homeomorphic to Y, i.e. that \bar{f} in the picture below is a homeomorphism. Also note, that the \pi is just the canonical projection form X to it’s quotient space.

Now, there are two results that we can use to check if our given map is an identification map, and then simply state that X^* and Y^* are homeomorphic, let’s state them so we can use them. The first result relates to the map f and the second one relates to the spaces.

Theorem 1: If a surjective and continuous map f: X\rightarrow Y maps open sets to open sets, or closed sets to closed sets, then f is an identification map.

Theorem 2: Let f be a surjective and continuous map from X to Y. If X is compact and Y is Hausdorff, then f is an identification map.

Now we have the necessary gadgets to prove that the three definitions of the real projective space are indeed homeomorphic. Let’s start by showing that the sphere model is homeomorphic to the line model, and it is always a good idea to draw out a little diagram of our spaces and what maps what to what.

Now, we want to show that the bottom two spaces, are homeomorphic, so following the general model that we introduced above, we want \bar{f} to be between them.

So this must mean we need to find an identification map between the diagonal spaces, shown in red below.

Now, we can try really hard to be smart and think of a single map straight S^n to (\mathbb{R}^{n+1} \backslash \{0\})^*, or we can just compose some simple functions. Namely, we can see that we can go from S^n to \mathbb{R}^{n+1}\backslash \{0\} using the inclusion map.

Now since i and \pi_b are both continuous and surjective, it follows that f=\pi_b \circ i is also continuous and surjective. S^n is a closed subset of \mathbb{R}^{n+1} and is therefore compact. We now just need to show that (\mathbb{R}^{n+1} \backslash \{0\})^* is indeed Hausdorff and we would be done by Theorem 2.

So now,  let’s prove that this space is Hausdorff. This is no small feat. The idea behind this will be to use the fact that we can find disjoint open sets in \mathbb{R}^{n+1} \backslash \{0\} because it is Hausdorff, and then use our quotient map \pi_b to take these disjoint open sets to disjoint open sets in the quotient space.

So we start by taking two elements x and y in our quotient space, which are just lines through the origin in \mathbb{R}^{n+1}. We can look at the intersection of these lines with S^n, which would be 4 distinct points, \pm x_p are the intersections of S^n with x, and \pm y_p are the intersections with y. Since S^n is a subset of the Hausdorff space \mathbb{R}^{n+1}, we can find disjoint open sets that contain each of \pm x_p and  \pm y_p, call them \pm X_p and \pm Y_p. Furthermore, we can construct each of these sets so that if a \in +X_p then -a \in -X_p, which ensures that \pi(+X_p)=\pi(-X_p), and the same for \pm Y_p. Now, for any a \in X_p \cup -X_p, it follows that -a \in X_p \cup -X_p, hence, -a \notin Y_p \cup -Y_p, which ensures that \pi(X_p) \cap \pi(Y_p) =\emptyset. Now, don’t let this trip you out, we only need to have a little bit of the line x in X_p, so that in the quotient space, \pi(X_p) contains the equivalence class x, and same for y and Y_p. So, in the quotient space, x \in \pi(X_p) and \pi(X_p) is open, and y \in \pi(Y_p) and Y_p is open. Hence, (\mathbb{R}^{n+1} \backslash \{0\})^* is Hausdorff!

Now, we want to show that Ball Model in C, is equivalent to the sphere model in A. Here is the map of our spaces and functions.

Where h: B^n \rightarrow S^n takes the point x=(x_1,…,x_n) to y=(x_1,…,x_n,\sqrt{1-\norm{X}}). Clearly, h is continuous and surjective, and so the f=pi_a \circ h is continuous and surjective. Now, clearly B^n is compact, and (S^n)^* is Hausdorff, the proof of which is virtually the same as that above just ignore the lines through the origin business and go straight to antipodal points. It follows that f is an identification map and so (B^n)^* is homeomorphic to (S^n)^*.

Brace yourself,

You’re probably thinking, what the heck is the point of all this, like why on earth are we even doing this? Other than for the pure joy of it, which is of course enough of a reason to do it, there is a really nice connection between the projective plane, P^2, and non-orientable surfaces. We will build up to understanding this and then we will come back to our beloved projective plane P^2.

So, what the hell is a surface? You probably have an idea what a surface is, you might think it’s a shape in 2 or 3 dimensions that has some faces, edges and vertices. Well, this is what comes to my mind when I think of a “surface”. But, what isn’t so natural to think of is how we work mathematically with surfaces, however, you’re in luck, because it is quite intuitive. We know that a surface is made up of vertices, edges and faces. So we would like to define these building blocks as simplicies. So, consider a rectangle, it has 4 vertices as shown, 4 edges and 1 face which are called the 0-simplex, 1-simplex and 2-simplex respectively.

Now, here I’ll stop and introduce something pretty neat, called the Euler characteristic of surface which is

    \[\chi= #\text{(0-simplicies)}-#\text{(1-simplicies)}+#\text{(2-simplicies)}.\]

In terms of our everyday language, this is just vertices – edges + faces. Take note of this, it’s gonna come back big time.

Finally, we note that we can give a surface an orientation, which is an ordering of the vertices. If the faces of the surfaces can be orientated such that a loop on the face going clockwise cannot be continuously deformed to a loop going anti-clockwise without overlapping itself, we say that the surface is orientable. As an example, consider the Mobius strip, it is non-orientable as a loop on the boundary goes clockwise and then anti-clockwise. In fact, if a surface contains a subset homeomorphic to the mobs strip, it is not orientable.

Here we go,

Now, it turns out, that any connected non-orientable surface, is homeomorphic to the connected sum of n-projective planes P^2. WHAAAAAT! Completely unexpected, right!?

But how do we know how many projective planes we need? Well, we look at the Euler characteristic of course!

Th Euler characteristic of the connected sum of n projective planes is

    \[\chi=2-n.\]

Now all you need to do is figure out, how many projective planes you need to get the same Euler characteristic of your surface, and bam, you done.

As a side note, if the surface is orientable, it is the connected sum of n-tori or it is the sphere if \chi=2, where \chi=2-2n for the connected sum of n-tori.

Now, why is this so useful? Because once you know what you’re homeomorphic to, you can easily compute the fundamental group of connected sums of the projective plane.

So there you go, any surface, is exactly the same as either a sphere, the connect sum of n-tori or the connected sum of n-projective planes. What a time to be alive.

%d bloggers like this: