- Open Cover
- Hausdorff Spaces
- Countably Compact
- Sequentially Compact
- Semicontinuous
- Compact Product Topology
- Compact in a Metric Space
- Closed and Bounded in Real Space
- Continuous Becomes Uniform
- Distance Between Functions
- Shrinking Diameters
- Separating Closed Sets
- The Tikhonov Product Theorem
- A Product of Sequentially Compact Sets
- Locally Compact
- Compactification
- Proper
- The Baire Category Theorem
- Nowhere Dense
- First and Second Category
- Uniform Boundedness Principle

Consider the open disk in the plane,
x^{2} + y^{2} < 1, and the closed disk, x^{2} + y^{2} ≤ 1.
Are these spaces different?
They feel different.
One has a border you can stand on and the other does not.
Still, there might be a homeomorphism that equates the two,
wherein an open set at p, on the border,
somehow becomes an open ball centered at f(p) inside the open disk.
How do you know this can't happen?

A year of algebraic topology won't help you, because both spaces have no homotopy groups, no homology groups, and no cohomology groups. However, by the end of this chapter you will be able to say, "The closed disk is compact and the open disk is not." That's it in one sentence.

Cool - but have we lost sight of the title of this book, Discrete Math? Why all the continuous functions and continuous spaces? Because groups and rings will be given various topologies, and homomorphisms will turn into continuous functions from one topology to another. In some cases the topology of a ring or algebraic space is compact, and that is helpful in certain theorems. As mentioned in the prolog, branches of mathematics are not really independent. So let's stroll through a couple more chapters of topology, and then groups and rings will return.

An open cover for a set S, inside a topological space T, is a collection of open sets whose union contains S. A finite subcover is any finite subcollection of these open sets whose union also contains S. S is compact if every open cover of S admits a finite subcover. If T is a compact set then the space itself is compact.

In the above, is S a compact set or a compact space? The words really mean the same thing. S is a set that inherits a topology from T, and as such S becomes a subspace of T, and a space unto itself. The open cover might come from T, but it is still an open cover of S, a collection of open sets in S that covers S. So it doesn't really matter if you call S a compact set or a compact space.

A finite set is always compact.

Here is an alternate definition of compact. A collection of sets possesses the finite intersection property if every finite subcollection of these sets has a nonempty intersection. A set S is compact if every collection of closed subsets of S with the finite intersection property has a nonempty intersection. Stated another way, every collection of closed subsets of S with no intersection includes a finite subcollection that also has no intersection. Let's tie these definitions together.

A closed set in S is the complement of an open set in S. The open sets form a cover iff the closed sets in S have no intersection. The finite subcover of open sets corresponds to a finite subcollection of closed sets with no intersection. Hence the definitions are equivalent.

Any closed subset Y of a compact set S is compact. Select any open cover for Y, and throw in the complement of Y to cover S. The finite subcover of S, sans the complement of Y, covers Y.

Most compact sets are closed, but this isn't required. In the indiscrete topology, where only the empty set and the entire space are open, every subset of the space is compact.

The finite union of compact sets is compact. Given an open cover for all of them, select a finite subcover for each compact set, and the union of these subcovers remains finite.

Let f be a continuous function on the domain T, and let Y be the image of S, a compact set. An open cover of Y pulls back to an open cover of S. The resulting finite subcover maps forward, through f, to a finite subcover of Y. Thus the continuous image of a compact set is compact.

If a set is unbounded in a metric space, choose an open cover consisting of concentric spherical shells. One shell might be the points that are between 8 and 10 units away from the origin. The next shell might contain points between 9 and 11 units from the origin. And so on. This builds an open cover for the set; in fact it is an open cover for the entire space. Since S is unbounded, infinitely many shells are required. Therefore a compact set in a metric space is always bounded.

So - where do we go from here?
You might think that we should begin by proving that the closed interval [0,1] is compact.
Then we can extend this to paths, the continuous image of [0,1].
Next, the product of unit intervals makes unit cubes in n dimensions.
We ought to be able to prove those are compact, eh?
Then any closed set embedded in a hypercube is compact,
and we finally have the long sought theorem:
a closed bounded set in **R**^{n} is compact.

This is the approach I would take, but as it turns out, it's darn hard to prove [0,1] is compact from first principles. It's actually easier to solve a more general problem, then apply the result to a specific case such as the unit interval. It's a counterintuitive approach.

If S is compact in a hausdorff space, it is closed. Consider any point x not in S. For each y in S, embed y in an open set disjoint from an open set containing x. Do this for each y in S, and we have an open cover. Take a finite subcover, intersect the corresponding open sets about x, and find an open set that contains x, and misses S. This holds for all x outside of S, hence the complement of S is open, and S is closed.

An important corollary is that a continuous map of a compact space onto a hausdorff space is bicontinuous. Any closed set in the domain is also compact, its continuous image is compact, and its image is closed. Taking complements, the image of open sets is open. Thus f is bicontinuous. If f happens to be injective then it is a homeomorphism, and the two spaces are topologically equivalent.

The word onto is important here. Embed the closed interval [0,1] into the real line, and the result is not bicontinuous. The interval [0,½) is open in the domain, but its image is not open in the range.

Let f map X onto Y and let g map Y into Z. Let X be compact and let Y be Hausdorff. Let the functions f and fg be continuous. Thus f is bicontinuous. Start with a closed set C in Z and take its preimage under fg. This is closed in X, and its image is closed in Y. The preimage of C is closed in Y, and g is continuous.

Let S be hausdorff and let U be a compact subspace of S. If U is also dense in S then U = S. Remember that a compact set in a hausdorff space is closed, so U is closed. If U misses the point x then U must miss some open set containing x, which contradicts the fact that U is dense. Thus U contains every x, and U = S.

Making a topology weaker keeps a space compact, for any open cover is an open cover in the original compact space. In contrast, making a topology stronger, i.e. adding more open sets, keeps a space hausdorff.

