Let${\displaystyle X}$ be a topological space and${\displaystyle A}$ be any subset of${\displaystyle X}$.

• A point${\displaystyle x}$ is called apoint of closure of${\displaystyle A}$ if every neighborhood of${\displaystyle x}$ contains at least one element of${\displaystyle A}$. In other words, for all neighborhoods${\displaystyle U}$ of${\displaystyle x}$,${\displaystyle U\cap A\ne \mathrm{\varnothing }}$.
• Theclosure of${\displaystyle A}$ is the set of all points of closure of${\displaystyle A}$. It is equivalent to the intersection of all closed sets that contain${\displaystyle A}$ as a subset, denoted${\displaystyle \mathrm{C}\mathrm{l}(A)}$ (some authors use${\displaystyle \overline{A}}$). Alternatively, it is the set${\displaystyle A}$ together with all its limit points (defined below). The closure has the nice property of being the smallest closed set containing${\displaystyle A}$. All neighborhoods of each point in the closure intersects${\displaystyle A}$.

• A point${\displaystyle x}$ is aninternal point of${\displaystyle A}$ if there is an open subset of${\displaystyle A}$ containing${\displaystyle x}$.
• Theinterior of${\displaystyle A}$ is the union of all open sets contained inside${\displaystyle A}$, denoted${\displaystyle \mathrm{I}\mathrm{n}\mathrm{t}(A)}$ (some authors use${\displaystyle A^{\circ }}$). The interior has the nice property of being the largest open set contained inside${\displaystyle A}$. Every point in the interior has a neighborhood contained inside${\displaystyle A}$. It is equivalent to the set of all interior points of${\displaystyle A}$.

Note that an open set is equal to its interior.

• Define theexterior of${\displaystyle A}$ to be the union of all open sets contained inside the complement of${\displaystyle A}$, denoted${\displaystyle \mathrm{I}\mathrm{n}\mathrm{t}(X\setminus A)}$. It is the largest open set inside${\displaystyle X\setminus A}$. Every point in the exterior has a neighborhood contained inside${\displaystyle X\setminus A}$.

• Define theboundary of${\displaystyle A}$ to be the closure of${\displaystyle A}$ excluding its interior, or${\displaystyle \mathrm{C}\mathrm{l}(A)\setminus \mathrm{I}\mathrm{n}\mathrm{t}(A)}$. It is denoted${\displaystyle \mathrm{B}\mathrm{d}(A)}$ (some authors prefer${\displaystyle \mathrm{\partial }A}$). The boundary is also called thefrontier. It is always closed since it is the intersection of the closed set${\displaystyle \mathrm{C}\mathrm{l}(A)}$ and the closed set${\displaystyle X\setminus \mathrm{I}\mathrm{n}\mathrm{t}(A)}$. It can be proved that${\displaystyle A}$ is closed if it contains all its boundary, and is open if it contains none of its boundary. Every neighborhood of each point in the boundary intersects both${\displaystyle A}$ and${\displaystyle X\setminus A}$. All boundary points of a set${\displaystyle A}$ are obviously points of contact of${\displaystyle A}$.

• A point${\displaystyle x}$ is called alimit point of${\displaystyle A}$ if every neighborhood of${\displaystyle x}$ intersects${\displaystyle A}$ in at least one point other than${\displaystyle x}$. In other words, for every neighborhood${\displaystyle U}$ of${\displaystyle x}$,${\displaystyle (U\setminus \{x\})\cap A\ne \mathrm{\varnothing }}$. All limit points of${\displaystyle A}$ are obviously points of closure of${\displaystyle A}$.

• A point${\displaystyle x}$ of${\displaystyle A}$ is anisolated point of${\displaystyle A}$ if it has a neighborhood which does not contain any other points of${\displaystyle A}$. This is equivalent to saying that${\displaystyle \{x\}}$ is an open set in the topological space${\displaystyle A}$ (considered as a subspace of${\displaystyle X}$).

