Continuity of Topological Spaces: On Topology
Continuity of Topological Spaces: On Topology
on Topology
Continuity of Topological Spaces
Definition : Convergence
Let (X, T ) be a topological space. A sequence { x n } of points of
X is said to converge to the point x ∈ X if, given any open set U
that contains x, there exists an integer N such that xn ∈ U for all
n≥N .
When a sequence { x n } converges to a point x, we say that x is
the limit of the sequence and we write xn → x as n → ∞ or
simply
Theorem : Inclusion maps are continuous
Let (X, T ) be a topological space and let A
⊂ X . Then the inclusion map i : A → X which
is defined by i(x) = x is continuous.
Theorem : Restriction maps are continuous
Let f : X → Y be a continuous function
between topological spaces and let A ⊂ X .
Then the restriction map g : A → Y which is
defined by g(x) = f (x) is continuous. This
map is often denoted by g = f |A.
Product topology
Definition – Product topology
Given two topological spaces (X, T ) and (Y,
T j), we define the product topology on X × Y as
the collection of all unions Ui X Vi , where each Ui
is open in X and each Vi is open in Y .
Theorem: Projection maps are continuous
Let (X, T ) and (Y, T j) be topological spaces. If X
× Y is equipped with the product topology.
Then the projection map p1 : X × Y → X defined
by p1(x, y) = x is continuous. Moreover, the same is
true for the projection map p2 : X × Y → Y defined by
p2(x, y) = y.
Theorem: Continuous map into a product space
Let X, Y, Z be topological spaces. Then a function
f : Z → X × Y is continuous if and only if its
components p1 ◦ f , p2 ◦ f are continuous.
Subspace topology
Definition – Subspace topology
Let (X, T ) be a topological space and let A ⊂ X . Then the set T j = { U ∩ A : U ∈ T }
forms a topology on A which is known as the subspace topology.
Example : Consider the real numbers R with usual topology and let Y = [1, 1]:
Then
i. (1/2, 1) is open in the subspace topology: (1/2, 1) ⊂ Y .
ii.(1/2, 1] is open in the subspace topology: (1/2, 1] = (1/2, 2) ∩
Y
[1/2, 1) is not open in the subspace topology:
iii. If [1/2, 1) = U ∩ Y for
some open subset U of R. Then ½ ∈ U: Thus (1/2- ∈ ; 1/2 + ∈ ) is
contained in U ∩ Y = [1/2, 1) for some ∈ > 0; which is not possible.
12