Let S be a space that is compact and hausdorff. Watch what happens to S with a stronger or weaker topology. Let f map S onto S, but let the domain have a stronger topology. Open sets still have open sets as preimage, so f is continuous. Yet some open sets in the domain are new, and don't map to open sets in S, hence f is not bicontinuous. We already showed that a map from a compact space onto a hausdorff space is a homeomorphism, and that isn't the case here; hence the domain of f is not compact. Similarly, when f maps S onto a copy of itself with a weaker topology, f is not bicontinuous, and the range is not hausdorff. A compact hausdorff space walks a fine line. Add more open sets and lose compactness. Take away open sets and the space is no longer hausdorff.

Assume a space is both compact and hausdorff. Let S be a closed set in this space, and let x be any point not in S. Separate every point in S from x, using disjoint open sets. A finite cover will do, so we can separate S from x, and the space is regular.

Let T be another closed set, disjoint from S. For every x in T, separate x and S in disjoint open sets. Again, a finite cover will do. A finite intersection of open sets contains S, while a finite union of open sets contains T, and the space is normal.

Again let S be compact and hausdorff. A homeomorphism embeds S in a hypercube. For all practical purposes, S is a subspace of the cube.

Consider all possible continuous functions from S into [0,1].
These form a composite function f that maps S into the product space P,
a hypercube with the weak product topology.
Select any pair of points x and y in S.
Because S is normal,
Urysohn's lemma
provides a function f_{j} that maps x to 0 and y to 1.
Since x and y attain different values on at least one coordinate,
f(x) ≠ f(y), and f is injective.
In other words, f embeds S into P, and the map is continuous.
Since the domain is compact and the range hausdorff,
f is a homeomorphism.

A space is countably compact if every countable open cover has a finite subcover.

Assume a space S is second countable,
and let U be countably compact in S.
Then U is compact (in the traditional sense).
Given an open cover for U,
perhaps an uncountable cover,
replace each open set with a union of base sets.
Thus a collection of base sets covers U,
and there are countably many of these.
A finite subcover will do.
Let U be covered by n base open sets.
Call them B_{1} through B_{n} for convenience.
Find an open set, from the original cover, that contains B_{1} and bring it in.
Then find an open set from the original cover that includes B_{2}.
Repeat this process for B_{3}B_{4} etc, up to B_{n}, and build a finite subcover for U.
Thus U is compact.
If a space is second countable, compact and countably compact are the same thing.

Review the section at the top of this chapter, and extend those concepts to countably compact spaces. Verify the following four assertions.

The finite union of countably compact sets is countably compact.

A closed subspace of a countably compact set is countably compact.

The continuous image of a countably compact set is countably compact.

Countable compactness is equivalent to the statement that every countable collection of closed sets with the finite intersection property has a nonempty intersection.

Assume S has the bolzano weierstrass property,
i.e. every sequence has a
cluster point.
Take a countable family of closed sets with the finite intersection property
and let x_{n} be a point in the intersection of the first n sets.
Let p be a cluster point of this sequence.
Let O be any open set containing p.
Since p is cluster, O contains infinitely many points in the sequence.
Thus O intersects every closed set in the collection.
This holds for every open set O containing p.
Thus p is in the closure of every closed set in our collection.
This means p is in every closed set.
The closed sets intersect, and S is countably compact.

Conversely, let S be countably compact.
Start with a sequence x_{1} x_{2} x_{3} etc.
Let B_{1} B_{2} B_{3} etc
be a sequence
of sets where B_{n} contains x_{k} for k ≥ n.
Thus B_{3} is the set containing
x_{3} x_{4} x_{5} etc.

Let C_{n} be the closure of B_{n}.
Note that every finite subcollection of these sets intersects.
In other words, C has the finite intersection property.
Since S is countably compact, there is a point p in the intersection.
This point z will become a cluster point for the sequence.
Let O be an arbitrary open set containing z, and suppose O has only a finite number of points from the x sequence.
Beyond x_{n}, O has none.
This puts O, and z, outside of C_{n+1}, which is a contradiction.
Therefore z is a cluster point of x.

In summary, countably compact is equivalent to bolzano weierstrass.

A space is sequentially compact if every sequence has a convergent subsequence.

If the subsequence converges to p, then p is a cluster point for the original sequence. Therefore sequentially compact implies countably compact.

Next assume S is countably compact and first countable.
Let a sequence x_{1} x_{2} x_{3} etc have a cluster point p.
Let B_{1} B_{2} B_{3} etc be the base open sets assigned to p.
Start with B_{1}, which contains an infinite subsequence of x.
Perhaps B_{1} contains
x_{3} x_{7} x_{35} x_{2279} and so on.
The intersection of B_{1} and B_{2} extracts an infinite subsequence from this subsequence.
B_{2} may include some additional points from x,
outside of the intersection,
but we're not going to worry about that.
Similarly, B_{3}∩B_{2}∩B_{1}
pulls out another infinite subset.
Continue this process, building a descending chain of infinite subsets from the sequence x.

Build the subsequence v as follows.
Let v_{1} be any point of x that is in B_{1}.
In the above example, we might set v_{1} = x_{7}.
Let v_{2} be any point from x in B_{1}∩ B_{2},
that has an index beyond 7.
Let v_{3} be any point from x in B_{1}∩B_{2}∩B_{3},
beyond the previous two points.
At each step, select a point farther out in the x sequence.
Continue this process, building a subsequence of the original sequence x.
Then consider any open set containing p.
This includes a base open set about p, say B_{j}.
B_{j} includes v_{j}, and v_{j+1}, and v_{j+2}, and so on -
the tail of the sequence v.
This holds for every open set about p,
hence v is a convergent subsequence of x, converging to p.
Since x was an arbitrary sequence,
countably compact and first countable implies sequentially compact.

The first uncountable ordinal,
ℵ_{1}, with the linear topology,
is an example of a space that is sequentially compact, but not compact.
Like any limit ordinal, it is the union of all the ordinals that came before,
while a finite union of any of those ordinals is the maximum of those ordinals, which is something less.
Thus ℵ_{1} is not compact.
The fact that it is sequentially compact involves set theory that is beyond the scope of this book.

