[Exercise 2.2] Show That Each of the Following Is a Topological Space

[Exercise 2.2] Show That Each of the Following Is a Topological Space

Chapter 2. Topological Spaces Example 1. [Exercise 2.2] Show that each of the following is a topological space. (1) Let X denote the set f1; 2; 3g, and declare the open sets to be f1g, f2; 3g, f1; 2; 3g, and the empty set. (2) Any set X whatsoever, with T = fall subsets of Xg. This is called the discrete topology on X, and (X; T ) is called a discrete space. (3) Any set X, with T = f;;Xg. This is called the trivial topology on X. (4) Any metric space (M; d), with T equal to the collection of all subsets of M that are open in the metric space sense. This topology is called the metric topology on M. We only check (4). It is clear that ; and M are in T . Let U1;:::;Un 2 T and let p 2 U1 \···\ Un. There exist open balls B1 ⊆ U1;:::;Bn ⊆ Un that contain p, so the intersection B1 \···\ Bn ⊆ U1 \···\ Un is an open ball containing p. This shows that U1 \···\ Un 2 T . Now let fUαg be some collection of elements in T which we can Sα2A assume to be nonempty. If p 2 Uα we can choose some α 2 A, and there exists an α2A S S open ball B ⊆ Uα containing p. But B ⊆ α2A Uα, so this shows that α2A Uα 2 T . Theorem 2. [Exercise 2.9] Let X be a topological space and let A ⊆ X be any subset. (1) A point q is in the interior of A if and only if q has a neighborhood contained in A. (2) A point q is in the exterior of A if and only if q has a neighborhood contained in X n A. (3) A point q is in the boundary of A if and only if every neighborhood of q contains both a point of A and a point of X n A. (4) Int A and Ext A are open in X, while @A is closed in X. (5) A is open if and only if A = Int A, and A is closed if and only if A = A. (6) A is closed if and only if it contains all its boundary points, which is true if and only if A = Int A [ @A. (7) A = A [ @A = Int A [ @A. Proof. (1) and (2) are obvious. Let q 2 @A and let N be a neighborhood of q. By (1) and (2), N is not contained in A or X n A, i.e. N contains a point of A and a point of X n A. Conversely, if every neighborhood of q contains both a point of A and a point of X n A then q2 = (Int A [ Ext A) by (1) and (2). Parts (4) and (5) are obvious. If A is closed and p 2 @A then p 2 X n (Int A [ Ext A) = X n (Int A [ (X n A)) ⊆ A: If A contains all its boundary points then Int A [ @A ⊆ A, so A = Int A [ @A since it is always true that A ⊆ Int A [ @A. If A = Int A [ @A then A is closed since 1 2 A = Int A [ (X n (Int A [ Ext A)) = X n Ext A and Ext A is open. This proves (6). For (7), Int A [ @A = Int A [ (X n (Int A [ Ext A)) = X n Ext A = A and A [ @A = Int A [ @A since Int A [ @A ⊆ A [ @A and p 2 A [ @A implies that p 2 @A or p 2 A n @A = Int A. Theorem 3. [Exercise 2.10] A set A in a topological space X is closed if and only if it contains all of its limit points. Proof. Suppose A is closed and let q 2 X n A be a limit point of A. Since every neighborhood of q contains both a point of X nA and a point of A, we have q 2 @A ⊆ A. Conversely, suppose that A contains all of its limit points. If q 2 @A n A and N is a neighborhood of q then N contains a point of A which cannot be equal to q since q2 = A. Therefore q is a limit point of A, and is contained in A. This shows that A contains all its boundary points, i.e. A is closed. Theorem 4. [Exercise 2.11] A subset A ⊆ X is dense if and only if every nonempty open set in X contains a point of A. Proof. Suppose that A = X. Let U be a nonempty open set in X and let p be any point in U. Since Ext A is empty, no neighborhood of p is contained in X n A. But U is a neighborhood of p, so U contains a point of A. Conversely, suppose that every nonempty open set in X contains a point of A. Then every p 2 X n A is a limit point of A, so p 2 A and therefore X ⊆ A. Theorem 5. [Exercise 2.12] Let (M; d) be a metric space with the usual topology. The following are equivalent for a sequence fqig and a point q in M: (1) For every neighborhood U of q there exists an integer N such that qi 2 U for all i ≥ N. (2) For every " > 0 there exists an integer N such that d(qi; q) < " for all i ≥ N. Proof. The direction (1) ) (2) is clear. Suppose (2) holds and let U be a neighborhood of q. Since U is open, there exists an open ball B ⊆ U of radius r around q, so there exists an integer N such that d(qi; q) < " for all i ≥ N. But then qi 2 B ⊆ U for all i ≥ N, which proves (1). Theorem 6. [Exercise 2.13] Let X be a discrete topological space. Then the only convergent sequences in X are the ones that are \eventually constant", that is, sequences fqig such that qi = q for all i greater than some N. Proof. Suppose that qi ! q in X. Since fqg is open, there exists an integer N such that qi 2 fqg, i.e. qi = q, for all i ≥ N. 3 Theorem 7. [Exercise 2.16] A map f : X ! Y between topological spaces is continuous if and only if the inverse image of every closed set is closed. Proof. Suppose that f is continuous and let A ⊆ Y be a closed set. Since Y nA is open, f −1(Y n A) is open and therefore f −1(A) = X n f −1(Y n A) is closed. The converse is similar. Theorem 8. [Exercise 2.18] Let X, Y , and Z be topological spaces. (1) Any constant map f : X ! Y is continuous. (2) The identity map Id : X ! X is continuous. (3) If f : X ! Y is continuous, so is the restriction of f to any open subset of X. (4) If f : X ! Y and g : Y ! Z are continuous, so is their composition g ◦ f : X ! Z. Proof. For (1), suppose that f(x) = y for all x 2 X. Let U ⊆ Y be an open set. If y 2 U then f −1(U) = X and if y2 = U then f −1(U) = ;; in either case, f −1(U) is open. Part (2) is obvious. Part (3) follows from the fact that the topology is closed under finite intersections. For (4), let U ⊆ Z be an open set. Since g is continuous g−1(U) is open, and since f is continuous f −1(g−1(U)) is open. But (g ◦ f)−1(U) = f −1(g−1(U)), so this proves that g ◦ f is continuous. Theorem 9. [Exercise 2.20] \Homeomorphic" is an equivalence relation. Proof. For any space X the identity map Id : X ! X is a homeomorphism between X and itself. If ' : X ! Y is a homeomorphism then '−1 : Y ! X is also a homeomorphism. Finally, if ' : X ! Y and : Y ! Z are homeomorphisms then −1 −1 −1 ◦ ' : X ! Z is a homeomorphism since ( ◦ ') = ' ◦ is continuous. Theorem 10. [Exercise 2.21] Let (X1; T1) and (X2; T2) be topological spaces and let f : X1 ! X2 be a bijective map. Then f is a homeomorphism if and only if f(T1) = T2 in the sense that U 2 T1 if and only if f(U) 2 T2. Proof. This is clear from the definition. Theorem 11. [Exercise 2.27] Let C = f(x; y; z) j max(jxj ; jyj ; jzj) = 1g and let ' : C ! S2 be given by (x; y; z) '(x; y; z) = : px2 + y2 + z2 Then ' is a homeomorphism with inverse (x; y; z) '−1(x; y; z) = : max(jxj ; jyj ; jzj) 4 Proof. Note that ' and '−1 are continuous; it suffices to check (x; y; z) '('−1(x; y; z)) = = (x; y; z) px2 + y2 + z2 p since (x; y; z) 2 S2 implies that x2 + y2 + z2 = 1 and (x; y; z) '−1('(x; y; z)) = = (x; y; z) max(jxj ; jyj ; jzj) since (x; y; z) 2 C. Theorem 12. [Exercise 2.28] Let X denote the half-open interval [0; 1) ⊆ R, and let S1 denote the unit circle in R2. Define a map a : X ! S1 by a(t) = (cos 2πt; sin 2πt). Then a is continuous and bijective but not a homeomorphism. Proof. Let I = [0; 1=2), which is open in X. Since a(I) is not open in S1, the inverse of a cannot be continuous.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    85 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us