Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am taking an introductory course to topology and the professor defined a topological manifold of dimension $n$ if it is hausdorff and if for every point $x$ there exists an open set $U$ around $x$ such that $U$ is homeomorphic to $\mathbb{R}^n$. My question is: By the way she defined it, one could have (apriori) a topological space $X$ being a manifold of dimensions $n$ and $m$? Meaning I could find open sets $U$ and $V$ around every $x$ and $U$ is homeomorphic to $\mathbb{R}^n$ and $V$ is homeomorphic to $\mathbb{R}^m$, and this would make the notion of dimension not well defined. My guess is that since it is called "topological manifold of dimension $n$" what I described probably cant happen, but I dont see why not.

share|improve this question
    
Indeed, how does one know that $\mathbb R^n$ is not homeomorphic to $\mathbb R^m$ unless $n=m$? IIRC, one must look at homotophy groups, or at least at homology groups. –  Michael Hardy May 19 '13 at 20:14
1  
You are right. This is called invariance of domain. –  23rd May 19 '13 at 20:14
    
It's also possible to prove that the Lebesgue covering dimension of an $n$-manifold is $n$. But this too requires the tools of algebraic topology. –  kahen May 19 '13 at 20:41
    
It's a somewhat frustrating fact that while basic topology is great at proving things the same, you need to work pretty hard to prove that things are different from each other. To prove that $A$ and $B$ are homeomorphic, just provide a homeomorphism, but proving they are not homeomorphic needs some kind of invariant on which they differ. –  Ben Millwood May 19 '13 at 21:28

1 Answer 1

up vote 5 down vote accepted

You are correct.

There are several ways to show that it is impossible, and it basically boils down to the fact that no open subset of ${\bf R}^n$ is homeomorphic to an open subset of ${\bf R}^m$ if $n<m$ (as $U\cap V$ would be in your case). You can assume without loss of generality that the sets in question are connected.

One way to show it is to use the fact that you can find an $(n-1)$-dimensional sphere which disconnects any open subset of ${\bf R}^n$, but it is a general fact that if a compact set disconnects ${\bf R}^m$, then it must admit a non-nullhomotopic map onto $S^{m-1}$ (in fact, it is an equivalent condition), while on the other hand, no proper compact subset of $S^{m-1}$ admits such a map.

So, summing it all up, a set homeomorphic to $S^{n-1}$ can't disconnect an open subset of ${\bf R}^m$ if $m>n$ and we're done.

(The results used can be shown by combinatorial or algebraic topology, but are not simple enough to show here.)

share|improve this answer
    
Thanks for noting me that point, Tomasz. :-) and +1 –  Babak S. May 22 '13 at 11:28

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.