Here's an adjective you may not have seen before. Let f be a function from a topological space S into the reals, or any other space with a linear topology. f is upper semicontinuous if the preimage of a ray extending downward is always an open set. Thus the preimage of the set (x<65) is an open set.

Lower semicontinuous is defined similarly, with the inequality reversed. Verify that f is continuous iff it is lower and upper semicontinuous. Hint, an open interval is the intersection of two rays.

Let f and g be upper semicontinuous, with f+g = h. If h(x) is less than u, let the difference be ε. Now the reals below f(x)+½ε have, as their preimage under f, an open set V in S. Similarly, W is an open set with g(W) below g(x)+½ε. The intersection is an open set, containing x, whose image under h is below u. The preimage, under h, is covered with open sets, and h is upper semicontinuous.

If f is upper semicontinuous and S is countably compact,
then the image f(S) has an upper bound.
Cover S with open sets O_{n},
where O_{n} is the preimage of the reals less than n.
Choose a finite subcover,
and the image of S is bounded.

Let u be the least upper bound of f(S).
Build a family of closed sets in **R**,
such that C_{n} is the set of reals ≥ u-1/n.
Let D_{n} be the preimage of C_{n} under f,
and note that D_{n} is closed.
Also, the collection D_{1} D_{2} D_{3} etc has the finite intersection property.
There is always some x in S whose image is arbitrarily close to u.
Since S is countably compact, this collection of closed sets has a nonempty intersection.
Call this point z.
Since f(z) lies in every closed set C_{n},
and is bounded by u, f(z) = u.
Therefore f(S) attains its upper bound.

If f is lower semicontinuous, f(S) attains its lower bound.

Let S be a metric space, and let V and W be countably compact sets in S. It is possible to measure the distance from V to W, as though they were closed sets. For a fixed y in S, and for any x in V, let f(x,y) be the distance |x,y|. Show that f(x) is continuous into the reals, hence it is upper and lower semicontinuous. This function attains its minimum/maximum. There is a point x in V that is closest, or farthest, from y.

Next, verify that the closest or farthest distance from y to V is a continuous function of y. This is a consequence of the triangular inequality.

Let y lie in W and let g(y) be the minimum or maximum distance from y to V. This is continuous into the reals. Reasoning as above, g attains its minimum and maximum. Thus V and W exhibit two points that are nearest each other, and two points that are farthest apart.

If V = W, there are two points x and y that lie on opposite sides of V. In other words, |x,y| is the diameter of V. If V and W are disjoint then they are a certain nonzero distance apart.

Let S be countably compact.
Assume a sequence of upper semicontinuous functions
f_{n}(S) converges pointwise to 0.
For any x in S, f_{n}(x) approaches 0.
Furthermore, let this progression be monotonic.
The functions pull the image of x steadily towards 0.
We will show that the functions converge uniformly.

Select an ε > 0.
The reals below ε form an open ray;
let O_{n} be the preimage of this ray under f_{n}.
Since images steadily drop to 0,
O_{n} is an ascending chain of open sets.
Every x gets below ε eventually,
so S is covered by the infinite chain O_{n}.
Choose a finite subcover.
If n is the largest index in the finite subcover,
f_{n}(S),
and all subsequent images of S, lie below ε.
Thus the sequence of functions converges uniformly to 0.

Instead of 0, let the upper semicontinuous functions f_{n}(S) decrease monotonically
towards a limit function g(S).
We will show g(S) is upper semicontinuous.
(The domain S need not be countably compact for this step.)

Select an upper bound u, and a point x in S, with g(x) < u.
The images of x approach g(x),
so there is some n with f_{n}(x) between g(x) and u.
The preimage of the reals below u, under f_{n}, is an open set W in S.
All functions beyond n map W to values that are even lower.
Thus the limit function g maps W to values below u.
Therefore x is contained in an open set W, which is also in the preimage under g.
The preimage is covered by open sets, and is open.
This holds for all u, hence g is upper semicontinuous.

The classic example is x^{n} on [0,1].
The limit function g is 0 on [0,1) and g(1) = 1.
That is clearly not continuous, but it is upper semicontinuous.

The product of topological spaces is taken across some indexing set J. Typically, J runs through the numbers 1 to n for a finite product, or J runs through the nonnegative integers, or perhaps the members of an uncountable ordinal. In any case, the product P can be given the weak or strong product topology. The weak topology crosses open sets in finitely many components for the base of P. The strong topology crosses open sets in all the components for the base of P. But if J is itself a topological space, there is another topology, intermediate between weak and strong, called the compact product topology. A base open set in P is the cross product of open sets, or base open sets, from the components of P corresponding to a compact set in J. Let's prove this is a base.

Let z be a point in the product space P,
such that z is in the intersection of two base open sets.
One base set comes from V in J, and the other comes from W.
The first specifies open sets B_{i} in S_{i} for each i in V,
the second specifies C_{i} in S_{i} for each i in W.
When i is in V∩W, z_{i} belongs to
B_{i} and C_{i} simultaneously.
Intersect B_{i} and C_{i} to find another open set containing z_{i}.
These are the open sets associated with V∩W.
The other open sets in V and W are unchanged, and the components outside of V and W are unconstrained.
Since V∪W is compact, there is no trouble here.
The base defines a topology.

Any set J can be given the discrete topology, whence a set is compact iff it is finite. This reproduces the weak topology. On the other hand, J could be itself compact, or J could be given the indiscrete topology, which makes J compact, and in that case the compact product topology is the strong topology.

If S is a metric space, or a set within a larger metric space, the concepts of compact, countably compact, and sequentially compact are equivalent. Let's see why this is so.

Every metric space is first countable, and that makes countably compact and sequentially compact equivalent. We only need show compact = countably compact.

Assume S is countably compact. Equivalently, every sequence has a cluster point.

