Topology of ${\mathbb R}^n$

Let $M$ and $N$, with $M$ compact, a couple of topological (differential) manifolds.
What is the easiest/fastest/most elementary way to show that $M\times N$ cannot be homeomorphic (diffeomorphic) to the standard ${\mathbb R}^n$ ?

• I don't think he's suggesting that $M\times N$ is never $\mathbb{R}^n$, Zev. Commented Feb 22, 2013 at 14:44
• Compare cohomology with coefficients in $\mathbb Z/2\mathbb Z$ (if $M$ is not a point, of course:) Commented Feb 22, 2013 at 14:45
• Ah, I see I misinterpreted the question. Thanks for mentioning it Professor Kent, and apologies to Professor Mantegazza. Commented Feb 22, 2013 at 14:53
• In the topological case, surely the most elementary way is simply to note that the product of two cofibrant spaces (e.g. manifolds) is only contractible when each of the two spaces is contractible. Commented Feb 22, 2013 at 14:56
• @Sam--one still needs to prove that compact manifolds (without boundary) are not contractible. Commented Feb 24, 2013 at 5:44

You can avoid the Kunneth formula, "all" you need is the existence of a single nontrivial homology group of $M$ in positive dimensions, namely $H_{\text{dim} \\, M}(M;\mathbb{Z}/2\mathbb{Z}) = \mathbb{Z}/2\mathbb{Z}$. Once you know that, it follows that the identity map on $M$ is not homotopic to a constant, and so the inclusion map $M \to M \times N$ is not homotopic to a constant.
• If one of $M$ or $N$ isn't simply connected, the same argument will work with $\pi_1$; this result isn't as general but might be more accessible for undergraduates, as it's probably easier for them to quickly grasp the idea of fundamental groups than of homology (if they haven't seen either before). Then you can explain to them that there are "similar but a little more complicated" things one can use if both spaces are simply connected. Commented Feb 22, 2013 at 21:22
• @Greg: if $M$ or $N$ is not simply connected, it suffices to observe that $\pi_1(M\times N)$ is non-trivial:) Commented Feb 23, 2013 at 5:25
$H^{\dim M}((M\times N),\mathbb Z/2\mathbb Z)\ne 0$ (by virtue of Kunneth's formula), which is not the case for $\mathbb R^n$ if $\dim M>0$.