- Thread starter
- Banned
- #1

The first axiom is immediate. The second, showing the intersection Of 2 opens sets is open is also easy for me. Now I need to show infinite unions of open sets are open and I am unsure of the best way to proceed.

- Thread starter Poirot
- Start date

- Thread starter
- Banned
- #1

The first axiom is immediate. The second, showing the intersection Of 2 opens sets is open is also easy for me. Now I need to show infinite unions of open sets are open and I am unsure of the best way to proceed.

- Moderator
- #2

- Feb 7, 2012

- 2,725

Let $\{(-a_\iota,a_\iota)\}_{\iota\in I}$ be a collection of open sets. If $\{a_\iota\}_{\iota\in I}$ is unbounded then $\bigcup_{\iota\in I}(-a_\iota,a_\iota) = \mathbb{R}.$ Otherwise, let $a = \sup_{\iota\in I}a_\iota$ and show that $\bigcup_{\iota\in I}(-a_\iota,a_\iota) = (-a,a).$

The first axiom is immediate. The second, showing the intersection Of 2 opens sets is open is also easy for me. Now I need to show infinite unions of open sets are open and I am unsure of the best way to proceed.

- Thread starter
- Banned
- #3

- Moderator
- #4

- Feb 7, 2012

- 2,725

No, I left that as an exercise for you.Have you accounted for the case where the empty set or R is included?

- Thread starter
- Banned
- #5

- Moderator
- #6

- Feb 7, 2012

- 2,725

Correct.Well, if one of the a(i) is R, then the union is R. If a(i) is empty for all i, the union is empty and finally if a(i) is empty for at least one i then we can remove such sets with the union unchanged