A topological space is a set together with a collection of subsets of called "open" sets such that:
Additionally, a subset is called "closed" if its complement is open.
For example, given a set
If is a topological space and then a set is called a neighborhood of in if there is an open set with .
If is a topological space, is a sequence of points in , and , we say that the sequence converges to , if for every neighborhood of there exists such that for all .
The following definition is a local property.
If and are topological spaces and is a function, then is said to be continuous if is open for each open set . A map is a continuous function.
The following definition is a global property.
A function between topological spaces is called a homeomorphism if exists (i.e., is one-one and onto) and both and are continuous. The notation means that is homeomorphic to .
Theorem. Let and be topologies on the same set . Show that the identity map of is continuous as a map from to if and only if is finer than , and is a homeomorphism if and only if .
For example,
Not to structures like a metric, but to conditions describable in terms of the topology itself.
The separation axioms:
A topological space is called a -space if for any two points there is an open set containing one of them but not the other.
A topological space is called a -space if for any two points there is an open set containing but not and another open set containing but not .
A topological space is called a -space or Hausdorff if for any two points there are disjoint open sets and with and .
A -space is called a -space or regular if for any point and closed set not containing there are disjoint open sets and with and .
A -space is called a -space or normal if for any two disjoint closed sets and there are disjoint open sets and with and .
For example,
Theorem. Let be a Hausdorff space.
(a) Every finite subset of is closed.
(b) If a sequence in converges to a limit , the limit is unique.
Let be an indexed family of topological spaces. Let us take as a basis for a topology on the product space
the collection of all sets of the form
where is open in , for each . The topology generated by this basis is called the box topology.
Let be topology space with box topology. Given any sequence , exist a neighborhood such that cannot converge to .
Let be a topological space. A collection of subsets of is called a basis for the topology of (plural: bases) if the following two conditions hold:
(i) Every element of is an open subset of .
(ii) Every open subset of is the union of some collection of elements of .
For example,
The countability axioms.
For example,
The properties of first countable
Lemma (Sequence Lemma). Suppose is a first countable space, is any subset of , and is any point of .
(i) if and only if is a limit of a sequence of points in .
(ii) is closed in if and only if contains every limit of every convergent sequence of points in .
The properties of second countable
Theorem. Suppose is a second countable space.
(i) is first countable.
(ii) (separable space) contains a countable dense subset.
(iii) (Lindelof space) Every open cover of has a countable subcover.
For example, if is the collection of all half open intervals in the real line,
the topology generated by is called the lower limit topology (Sorgenfre line) on . Denote it as .
If is a topological space, is said to be metrizable if there exists a metric on the set that induces the topology of .
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.
A topological space is said to be locally Euclidean of dimension if every point of has a neighborhood in that is homeomorphic to an open subset of .
An n-dimensional topological manifold is a second countable Hausdorff space that is locally Euclidean of dimension .
Line with two origins locally Euclidean but non-Hausdorff.
"seperable" is important concept in function space!!