Interior of Intersection may not equal Intersection of Interiors

Theorem
Let $T$ be a topological space.

Let $\mathbb H$ be a set of subsets of $T$.

That is, let $\mathbb H \subseteq \mathcal P \left({T}\right)$ where $\mathcal P \left({T}\right)$ is the power set of $T$.

Then it is not necessarily the case that:
 * $\displaystyle \left({\bigcap_{H \mathop \in \mathbb H} H}\right)^\circ = \bigcap_{H \mathop \in \mathbb H} H^\circ$

where $H^\circ$ denotes the interior of $H$.

Proof
From Intersection of Interiors contains Interior of Intersection it is seen that it is always the case that:
 * $\displaystyle \left({\bigcap_{H \mathop \in \mathbb H} H}\right)^\circ \subseteq \bigcap_{H \mathop \in \mathbb H} H^\circ$

From Interior of Finite Intersection equals Intersection of Interiors it is seen that if $\mathbb H$ is finite, then:
 * $\displaystyle \left({\bigcap_{H \mathop \in \mathbb H} H}\right)^\circ = \bigcap_{H \mathop \in \mathbb H} H^\circ$

It remains to be shown that in the case where $\mathbb H$ is infinite, then it is possible that:
 * $\displaystyle \left({\bigcap_{H \mathop \in \mathbb H} H}\right)^\circ \ne \bigcap_{H \mathop \in \mathbb H} H^\circ$

Proof by Counterexample:

Let:
 * $A_n := \left({1 - \dfrac 1 n \,.\,.\, 1 + \dfrac 1 n}\right)$

for all $n \in \Z_{>0}$.

From Open Sets in Real Number Line, each of $A_n$ is an open set in $\R$.

From Interior of Open Set:
 * $\forall n \in \Z_{>0}: A_n^\circ = A_n$

Thus:
 * $\displaystyle \bigcap A_n = \bigcap A_n^\circ = \left\{{1}\right\}$

However:
 * $\displaystyle \left({\bigcap A_n}\right)^\circ = \left\{{1}\right\}^\circ = \varnothing$

Hence the result.

Also see

 * Interior of Finite Intersection equals Intersection of Interiors