Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
started a stub for topological invariance of dimension
I decided to add a proof of the corollary (given the theorem) and found it convenient to insert a lemma.
Thanks! I have made your cross-references anchor-hyperlinked.
H'm, when you look at the insertion of the cross references in the document changes, it reverts to the old numbering system (theorem 1, lemma 1; instead of theorem 2.1, lemma 2.2).
ETA: Not in the most recent edit (where I added an anchor name to the corollary), but in Urs's most recent edit (where the text referring to the theorem and lemma numbers was first inserted).
Thanks for catching this. This happens for instance when proposition-labels accidentally coincide with section labels or the like.
Might be worth noting that it is easy to distinguish R1 from Rn for n not equal 1 using connected components (cut out a point).
And if we try to move up a dimension, we see the need for the Jordan curve theorem, if one prefers to think geometrically.
So inductively, starting with the point ℝ0 (which is distinguishable from the others already by cardinality), ℝ1 is distinguished as the only other one that becomes disconnected upon removing a point, ℝ2 is the only other one that becomes disconnected upon removing an embedding of S1 (which is the one-point compactification of ℝ1), ℝ3 is the only other one that becomes disconnected upon removing an embedding of S2 (which is the one-point compactification of ℝ2), etc? (Assuming that that's all true; the Jordan Curve Theorem seemed obvious but was surprisingly tricky!)
Assuming that that’s all true
Yes; see for instance Proposition 2B.1, page 178 of 559 in Hatcher’s Algebraic Topology. But what the connected components look like can be complicated, as shown in the case of an Alexander horned sphere. See also the generalized Schoenflies theorem, as described in this note by Andy Putman.
Thanks; and yes, it does work a bit better if it's all spheres.
Might be worth noting that it is easy to distinguish R1 from Rn for n not equal 1 using connected components (cut out a point).
That point is amplified in the exposition at topology – Introduction. I haven’t moved it over to the entry on invariance of dimension itself.
Proving invariance of dimension by looking at embeddings of spheres is tricky because embeddings of spheres are tricky. The argument of “removing a point from ℝ” generalizes nicely if we think about it homotopically.
If ℝm and ℝn are homeomorphic, then ℝm∖{0} and ℝn∖{0} are homeomorphic and so Sm−1 and Sn−1 are homotopy equivalent. However, the connectivity of Sm−1 is m−2 and the connectivity of Sn−1 is n−2 and thus m=n. The lower bound for the connectivity of the spheres can be proven, e.g. by simplicial approximation and the upper bound follows from Brouwer’s Fixed Point Theorem.
Here is what seems to me to be a fun and very simple (certainly much simpler than using the Jordan curve theorem or homology, etc) way to prove that ℝ3 is not homeomorphic to ℝn for any n≥2 and n not equal to 3: if ℝ3 were homeomorphic to ℝn for such an n, then all knots would be trivial (ambient isotopic to the unknot), which is not the case.
So long as we restrict to n>m, this proof actually works for any m in place of 3, replacing knots by (m−2)-knots (embeddings of Sm−2 in ℝm). The proof that there are no knots in codimension ≥3 in this general case is more involved, though (a famous theorem of Zeeman, but certainly simpler than higher dimensional analogues of the Jordan curve theorem). This leaves the codimension 1 cases for m≥4, where a (not simple) Schönflies theorem implies that there are no knots in all cases except for the case m=4, which is open, I believe.
The Brouwer invariance of domain theorem is saying more than that ℝm≇ℝn if m≠n, so I’m not clear on why we’re focused so much on that particular corollary in this discussion.
But FWIW, I like Karol’s proof of that statement. :-)
Well, this is a topic about invariance of dimension not invariance of domain, isn’t it?
What I really like about the argument I sketched is that it can be made very low tech. Last year I taught a point-set topology course which was not supposed to go anywhere near algebraic topology, but I still wanted to finish it off with invariance of dimension. So I had to think hard to simplify it as much as possible. In the end I managed to give a proof that doesn’t even mention homotopies at all, most of the effort goes into combinatorics of barycentric subdivisions and Sperner’s Lemma.
Karol: oh you’re so right. I misread “domain” for “dimension”. My eyes are used to certain things (and invariance of domain was also in the article).
Karol, do you have notes prepared for this course you gave?
I only have handwritten notes that are a little too messy to make public (but it might be a good idea to clean them up one day). I don’t mind sharing them privately though.
Thanks. I’d be grateful if you would indeed send me a scan by private email!
Or better, for a +500 bonus of karma points: how do you feel about adding the outline of your proof to the nLab entry?
Instead of showing that Rn is disconnected, why not just start with ℝ1∖{*} as a base case, since as Richard points out it’s simple to show it’s disconnected, and then take the product with a cartesian space ℝ(n−1), ie (ℝ1∖{*})×ℝ(n−1)? Then if Rn≅(ℝ1∖{*})×ℝ(n−1), then Rn is disconnected.
ℝn is not disconnected. The isomorphism in the last line doesn’t exist.
I never claimed it was.
Then I’m not following the argument.
If a Real line without a point is disconnected, then the product of such a thing with a Real line produces a plane with a line disconnecting it.
In fact, for any Cartesian space, the product with it and the Real line without a point will also be a disconnected space. Any space Rn that is isomorphic/topologically deformable to such a space will also be disconnected.
But how is this showing ℝm is not homeomorphic to ℝn if m≠n? The first two sentences in the last post are trivially correct, as is the assertion that any space that is homeomorphic (or even just homotopy equivalent) to a disconnected space is disconnected.
Keith, I think that morally speaking the argument that Toby gave in 8 is the way to prove invariance of dimension (all the ways to prove it discussed in this thread are based on this idea). The principal difficulty is that in dimensions higher than 1, we have to be able to control the image of a line, plane, …, and this is very tricky (it is exactly what the Jordan curve theorem and generalisations give us control over). The proof that ℝ2 is not isomorphic to ℝn for n>2 for instance can go as follows: take some nice circle in ℝn, for which it is easy to show that cutting it out does not disconnect ℝn; then note that if ℝ2 were isomorphic to ℝn, then cutting out in ℝ2 the image of this circle under the homeomorphism must not disconnect it, whereas cutting out any circle in ℝ2 will in fact disconnect it. The latter statement is obvious intuitively, but is difficult to prove rigorously: it is exactly what the Jordan curve theorem establishes.
One might argue that the need for the Jordan curve theorem and its ilk to prove something that is intuitively obvious is a pathology, indicating that something is amiss with founding topology on analysis. And I would agree with this, as would many others, Grothendieck for example. It is not so easy to find a better foundations, though (there is an approach using logic that Todd knows a lot about and which I am somewhat familiar with, but I’ve never been much sold on it).
I think the thing I am supposed to know a lot about in Richard’s #26 is what is described in van den Dries’s book Tame Topology and O-minimal Structures, which is a development coming from model theory. A good example is the class of semi-algebraic sets, where the typical pathological examples that Richard is alluding to (like Alexander’s horned sphere, or space-filling curves, etc.) simply can’t be described in that framework. Grothendieck was advocating looking at a stratification of such theories of “Tame Topology” in section 5 of his Esquisse d’un Programme, and sometime around the early 90’s or so, the model theorists managed to describe one possible realization of his vision via their notion of O-minimal structures.
I have re-arranged and expanded a little bit at topological invariance of dimension.
In a Statement section I collection the statement of topological invariance of dimension and of its strengthening to the “invariance of domain”, and tried to make clearer that the proof that used to be there is just that the latter implies the former.
Then I started a new section Proofs and filled in the proof via ordinary cohomology, and a pointer to the proof via K-theory. Further proofs should be added here.
1 to 28 of 28