Download p. 1 Math 490 Notes 8 Convergence, and Hausdorff and T1 Spaces

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Brouwer fixed-point theorem wikipedia , lookup

3-manifold wikipedia , lookup

Felix Hausdorff wikipedia , lookup

Covering space wikipedia , lookup

Fundamental group wikipedia , lookup

Grothendieck topology wikipedia , lookup

Continuous function wikipedia , lookup

General topology wikipedia , lookup

Transcript
p. 1
Math 490 Notes 8
Convergence, and Hausdorff and T1 Spaces
In a topological space (X, τ ), we say a countable sequence of points {xn } converges (or τ converges) to a point x ∈ X iff for each τ -nbhd U of x, there exists a corresponding positive
integer N such that xn ∈ U for all n ≥ N . In familiar spaces such as R and R2 with the usual
topology, sequences can converge to at most one point. However, this is not true in a general
topological space. At this point, one might be asking, “For what types of topological spaces
is it true that sequences can converge to only one point?”. The answer lies in the following
discussion of the so-called Hausdorff and T1 properties.
A topological space (X, τ ) is called a Hausdorff space (or is said to be Hausdorff, or to have
the Hausdorff property) iff for every distinct pair of points x1 and x2 in X, there exists a nbhd
U1 of x1 and a nbhd U2 of x2 such that U1 ∩ U2 = φ. On page 99, Munkres proves the following:
In a Hausdorff space X, every finite point set is closed.
The property that every finite point set is closed is not equivalent to being Hausdorff, however.
For example (as Munkres points out), in the space (R, τcof ), every finite point set is closed, but
this space is not Hausdorff. This condition that all finite point sets be closed is called the T1
axiom (or “condition”, or “property”). The relationship between these properties (Hausdorff
and T1 ) and convergence is addressed in the following theorems.
Munkres, Thm 17.9 Let (X, τ ) be a T1 topological space, and let A ⊆ X. Then the point x is
a limit point of A iff every τ -nbhd of x contains infinitely many points of A.
Munkres, Thm 17.10 If (X, τ ) is a Hausdorff space, then a sequence of points of X τ -converges
to at most one point of X.
p. 2
There is generally much more focus on Hausdorff spaces than on T1 spaces, since every Hausdorff space is also T1 , and it is the property of convergence of sequences to at most one point
that is shared by most spaces that are encountered in application.
Closure Operators
In the early days of topology (1900-1930), various definitions were proposed by various mathematicians to deal with such notions as limit, continuity, and convergence in a systematic way.
One such alternative approach to topology is described in the following definition.
Def N8.1 Let X be a set and ψ : 2X → 2X be a ”set function” satisfying the following
conditions:
(C1) ψ(φ) = φ;
(C2) A ⊆ ψ(A) for all A ∈ 2X ;
(C3) ψ(A ∪ B) = ψ(A) ∪ ψ(B) for all A, B ∈ 2X ;
(C4) ψ(ψ(A)) = ψ(A) for all A ∈ 2X .
Then ψ is called a closure operator on X, and (X, ψ) is called a closure space.
E. Cech used the terms ”closure operator” and ”closure space” requiring only the first 3 of
the above axioms. The axiom (C4), due to Kuratowski, is needed to establish the close relationship between ”closure spaces” and ”topological spaces” which shall next be described.
In any topological space (X, τ ), recall the notation Clτ A for the smallest closed overset of
A; note that Clτ : 2X → 2X .
Prop N8.1 In a top. space (X, τ ), Clτ is a closure operator on X, as defined above.
p. 3
Proof :
(C1) Clτ φ = φ, since φ is the smallest closed overset of φ.
(C2) A ⊆ Clτ A follows immediately from the description of Clτ A as the smallest closed overset
of A.
(C3) We need to prove Clτ (A ∪ B) = (Clτ A) ∪ (Clτ B). Since closure preserves containment (i.e. G ⊆ H =⇒ Clτ G ⊆ Clτ H), we have (A ⊆ A ∪ B =⇒ Clτ A ⊆ Clτ (A ∪ B))
and (B ⊆ A ∪ B =⇒ Clτ B ⊆ Clτ (A ∪ B)). From these two inclusions, it follows that
(Clτ A) ∪ (Clτ B) ⊆ Clτ (A ∪ B). To prove the opposite inclusion, let x ∈ Clτ (A ∪ B). By Prop
3 from our previous set of notes, U ∩ (A ∪ B) 6= φ for all nbhds U of x. If x 6∈ Clτ A, then
there is a nbhd W of x such that W ∩ A = φ. If x 6∈ Clτ B, then there is a nbhd V of x such
that V ∩ A = φ. With U = W ∩ V , then U would be a nbhd of x such that U ∩ (A ∪ B) = φ,
which is a contradiction of the fact that x ∈ Clτ (A ∪ B). So we must have either x ∈ Clτ A or
x ∈ Clτ B.
(C4) Clτ A ⊆ Clτ (Clτ A)) follows by (C2). For the reverse inclusion, let x ∈ Clτ (Clτ A)). Then
for any nbhd U of x, U ∩ Clτ A 6= φ. This means there is a y ∈ U ∩ Clτ A. But U is a nbhd of
y, and since y ∈ Clτ A, we must have U ∩ A 6= φ. Since this holds for any nbhd of x, we have
x ∈ Clτ A, as desired.
¥
Here is a converse to Prop N8.1 which we will state without taking the time to prove it.
¯
Prop N8.2 Let (X, ψ) be a closure space, and let γψ = {A ⊆ X ¯ A = ψ(A)}. Then γψ
¯
satisfies the closed set axioms for a topology (i.e. τψ = {X − A ¯ A ∈ ψ} is a topology on X).
Furthermore, the closure operator Clτψ derived from τψ equals the original closure operator ψ.
p. 4
Propositions 1 and 2 together lead to the conclusion that there is a one-to-one correspondence
between the set of all closure operators on X and the set Π(X) of all topologies on X. Thus,
for all practical purposes, ”closure spaces” are the same as ”topologies”. The preceding results
can be essentially duplicated using ”interior operators” rather than ”closure operators”, though
we shall not discuss this approach.
Example 1 Let G be any group, with identity element e. For each subset A ⊆ G, let ψ(A)
be the smallest subgroup of G containing A. Which of the properties of a closure operator are
satisfied by ψ?
τd
Example 2 Let ψ be the set function on R defined as follows:
ψ(φ) = φ;
ψ(A) = R if A has no lower bound;
τs
τcoc
ψ(A) = [a, ∞) if a = inf A.
One may verify that ψ is a closure operator on R, relative to which the
¯
closed sets are {φ, R} ∪ {[a, ∞) ¯ a ∈ R}. The associated topology is
¯
τo = {φ, R} ∪ {(−∞, a) ¯ a ∈ R}. This topology has some interesting
properties which make it worth including in our ”prefered” family of
τu
τo
τcof
τi
topologies on R. The lattice of all these topologies is shown on the
right.
Set Theoretic Facts About Functions
Our next major topic will be continuous functions, but prior to that, it will be useful to state a
theorem summarizing the behavior of functions relative to unions, intersections, and set complements.
p. 5
Prop N8.3 Let f : X → Y , and let f −1 ⊆ Y × X be the inverse relation. Let A ⊆ X, B ⊆ Y ,
¯
¯
{Ai ¯ i ∈ I} ⊆ 2X , {Bj ¯ j ∈ J} ⊆ 2Y . Then the following hold:
(1) f (∪Ai ) = ∪f (Ai )
(2) f (∩Ai ) ⊆ ∩f (Ai ) (equality if f is injective)
(3) f (X − A) ⊇ ∪f (X) − f (A)
(4) f −1 (∪Bj ) = ∪f −1 (Bj )
(5) f −1 (∩Bj ) ⊆ ∩f −1 (Bj )
(6) f −1 (Y − B) = X − f −1 (B)
(7) f (f −1 (B)) ⊆ B
(equality if f is surjective)
(8) A ⊆ f −1 (f (A)) (equality if f is injective).
Continuous Functions
Let (X, τ ) and (Y, µ) be two topological spaces, and let f : X → Y be a function (also called
a ”map” or a ”mapping”). If a ∈ X, we say that f is continuous at a iff for every µ-nbhd V
of f (a), there exists a τ -nbhd U of a such that f (U ) ⊆ V . If A ⊆ X and f is continuous at
every a ∈ A, then we say f is continuous on A. If f is continuous at every a ∈ X, we simply
say that f : (X, τ ) → (Y, µ) is continuous. Some equivalent characterizations of continuity
are given in the next theorem.
Prop N8.4 Let f : (X, τ ) → (Y, µ). The following are equivalent:
(1) f is continuous.
(2) If V is µ-open, then f −1 (V ) is τ -open.
(3) If B is µ-closed, then f −1 (B) is τ -closed.
(4) If A ⊆ X, then f (Clτ A) ⊆ Clµ f (A).
p. 6
Proof :
(1) =⇒ (2): Suppose f is continuous and V is µ-open, and let x ∈ f −1 (V ). Then f (x) ∈ V , so
[
by continuity of f , ∃Ux ∈ τ such that f (Ux ) ⊆ V . Thus we can write f −1 (V ) =
Ux , which
x∈f −1 (V )
shows that f
−1
(V ) ∈ τ .
(2) =⇒ (3): Assume (2), and suppose B ⊆ Y is µ-closed. Then Y − B is µ-open, and so by
(2), f −1 (Y − B) = f −1 (Y ) − f −1 (B) = X − f −1 (B) is τ -open, which implies that f −1 (B) is
τ -closed.
(3) =⇒ (4):
Assume (3), and let A ⊆ X. Then Clµ f (A) is a µ-closed set, so by (3),
f −1 (Clµ f (A)) is a τ -closed set which contains A, and therefore f −1 (Clµ f (A)) must contain
Clτ A as well. Thus we have
Clτ A ⊆ f −1 (Clµ f (A)) =⇒ f (Clτ A) ⊆ f (f −1 (Clµ f (A))) ⊆ Clµ f (A),
where the last ⊆ is by Prop N8.2 (7).
(4) =⇒ (1): Assume (4). To prove f is continuous, let a ∈ A and let V be a nbhd of f (a).
Let A = f −1 (Y − V ). Then a 6∈ A, and f (a) 6∈ Clµ f (A), since V ∩ f (A) = φ. By (4),
since f (a) 6∈ Clµ f (A), we also have f (a) 6∈ f (Clτ A), which means that a 6∈ Clτ A, and so
U = X − Clτ A is a τ -nbhd of a. Finally, we show that f (U ) ⊆ V . To do this, let y ∈ f (U ).
Then y = f (x) for some x ∈ X − Clτ A, and we have the following string of implictions:
x ∈ X − Clτ A =⇒ x ∈ X − A =⇒ x 6∈ f −1 (Y − V ) =⇒ y 6∈ Y − V =⇒ y ∈ V .
Therefore f (U ) ⊆ V , and f is continuous at a.
HW 4 (due Monday 9/19, anytime):
§16 (p. 91): 4, 10
§17 (p. 100): 4, 6, 8, 11, 15, 16
§18 (p. 111): 2, 5, 6, 7
¥