Sign up ×
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.

Does there exist continuous map from $S^1$ to $\mathbb{R}$ such that $f(x)=f(y)$ for uncountably many $x,y\in S^1$? By the Borsuk-Ulam theorem, I know there is no injective map from $S^1\rightarrow \mathbb{R}^1$.

If we consider some map like $g(x)=f(x)-f(-x)$ for $x\in S^1$, I can say by the intermediate value theorem that there is at least one point where $g$ vanishes; is that vanishing set uncountable?

share|cite|improve this question

1 Answer 1

up vote 5 down vote accepted

Any constant map $f:\mathbb{S}^1\to\mathbb{R}$ is continuous and would satisfy $f(x)=f(y)$ for every $x,y\in\mathbb{S}^1$, of which there are certainly uncountably many.

In fact, a continuous map $f$ that is only constant on a non-empty open set of $\mathbb{S}^1$ would have $f(x)=f(y)$ for uncountably many $x,y\in\mathbb{S}^1$, because any non-empty open set of $\mathbb{S}^1$ is uncountable.

share|cite|improve this answer
Actually there are no other cases where this can happen, as any such uncountable set would have to be dense somewhere but is also closed. – canaaerus Jul 13 '12 at 7:29
@canaaerus I do not understand your comment would you please explain it? – La Belle Noiseuse Jun 3 '13 at 5:16

Your Answer


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.