Topological space

Definition

Consider $X$ to be a non-empty set, and also let $\tau \subset \wp (X)$ be a subset of the power set of $X$, such that an action $\tau$ fullfils the following conditions,

• $X,\emptyset \in \tau$,
• if $U_{1},\ldots ,U_{n}\in \tau$ then also the finite intersetion of these sets are element of the topology, i.e.

$U_{1}\cap \ldots \cap U_{n}\in \tau$.

• let $I$ be an index set and for all $i\in I$ the subset $U_{i}\subset X$ is element of the topology ($U_{i}\in \tau$) then also the union of these sets $U_{i}$ is an element of the topology <\math>, i.e.

$\bigcup _{i\in I}U_{i}\in \tau$.

The pair $(X,\tau )$ is called topological space. Set sets in $\tau \subset \wp (X)$ are called the open sets in $X$.

Learning Task

• Let $X:=\{1,2,3,4,5\}$ and $T:=\left\{\{1,2,3\},\{2,3,4\},\{3,4,5\}\right\}$. Add a minimal number of sets, so $T$ and create $\tau \supseteq T$, so that $(X,\tau )$ is a topological space.