Topological Space¶
Definition of Topology
Suppose set \(X\), and a family set \(\tau\) of \(X\) is said to be a topology if
(i) \(\varnothing, X\subset \tau\),
(ii) if \(\{U_\lambda\}_{\lambda\in\Lambda}\subset \tau\), then \(\bigcup\limits_{\lambda\in \Lambda} U_\lambda\in \tau\),
(iii) if \(\{U_n\}_{1\leq n\leq N} \subset \tau\), then \(\bigcap\limits_{1\leq n\leq N}U_n\in \tau\).
The element of \(\tau\) is called an open set.
Example. Two common topologies on a set \(X\).
(i) discrete topology \(2^{X}\).
(ii) indiscrete/trivial topology \(\{\varnothing, X\}\).
Example. The topologies on \(\mathbb{R}\).
(i) Finite-complement topology
(ii) Countable-complement topology
(iii) Euclidean topology
where \(\Lambda\) is an index set and compose maybe finite/infinite/zero number of elements. \(I_\lambda\) is an arbitrary open interval. We denote the space as \(\mathbb{E}^1=(\mathbb{R}, \tau_e)\).
(i) and (ii) holds for condition two and three because De Morgan's formula
Comparison of topologies
Suppose \(\tau\), \(\tau'\) are two topologies on \(X\). We say \(\tau'\) is finer than \(\tau\) (or bigger), if
And at this time the two topologies is comparable.
Basis for a topology¶
Basis for a topology
A family set \(\mathcal{B}\) of \(X\) is said to be a topological basis, if
(i) \(\forall x\in X\), \(\exists B\in\mathcal{B}\) s.t. \(x\in B\). Or equivalently, \(X=\bigcup\limits_{B\in \mathcal{B}}B\).
(ii) \(\forall B_1,B_2\in \mathcal{B}\), \(\forall x\in B_1\cap B_2\), \(\exists B\in\mathcal{B}\) such that \(x\in B\) and \(B\subset B_1\cap B_2\).
We now define a collection of subsets of \(X\) by a basis for a topology, which turns out to be a topology.
Topology Generated by basis
A collection \(\tau_B\) of subsets of \(X\) is defined as follows. A subset \(U\subset X\) belongs to \(\tau_B\), if \(\forall x\in U\), \(\exists B\in \mathcal{B}\) s.t. \(x\in B\) and \(B\subset U\). Then \(\tau_B\) is a topology on \(X\).
Check this by definition. Note that \(\varnothing\in \tau\) and \(X\in \tau\) (by def (i) of basis for a topology).
(ii) For \(\{U_\lambda\}_{\lambda\in\Lambda}\subset \tau\), by definition, \(\exists B_\lambda\in\mathcal{B}\), s.t. \(\forall x\in U_\lambda\), \(x\in B_\lambda\) and \(B_\lambda\in U_\lambda\). So for
\(x\in U\), \(\exists \lambda_0\) such that \(x\in U_{\lambda_0}\), then \(\exists B_{\lambda_0}\subset U_{\lambda_0}\subset U\) such that \(x\in B_\lambda\).
(iii) Use the condition (ii) of the definition. We only prove if \(U_1,U_2\in \tau\), then \(U_1\cap U_2 \in \tau\).
Generation by a union of basis for a topology
Suppose \(\tau\) is a topology space generated by \(\mathcal{B}\), then \(\forall U\in \tau\), there exsits \(\mathcal{B}_1\subset \mathcal{B}\) such that
Conversely, a collection \(\tau\) defined by the above expression is a topology generated by basis \(\mathcal{B}\).
-
Sufficient. Easy to check by definition.
-
necessary.
For each \(U\in \tau\), by definition, for each \(x\in U\), there exists \(B_x\in \mathcal{B}\), s.t. \(x\in B_x\subset U\).
So choose \(\mathcal{B}_1=\{B_x: x\in U\}\), and we have
\(\square\)
This expression for \(U\) is not unique.
Given a topology \(\tau\), we could check whether it is generated by a specific topological basis.
Lemma: find a topological basis from a topology
Suppose \(\tau\) is a topology on \(X\), a collection \(\mathcal{C}\) of (open) subsets of \(X\) is said to be a topological basis of \(\tau\), if for each open set \(U\) and each \(x\in U\), there exsits \(C\in\mathcal{C}\) such that \(x\in C\subset U\).
Actually, this topology is the same as the topology generated by basis \(\mathcal{C}\).
-
We shall check \(\mathcal{C}\) is a basis for a topology.
-
Let \(\tau'\) to denote the topology generated by the basis \(\mathcal{C}\). By definition, we have \(\tau'\subset \tau\) (Readers could check). For the other direction, we have for each open set \(U\), choose \(\mathcal{C}_1=\{C_x: x\in C_x\subset \mathcal{C}\}\), then
Now we could give a criterion for comparing two topologies generated by two basis.
Lemma: criterion for comparing two topologies generated by two basis
Suppose \(\mathcal{B}\) and \(\mathcal{B}'\) are two basis for topologies \(\tau\) and \(\tau'\), respectively. Then \(\tau'\) is finer than \(\tau\), iff for each \(x\in X\) and \(B\in\mathcal{B}\) with \(x\in B\), there exists \(B'\in\mathcal{B}'\) such that \(x\in B'\subset B\).
- Show by definition.
\(\square\)
Apply the above lemma to show the following result.
Example. Ball basis and triangular basis generate the same topology on \(\mathbb{R}^2\).
Product Topology¶
Definition of product topology on \(X\times Y\)
Suppose \(X\) and \(Y\) are topological spaces, the product topology on \(X\times Y\) is a collection of subsets of \(X\) generated by basis \(\mathcal{B}\), where \(\mathcal{B}=\{U\times V: U\in\tau_X, V\in \tau_Y\}\).
We shall show that the above \(\mathcal{B}\) is a topological basis.
using
Note that \(\mathcal{B}\) itself is not a topology of \(X\times Y\).
When does a collection of subsets of \(X\times Y\) becomes a basis for the topology on \(X\times Y\)?
Basis for a topology on \(X\times Y\)
Suppose \(\mathcal{B}\), \(\mathcal{C}\) are topological basis on \(X\) and \(Y\), respectively. Then
is a basis for a topology on \(X\times Y\).
Now we make use of projection function to show some relationships.
Projections
Suppose \(X\) and \(Y\) are two non-empty sets. Define a map \(\pi_1:X\times Y\rightarrow X\) by
and \(\pi_2: X\times Y\rightarrow Y\) by
They are called the projections of \(X\times Y\) onto its first and second factor, respectively.
Projections are surjective by definition. We would show that it is continuous naturally in the following chapter.
topology generated by projections
Collection
is a sub-basis of the product topology of \(X\times Y\).
By
Show that product topology is equal to the topology generated by \(\mathcal{S}\).
Subspace Topology¶
Definition of Subspace topology
Suppose \(X\) is a topological space with \(\tau\). If \(Y\subset X\), then the collection
is a topology on \(Y\), called the subspace topology. With this topology, \(Y\) is called a subspace of \(X\).
Easy to have
and for condition two
\(\square\)
Quotient Topology¶
Definition of quotient map
Suppose \(X\) and \(Y\) are topological spaces, \(p:X\rightarrow Y\) is called a quotient map if
(i) \(p\) is surjective,
(ii) \(V\subset Y\) is an open set in \(Y\), iff \(f^{-1}(V)\) is open in \(X\).
The (ii) could be partitioned into two conditions: \(p\) is continuous, and for \(V\subset Y\), \(p^{-1}(V)\) is open in \(X\), implies \(V\) is open in \(Y\).
Notice that a quotient map could neither be an open map nor a closed map.
Example. Suppose \(\pi_1 :\mathbb{R}\times\mathbb{R} \rightarrow \mathbb{R}\) is the projection into the first coordinate. Let \(A=\{(x,y): x\geq 0 \text{ or } y=0\}\) which is a subspace of \(\mathbb{R}\times \mathbb{R}\). Let \(q=\pi_1|_A\), show that \(q\) is a quotient map but neither an open map nor a closed map.
Now we use quotient map to construct a topology, namely quotient topology.
Definition of quotient topology
Suppose \(X\) is a topological space, \(A\) is a set and \(p:X\rightarrow A\) is a surjective map. Then there exsits exactly one topology \(\tau\) on \(A\) such that \(p\) becomes a quotient map. It is called the quotient topology induced by \(p\).
The open set \(U\in\tau\) such that \(p^{-1}(U)\) is open in \(X\), and could make \(p\) be a quotient map naturally. This guarantees the continuity of \(p\), and actually makes the topology the finest topology that makes \(p\) continuous (number of open sets are the largest). We claim that this construction gives a topology.
We shall show that \(\tau\) is a topology. Apparently, \(\varnothing\) and \(A\) are in \(\tau\) since \(p^{-1}(\varnothing)=\varnothing\), \(p^{-1}(A)=X\). And
\(\square\)
A special case for quotient topology is defined as follows.
Special case of quotient space
Suppose \(X\) is a topological space, \(X^*\) is a partition of \(X\) into disjoint subsets whose union is \(X\). Let \(p:X\rightarrow X^*\) be a surjective map that carries each point of \(X\) into the element of \(X^*\) containing it. In the quotient topology induced by \(p\), \(X^*\) is called quotient space of \(X\).
We can describe the topology of \(X^∗\) in another way. A subset \(U\) of \(X^∗\) is a collection of equivalence classes, and the set \(p^{−1}(U)\) is just the union of the equivalence classes belonging to \(U\). Thus the typical open set of \(X^∗\) is a collection of equivalence classes whose union is an open set of \(X\).
Saturated set
Suppose \(X\) is a topological space, \(p:X\rightarrow Y\) is a surjective map and \(C\subset X\) is said to be saturated of \(X\), if \(C=p^{-1}p(C)\). Generally speaking, \(C\subset p^{-1}p(C)\).
Now we could check that \(p\) is a quotient map, iff \(p\) is continuous, and maps a saturated open set \(C\) in \(X\) into an open set \(p(C)\) in \(Y\).
Given a subspace \(A\subset X\), could a quotient map \(p:X\rightarrow Y\) inherits quotient map when restricted on \(A\)? It would happen only if \(A\) is saturated w.r.t \(p\) and satiafies the following conditions.
Conditions a quotient map to take effect on a subspace
Suppose \(p: X\rightarrow Y\) is a quotient map, \(A\subset X\) is a subspace of \(X\), and saturated w.r.t \(p\). Define \(q = p|_A\). Then \(q\) is a quotient map, if any of the following condition satisfies
(i) \(A\) is open or closed in \(X\).
(ii) \(p\) is an open or closed map.
\(\square\)
Composition of maps matters in analysis. Easy to show that composition of two quotient maps are still quotient map because
Composition of continuous function with quotient maps
Suppose \(p:X\rightarrow Y\) is a quotient map. \(Z\) is a space, \(g:X\rightarrow Z\) is a map such that for each \(y\in Y\), \(g(p^{-1}(y))\) is a single point. Then \(f\) is induced by \(g\) with \(f\circ p=g\). We have
(i) \(f\) is continuous iff \(g\) is continuous.
(ii) \(f\) is a quotient map, iff \(g\) is a quotient map.
Define \(f: Y\rightarrow Z\) by \(f(y)=g(p^{-1}(y))\). By the assumption, \(f\) is well-defined and satisfies \(f \circ p=g\).
Easy to show the first conclusion. By composition of maps, \(f\) is continuous, then \(g=f\circ p\) is continuous. If \(g\) is continuous, then for an open set \(V\subset Z\), \(g^{-1}(Z)\) is open in \(X\), and then \(f^{-1}(Z)=p\circ g^{-1}(Z)\) is open in \(Y\).
If \(f\) is a quotient map, then \(g=f\circ p\) is also a quotient map. If \(g\) is a quotient map, then \(g\) is surjective, so \(f\) is surjective. If \(f^(V)\) is open in \(Y\) for \(V \subset Z\), then \(p^{-1}(f^(V))\) is open in \(X\), which equals \(g^{-1}(V)\). Since \(g\) is quotient, \(V\) is open in \(Z\).
\(\square\)
Example. If \(f: X \rightarrow Y\) is a quotient map, define an equivalent relation \(\sim\) induced by \(f\). We call \(x, x'\in X\) are equivalent, if \(f(x)=f(x')\), and they are denoted as \(x \overset{f}{\sim} x'\). Show that \(X/ \overset{f}{\sim}\) is homomorphic with \(Y\).
Let \(p:X\rightarrow X/ \overset{f}{\sim}\) be the paste map. By the definition, there exsits an one-to-one map \(g: X/ \overset{f}{\sim} \rightarrow Y\), such that \(g\circ p=f\), i.e. \(g^{-1}\circ f=p\). Just show the continuity of \(g\) and \(g'\).
\(\square\)
Continuous functions¶
Definition of Continuous functions
Suppose \(X\), \(Y\) are topological spaces, \(f:X\rightarrow Y\) is a map. \(f\) is said to be continuous, if for all \(U\in \tau_Y\), we have \(f^{-1}(U)\in \tau_X\).
Note that for \(V\subset Y\), if \(V\cap f(X)=\varnothing\), then \(f^{-1}(V)=\varnothing\).
Example. Suppose \(f:X\rightarrow Y\) is a bijection. Show that the following statements are equivalent.
(i) \(f^{-1}\) is continuous,
(ii) \(f\) is open,
(iii) \(f\) is closed.
(i) implies (ii) is by definition.
(ii) implies (iii) is by \(f(U^c)=[f(U)]^c\).
Rules for constructing continuous functions
Suppose \(X, Y, Z\) are topological spaces.
(i)
Pasting lemma (黏结引理)
Maps into products
Assume \(f: A\rightarrow X\times Y\) is defined by
Then \(f\) is continuous iff \(f_1\) and \(f_2\) are continuous.
Here \(f_1, f_2\) are called the coordinate functions of \(f\).
Note that if the domain is product space, then the aboe proposition is not ture.
Example. Suppose \(F: \mathbb{E}\times \mathbb{E}\rightarrow \mathbb{E}\) defined by
Show that \(F_1, F_2\) is continuous but \(F\) itself is not continuous.
Homeomorphism¶
Definition of Hemeomorphism
Denoted by \(\simeq\). Suppose \(X\), \(Y\) is a topological space, and \(f:X\rightarrow Y\) is a map. \(f\) is called homeomorphism, if \(f\) is bijective, \(f\) and \(f^{-1}\) are both continuous.
For given \(X\) and \(Y\), we call them homeomorphic if there exsits a homeomorphism \(f:X\rightarrow Y\).
Example. Some homeomorphisms.
(i) open intervals is homeomorphic with \(\mathbb{E}^1\).
(ii) open unit balls in \(\mathbb{E}^n\) is homeomorphic with \(\mathbb{E}^n\).
(iii) Any convex polygon is homeomorphic with a unit disc.
(iv) \(z\mapsto z+1\) is analytic at \(\infty\).
(i) using \(x\mapsto \tan x\) from \((-\pi/2, \pi/2)\) to \(\mathbb{R}\).
(ii) using \(x\mapsto x+\frac{x}{\|x\|}\).
Topological imbedding
Suppose \(f:X\rightarrow Y\) is a continuous and injective map. If restricted on \(f(X)\), \(f\) is a hemeomorphism, then we call \(f\) is an embedding of \(X\) in \(Y\).
Example.
(i) \(\mathbb{R}^m\rightarrow \mathbb{R}^n\), \(m < n\), defined by
Example. Suppose \(X\simeq X'\), \(Y\simeq Y'\), then \(X\times Y\simeq X'\times Y'\).
From a homeomorphism \(f:X\rightarrow X'\), \(g:Y\rightarrow Y'\), define
which is a bijection, whose inverse is \(f^{-1}\times g^{-1}\).
Prove \(f\times g\) is continuous.
Example. Heegaard decomposition of \(S^3\).
(i) \(S^3 - S^1\simeq \mathbb{R}^3-\mathbb{R}\),
Example. Assume \(f: X\rightarrow Y\) is a bijection, then the following statement is equivalent.
(i) \(f\) is open.
(ii) \(f\) is closed.
(iii) \(f^{-1}\) is continuous.