Topological Preliminaries
2.3 Definitions Let be a topological space, as defined in Sec. 1.2.
(a) A set is closed if its complement is open. (Hence and are closed, finite unions of closed sets are closed, and arbitrary intersections of closed sets are closed.)
(b) The closure of a set is the smallest closed set in which contains . (The following argument proves the existence of : The collection of all closed subsets of which contain is not empty, since ; let be the intersection of all members of .)
(c) A set is compact if every open cover of contains a finite subcover. More explicitly, the requirement is that if is a collection of open sets whose union contains , then the union of some finite subcollection of also contains .
In particular, if is itself compact, then is called a compact space.
(d) A neighborhood of a point is any open subset of which contains . (The use of this term is not quite standardized; some use
“neighborhood of ” for any set which contains an open set containing .)
(e) is a Hausdorff space if the following is true: If , , and , then has a neighborhood and has a neighborhood such that .
(f) is locally compact if every point of has a neighborhood whose closure is compact.
Obviously, every compact space is locally compact.
We recall the Heine-Borel theorem: The compact subsets of a euclidean space are precisely those that are closed and bounded ([26],† Theorem 2.41). From this it follows easily that is a locally compact Hausdorff space. Also, every metric space is a Hausdorff space.
2.4 Theorem Suppose is compact and is closed, in a topological space . If , then is compact.
PROOF If is an open cover of and , then covers ; hence there is a finite collection such that
Then . //////
Corollary If and if has compact closure, so does .
2.5 Theorem Suppose is a Hausdorff space, , is compact, and . Then there are open sets and such that , , and .
PROOF If , the Hausdorff separation axiom implies the existence of disjoint open sets and , such that and . Since is compact, there are points such that
Our requirements are then satisfied by the sets
Corollaries
(a) Compact subsets of Hausdorff spaces are closed.
(b) If is closed and is compact in a Hausdorff space, then is compact.
Corollary (b) follows from (a) and Theorem 2.4.
† Numbers in brackets refer to the Bibliography.
2.6 Theorem If is a collection of compact subsets of a Hausdorff space and if , then some finite subcollection of also has empty intersection.
PROOF Put . Fix a member of . Since no point of belongs to every , is an open cover of . Hence for some finite collection . This implies that
2.7 Theorem Suppose is open in a locally compact Hausdorff space , , and is compact. Then there is an open set with compact closure such that
PROOF Since every point of has a neighborhood with compact closure, and since is covered by the union of finitely many of these neighborhoods, lies in an open set with compact closure. If , take .
Otherwise, let be the complement of . Theorem 2.5 shows that to each there corresponds an open set such that and . Hence , where ranges over , is a collection of compact sets with empty intersection. By Theorem 2.6 there are points such that
The set
then has the required properties, since
2.8 Definition Let be a real (or extended-real) function on a topological space. If
is open for every real , is said to be lower semicontinuous. If
is open for every real , is said to be upper semicontinuous.
A real function is obviously continuous if and only if it is both upper and lower semicontinuous.
The simplest examples of semicontinuity are furnished by characteristic functions:
(a) Characteristic functions of open sets are lower semicontinuous.
(b) Characteristic functions of closed sets are upper semicontinuous.
The following property is an almost immediate consequence of the definitions:
(c) The supremum of any collection of lower semicontinuous functions is lower semicontinuous. The infimum of any collection of upper semicontinuous functions is upper semicontinuous.
2.9 Definition The support of a complex function on a topological space is the closure of the set
The collection of all continuous complex functions on whose support is compact is denoted by .
Observe that is a vector space. This is due to two facts:
(a) The support of lies in the union of the support of and the support of , and any finite union of compact sets is compact.
(b) The sum of two continuous complex functions is continuous, as are scalar multiples of continuous functions.
(Statement and proof of Theorem 1.8 hold verbatim if “measurable function” is replaced by “continuous function,” “measurable space” by “topological space”; take , or , to prove that sums and products of continuous functions are continuous.)
2.10 Theorem Let and be topological spaces, and let be continuous. If is a compact subset of , then is compact.
PROOF If is an open cover of , then is an open cover of , hence for some , and therefore . ////
Corollary The range of any is a compact subset of the complex plane.
In fact, if is the support of , then . If is not compact, then , but need not lie in , as is seen by easy examples.
2.11 Notation In this chapter the following conventions will be used. The notation
will mean that is a compact subset of , that , that for all , and that for all . The notation
will mean that is open, that , , and that the support of lies in . The notation
will be used to indicate that both (1) and (2) hold.
2.12 Urysohn’s Lemma Suppose is a locally compact Hausdorff space, is open in , , and is compact. Then there exists an , such that
In terms of characteristic functions, the conclusion asserts the existence of a continuous function which satisfies the inequalities . Note that it is easy to find semicontinuous functions which do this; examples are and .
PROOF Put , , and let be an enumeration of the rationals in . By Theorem 2.7, we can find open sets and then such that is compact and
Suppose and have been chosen in such a manner that implies . Then one of the numbers , say , will be the largest one which is smaller than , and another, say , will be the smallest one larger than . Using Theorem 2.7 again, we can find so that
Continuing, we obtain a collection of open sets, one for every rational , with the following properties: , , each is compact, and
Define
and
The remarks following Definition 2.8 show that is lower semicontinuous and that is upper semicontinuous. It is clear that , that
if , and that has its support in . The proof will be completed by showing that .
The inequality is possible only if , , and . But implies . Hence for all and , so .
Suppose for some . Then there are rationals and such that . Since , we have ; since , we have . By (3), this is a contradiction. Hence . ////
2.13 Theorem Suppose are open subsets of a locally compact Hausdorff space , is compact, and
Then there exist functions ( ) such that
Because of (1), the collection is called a partition of unity on , subordinate to the cover .
PROOF By Theorem 2.7, each has a neighborhood with compact closure for some (depending on ). There are points such that . If , let be the union of those which lie in . By Urysohn’s lemma, there are functions such that . Define
Then . It is easily verified, by induction, that
Since , at least one at each point ; hence (3) shows that (1) holds. ////