Give an explicit embedding from $\mathbb{R}P_2$ to $\mathbb{R}^4$

Solution 1:

An example of an embedding (real-algebraic, hence real analytic, hence $C^\infty$, hence topological) of $\mathbb P^2(\mathbb R)$ into $\mathbb R^4$ is given by $$i: \mathbb P^2(\mathbb R)\to \mathbb R^4: [x:y:z]\mapsto [xy:xz:yz:x^2+2y^2+3z^2]$$

It is however impossible to embed $\mathbb P^2(\mathbb R)$ into $\mathbb R^3$: the simplest reason is that a closed smooth surface in $\mathbb R^3$ is orientable, whereas $\mathbb P^2(\mathbb R)$ is well-known not to be orientable.

As a consolation, it is possible to immerse non injectively $\mathbb P^2(\mathbb R)$ into $\mathbb R^3$: the image variety is called Boy's surface (no misogyny here: the name honors the mathematician Werner Boy)

Edit
As an answer to Michael's comment let me mention that according to a celebrated theorem of Whitney, every compact $n$-dimensional smoooth manifold ($n\gt1$) can be immersed into $ \mathbb R^{2n-1}$ and embedded into $ \mathbb R^{2n}$.
However for $\mathbb P^n(\mathbb R)$ you sometimes get better results and this has been the object of much research. For example $\mathbb P^{15}(\mathbb R)$ can be embedded into $ \mathbb R^{24}$.
You will find many such results in an interesting table here .

Solution 2:

You can do #2 by what are called "Movie moves". Think of $\mathbb{R}^4 = \mathbb{R}^3 \times \mathbb{R}$. Then in level $\mathbb{R}^3\times 0$ embed the Möbius band. Smoothly propagate the boundary of the Möbius band to $\mathbb{R}^3\times \epsilon$. Now, the boundary of the Möbius band is a smooth unknot so we can insert the isotopy to the standard unknot in $\mathbb{R}^3\times [\epsilon,1-\epsilon]$. Now cap off the unknot inside of $\mathbb{R}^3\times [1-\epsilon,1]$.

Solution 3:

With regard to your 2nd strategy, you remark that you have trouble "visualizing" four dimensions.

One way to think about your 2nd strategy is as follows: you can immerse $\mathbb RP^2$ into $\mathbb R^3$, by gluing a disk and a Möbius strip together along their boudnaries. The problem, as you know, is that you get self-intersections. But now imagine actually carrying this out (say with rubber models of a disk and a Möbius strip), but plotting not just the resulting points in $\mathbb R^3$, but the times at which you placed each of the points of your model in their final positions. (So now you are plotting points in $\mathbb R^4$, not $\mathbb R^3$.)

The points which intersect will arrive at their final positions at different times, and so you will obtain an embedding of $\mathbb R P^2$ in $\mathbb R^4$.

More generally speaking, the old cliche of time being the "fourth dimension" can actually be very helpful for visualizing certain constructions in $\mathbb R^4$: you imagine making some geometric construction in $\mathbb R^3$, but then also imagine the construction as a process taking place over time; this then lets you "see" a construction in $\mathbb R^4$.