<<

1

Lecture 8: September 22 Correction. During the discussion section on Friday, we discovered that the defi- nition of local path connectedness that I gave in class is wrong. Here is the correct definition: Definition 8.1. A topological X is locally path connected if for every point x X and every U containing x, there is a path connected open set V with∈ x V and V U. ∈ ⊆ In other words, in order to be locally path connected, every point needs to have arbitrarily small path connected neighborhoods. (In the definition I gave two weeks ago, I just required that every point should have some path connected neighbor- hood.) Note that a path may not be locally path connected: an example is to take the topologist’s sine curve

2 (0,y) 1 y 1 (x, sin 1/x) 0

∞ X = An. n=1 ￿ If the interior int A = , then the open complement U = X A must be dense n ∅ n \ n in X: the reason is that X U X U = A is an open subset of A ,hence \ n ⊆ \ n n n 2

empty, which means that Un = X. Now if (a) was false, we would have a countable collection of dense open sets; since we are assuming that (b) holds, the intersection

∞ Un n=1 ￿ is dense in X, and therefore nonempty. But since

∞ ∞ ∞ X U = X U = A = X, \ n \ n n n=1 n=1 n=1 ￿ ￿ ￿ this contradicts our initial assumption that X is the union of the An. This argument also shows in which sense (b) is stronger than (a): it tells us not only that the intersection of countably many dense open sets is nonempty, but that it is still dense in X. The proof of Baire’s theorem requires a little bit of preparation; along the way, we have to prove two other results that will also be useful for other things later on. As a first step, we restate the definition of compactness in terms of closed sets. To do that, we simply replace “open” by “closed” and “union” by “intersection”; we also make the following definition.

Definition 8.3. A collection A of subsets of X has the finite intersection property if A A = for every A ,...,A A . 1 ∩···∩ n ￿ ∅ 1 n ∈ The definition of compactness in terms of open coverings is great for deducing global results from local ones: if something is true in a neighborhood of every point in a , then the fact that finitely many of those neighborhoods X will often imply that it is true on all of X. The following formulation emphasizes a different aspect of compactness: the ability to find points with certain properties. Proposition 8.4. A topological space X is compact if and only if, for every col- lection A of closed subsets with the finite intersection property, the intersection

A A A ￿∈ is nonempty.

If we think of each A A as being a certain condition on the points of X, and of the finite intersection∈ property as saying that the conditions are con- sistent with each other, then the result can be interpreted as follows: provided X is compact, there is at least one point x X that satisfies all the conditions at once. ∈ Proof. Let us first show that the condition is necessary. Suppose that X is com- pact, and that A is a collection of closed sets with the finite intersection property. Consider the collection of open sets

U = X A A A . \ ∈ The finite intersection property of￿ means￿ exactly￿ that no finite number of sets A ￿ in U can cover X: this is clear because (X A ) (X A )=X (A A ) = X \ 1 ∪···∪ \ n \ 1 ∩···∩ n ￿ 3

for every A1,...,An A . Because X is compact, it follows that U cannot be an open covering of X;butthen∈ X A = X A = X, \ \ ￿ A A A A ￿∈ ￿∈ which means that the intersection of all the sets in A is nonempty. To see that the condition is also sufficient, we can use the same argument backwards. ￿ The next step in the proof of Baire’s theorem is the following observation about compact Hausdorffspaces. Proposition 8.5. Let X be a compact Hausdorffspace and let x X be a point. Inside every neighborhood U of x, there is a smaller neighborhood∈ V of x with V U. ⊆ Proof. This follows easily from our ability to separate points and closed sets in a compact Hausdorffspace (see the note after the proof of Proposition 7.3). The closed set X U does not contain the point x; consequently, we can find disjoint open subsets \V,W X with x V and X U W . Now X W is closed, and so ⊆ ∈ \ ⊆ \ V X W U, ⊆ \ ⊆ as asserted. ￿ The property in the proposition is called local compactness;wewillstudyitina little more detail during the second half of today’s class. But first, let us complete the proof of Baire’s theorem.

Proof of Theorem 8.2. Let U1,U2,... be countably many dense open subsets of X. To show that their intersection is again dense in X, we have to prove that

∞ U U = ∩ n ￿ ∅ n=1 ￿ for every nonempty open set U X. It is not hard to show by induction that all finite intersections U U ⊆U are nonempty: U U = because U is dense; ∩ 1 ∩···∩ n ∩ 1 ￿ ∅ 1 U U1 U2 = because U2 is dense, etc. The problem is to find points that belong to∩ all of∩ these￿ ∅ sets at once, and it is here that Proposition 8.4 comes into play. First, consider the intersection U U . It must be nonempty (because U is dense ∩ 1 1 in X), and so we can find a nonempty open set V1 with V1 U U1 (by applying Proposition 8.5 to any point in the intersection). Next, consider⊆ ∩ the intersection V U . It must be nonempty (because U is dense), and so we can find a nonempty 1 ∩ 2 2 open set V2 with V2 V1 U2 (by applying Proposition 8.5 to any point in the intersection). Observe⊆ that∩ we have V V and V V U U U U . 2 ⊆ 1 2 ⊆ 1 ∩ 2 ⊆ ∩ 1 ∩ 2 Continuing in this way, we obtain a sequence of nonempty open sets V1,V2,... with the property that Vn Vn 1 Un; by construction, their closures satisfy ⊆ − ∩ V V V 1 ⊇ 2 ⊇ 3 ⊇··· and so the collection of closed sets Vn has the finite intersection property. Since X is compact, Proposition 8.4 implies that

