Infinite intersection of open sets

I need to prove that the infinite intersection of open sets may [must] not be open. I can show through examples that this is true, but this is not sufficient for a proof. - Can somebody give a formal proof ? Thanks.

Solution 1:

All you need is a counterexample to show a statemnt is not true: $\cap_{n=1}^\infty (-1/n,1/n) = \{0\}$ which is an intersection of open intervals resulting in a (non-open) closed set in the usual topology on $\mathbb{R}$ .

Obviously, there are infinite collections of open sets whose intersection is open. For example, $\cap_{n=1}^\infty (n,n+1) = \emptyset$ which is always open.

A term for countable intersections of open sets is a $G_\delta$ set. You can find $G_\delta$ sets which are neither open nor closed.

Thus, infinite intersections of open sets may be closed, open or neither.

Solution 2:

The O.P here is not asking for an example or counter-example here. He is confused with the logic involved in disproving something.

Consider an example,

Proposition: I went to gymnasium everyday in August.

If you need to prove the statement either you have to check for everyday of august you have gone to gymnasium (or what mathematicians generally do is- take an arbitrary day of august and prove that you have gone to gym on that day, hence you have gone to gym on everyday of august.

But if you need to prove that the proposition is false, it is enough to find a particular such that you haven't gone to gymnasium on that day.

Similarly, to disprove infinite intersection of open sets is open, it is enough to give a particular collection of open sets such that intersection is not open.

Note-

1) To disprove the statement infinite intersection of open sets is open is not same as proving infinite intersection of open set is not open.

2) Your question was "prove that the infinite intersection of open sets may [must] not be open". Now there is a problem in the question. "infinite intersection of open sets may [must] not be open"- this is not a proposition or a statement. A proposition or statement is something which is either false or true, cannot be false and true together. The 'must' or 'may' creates a problem to be a proposition or a statement. So logically you cannot ask to prove something which is not a proposition. You can only ask to prove or disprove a proposition. Therefore, the correct statement should have been- Prove or Disprove, infinite intersection of open sets is a open set.

I hope this helps.