Suppose, for a given ε,
every finite set of points
remains farther than ε from some point in S.
As long as the set is finite, it is bounded away from some point in S.
Build a sequence p_{1} p_{2} p_{3} etc,
such that each point is at least ε away from all the earlier points.
If x is a cluster point of this sequence,
than there are infinitely many points within ½ε of x, which is impossible.
We have built a sequence with no cluster point,
and that contradicts the fact that S is countably compact.
Therefore every ε has a finite set of points,
such that all of S is within ε of the points in that finite set.
And this can be done for each ε.

Set ε = 1/n,
and find a finite set W_{n} for ε.
Let U be the union of these finite sets W_{n}.
Note that U is a countable set.
Furthermore, the center of an open ball is always close to something in U.
In other words, every open ball intersects U, and U is a dense set.
Thus S is
separable,
and
second countable.
In a second countable space, compact and countably compact are equivalent.
That completes the proof.
In a metric space,
compact = countably compact = sequentially compact.

Still within a metric space, compact implies totally bounded and complete. Suppose S is not totally bounded. For some ε, no finite set of ε balls will cover S. For each x in S, build a ball of radius ε, centered at x. S is covered by these open sets, yet there is no finite subcover. This is a contradiction, hence S is totally bounded after all.

Let c_{1} c_{2} c_{3} etc be a cauchy sequence in S.
Since S is compact, this sequence has a cluster point x in S.
In fact x has to be the limit of the sequence.
This makes S a complete metric space.

Conversely, let S be complete and totally bounded.
Demonstrate sequentially compact, which is the same as compact.
Start with a sequence p_{1} p_{2} p_{3} etc, and cover S with finitely many balls of radius 1.
Let B_{1} be a ball containing infinitely many terms of p.

Next, cover S with finitely many balls of radius ½.
This means there are finitely many intersections between balls of radius 1 and balls of radius ½,
and these intersections cover all of S.
In particular, the intersections of the balls of radius ½ with B_{1} cover B_{1}.
Choose B_{2} so that B_{1}∩B_{2} contains infinitely many points of p.

Cover S with finitely many balls of radius ¼,
and choose B_{3} such that
B_{1}∩B_{2}∩B_{3} contains infinitely many points of p.
Continue this process, as the radius approaches 0.

Build a subsequence of p as follows.
Start with any point of p that is contained in B_{1}.
Then select a later point of p in both B_{1} and B_{2}.
Then a third point of p from
B_{1}∩B_{2}∩B_{3},
and so on.
Show that this subsequence is cauchy.
Since S is complete, let the subsequence converge to x.
This proves S is sequentially compact, hence compact.
S in a metric space is compact iff it is complete and totally bounded.

If all this is true, then the rationals in [0,1] are not compact. Can we find a pathological open cover?

Select an irrational point q in the interval.
Let O_{n} be the open set [0,b)∪(c,1],
where b and c are carefully chosen rational numbers
bracketing q,
such that c-b < 1/n.
This is an open cover with no finite subcover.

In euclidean n space, S is closed and bounded iff S is compact. Take the forward direction first.

If S is closed in **R**^{n} it has all its limit points,
and is complete.
If S is bounded it is totally bounded.
This makes S compact.

Conversely, let S be compact in **R**^{n}.
If S is not bounded, ever expanding balls cover S, and there is no finite subcover.
This is a contradiction, thus S is bounded.

If S does not contain one of its limit points x, build a sequence that approaches x, and S fails to be complete. Since compact implies complete, S has to be closed.

In **R**^{n}, compact is equivalent to closed and bounded.
A line segment,
a square, a circle, and an n dimensional hypercube;
these are all compact sets.

The unit ball in **E**_{j} is closed and bounded, but not compact.
Let the point x_{i} be 1 in the i^{th} component and 0 elsewhere.
This sequence has no cluster point.

Let S be a compact metric space and let T be a metric space.
If f is a continuous function from S into T
then f is uniform.
This is a more general version of a better known theorem
in real analysis:
a continuous function on a closed bounded set in **R**^{n} is uniform.

Given ε, and a point x in S, there is some δ satisfying continuity at x, at the level of ½ε. Build a ball of radius ½δ about x. Do this for every x, and build an open cover for S. Select a finite subcover and set γ to the smallest radius. This is the value that will satisfy uniformity.

Let y and z be points in S, with |y,z| < γ. Refer to the open cover; y is contained in a ball of radius ½δ, centered at a point I will call x. (The value of δ may depend on x, but it is at least as large as γ.) By the triangular inequality, |x,z| < δ. That means |f(x),f(z)| < ½ε. The same is true of |f(x),f(y)|, hence f(y) and f(z) are within ε of each other. The value of γ satisfies continuity for every x, and f is uniform.

Continuing the above, the image of S is bounded in T.
Fix an origin in T and consider the distance between f(S) and the origin.
By composition,
this is a continuous map from S into the reals.
Since S is compact the image is compact, thus closed and bounded.
Let b be the least upper bound.
Being closed, the image attains its upper bound.
Hence there is some x with |f(x)| = b.
Once again this is a generalization of a
theorem in real analysis:
the image of a closed bounded set in **R**^{n} is bounded,
and attains its upper and lower bounds.

Let f and g be continuous functions from S into T, where S is compact and T is a metric space, and let h(x) be the distance from f(x) to g(x). Choose an open interval in the reals, and let h(x) lie inside this interval. In other words, x is in the preimage of an open set. Choose an open set in S that keeps f(y) close to f(x), and g(y) close to g(x). Within this open set, h(y) is close to h(x), and lies inside our interval. (This is the triangular inequality.) The preimage of every open interval is covered by open sets, and h is continuous.

As per the previous section, h is bounded. Every two functions differ by an upper bound b, and b = 0 iff the functions are equal.

Let S be a compact region in a metric space. Let C be an open cover for S. There is then a distance d, such that every open ball in S, of diameter d or less, lies inside at least one of the open sets of C.

