Catalog of Definitions from Topology.

Definition 1. Topology (Def 1.1.1)
§1.1
Let X be a set and let τ be a collection of subsets of X s.t.(1) τ is closed under arbitrary unions:if {Ui:i∈I}⊆τ, then ⋃i∈IUi∈τ.(2) τ is closed under finite intersections:if U1,U2,…,Un∈τ with n∈N, then ⋂k=1nUk∈τ.(3) ∅,X∈τ.Then τ is a topology on X. This can be written as (X,τ)and called a topological space.\text{Let $X$ be a set and let $\tau$ be a collection of subsets of $X$ s.t.} \\[0.5em] \text{(1) $\tau$ is closed under arbitrary unions:} \\ \text{if } \{U_i : i \in I\} \subseteq \tau \text{, then } \bigcup_{i \in I} U_i \in \tau. \\[0.5em] \text{(2) $\tau$ is closed under finite intersections:} \\ \text{if } U_1, U_2, \ldots, U_n \in \tau \text{ with } n \in \mathbb{N} \text{, then } \bigcap_{k=1}^{n} U_k \in \tau. \\[0.5em] \text{(3) } \varnothing, X \in \tau. \\[0.5em] \text{Then $\tau$ is a topology on $X$. This can be written as $(X, \tau)$} \\ \text{and called a \textit{topological space}.}
Definition 2. Open
§1.1
Let (X,τ) be a topological space‾.A subset U⊆X is called open iff U∈τ.\text{Let $(X, \tau)$ be a \underline{\href{/notes/topology/definitions#definition-1}{\text{topological space}}}.} \\ \text{A subset $U \subseteq X$ is called \textit{open} iff $U \in \tau$.}
Definition 3. Closed
§1.1
Let (X,τ) be a topological space‾.A subset C⊆X is called closed iff its complementCc=X∖C∈τ.\text{Let $(X, \tau)$ be a \underline{\href{/notes/topology/definitions#definition-1}{\text{topological space}}}.} \\ \text{A subset $C \subseteq X$ is called \textit{closed} iff its complement} \\ C^c = X \setminus C \in \tau.
Definition 4. Finer / Coarser
§1.1
Let σ,τ be topologies‾ on a set X.We say σ is finer than τ if σ⊇τ.We can also say τ is coarser than σ.Think of it as the space being “chopped up” into finer piecesif σ has more open‾ sets.\text{Let $\sigma, \tau$ be \underline{\href{/notes/topology/definitions#definition-1}{\text{topologies}}} on a set $X$.} \\ \text{We say $\sigma$ is \textit{finer} than $\tau$ if } \sigma \supseteq \tau. \\ \text{We can also say $\tau$ is \textit{coarser} than $\sigma$.} \\[1em] \text{Think of it as the space being “chopped up” into finer pieces} \\ \text{if $\sigma$ has more \underline{\href{/notes/topology/definitions#definition-2}{\text{open}}} sets.}