8

Ok, I know the answer: any closed hypersurface of $\mathbb R^3$ is orientable while $\mathbb R \mathbb P^2$ is not.

But I know how to prove that only for smooth embeddings. Is there a simple way to prove that there is no continuous embedding of the projective plane in Euclidean tridimensional space?

user126154
  • 7,649
  • 3
    Do you know Alexander duality ? – Maxime Ramzi Oct 16 '19 at 13:44
  • 2
    Any compact topological submanifold $X^n\subset \mathbb{R}^{n+1}$ must have $H_{n-1}(X)$ torsion-free, which fails for $X = \mathbb{RP}^2$. This result is proved in, for example, Hatcher, via Alexander duality. – anomaly Oct 16 '19 at 14:01
  • 2
    @Max By Alexander duality one gets that $H_1(\mathbb R^3\setminus\mathbb R\mathbb P^2)$ should be $\mathbb Z/2/\mathbb Z$, right? Then you have to show that no open subset of $\mathbb R^3$ has such property. – user126154 Oct 16 '19 at 14:47
  • @anomaly ok, I'll check Hatcher book. – user126154 Oct 16 '19 at 14:47
  • For Alexander duality, we may embed $\mathbb R^3\to S^3$ and we get an embedding $\mathbb RP^2\to S^3$. Now look at $H^3(S^3\setminus \mathbb RP^2)$, which should be $\mathbb Z$ : an open subset (hence open submanifold) of an orientable manifold is orientable as well – Maxime Ramzi Oct 16 '19 at 16:48

1 Answers1

11

The answers I've found in MathSE (1, 2) indeed appear to assume smoothness.

Let $A \subset \mathbb{R}^3$ be the embedding of a compact hypersurface on $\mathbb{R}^3$. Since it is embedded in $\mathbb{R}^3$, we can also embed it in $S^3$. By Alexander-Poincaré duality, $\check{H}^{2}(A;\mathbb{Z}) \simeq H_1(S^3,S^3-A;\mathbb{Z})$, and this latter one is isomorphic to $\widetilde{H}_0(S^3-A;\mathbb{Z})$. (This can be seen by looking at the reduced exact sequence of the pair $(S^3,S^3-A)$.) Therefore, $\check{H}^{2}(A;\mathbb{Z})$ must be a free $\mathbb{Z}$-module.

Once we know that $\check{H}^{2}(A;\mathbb{Z}) \simeq H^{2}(A;\mathbb{Z})$, the result then follows from the fact that $H^{2}(\mathbb{R}P^2;\mathbb{Z}) \simeq \mathbb{Z}_2$. Here's where smoothness simplifies things: it is relatively easy to see the isomorphism between Čech cohomology and singular cohomology in the case of a smooth embedding, due to the tubular neighbourhood theorem. However, it requires some work to see that this is true also when $A$ is an embedded topological manifold. For details, see Bredon's Geometry and Topology's appendix "Euclidean Neighborhood Retracts". (Note that the isomorphism is not true in general, but it is true for reasonable spaces such as CW-complexes.)

Aloizio Macedo
  • 35,361
  • 6
  • 74
  • 155