Suppose this is not the case. Build a sequence of balls, with decreasing diameters, such that none of these balls is contained in an open set in C. Since S is compact, the centers have a cluster point p. Restrict attention to a subsequence of balls whose centers approach p. At each step, choose a ball with a smaller diameter, so that the balls are shrinking as they approach p.

Since p is contained in an open set U in C, place p at the center of an open ball of radius e, contained in U. Beyond some index, the centers of our balls are within e/2 of p. Go farther, if necessary, so that the radius of each ball is less than e/2. This places the entire ball inside the set U, which is a contradiction. Therefore a distance d exists, such that every ball of diameter d or less lies in some open set U in our open cover C.

Two disjoint closed sets in a metric space can be 0 distance apart, as shown by the graphs of xy = 1 and xy = -1 in the plane. However, this cannot happen if one of the sets is compact.

Let S be compact and let T be closed in a metric space. Map any x in S to the distance between x and T. This is a continuous map from a compact set into the reals. Thus the image is compact, and closed. It cannot approach 0 without becoming 0.

If x is 0 distance from a closed set T, then x is a limit point of T, x lies in T, and the two sets are not disjoint. This is a contradiction, hence S and T are a positive distance apart.

The Tikhonov (also spelled Tychonoff) product theorem states that a product space is compact iff all its component spaces are compact.

Compact is usually described in terms of open sets and open covers, but there is a complementary definition that refers to closed sets and the finite intersection property, which was presented at the top of this chapter. I'm going to use that here.

A collection of sets is larger than another if it includes more sets. This is a partial ordering on families of sets.

Restrict attention to collections of sets that have the finite intersection property. Once again, collection X is larger than collection Y if X brings in additional sets, and both X and Y have the finite intersection property. Verify that the union of an ascending chain yields an even larger collection with the finite intersection property. Use zorn's lemma to select a maximal collection of sets with the finite intersection property.

Let M be such a collection. Let U and V be two sets in this collection. Clearly U and V intersect; let W = U∩V. Let F be any finite subcollection of M, and note that the intersection of F and U and V is the intersection of F with W. The former is nonempty; so is the latter. If we bring in W, M still has the finite intersection property. Since M is maximal, it already contains W. In other words, the finite intersection of any of the sets in M produces another set in M.

Let C be a set that happens to intersect everything in M. Let F be a finite subcollection, and let G be their nonempty intersection. Since G is in M, C and G intersect. This means C intersects all the members of F. We can bring C into M, and it still has the finite intersection property. Since M is maximal, it already contains C. M contains any set that intersects all the members of M.

Let S_{i}, for i in some indexing set, be an indexed family of topological spaces,
with P as a topological product.
Let e_{i} be the i^{th} projection from P onto S_{i}.
If P is compact, then each S_{i} is the continuous image of P under e_{i},
and is compact.
That was the easy direction.

Conversely, assume each space S_{i} is compact.
Let T be a collection of closed sets in P with the finite intersection property.
Embed T in a collection M of (not necessarily closed) sets,
that is maximal with respect to the finite intersection property.
Project M down to S_{i} to give a collection of sets in S_{i}, which I will call M_{i}.
Show that M_{i} has the finite intersection property.

It follows that the closures of the sets in M_{i},
relative to S_{i},
also have the finite intersection property.
Since S_{i} is compact,
there is some q_{i} in S_{i} that lies in the closure of each set in M_{i}.
Let the point q in P have projections q_{i}.

What does this mean?
Let W be any set in M and project W down to W_{i} in S_{i}.
The closure of W_{i} includes q_{i}.
Any open set in S_{i} containing q_{i} intersects W_{i}.

Select an arbitrary set W from M, and keep it on standby.
Let U be a base open set in P that contains q,
but not just any base open set.
Let U restrict one component, say S_{i}, to a base open set V,
and leave the other components unconstrained.
Now V intersects W_{i} in a point y.
Let x be a point in W, whose i^{th} component is y.
There certainly is such a point, since the projection of W is W_{i}.
Since y lies in V, x lies in U.
Thus x is in W∩U.

Since U intersects every W in M, U belongs to M. This holds for every U of this form, i.e. containing q and restricting one component. The intersection of two such sets constrains two components. The intersection of finitely many such sets builds a base open set in P. Since M is closed under finite intersection, M includes every base open set in P that contains q.

Let C be a closed set taken from our original collection T, which is part of M. Since C intersects every base open set containing q, C contains q. Therefore T has a nonempty intersection, namely q, and P is compact.

Let S_{i}, for i in some indexing set,
be an indexed family of topological spaces, with P as product.
Assume P is sequentially compact.
Let e_{i} be the i^{th} projection from P onto S_{i}.
Let y_{1} y_{2} y_{3} etc be a sequence in S, one
of the component spaces of P.
Assign constants to the other components.
This produces a sequence x_{1} x_{2} x_{3} etc in P.
Only the component of S changes, the other components are fixed as the sequence proceeds.
Select a subsequence that approaches q.
In fact, retain only the subsequence, and throw away the other terms of x.
Throw away the corresponding terms of y.
The remaining sequence x converges to q,
while its projection y,
(intuition suggests),
converges to r, where r is the projection of q in S.
Let V be an open set in S that contains r,
and let U be the preimage of V under the projection.
Since U, an open set in P, holds the tail of the convergent sequence x,
V holds the tail of the sequence y.
This is valid for every V containing r, hence y, a subsequence of the original, converges to r.
If P is sequentially compact then every component space is sequentially compact.

Conversely, assume each component space is sequentially compact,
and assume P is the product of countably many such spaces.
Let x_{1} x_{2} x_{3} etc be a sequence in P.
Let t_{1} be a subsequence of x that converges in the first component S_{1} of P.
Thus t_{1,1} might be x_{7},
and t_{1,2} might be x_{23}, and so on.