∞ V = . n ￿ ∅ n=1 ￿ 4

But since V U U U for every n, we also have n ⊆ ∩ 1 ∩···∩ n ∞ ∞ V U U , n ⊆ ∩ n n=1 n=1 ￿ ￿ and so the intersection on the right-hand side is indeed nonempty. ￿

If you like a challenge, try to solve the following problem: Let f : R R be an infinitely differentiable function, meaning that the n-th derivative f (n)→exists and is continous for every n N. Suppose that for every x R, there is some n N with f (n)(x) = 0. Prove∈ that f must be a polynomial! (Warning:∈ This problem∈ is very difficult even if you know Baire’s theorem.)

Local compactness and one-point compactification. In Proposition 8.5,we proved that every compact Hausdorffspace has the following property. Definition 8.6. A topological space X is called locally compact if for every x X and every open set U containing x, there is an open set V containing x whose∈ closure V is compact and contained in U. Of course, there are many examples of topological spaces that are locally compact but not compact.

Example 8.7. Rn is locally compact; in fact, we showed earlier that every closed and bounded subset of Rn is compact. It follows that every topological is also locally compact.

The reason why Rn is not compact is because of what happens “at infinity”. We can see this very clearly if we think of Rn as embedded into the n-sphere Sn; recall that the n-sphere minus a point is homeomorphic to Rn. By adding one point, which we may think of as a point at infinity, we obtain the compact space Sn:the n-sphere is of course compact because it is a closed and bounded subset of Rn+1. The following result shows that something similar is true for every locally compact Hausdorffspace: we can always build a compact space by adding one point. Theorem 8.8. Every locally compact Hausdorffspace X can be embedded into a compact Hausdorffspace X∗ such that X∗ X consists of exactly one point. \ Proof. To avoid confusion, we shall denote the on X by the letter T . Define X∗ = X ,where is not already an element of X. Now we want to ∪{∞} ∞ put a topology on X∗ that induces the given topology on X and that makes X∗ into a compact Hausdorffspace. What should be the open sets containing the point at infinity? The complement of an open subset containing is a subset K X; ∞ ⊆ if we want X∗ to be compact, K must also be compact, because closed subsets of compact spaces are compact. So we are lead to the following definition:

T ∗ = T X∗ K K X compact ∪ \ ⊆ Keep in mind that since X is Hausdor￿ ff, any￿ compact subset￿K X is closed (by ￿ Proposition 7.3), and so X K is open in X. In particular, X⊆itself is an open \ subset of X∗. It is straightforward to check that T ∗ is a topology on X∗:

(1) Clearly, and X∗ = X∗ belong to T ∗. ∅ \∅ 5

(2) For unions of open sets, we consider three cases. First, an arbitrary union of sets in T again belongs to T (because T is a topology on X). Second,

X∗ K = X∗ K , \ i \ i i I i I ￿∈ ￿∈ and the intersection of all the Ki is a closed subspace of a compact space, and therefore again compact (by Proposition 6.13). Third,

U (X∗ K)=X∗ K (X U) ∪ \ \ ∩ \ and because X U is closed, the intersection￿ K (￿X U) is compact. (3) For intersections\ of open sets, there are again three∩ cases.\ First, a union of two sets in T again belongs to T ; second,

(X∗ K ) (X∗ K )=X∗ (K K ), \ 1 ∪ \ 2 \ 1 ∪ 2 and K K is obviously again compact; third, 1 ∪ 2 U (X∗ K)=U (X K) ∩ \ ∩ \ is the intersection of two open sets in X, and therefore an element of T .

It is also easy to see that the function f : X X∗ defined by f(x)=x is an → embedding: it gives a bijection between X and its image in X∗, and because of how we defined T ∗, the function f is both continuous and open. Finally, we show that X∗ is a compact Hausdorffspace. Consider an arbitrary open covering of X∗ by sets in T ∗. At least one of the open sets has to contain the point ; pick one such set X∗ K.ThenK has to lie inside the union of the remaining∞ open sets in the covering;\ by compactness, finitely many of these sets will do the job, and together with the set X∗ K, we obtain a finite subcovering of our \ original covering. This proves that X∗ is compact. To prove that X∗ is Hausdorff, consider two distinct points x, y X∗.Ifx, y X, they can be separated by open sets because X is Hausdorff. If, say,∈ y = , we∈ use the local compactness of X to ∞ find a neighborhood U of x whose closure U X is compact; then U and X∗ U ⊆ \ are disjoint neighborhoods of the points x and y,respectively. ￿ When X is not already compact, the space in the theorem is called the one- point compactification of X. In the homework for this week, you can find several examples of one-point compactifications.