[0NX] For the following exercises we define that
a set \(E\) is open if
\begin{equation} \label{eq:defaperti} β x_ 0 β E , β r>0: B(x_ 0,r)β E\quad . \end{equation}4It is easily seen that \(β ,X\) are open sets; that the intersection of a finite number of open sets is an open set; that the union of an arbitrary number of open set is an open set. So these open sets form a topology.
The interior \({{E}^\circ }\) of a set \(E\) is
\begin{equation} \label{eq:internooperativo} {{E}^\circ }=\bigl\{ xβ E: \exists r>0, B_ r(x)β E \bigr\} \ ; \end{equation}5It is easy to verify that \({{E}^\circ }β E\), and that \(E\) is open if and only if \({{E}^\circ }=E\) (exercise [0PB]).
A point \(x_ 0β X\) is adherent to \(E\) if
\[ β\, r{\gt}0\ ,\quad Eβ© B_ r(x_ 0)β β \quad . \]The closure \(\overline E\) of \(E\) is the set of adherent points; it is easy to verify that \({E}β \overline{E}\); It is shown that \(\overline E=E\) if and only if \(E\) is closed (exercise [0PM]).
\(A\) is dense in \(B\) if \(\overline A β B\), that is, if for every \(x β B\) and for every \(r {\gt} 0\) the intersection \(B_ r (x) β© A\) is not empty.