Let t_{2} be a subsequence of t_{1} that converges in the second component S_{2} of P.
Let t_{3} be a subsequence of t_{2} that converges in the third component S_{3} of P.
Continue this process, building an infinite sequence of sequences.
The n^{th} sequence converges in the first n components.

Let t_{n} converge to q_{n} in S_{n}.
Let q be the point in P with projections q_{n} in S_{n}.
Build a subsequence of x that converges to q as follows.
Run down the diagonal, and set z_{n} = t_{n,n},
the n^{th} term of the n^{th} sequence.
Let U be a base open set about q,
which constrains finitely many components.
Let B_{j} be the projection of U into S_{j},
where j designates one of the constrained components of U.
Remember that B_{j} contains q_{j}.
Go out far enough, and the terms of t_{j} are all inside B_{j},
so beyond some index d_{j}, the terms of z all live in B_{j}.
This holds across finitely many components,
so let d be the maximum value over d_{j}.
Beyond d, z lives in U.
This holds for all base open sets U containing q,
hence the subsequence z converges to q,
and P is sequentially compact.

A space is locally compact if every point x has some open neighborhood Q about it whose closure is compact. If you want Q to lie inside a given open neighborhood U containing x, intersect Q with U. The result is open, and its closure is in the original closure, which was compact. Closed in a compact space is compact, so Q∩U works just as well.

Here is an equivalent definition. The space S is locally compact iff the open sets with compact closures form a base. Let's take the forward direction first.

Intersect two open sets with compact closures, and the closure of the intersection lies in the closure of the first open set. A closed subspace of a compact set is compact, so the intersection of two base sets is another base set.

Now consider a point x in an arbitrary open set W. Surround x with an open set in W whose closure is compact. Thus all of W is covered with base sets, and we really do have a base.

Conversely, let the open sets with compact closures form a base for the topology. Any point p is part of the entire space, which is open, hence p is covered by a base set. This is the definition of locally compact.

Compact implies locally compact, since you can always use the entire space as the open set.
In contrast, **R**^{n} is locally compact, but not compact.
Enclose any point in a closed ball of radius 1 and you're there.

**E**_{j}
is a complete metric space that is not locally compact.
Let p be the origin and imagine an open set about p with compact closure.
Inside this set is a ball of radius ε, which also has compact closure.
Rescale everything, so the ball has radius 3.
This ball is not
totally bounded,
which is a requirement for compact in a metric space,
hence **E**_{j} is not locally compact.

In a few chapters we'll see that the p-adic numbers create another metric space wherein each closed ball is totally bounded, hence the space is locally compact.

If S is locally compact and hausdorff, we can turn S into a compact space by adding the point at infinity. This process, developed by Aleksandrov, (also spelled Alexandroff), is called compactification. The classic example is the plane, which is not compact. Curl it up into a sphere with a hole at the top, then add the point at infinity, which becomes the north pole, and closes up the sphere. The sphere is compact, hence it is the "compactification" of the plane.

In this case we have a precise map. Place the sphere on the xy plane, its south pole at the origin. Draw a line from the north pole, through the surface of the sphere, and out to a point in the plane. These rays implement the bijection between the punctured sphere and the plane. You can derive the formula and prove it is bicontinuous. Thus the plane and the punctured sphere are homeomorphic.

The north pole does not map to any point in the plane; it is the point at infinity. It is also the key to making the sphere compact.

Let S be a space that is hausdorff and locally compact. Add the point ω to S. Open sets in S remain open. Also, the complement of a compact set in S, which necessarily contains ω, is open. We need to show this is a valid base for the topology, and there are no new open sets in S.

The intersection of two open sets in S yields an open set in S, so that's not a problem.

Intersect an open set in S and the complement of a compact set in S. Since S is hausdorff, compact sets are closed. Thus we are intersecting two open sets in S, and the result is open in S.

The intersection of the complements of two compact sets is the complement of their union, which is another compact set. In every case, the intersection of open sets is open, so we have a base.

If even one open set in a union of open sets contains ω, the union contains ω, and isn't going to make any unwanted open sets in S.

Let C be the new space, S∪ω, with its topology. If x and y are in S they can be placed in disjoint open sets in S. Given x and ω, find an open set about x whose closure is compact, and let the complement of the closure contain ω. Thus any two points in C can be separated in disjoint open sets, and C is hausdorff.

Now for compactness. Start with an open cover for C. Each open set is a union of base sets, thus C is covered by base sets. If a finite subcollection of base sets covers C, then bring in one open set for each of these base sets, and find a finite subcover from the original open cover. This is a general technique; a space is compact iff it is compact relative to its base open sets.

Base sets are open sets in S, and complements of compact sets in S adjoin ω. The first base set that contains ω has a complement Q that is compact in S, and closed in S. Other base sets containing ω are open in S after ω has been removed. Still other base sets are open in S from the get-go. These open sets cover Q, and a finite subcover will do. Bring the first base set back in, and C is covered, hence C is compact.

Embed S in C, and open sets remain open. Also, a new base open set is the complement of a compact set in S, but compact sets are closed, so this complement is already open. Embedding S into C is a homeomorphism.

If S and T are homeomorphic,
verify that their compactifications are homeomorphic.
Apply the preexisting homeomorphism between S and T,
and map ω_{S} to ω_{T}.
The new open sets correspond, and the compactifications are homeomorphic.

This has a surprising application. The open disk in the plane and the open ball in 3 space are different spaces, but how do you know that? They feel different; one is 2 dimensional and one is 3 dimensional. But maybe there is some magical homeomorphism h that makes them the same. There are no homotopy or homology groups to prove these spaces are distinct, so we have to think of something else. If they are homeomorphic then so are their compactifications. These are the 2 sphere and the 3 sphere respectively. These are indeed distinct spaces, as will be demonstrated later in this book. In fact the spheres of all dimensions are distinct, and so, the open balls of all dimensions are distinct. Furthermore, each ball in turn is homeomorphic to its containing space, as shown by the radial map r → r/(1-r). Thus each n dimensional space is a different topological space. However, we need the homology of the spheres to complete this proof.

