6
$\begingroup$

Let $A_i$ be open subsets of $\Omega$. Then $A_0 \cap A_1$ and $A_0 \cup A_1$ are open sets as well.

Thereby follows, that also $\bigcap_{i=1}^N A_i$ and $\bigcup_{i=1}^N A_i$ are open sets.

My question is, does thereby follow that $\bigcap_{i \in \mathbb{N}} A_i$ and $\bigcup_{i \in \mathbb{N}} A_i$ are open sets as well?

And what about $\bigcap_{i \in I} A_i$ and $\bigcup_{i \in I} A_i$ for uncountabe $I$?

  • 9
    A remark: regardless of whether it is true that an infinite union or intersection of open sets is open, when you have a property that holds for every finite collection of sets (in this case, the union or intersection of any _finite collection_ of open sets is open) the validity of the property for an infinite collection doesn't follow _from that_. In other words, induction helps you prove a proposition for any natural number, but not for any transfinite cardinal. You'll have to use different techniques to prove or disprove the statement in your questions.2012-06-04

3 Answers 3

5

An arbitrary union (coutable or not) of open sets is open, but even for a countable intersection it's not true in general. For example, when $\Omega$ is the real line endowed with the usual topology, and $A_i:=\left(-\frac 1i,\frac 1i\right)$, $A_i$ is open but $\bigcap_{i\in \Bbb N}A_i=\{0\}$ which is not open.

  • 0
    @DaveL.Renfro. True, I didn't somehow even think about that :-) So $T_{1}$ would be the least requirement for this construction.2012-06-05
6

Any union of a set of open sets is again open. However, infinite intersections of open sets need not be open. For example, the intersection of intervals $(-1/n,1/n)$ on the real line (for positive integers $n$) is precisely the singleton $\{0\}$, which is not open.

  • 1
    When proving that something is not always true (such as "a countable intersection of open sets is open"), a counterexample **is** a formal proof. Generality is neither needed nor particularly helpful. We only need generality when proving universal statements.2018-09-11
6

The union of any collection of open sets is open. Let $x \in \bigcup_{i \in I} A_i$, with $\{A_i\}_{i\in I}$ a collection of open sets. Then, $x$ is an interior point of some $A_k$ and there is an open ball with center $x$ contained in $A_k$, therefore contained in $\bigcup_{i \in I} A_i$, so this union is open. Others have given a counterexample for the infinite intersection of open sets, which isn't necessarily open. By de Morgan's laws, the intersection of any collection of closed sets is closed (try to prove this), but consider the union of $\{x\}_{x\in (0,1)}$, which is $(0,1)$, not closed. The union of an infinite collection of closed sets isn't necessarily closed.