Definition:${\displaystyle A}$ is calleddense (ordense in${\displaystyle X}$) if every point in${\displaystyle X}$ either belongs to${\displaystyle A}$ or is a limit point of${\displaystyle A}$. Informally, every point of${\displaystyle X}$ is either in${\displaystyle A}$ or arbitrarily close to a member of${\displaystyle A}$. For instance, the rational numbers are dense in the real numbers because every real number is either a rational number or has a rational number arbitrarily close to it.

Equivalently:${\displaystyle A}$ is dense if the closure of${\displaystyle A}$ is${\displaystyle X}$.

Definition:${\displaystyle A}$ isnowhere dense (ornowhere dense in${\displaystyle X}$) if the closure of${\displaystyle A}$ has an empty interior. That is, the closure of${\displaystyle A}$ contains no non-empty open sets. Informally, it is a set whose points are not tightly clustered anywhere. For instance, the set of integers is nowhere dense in the set of real numbers. Note that the order of operations matters: the set of rational numbers has aninterior with emptyclosure, but it is not nowhere dense; in fact it is dense in the real numbers.

Definition: AG_σ set is a subset of a topological space that is a countable intersection of open sets.

Definition: AnF_σ set is a countable union of closed sets.

Theorem

(Hausdorff Criterion) SupposeX has 2 topologies,r₁ andr₂. For each${\displaystyle x\in X}$, let B¹_x be a neighbourhood base forx in topologyr₁ and B²_x be a neighbourhood base forx in topologyr₂. Then,${\displaystyle r_1\subseteq r_2}$ if and only if at each${\displaystyle x\in X}$, if${\displaystyle (B^1\in B_x^1)(\mathrm{\exists }(B^2\in B_x^2)(B^2\subseteq B^1).}$

Theorem

In any topological space, the boundary of an open set is closed and nowhere dense.

Proof:
LetA be an open set in a topological spaceX. SinceA is open, int(A) =A. Thus,${\displaystyle \mathrm{\partial }A}$ ( or the boundary ofA) =${\displaystyle \overline{A}/int(A)}$. Note that${\displaystyle \overline{A}/A=\overline{A}\cap A^c}$. The complement of an open set is closed, and the closure of any set is closed. Thus,${\displaystyle \overline{A}\cap A^c}$ is an intersection of closed sets and is itself closed. A subset of a topological space is nowhere dense if and only if the interior of its closure is empty. So, proceeding in consideration of the boundary ofA.

The interior of the closure of the boundary ofA is equal to the interior of the boundary ofA.

Thus, it is equal to${\displaystyle int(\overline{A}\cap A^c)}$.

Which is also equal to${\displaystyle int(\overline{A})\cap int(A^c)}$.

And,${\displaystyle int(A^c)={\overline{[(A^c{)}^c]}}^c}$.So, the interior of the closure of the boundary ofA =${\displaystyle int(\overline{A})\cap int\overline{(A^c)}}$., and as such, the boundary ofA is nowhere dense.

We can also categorize spaces based on what kinds of points they have.

• If a space contains no isolated points, then the space is aperfect space.

• For every set${\displaystyle A}$;${\displaystyle A\subseteq \mathrm{C}\mathrm{l}(A)}$ and${\displaystyle \mathrm{I}\mathrm{n}\mathrm{t}(A)\subseteq A}$
  Proof:
  Let${\displaystyle x\in A}$. If a closed set${\displaystyle \alpha \supseteq A}$, then${\displaystyle x\in \alpha }$. As${\displaystyle \mathrm{C}\mathrm{l}(A)={\displaystyle \bigcap _{\alpha \subset X}\alpha }}$ for closed${\displaystyle \alpha }$; we have${\displaystyle x\in \mathrm{C}\mathrm{l}(A)}$.${\displaystyle x\in A}$ being arbitrary,${\displaystyle A\subseteq \mathrm{C}\mathrm{l}(A)}$
  Let${\displaystyle U\subseteq A}$ be open. Thus,${\displaystyle x\in A\mathrm{\forall }x\in U}$. As${\displaystyle \mathrm{I}\mathrm{n}\mathrm{t}(A)={\displaystyle \bigcup _{U\subseteq A}U}}$ for open${\displaystyle U}$; we have${\displaystyle x\in \mathrm{I}\mathrm{n}\mathrm{t}(A)\mathrm{\forall }x\in U}$.${\displaystyle U\subseteq A}$ being arbitrary, we have${\displaystyle \mathrm{i}\mathrm{n}\mathrm{t}(A)\subseteq A}$

• A set${\displaystyle A}$ is open if and only if${\displaystyle \mathrm{I}\mathrm{n}\mathrm{t}(A)=A}$.
  Proof:
  (${\displaystyle ⟹}$)
  ${\displaystyle A}$ is open and${\displaystyle A\subseteq A}$. Hence,${\displaystyle A\subseteq \mathrm{I}\mathrm{n}\mathrm{t}(A)}$. But we know that${\displaystyle \mathrm{I}\mathrm{n}\mathrm{t}(A)\subseteq A}$ and hence${\displaystyle \mathrm{I}\mathrm{n}\mathrm{t}(A)=A}$
  (${\displaystyle ⟸}$)
  As${\displaystyle \mathrm{I}\mathrm{n}\mathrm{t}(A)}$ is a union of open sets, it is open (from definition of open set). Hence${\displaystyle A=\mathrm{I}\mathrm{n}\mathrm{t}(A)}$ is also open.

• A set${\displaystyle A}$ is closed if and only if${\displaystyle \mathrm{C}\mathrm{l}(A)=A.}$
  Proof:
  Observe that the complement of${\displaystyle \mathrm{C}\mathrm{l}(A)}$ satisfies${\displaystyle X\setminus \mathrm{C}\mathrm{l}(A)=\mathrm{I}\mathrm{n}\mathrm{t}(X\setminus A)}$. Hence, the required result is equivalent to the statement "${\displaystyle X\setminus A}$ is open if and only if${\displaystyle \mathrm{I}\mathrm{n}\mathrm{t}(X\setminus A)=X\setminus A}$".${\displaystyle A}$ is closed implies that${\displaystyle X\setminus A}$ is open, and hence we can use the previous property.

• The closure${\displaystyle \mathrm{C}\mathrm{l}(A)}$ of a set${\displaystyle A}$ is closed
  Proof:
  Let${\displaystyle \alpha }$ be a closed set such that${\displaystyle A\subseteq \alpha }$. Now,${\displaystyle \mathrm{C}\mathrm{l}(A)={\displaystyle \bigcap _{\alpha \subset X}\alpha }}$ for closed${\displaystyle \alpha }$. We know that the intersection of any collection of closed sets is closed, and hence${\displaystyle \mathrm{C}\mathrm{l}(A)}$ is closed.

1. Prove the following identities for subsets${\displaystyle A,B}$ of a topological space${\displaystyle X}$:
   • ${\displaystyle \mathrm{C}\mathrm{l}(A\cup B)=\mathrm{C}\mathrm{l}(A)\cup \mathrm{C}\mathrm{l}(B)}$
   • ${\displaystyle \mathrm{C}\mathrm{l}(A\cap B)\subseteq \mathrm{C}\mathrm{l}(A)\cap \mathrm{C}\mathrm{l}(B)}$
   • ${\displaystyle \mathrm{I}\mathrm{n}\mathrm{t}(A)\cup \mathrm{I}\mathrm{n}\mathrm{t}(B)\subseteq \mathrm{I}\mathrm{n}\mathrm{t}(A\cup B)}$
   • ${\displaystyle \mathrm{I}\mathrm{n}\mathrm{t}(A\cap B)=\mathrm{I}\mathrm{n}\mathrm{t}(A)\cap \mathrm{I}\mathrm{n}\mathrm{t}(B)}$
2. Show that the following identities need not hold (i.e. give an example of a topological space and sets${\displaystyle A}$ and${\displaystyle B}$ for which they fail):
   • ${\displaystyle \mathrm{C}\mathrm{l}(A\cap B)=\mathrm{C}\mathrm{l}(A)\cap \mathrm{C}\mathrm{l}(B)}$
   • ${\displaystyle \mathrm{I}\mathrm{n}\mathrm{t}(A)\cup \mathrm{I}\mathrm{n}\mathrm{t}(B)=\mathrm{I}\mathrm{n}\mathrm{t}(A\cup B)}$

• Book:Topology