Maths WorkshopMaths problems with full solutions
Exercise 584Topology › Topology of ℝL1Added 3 Nov 2026

Arbitrary unions of open sets

#unions#open sets#arbitrary

Statement

Show that an arbitrary union of open sets of R\mathbb{R} is open.

Hint

For xx in the union, it belongs to at least one open set UiU_i; use the open ball around xx inside UiU_i.

Show solutionHide solution

Solution

Proof. Let (Ui)i∈I(U_i)_{i\in I} be open and x∈⋃iUix\in\bigcup_i U_i. Pick i0i_0 with x∈Ui0x\in U_{i_0}. Since Ui0U_{i_0} is open, there is r>0r>0 with B(x,r)⊆Ui0⊆⋃iUiB(x,r)\subseteq U_{i_0}\subseteq\bigcup_i U_i.

Conclusion. ⋃iUi\bigcup_i U_i is open.

Remark. Finite intersections of open sets are open, but infinite intersections may fail: ⋂n≥1]−1n,1n[={0}\bigcap_{n\ge1}]-\frac1n,\frac1n[=\{0\}, not open.