Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I've been reading about space filling curves, and been asking myself this question.

If $f: \mathbb{R}^{2} \rightarrow \mathbb{R}$ is a continuous open map, is it true that $\forall x \in$ range$(f)$ , $f^{-1}(x)$ is always uncountable?

share|improve this question
2  
No, some points may have countable, finite, even unique inverse images. –  Gerald Edgar Apr 23 '13 at 0:30
    
Is there a relatively trivial example? I cannot seem to think of one... –  John Bluto Apr 23 '13 at 0:51
    
Incidentally, there are continuous surjections $f: S^1\to S^2$ so that every preimage contains at most 3 points. (Actually, with countably many exceptions, preimage contains at most 2 points.) –  Misha Apr 23 '13 at 2:17
    
You are right. I was thinking of a space-filling curve, which this is not. –  Gerald Edgar Apr 23 '13 at 13:07

1 Answer 1

up vote 14 down vote accepted

I think so, yes. Let $x$ be in the range of $f$ and define $U = f^{-1}((-\infty, x))$, $V = f^{-1}((x,\infty))$. Since $f$ is open, $U$ and $V$ are both nonempty. So they are disjoint nonempty open sets, which means that the complement of $f^{-1}(x)$ is disconnected. But the complement of any countable subset of ${\bf R}^2$ is connected. (Even path connected, by a simple cardinality argument: for any distinct $p$ and $q$ one can find uncountably many paths from $p$ to $q$, any two of which are disjoint except for the points $p$ and $q$. So a countable set can obstruct only countably many of them.)

share|improve this answer
1  
Actually, I only used the fact that the range of $f$ is open, not that $f$ is an open map. –  Nik Weaver Apr 23 '13 at 1:00
1  
Also, my argument actually shows that $f^{-1}(x)$ has cardinality $2^{\aleph_0}$, for those who care about such niceties. –  Nik Weaver Apr 23 '13 at 1:01
    
Many thanks! One follow up question: How does your definition of U and V imply that the complement of $f^{-1}(x)$ is disconnected? –  John Bluto Apr 23 '13 at 3:18
    
@John: The complement of $f^{-1}(x)$ is disconnected because it is the disjoint union of two nonempty open sets, $U$ and $V$. –  Nik Weaver Apr 23 '13 at 5:00
    
Oh, one more comment. I wish I'd thought of saying this earlier. The proof that the complement of any countable subset of ${\bf R}^2$ is connected goes back to Cantor. I remember reading it in Dauben's biography. –  Nik Weaver Apr 24 '13 at 3:20

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.