2
$\begingroup$

Find an open cover $\mathcal{G}$ of the set $E = \{ 1/n : n \in \mathbb{Z^{+}}\}$ such that any proper subset of $\mathcal{G}$ is not an open cover of $E$.

  • 0
    Yes we are working on the real number line.2012-03-29

3 Answers 3

3

Hint: for each positive integer $n$, find an open interval $O_n$ containing $1\over n$ that contains no other point of $E$. (I'm assuming you're working in $\Bbb R$ with the usual topology.)

1

The easiest way is to make sure that every member of $\mathcal{G}$ is needed in order to cover $E$. That means that for each $G\in\mathcal{G}$ you want a point $e_G\in E$ that is covered by $G$ and by no other member of $\mathcal{G}$. One easy way to do this is to arrange matters so that each member of $\mathcal{G}$ contains exactly one point of $E$, a different point for each $G\in\mathcal{G}$.

What if $E$ were the set of positive integers? Can you find open sets $G_n$ for $n\in\Bbb Z^+$ such that $G_n\cap\Bbb Z^+=\{n\}$? That shouldn’t be too hard. And once you’ve seen the idea, it shouldn’t be too hard to adapt it to your actual problem.

0

You can cover each point of $E$ with an interval so small that it contains no other points in $E$. Since this looks like it might be homework, I'll leave you to work out the cover explicitly.