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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I know that if $C \subseteq [0,1]$ is uncountable, then there exists $a \in (0,1)$ such that $C \cap [a,1]$ is uncountable. Is it still true for any infinite sets? That is, if $C \subseteq [0,1]$ is infinite, does there exist an $a \in (0,1)$ such that $C \cap [a,1]$ is infinite?

share|cite|improve this question
1  
I'm not sure I understand your question, but $[0,1]\cap [1,2]=\{1\}$ is finite despite both being uncountably infinite... – JMoravitz 13 hours ago
1  
[1,2] is not a valid set here. Any set must be within [0,1] – mmarky 13 hours ago
1  
Out of interest, does the proof of this have to use (some version of) the Axiom of Choice, or is there a stronger proof than saying, "suppose that all the intersections are countable, then $C$ is a countable union of countable sets (namely, the union of all such intersections for some sequence of $a$ tending to $0$, plus possibly the set $\{0\}$) and hence is countable?". In that proof it's obvious why it breaks down replacing "uncountable" with "infinite", because a countable union of finite sets need not be finite. – Steve Jessop 12 hours ago

Not necessarily. Consider $C := \{\frac{1}{n} : n \in \mathbb{N}\}$.

share|cite|improve this answer

Not true. Take $$C = \left\{1, \frac12, \frac13, \frac14, \ldots , \frac1N, \ldots \right\}.$$

[Jeez, everyone came up with the same example at once]

share|cite|improve this answer
1  
$\{\frac 1 n\}$ is the archetype of a convergent sequence, so everyone thinks of it. – Paul Sinclair 7 hours ago

Every set E such that :

$$\forall \epsilon >0 \quad E\cap(\epsilon,1)\text{ is finite}$$

is a counter example.

You just need $0$ to be an accumulation point of your set.

You can take $$\left\{\frac 1n ,\ n\in \mathbb N\right\}$$ for instance.

share|cite|improve this answer

This argument is not true...a Counter example is the set:$$\left\{\frac 1n ,\ n\in \mathbb N\right\}$$

share|cite|improve this answer

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.