In another application of compactification, a closed set crunches down to a point, while the rest of space stretches to accommodate, like squeezing everything above the Arctic Circle up to the north pole.

Let S be a compact hausdorff space and O an open subset of S. Let R be the complement of O, a closed set that will soon crunch down to a point. Since S is compact, so is R.

Select any x in O, and since R is compact, we can separate R and x in disjoint open sets. Let U be the set about x. The closure of U is entirely in O, and since it is closed in S, it is compact. This makes O a locally compact space. And of course, O remains hausdorff.

Let C be the compactification of O. Now O in S is homeomorphic to O in C. Map S onto C by mapping O to O, and R to ω. This crunches R down to a single point ω. Verify that this map is continuous. Open in C, and containing ω, comes from the complement of a compact set in O, which is the complement of a closed set in S, which is open. However an open set in R maps to the single point ω, thus the map is probably not bicontinuous.

A continuous map between topologycal spaces is proper if the preimage of every compact set is compact.

Assume the domain S and range T of f are locally compact and hausdorff. Extend domain and range by taking their compactifications, giving S′ and T′, and extend f to a function g that agrees with f, and maps ω in S′ to ω in T′. f is proper iff g is continuous.

Let g be continuous and consider a compact set in T. This is closed in T′, with closed preimage in S′, which is compact in S′. An open cover that happens to come from S still has a finite subcover, thus the preimage of our compact set is compact, and f is proper.

If f is proper, a base open set in T′ containing ω pulls back to a base open set in S′ containing ω. This establishes continuity at ω. For any other point p in T, the continuity of f at p implies continuity of g at p. Thus g is continuous everywhere.

Let S be a complete metric space,
and let O_{1} O_{2} O_{3} etc be a countable collection of dense open sets in S.
Let O be the intersection of all these open sets.
O is nonempty and dense in S.
This is the Baire category theorem.

Let W be an arbitrary nonempty open set in S,
and intersect W with O_{1},
having x_{1} in the intersection.
Let S_{1} be an open ball in the intersection,
with radius r_{1} centered at x_{1}.
Remember that the open ball S_{1} is the set of points less than r_{1} distance from x_{1}.
Let C_{1} be the closure of S_{1},
and remember that C_{1} cannot include any points
farther than r_{1} from x_{1}.
Cut r_{1} in half, if need be, so that C_{1}
lies entirely inside
the intersection of O_{1} and W.

Since O_{2} is dense, O_{2} intersects S_{1}.
As before, the intersection is a nonempty open set.
Let x_{2} lie in the intersection,
and build an open ball S_{2} about x_{2} with radius r_{2},
subject to the following criteria.

Shrink r

_{2}so that it is less than half of r_{1}. We want the radii to approach 0.Let d

_{2}be the distance from x_{1}to x_{2}. We know d_{2}< r_{1}. Shrink r_{2}so that it is less than r_{1}-d_{2}. This puts C_{2}, the closure of S_{2}, entirely inside S_{1}.Shrink r

_{2}if necessary, so that C_{2}lies in O_{2}.

Proceed by induction on n.
At the n^{th} step,
C_{n} is contained in O_{n}
and in S_{n-1},
and the radii shrink geometrically.

The sequence of centers x_{1} x_{2} x_{3} etc is cauchy,
thanks to the shrinking radii,
so let x be the limit of this cauchy sequence.
Since the metric space is complete, x exists.

If x is not in C_{n},
then x is at least r_{n} distance from x_{n}.
However, S_{n+1} is bounded away from the edge of S_{n},
bounded away from x.
The rest of the sequence cannot approach x, and that is a contradiction.
Hence x lies in each C_{n}.

Since C_{n} lies in O_{n},
x lies in each O_{n}.
Remember that O is the intersection O_{1}∩O_{2}∩O_{3}∩O_{4}∩…
It follows that x lies in O, and O is nonempty.

Since x lies in C_{1} lies in W, x is in W.
This means O and W intersect.
Since W is arbitrary, O is a dense set.

Take a breath,
that's the first half of the theorem.
The same result holds if S is a
locally compact hausdorff space.
This includes the common metric spaces
such as **R**^{n},
but it brings in some other spaces as well,
so this is not a generalization of the above.
We are really proving the theorem again for a new class of spaces.

As before, you are given O_{1} O_{2} O_{3} etc, a countable collection of dense open sets.
Let W be an arbitrary open set.
Let x_{1} be a point in W∩O_{1},
and let C_{1} be the closure of an open set Q_{1}, containing x_{1},
such that C_{1} is compact.
We can do this because S is locally compact.

Intersect Q_{1} with W and with O_{1} to give a possibly smaller open set S_{1} containing x_{1}.
The closure of S_{1} is a closed subspace inside C_{1}, and is compact.
Shrink C_{1} down to the closure of S_{1}.

We're still not where we want to be.
We want C_{1} to lie entirely inside W and O_{1}.
So far we only know this about S_{1}, not its closure.
We need to use the fact that the space is hausdorff.
Let B_{1} be the boundary of S_{1},
i.e. the points in C_{1} that are not in S_{1}.
This is a closed set C_{1}, intersect the complement of an open set S_{1},
hence B_{1} is closed.
And it is part of C_{1}, which is compact.
Thus B_{1} is compact.
If B_{1} is empty, then C_{1} is S_{1}, and is entirely inside W and O_{1},
and there is no trouble;
so assume B_{1} is nonempty.
Remember that x_{1} is in S_{1}, and is not part of B_{1}.
Also x_{1} is closed,
as is every point in a hausdorff space.
These are two distinct closed sets in C_{1}.
Since C_{1} is both compact and hausdorff, it is normal.
This means x_{1}
and B_{1} can be separated in disjoint open sets.
Let U contain x_{1} and let V contain B_{1}.
The closure of U misses V, and B_{1},
hence the closure of U lies entirely inside S_{1}, which is in O_{1} and W.
Also, the closure of U is a closed set in C_{1}, and is compact.
Shrink S_{1} down to U,
and let C_{1} be its closure.
Now C_{1} is in W and O_{1},
and contains x_{1}, and is compact.

