Does Euclidean space have a compact factor? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T14:37:01Z http://mathoverflow.net/feeds/question/83665 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/83665/does-euclidean-space-have-a-compact-factor Does Euclidean space have a compact factor? Richard Kent 2011-12-16T21:40:24Z 2013-04-04T21:42:55Z <p>Is $\mathbb{R}^n$ homeomorphic to a product $X \times Y$ with $X$ compact and not a point?</p> <p>Bing's <a href="http://en.wikipedia.org/wiki/Dogbone_space" rel="nofollow">Dogbone space</a> is a quotient of $\mathbb{R}^3$ with fibers points and arcs, and whose product with $\mathbb{R}$ is $\mathbb{R}^4$, so it doesn't seem to me to big a stretch to think that it may be possible. </p> <p>Or, is there a notion of dimension which takes care of it swiftly?</p> http://mathoverflow.net/questions/83665/does-euclidean-space-have-a-compact-factor/83670#83670 Answer by Igor Rivin for Does Euclidean space have a compact factor? Igor Rivin 2011-12-16T23:08:10Z 2011-12-16T23:08:10Z <p>This does not quite answer the question, but a related question (the title tells all you need to know):</p> <p>Toruńczyk, H. Compact absolute retracts as factors of the Hilbert space. Fund. Math. 83 (1973), no. 1, 75–84. </p> http://mathoverflow.net/questions/83665/does-euclidean-space-have-a-compact-factor/83674#83674 Answer by George Lowther for Does Euclidean space have a compact factor? George Lowther 2011-12-16T23:44:33Z 2011-12-18T00:29:55Z <p>No it is not possible. Suppose that $X\times Y\cong\mathbb{R}^n$. Then, as the product is contractible, both $X$ and $Y$ must be contractible spaces. For any $x\in X$, I'll show that $\lbrace x\rbrace\times Y$ must be an open subset of $\mathbb{R}^n$, which will imply that $\lbrace x\rbrace$ is an open subset of $X$ and, hence, that $X$ is discrete. Discrete contractible spaces consist of a single point.</p> <p>Choose any $p=(x,y)\in X\times Y$. We just need to show that this is contained in the interior of $\lbrace x\rbrace\times Y$. As the spaces are contractible, there are deformation retractions $H_X\colon X\times[0,1]\to X$ and $H_Y\colon Y\times[0,1]\to Y$ respectively to the points $x,y$. So, $H_X(u,0)=u$, $H_X(u,1)=x$, $H_Y(v,0)=v$, $H_Y(v,1)=y$, for any $u\in X$ and $v\in Y$. Define the deformation retraction $J\colon(X\times Y)\times[0,1]\to X\times Y$ from $X\times Y$ to the point $p=(x,y)$ by $$J\left((u,v),t\right)=\begin{cases} \left(H_X(u,2t),v\right),&amp;\textrm{if }t\le1/2,\cr \left(x,H_Y(v,2t-1)\right),&amp;\textrm{if }t\ge1/2. \end{cases}$$</p> <p>Identifying $X\times Y$ with $\mathbb{R}^n$, consider the (n-1)-sphere $S_R=\lbrace a\in\mathbb{R}^n\colon\Vert a-p\Vert=R\rbrace$, for any fixed $R > 0$. As $K=X\times\lbrace y\rbrace$ is compact, it will have empty intersection with $S_R$ so long as $R$ is chosen large enough. However, retricted to $S_R\times[0,1]$, $J$ continuously deforms $S_R$ down to the single point $\lbrace p\rbrace$. This implies that $J(S_R\times[0,1])$ contains the open ball of radius $R$ centered at $p$. As $S_R\cap K=\emptyset$, $J(S_R\times[0,1/2])$ is a compact set not containing $p$. So, $J(S_R\times[1/2,1])\subset\lbrace x\rbrace\times Y$ contains a neighborhood of $p$, showing that $\lbrace x\rbrace\times Y$ is open in $\mathbb{R}^n$.</p> http://mathoverflow.net/questions/83665/does-euclidean-space-have-a-compact-factor/126497#126497 Answer by Ricardo Andrade for Does Euclidean space have a compact factor? Ricardo Andrade 2013-04-04T10:04:00Z 2013-04-04T21:42:55Z <p>Here is a proof which uses only singular homology.$\newcommand{\RR}{\mathbb{R}}$$\newcommand{\ZZ}{\mathbb{Z}}$$\newcommand{\To}{\longrightarrow}$$\def\set#1{\lbrace#1\rbrace}$$\newcommand{\Xminusx}{X\setminus\set{x}}$$\newcommand{\Yminusy}{Y\setminus\set{y}}</p> <p>Assume f:X\times Y\to\RR^n is a homeomorphism, and that X is compact. I will prove that X is a singleton by applying repeatedly the K&uuml;nneth theorem, and using a few basic calculations of singular homology. By default, I use homology with coefficients in \ZZ. One can also carry out the exact same proof using homology with coefficients in a field, but the resulting simplifications are fairly inconsequential.</p> <h3>General remarks</h3> <p>The spaces X and Y cannot be empty, and we will fix x\in X and y\in Y. Let also p=f(x,y)\in\RR^n. Observe that X and Y are Hausdorff, given that \RR^n is Hausdorff. In particular, \Xminusx is open in X, and \Yminusy is open in Y. Furthermore, as observed in the comments, X and Y are contractible since \RR^n is contractible. In particular, H_\ast(X) is zero in positive degrees, and is \ZZ in degree zero.</p> <h3>Claim 1: H_n(Y,\Yminusy) \simeq H_n\bigl(\RR^n,\RR^n\setminus f(X\times\set{y})\bigr)</h3> <p>First of all, consider the pair X\times(Y,\Yminusy)=\bigl(X\times Y,X\times(\Yminusy)\bigr). By the K&uuml;nneth theorem and the contractibility of X, we conclude that$$ H_n\bigl(X\times Y,X\times (\Yminusy)\bigr) = H_0(X)\otimes H_n(Y,\Yminusy) = H_n(Y,\Yminusy) $$The above pair \bigl(X\times Y,X\times (\Yminusy)\bigr) is homeomorphic via f to \bigl(\RR^n,\RR^n\setminus f(X\times\set{y})\bigr). The preceding expression thus implies$$ H_n\bigl(\RR^n,\RR^n\setminus f(X\times\set{y})\bigr) \simeq H_n(Y,\Yminusy) $$</p> <h3>Claim 2: H_n(Y,\Yminusy) has a \ZZ summand</h3> <p>Since X is compact, the image f(X\times\set{y}) is compact in \RR^n, and thus bounded. Let R\in\RR^+ be such that f(X\times\set{y}) is contained in the closed ball of radius R centered at p, B_R(p). Then we have inclusions$$ \RR^n\setminus B_R(p) \subset \RR^n\setminus f(X\times\set{y}) \subset \RR^n\setminus\set{p} $$which induce homomorphisms on homology:$$ \ZZ \simeq H_n(\RR^n,\RR^n\setminus\set{p}) \To H_n\bigl(\RR^n,\RR^n\setminus f(X\times\set{y})\bigr) \To H_n\bigl(\RR^n,\RR^n\setminus B_R(p)\bigr) \simeq \ZZ $$The composition of the two maps is an isomorphism, therefore they exhibit a splitting of the middle group:$$ H_n(Y,\Yminusy) \simeq H_n\bigl(\RR^n,\RR^n\setminus f(X\times\set{y})\bigr) \simeq \ZZ \oplus A $$for some abelian group A.</p> <h3>Claim 3: H_\ast(X,\Xminusx) is concentrated in degree zero</h3> <p>Let i be a positive integer. Observe that f gives a homeomorphism between the pairs \bigl(X\times Y,(X\times Y)\setminus\set{(x,y)}\bigr) and (\RR^n,\RR^n\setminus\set{p}). Consequently,$$ H_{n+i}\bigl(X\times Y,(X\times Y)\setminus\set{(x,y)}\bigr) \simeq H_{n+i}(\RR^n,\RR^n\setminus\set{p}) = 0 $$</p> <p>Recall that \Xminusx and \Yminusy are open in X and Y, respectively. So we can apply the K&uuml;nneth theorem to the pair$$ (X,\Xminusx)\times(Y,\Yminusy) = \bigl(X\times Y,(X\times Y)\setminus\set{(x,y)}\bigr) $$which implies that there is a monomorphism$$ H_i(X,\Xminusx)\otimes H_n(Y,\Yminusy) \To H_{n+i}\bigl(X\times Y,(X\times Y)\setminus\set{(x,y)}\bigr) = 0 $$It follows that H_i(X,\Xminusx)\otimes H_n(Y,\Yminusy) = 0. Since H_n(Y,\Yminusy) contains a summand isomorphic to \ZZ, we conclude that H_i(X,\Xminusx)=0.</p> <h3>Claim 4: H_0(X,\Xminusx) is not zero</h3> <p>We now know that H_\ast(X,\Xminusx) is zero in positive degrees, and it is necessarily a free abelian group in degree zero. Applying once more the Kunneth theorem to (X,\Xminusx)\times(Y,\Yminusy), we obtain an isomorphism <code>$$\begin{array}{rl} H_0(X,\Xminusx)\otimes H_n(Y,\Yminusy) \!\!\!\! &amp; = H_n\bigl(X\times Y,(X\times Y)\setminus\set{(x,y)}\bigr) \\ &amp; \simeq H_n(\RR^n,\RR^n\setminus\set{p}) \\ &amp; \simeq \ZZ \end{array}$$</code> Consequently,$H_0(X,\Xminusx) \neq 0$.</p> <h3>Conclusion</h3> <p>Since$H_0(X)=\ZZ$, the only way that we can have$H_0(X,\Xminusx) \neq 0$is if$\Xminusx = \emptyset$. Thus$X=\set{x}\$ is a singleton.</p>