2
$\begingroup$

Given an uncountable collection of open intervals in $\mathbb{R}$, can we choose an uncountable subcollection which will have unempty intersection? I read that indeed, we could do that.

But on the other hand, I don't quite see why would this be impossible to have uncountably many open sets which all but for inifnitely many have an empty intersection. I know only countably many can be disjoint, but that doesn't mean that uncountably many are all NOT disjoint. It could happen there are these two in every subfamily of cardinality continuum that are disjoint, at least that's how I see it (bad intuition though).

Is there any constructive proof for this problem?

$\endgroup$
  • $\begingroup$ Any open set contains a rational. A countable union of countable sets is countable... $\endgroup$ – David C. Ullrich Jun 18 '16 at 17:35
  • $\begingroup$ Yeah, as I wrote I know that. $\endgroup$ – Jules Jun 18 '16 at 17:36
  • $\begingroup$ I mean -- empty intersection of some amount of sets is not equivalent to all of them being disjoint, that's why I don't see where to use the fact you stated. $\endgroup$ – Jules Jun 18 '16 at 17:40
  • $\begingroup$ As you wrote? Somewhere else maybe - neither of those two assertions appears in your post. If you know both those things then you should see the simple proof that follows - what's the problem? $\endgroup$ – David C. Ullrich Jun 18 '16 at 17:40
  • $\begingroup$ I'd explain if you had a better attitude - "Yeah, as I wrote I know that"? Good luck $\endgroup$ – David C. Ullrich Jun 18 '16 at 17:41
2
$\begingroup$

Let $\mathcal{U} = \{A_\lambda \mid \lambda \in \Lambda\}$ be a collection of open subsets of $\mathbb{R}$ where $\Lambda$ is uncountable.

For a rational $x\in \mathbb{Q}$, let $\mathcal{U}_x\subset \mathcal{U}$ be the set of sets appearing in $\mathcal{U}$ which contain $x$. Note that for every $A_\lambda\in\mathcal{U}$, there exists an $x$ such that $A_{\lambda}\in \mathcal{U}_x$ because every open set contains a rational number. Hence $\bigcup_{x\in\mathbb{Q}}\mathcal{U}_x = \mathcal{U}$.

Now, suppose every $\mathcal{U}_x$ was only countable, then $\mathcal{U}$ is a countable union of countable sets and so is itself countable. This is a contradiction and so there must exist some $x$ for which $\mathcal{U}_x$ is uncountable, and further by construction $x \in \bigcap\mathcal{U}_x$ so the set is non-empty.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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