Union & Intersection of Collections of Open Sets
Properties of Open Sets
- A arbitrary union of open sets is open.
- A finite intersection of open sets is open.
Why does the infinite intersection case not hold? Consider:
which we showed is not open.
Proof
- Let
be open in , for . Let . So where which itself is open. So then such that , completing the proof. - Let
all be open sets in . Let . Then for each . Each is open so then for each where . Then choose , which we can do since we have a finite number of them. Then clearly and also since it's the smallest then:
for all
☐