Compact sets and proper mappings
Arun Ram
Department of Mathematics and Statistics
University of Melbourne
Parkville, VIC 3010 Australia
aram@unimelb.edu.au
Last updates: 29 July 2014
Proper mappings
A
morphism is a continuous function
.
A
closed morphism is a morphism
such that
if is closed in then
is closed in .
| |
A
proper morphism is a continuous function
such that
if is a topological space then
is closed.
| |
Compact spaces
A topological space is quasicompact if the mapping
is proper.
A topological space is compact if it is quasicompact and Hausdorff.
Let be a set. An ultrafilter on
is a maximal filter (with respect to inclusion), i.e. a filter
such that there is no filter on
which is strictly finer than .
Let be a topological space. The following are equivalent.
(C) |
If is a filter on then there exists such that
is a cluster point of
|
(C') |
If is an ultrafilter on then there exists such that
is a limit point of
|
(C'') |
If is a collection of closed sets such that
then there
exists and
such that
|
(C''') |
If is a collection of open sets such that
then there exists and
such that
|
|
|
Sketch of proof. |
|
(C'') (C''') by taking complements.
(C) (C'): Assume (C).
To show: If is an ultrafilter on then there exists such that
is a limit point of
Assume is an ultrafilter on
By (C), there exists such that is a cluster point of
Since is an ultrafilter is a limit point of
(C') (C): Assume (C').
To show: If is a filter on then there exists such that
is a cluster point of
Assume is a filter on
Since the collection of filters on satisfies the hypotheses of Zorn's lemma, there exists an ultrafilter
such that
By (C') there exists such that is a limit point of
So is a cluster point of
Since and is a cluster point of then
is a cluster point of
(not C'') (not C): Assume that there is a collection of closed sets such that
and, if
and
then
Let be the set of subsets of which contain a set in
Then is a filter.
Since
does not have a cluster point.
(not C) (not C''): Assume that there exists a filter on with no cluster point.
Then
Since is a filter, if and
then
and therefore
Let
Then is a collection of closed sets such that
but there does not exist
such that
|
Let be a Hausdorff topological space and let
be a compact subset of . Then is closed.
|
|
Proof. |
|
Let be a Hausdorff topological space with topology Let
Assume is compact.
To show: is closed.
To show: is open.
To show: If then is an interior point of
Assume
To show: There exists such that and
For each there exist
and such that
and
and
Then
is an open cover of
Since is compact there exists and
such that
is an open cover of
Let
Since is a finite intersection of open sets,
is open.
Also and
So and
So is an interior point of
So is open.
So is closed.
-
Let . The neighbourhood filter
of
induces a filter WHAT DOES THIS MEAN???
on which has a cluster point .
Since
is coarser than
(considered as a filter base on
) the point is a cluster point
of . So
since is Hausdorff.
|
Example-Homework: Let
be a set with more than one point with topology
Show that every subset
is compact, but the only closed subsets of
are
and
Note that
is not Hausdorff.
Locally ??? spaces
Let be a subset of and let
be an element of ????.
The set
is locally closed at if there is a
neighborhood of
such that
is closed in .
The space is locally compact if each point of
has a compact neighborhood.
The space is locally connected if each point of
has a fundamental system of connected neighborhoods.
Notes and References
This proof that compact implies closed in Hausdorff spaces is taken from notes of J. Hyam Rubinstein for a course Metric and Hilbert spaces at the University of Melbourne. The proof in
[BR, Theorem 2.34] is of the same intent but stated only for metric spaces.
These notes follow Bourbaki [Bou, Ch.I §9 no. 1,2] and [Bou, Ch.I §10 no.1,2].
Theorem 2.1 characterizes compact spaces as spaces where limits exist.
WHAT IS HEINE-BOREL??? WHAT IS BOREL-LEBESGUE???
The characterization of compact spaces by proper mappings is fundamental in algebraic geometry
[REFERENCE?? EGA???].
Graphs of relations and functions are an interesting point. Maybe not. Put this in exercises? This seems
to be special to compact and locally compact X and f: X to X/R, where R is an equivalence relation.
References
[Bou]
N. Bourbaki,
General Topology, Springer-Verlag, 1989.
MR1726779.
[BR]
W. Rudin, Principles of mathematical analysis, Third edition,
International Series in Pure and Applied Mathematics, McGraw-Hill 1976.
MR0385023.
[Ru]
W. Rudin,
Real and complex analysis, Third edition, McGraw-Hill, 1987.
MR0924157.
page history