Since O_{2} is dense, O_{2} intersects S_{1}.
Let x_{2} lie in the intersection,
and find an open set Q_{2} containing x_{2} whose closure is compact.
Intersect Q_{2} with O_{2} and S_{1} to find S_{2}.
Let C_{2} be the closure of S_{2}, which is compact.
Shrink S_{2} down, if necessary, so that its closure C_{2}
is entirely contained in O_{2} and S_{1}.
This uses the boundary hausdorff technique described above.

Continue this process forever, building a descending chain
of closed compact sets C_{n}.
At the n^{th} step,
C_{n} is contained in O_{n}
and in C_{n-1}.
Suppose this chain has no intersection.
The complements form an ascending chain of open sets that cover C_{1}.
Since C_{1} is compact, a finite subcover will do.
This means one of the closed sets C_{n},
and all its descendants, are empty, which is a contradiction.
Therefore the chain intersects in at least one point;
call it x.

As before, x is in every O_{n}, and in W,
hence O intersects W, and O is a dense set in S.

This theorem fails when the collection of dense open sets is uncountable. The interval [0,1] is compact, hausdorff, a complete metric space, the nicest space you could think of, and the complement of any point is a dense open set, yet the intersection of these sets is empty.

Let a set U be nowhere dense if the complement of its closure is dense. Equivalently, U closure contains no open sets. A smaller set has (perhaps) a smaller closure, and has no open sets, so any subset of U remains nowhere dense.

If an open set B is in U it is in U closure. Let C be the complement of U, and assume B is in U closure but not in U, so that some part of B lives in C. C∩B cannot contain an open set, else B is not in U closure after all. Conversely, if U closure misses any part of B, then U misses the open set B intersect the complement of U closure. U closure does not contain B iff U misses some open set inside B.

In summary, U is nowhere dense iff each open set misses U, or includes a smaller open set that misses U. A subspace of a nowhere dense set misses even more sets, and remains nowhere dense.

If the topology has a base, it is sufficient to refer to base sets in the above characterization. For instance, if the topology is a metric space, then U is nowhere dense iff every open ball contains another open ball that misses U.

This has nothing to do with first and second countable.

A set U is first category, or meager, if it is a countable union of nowhere dense sets. The space S is first category if it is a first category set within itself.

A subset of a first category set remains first category. Each nowhere dense set in the list, when intersected with our subset, is still nowhere dense.

Since the countable union of countable sets is countable, the countable union of first category sets is first category.

The complement of a first category set is called residual.

If U is not first category it is second category. That's the definition.

A corollary of the
baire category theorem,
and one reason it is called the baire `category' theorem,
states that a complete metric space,
or a locally compact hausdorff space,
is second category.
Suppose S is first category,
and let
O_{1} O_{2} O_{3} etc be the complements of the closures of the nowhere dense sets
U_{1} U_{2} U_{3} etc.
Thus O_{1} O_{2} O_{3} etc are open dense sets.
By the baire category theorem, their intersection is nonempty.
Let x lie in the intersection,
hence x is not in the closure of U_{1}, nor the closure of U_{2}, nor the closure of U_{3}, etc.
This means x cannot lie in any of our nowhere dense sets,
and their union does not cover all of S.
Thus S is not first category, and must be second category.

If S is a complete metric space, as above, and S has no isolated points, then S, as a set, is uncountable. If S is countable then it is the countable union of its points. Remember that each point is closed in a metric space. If every point acts as a nowhere dense set then S becomes first category, which is a contradiction. Thus some point x fails to be a nowhere dense set. It's complement misses an open set, and that open set has to be x. If x is an open set then it is bounded away from the rest of S, and x is an isolated point.

The reals have no isolated points, and sure enough, they are uncountable.

Let S be a complete metric space, and assume the subspace U is first category within itself. We will show that its complement in S is dense.

Suppose the complement of U is not dense in S,
hence U contains a nonempty open set O_{0}.
Replace O_{0} with an open ball inside O_{0}.
In other words, O_{0} has become a base set.

Let U_{1} be the first nowhere dense set inside U.
Since U_{1} is nowhere dense, O_{0} contains a nonempty open ball O_{1} missing U_{1}.
Similarly O_{1} contains a nonempty open ball O_{2} missing U_{2}, and so on.
Choose ever smaller radii, so diameters approach 0,
and make sure the closure of each open ball is entirely contained in the previous open ball.
The centers approach some point x in the complete metric space S.
Since x is in the closure of O_{1}, x is in O_{0}.
Yet x is not in U_{1}, or U_{2}, or U_{3}, etc,
hence x is not in U.
O_{0} is not entirely in U after all.
The complement of U intersects the arbitrary open set O_{0},
and the complement of U is dense.

Let f be a family of continuous functions from
a complete metric space
S into a metric space T
with a designated origin.
Assume for every x in S,
some real number m(x) is an upper bound for
|f_{i}(x)| over all the functions f_{i}.
There is a nonempty open subset of S, whose images in T
are all bounded by some constant m.

For each positive integer m, let U_{m,i} be the set of x in S with |f_{i}(x)| ≤ m.
Let U_{m} be the intersection over i of U_{m,i}.
Since each f_{i} is continuous,
each U_{m,i} is closed,
hence each U_{m} is closed.

By assumption, each x has an m(x) bounding all the images f_{i}(x),
which means each x belongs to some U_{m},
and S is the countable union over U_{m}.

Since S is not first category,
some U_{m} fails to be nowhere dense.
It contains an open set,
and the image of this open set is bounded by m.

Perhaps S is not a complete metric space,
but the functions in f are all uniformly continuous.
These functions can be
extended
to the completion of S.
The uniform boundedness principle applies,
And since each f_{i} is the same on S and on the completion of S,
this result pulls back to S.
Some open set in S has an image bounded in T.