Try   HackMD

Introduction to Topology

Fundamental problem

A topological space is a set

X together with a collection
T
of subsets of
X
called "open" sets such that:

  1. the intersection of two open sets is open;
  2. the union of any collection of open sets is open; and
  3. the empty set
    and whole space
    X
    are open.

Additionally, a subset

CX is called "closed" if its complement
XC
is open.

For example, given a set

A={1,2,3}

  1. discrete topology:
    T=P(A)
  2. trivial topology:
    T={ϕ,A}
  3. T={{1},{1,2},A,ϕ}

If

X is a topological space and
xX
then a set
N
is called a neighborhood of
x
in
X
if there is an open set
UN
with
xU
.

If

X is a topological space,
(xi)i=1
is a sequence of points in
X
, and
xX
, we say that the sequence converges to
x
, if for every neighborhood
U
of
x
there exists
NN
such that
xiU
for all
iN
.

Continuous

The following definition is a local property.

If

X and
Y
are topological spaces and
f:XY
is a function, then
f
is said to be continuous if
f1(U)
is open for each open set
UY
. A map is a continuous function.

Image Not Showing Possible Reasons
  • The image was uploaded to a note which you don't have access to
  • The note which the image was originally uploaded to has been deleted
Learn More →

The following definition is a global property.

A function

f:XY between topological spaces is called a homeomorphism if
f1:YX
exists (i.e.,
f
is one-one and onto) and both
f
and
f1
are continuous. The notation
XY
means that
X
is homeomorphic to
Y
.

Theorem. Let

T1 and
T2
be topologies on the same set
X
. Show that the identity map of
X
is continuous as a map from
(X,T1)
to
(X,T2)
if and only if
T1
is finer than
T2
, and is a homeomorphism if and only if
T1=T2
.

For example,

  • Let
    (M,d)
    be a metric space, let
    c
    be a positive real number, and define a new metric
    d
    on
    M
    by
    d(x,y)=cd(x,y)
    . Then,
    d
    and
    d
    generate the same topology on
    M
    .
  • Let
    X
    be any set, and let
    d
    be the discrete metric on
    X
    . Then,
    d
    generates the discrete topology.

Enugh?

  1. Suppose
    (X,T)
    a topology space where
    X={a,b}
    and
    T={{a},X,ϕ}
    . Then,
    {a}
    is not closed.
  2. Suppose
    (X,T)
    a topology space where
    X={1,2,3}
    and
    T={{1},{1,2},X,ϕ}
    . Then,
    xn=23
    .

Not to structures like a metric, but to conditions describable in terms of the topology itself.

The separation axioms:

(T0) A topological space
X
is called a
T0
-space if for any two points
xy
there is an open set containing one of them but not the other.
(T1)
A topological space
X
is called a
T1
-space if for any two points
xy
there is an open set containing
x
but not
y
and another open set containing
y
but not
x
.
(T2)
A topological space
X
is called a
T2
-space or Hausdorff if for any two points
xy
there are disjoint open sets
U
and
V
with
xU
and
yV
.
(T3)
A
T1
-space
X
is called a
T3
-space or regular if for any point
x
and closed set
F
not containing
x
there are disjoint open sets
U
and
V
with
xU
and
FV
.
(T4)
A
T1
-space
X
is called a
T4
-space or normal if for any two disjoint closed sets
F
and
G
there are disjoint open sets
U
and
V
with
FU
and
GV
.

For example,

  • Every metric space is Hausdorff: if
    p1
    and
    p2
    are distinct, let
    r=d(p1,p2)
    ; then the open balls of radius
    r/2
    around
    p1
    and
    p2
    are disjoint by the triangle inequality.

Theorem. Let

X be a Hausdorff space.
(a) Every finite subset of
X
is closed.
(b) If a sequence
(pi)
in
X
converges to a limit
pX
, the limit is unique.

Too many?

Let

{Xα}αJ be an indexed family of topological spaces. Let us take as a basis for a topology on the product space
αJXα

the collection of all sets of the form
αJUα,

where
Uα
is open in
Xα
, for each
αJ
. The topology generated by this basis is called the box topology.

Let

(Rω,T) be topology space with box topology. Given any sequence
{ai=(ai1,ai2,):i=1,2,}
, exist a neighborhood
U=(a11,a11)×(a22,a22)×
such that
ai
cannot converge to
a
.

Basis

Let

X be a topological space. A collection
B
of subsets of
X
is called a basis for the topology of
X
(plural: bases) if the following two conditions hold:
(i) Every element of
B
is an open subset of
X
.
(ii) Every open subset of
X
is the union of some collection of elements of
B
.

For example,

  • Let
    M
    be a metric space. Every open ball in
    M
    is an open subset, and every open subset is a union of open balls. Thus the collection of all open balls in
    M
    is a basis for the metric topology.
  • If
    X
    is any set with the discrete topology, the collection of all singleton subsets of
    X
    is a basis for its topology.

Countablility

The countability axioms.

  • A topological space is said to be first countable if each point has a countable neighborhood basis.
  • Definition. A topological space is said to be second countable if its topology has a countable basis.

For example,

  • If
    X
    is a metric space and
    pX
    , the set of balls
    Br(p)
    with rational radii is easily seen to be a neighborhood basis at
    p
    , so every metric space is first countable.
  • Every Euclidean space is second countable, because as Exercise 2.42(b) shows, it has a countable basis.

The properties of first countable

Lemma (Sequence Lemma). Suppose

X is a first countable space,
A
is any subset of
X
, and
x
is any point of
X
.
(i)
xA¯
if and only if
x
is a limit of a sequence of points in
A
.
(ii)
A
is closed in
X
if and only if
A
contains every limit of every convergent sequence of points in
A
.

The properties of second countable

Theorem. Suppose

X is a second countable space.
(i)
X
is first countable.
(ii) (separable space)
X
contains a countable dense subset.
(iii) (Lindelof space) Every open cover of
X
has a countable subcover.

Click here to see exercise in [Rudin]
  • 2.22 A metric space is called separable if it contains a countable dense subset. Show that
    Rk
    is separable.
  • 2.23 Prove that every separable metric space has a countable base.
  • 2.24 Let
    X
    be a metric space in which every infinite subset has a limit point. Prove that
    X
    is separable.

For example, if

B is the collection of all half open intervals in the real line,
[a,b)={xax<b},

the topology generated by
B
is called the lower limit topology (Sorgenfre line) on
R
. Denote it as
R
.

  • R
    is first-countable and separable, but not second-countable.
  • Metric space is first countable, but might not be second countble and separable.

Back to Metrization

If

X is a topological space,
X
is said to be metrizable if there exists a metric
d
on the set
X
that induces the topology of
X
.

R is Hausdorff space but not metrizable. Exercise 2.23 in [Rudin] give a intuition that separable metric spaces are second-countable.

When?

Theorem. (The Urysohn Metrization Theorem) Every second countable regular space is metrizable.

Manifold

A topological space

M is said to be locally Euclidean of dimension
\boldsymboln
if every point of
M
has a neighborhood in
M
that is homeomorphic to an open subset of
Rn
.

An n-dimensional topological manifold is a second countable Hausdorff space that is locally Euclidean of dimension

n.

Line with two origins locally Euclidean but non-Hausdorff.

To be continued..

"seperable" is important concept in function space!!

References

  1. J. Lee, Introduction to Topological Manifolds
  2. G. Bredon, Topology and Geometry
  3. J. Munkres, Topology