Injective maps $\mathbb{R}^{n} \to \mathbb{R}^{m}$

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let $f: \mathbb{R}^{n} \to \mathbb{R}^{m}$ be an injection for $n>m$. Can $f$ be continuous? Why?

I got this question in mind when I was trying to find a continuous map from $\mathbb{R}^{2}$ to $\mathbb{R}$.

-

4 Answers

If $f$ is injective and continuous from $\mathbb{R}^n$ to $\mathbb{R}^m$ where $n>m$ then $f$ restricts to a continuous bijection from $S^{n-1}$, the unit sphere in $R^n$, to a compact subset $K$ of $\mathbb{R}^m$. Thus you can embed $S^{n-1}$, and a foriori $S^m$ in $\mathbb{R}^m$.

But there are homological obstructions to embedding $S^m$ in $\mathbb{R}^m$. Using the arguments of this excellent paper

Albrecht Dold, A simple proof of the Jordan-Alexander complement theorem, Amer. Math. Monthly 100 (1993), 856-85.

(essentially a cunning use of the Mayer-Vietoris theorem) it would entail the homology of the space $\mathbb{R}^m-K$ being nonzero in negative dimension, which is absurd.

Added As I replied in haste I forgot the sledgehammer that cracks this little nut, namely Alexander duality.

Added later In fact this result also follows from Brouwer's Invariance of Domain. This is Theorem 2B.3 on page 172 of Hatcher's book. This implies that if one has an embedding from $\mathbb{R}^n$ to itself, then its image is open. One gets such an embedding by composing your putative embedding with the natural embedding of $\mathbb{R}^m$ in $\mathbb{R}^n$. Adapting the proof, gives a swift proof that the answer of your original question is no.

If you have a continuous injection from $\mathbb{R}^n$ to $\mathbb{R}^m$, with $n>m$ then you have an embedding of $S^{n-1}$ into a nontrivial hyperplane in $\mathbb{R}^n$. By the Jordan-Brouwer separation theorem the image $K$ of this embedding separates $\mathbb{R}^n$ but it's easy to see that since the image is in a hyperplane any two points of the complement of $K$ can be connected by a path (exercise for reader :-)).

-

1
There's a simpler argument when m=1. Any such map would induce a continuous map $\mathbb{R}^n\setminus\{p\}\rightarrow \mathbb{R}$ whose image is disconnected, a contradiction. Here $p$ is the preimage of any interior point of the original image. – Kevin Ventullo Aug 2 2010 at 10:18

1
Dear all, Chandru usually wishes elementary (or at least "ingenious") arguments; cf. mathoverflow.net/questions/34055/… . – Wadim Zudilin Aug 2 2010 at 10:52

3
Set of measure zero, the answer is different. The Baire space $J$ of irrationals is homeomorphic to $J \times J$, which gives us a 1-1 map from $J \times J$ into $\mathbb{R}$. – Gerald Edgar Aug 2 2010 at 12:28

2
Chandru, is it a simple question to prove that $\mathbf{R}^m$ and $\mathbf{R}^n$ are not homeomorphic for $m\ne n$? – Robin Chapman Aug 2 2010 at 15:22

1
Chandru, I don't know any way of proving that $\mathbb{R}^m$ and $\mathbb{R}^n$ for $m\ne n$ save by using the methods or results of algebraic topology such as homology theory or the Jordan-Brouwer separation theorem. Your question looks just as hard, and to me at least, it looks unlikely there's a naive proof. – Robin Chapman Aug 2 2010 at 17:20
show 7 more comments

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Alternatively, you may use the Borsuk-Ulam antipodal theorem, in order to prove that such a map cannot be one-to-one.

-

More generally, you might ask whether there is a continuous injective map from a space of dimension $n$ to a space of dimension $m$, where $n > m$. The subject of dimension theory investigates this problem. (Hurewicz & Wallman wrote a classic, though hard to find nowadays, book on the subject; perhaps an expert could recommend a more modern reference?) Here is a representative theorem:

If $f: X \to Y$ is a continuous surjection bewteen separable compact metric spaces, where $X$ has dimension $n$ and $Y$ has dimension $m$, then there is a point $y \in Y$ whose preimage contains at least $n - m + 1$ points.

This applies to your question, as Robin Chapman explained, by restricting your map to a nice compact subspace of dimension $n$, for instance the unit closed ball.

In any case, my point is that the techniques above for Euclidean space and for spheres have appropriate generalizations to separable metric spaces.

As to the "why?", I recommend tracking down a copy of Hurewicz & Wallman from a library. It's very pleasant reading and assumes only a brief encounter with point set topology.

-

1
For a more modern reference: Engelking, Theory of Dimensions, finite and infinite. For separable metric spaces, also Jan van Mill, "infinite-dimensional topology, prerequisites and an introduction", or the newer "the infinite-dimensional topology of function spaces", both of which have a chapter on this subject. – Henno Brandsma Aug 2 2010 at 18:56

I taught an introductory topology course this last autumn where I covered this theorem from an elementary point of view. The argument just uses the Brouwer fixed point theorem (which itself has a proof via Stokes' theorem which is readily accessible to students with several variable calculus) plus elementary point set topology. In particular no homology or Jordan--Brouwer separation theorems are used. The treatment was based upon that of Hurewicz & Wallman but was also inspired by Larry Guth's ICM-2010 presentation in Hyderabad.

If you're interested the notes are available on

http://www.maths.ed.ac.uk/uploads/assets/32_section6.pdf

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 55, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9175414443016052, "perplexity_flag": "head"}