A Glimpse into Topology
|
|
- Isabel Simon
- 5 years ago
- Views:
Transcription
1 A Glimpse into Topology by Vishal Malik A project submitted to the Department of Mathematical Sciences in conformity with the requirements for Math 430 (203-4) Lakehead University Thunder Bay, Ontario, Canada
2 Abstract This report covers the basics of Topology, including topological spaces, density, continuity, compactness and nets. It is followed by a short discussion of a few topics in metric space theory, such as metrizable spaces and completeness. Finally, the concepts of Topology are applied to metric spaces to derive three interesting results: Cantor s Intersection Theorem, Bourbaki s Mittag-Leffler Theorem and Baire s Theorem. i
3 Acknowledgements Dr. Monica Ilie acted as my advisor and provided guidance in learning and preparing the material. Dr. Adam Van Tuyl was the course coordinator and helped with learning L A TEX and preparing this report. ii
4 Abstract Acknowledgements Contents Chapter. Introduction Chapter 2. Topology 2. Topological Spaces 2 2. Closure 2 3. Bases and Subbases 3 4. Density 4 5. Subspaces 4 6. Neighbourhoods 4 7. Continuity 5 8. Nets 6 9. Separation 7 0. Compactness 7. Urysohn s Lemma 8 Chapter 3. Topics in Metric Spaces 0. Metric Spaces 0 2. Metrizable Spaces 0 3. Continuity in Metric Spaces 4. Sequences and Completeness 2 Chapter 4. Application of Topology to Metric Spaces 3 Bibliography 9 i ii iii
5 CHAPTER Introduction Topology was first introduced by German mathematician Felix Hausdorff in 94. It is a theory that is applied to several branches of mathematics, including Algebra and Analysis. The goal of this project was to study the basics of Topology and its applications in Analysis, including popular results like Baire s Theorem.
6 CHAPTER 2 Topology In this chapter, we will discuss basic concepts in Topology.. Topological Spaces We begin with definitions of topology and other related terms. Definition 2.. Let τ be a collection of subsets of a set X. Then τ is a topology on X if, () for any A τ, A τ, (2) for any A, A 2 τ, A A 2 τ, (3) φ τ, (4) X τ. Example 2.2. If X is the set of colours, then the following is a topology on it: τ = {{red}, {green}, {red, green}, φ, C} Definition 2.3. A tuple (X, τ) is a topological space if τ is a topology on X. Definition 2.4. Let (X, τ) be a topological space. A subset U of X is open if U τ. Definition 2.5. Let (X, τ) be a topological space. X F τ. A subset F of X is closed if 2. Closure Definition 2.6. Let (X, τ) be a topological space and A X. Then the closure of A, denoted as A, is a closed subset of X with the following properties: () A A. (2) If F is a closed subset of X and A F, then A F. Theorem 2.7. Let (X, τ) be a topological space and A, B X. A B. Proof. If A B, then A B. Therefore A B. 2 If A B, then
7 Chapter 2. Topology 3 3. Bases and Subbases Sometimes we don t need the entire collection of open sets to work with a topology. Bases and subbases are smaller subcollections that can suffice. Definition 2.8. Let (X, τ) be a topological space and B τ. Then B is a base of τ if τ = { B C B C B}. Theorem 2.9. Let (X, τ) be a topological space. A collection of sets B is a base of τ if and only if the following two conditions are satisfied: () X = B. (2) For any B, B 2 B, if p B B 2, then there exists a B 3 B such that p B 3 B B 2. Proof. Let B be a base of τ. Therefore τ = { B C B C B}. () Since X τ, there exists a C B such that X = B C B. Therefore X B. Also, since B τ, we have B X. Therefore X = B. (2) If B, B 2 B, then B, B 2 τ. Therefore B B 2 τ. Therefore, there exists a C B such that B B 2 = B C B. This means that if p B B 2, then there exists a B 3 C such that p B 3. Also B 3 B C B. Therefore we have p B 3 B B 2. Conversely, let B be a collection of sets that satisfies the two conditions. Let τ = { B C B C B}. We will prove that τ is a topology on X i.e. it has each of the four properties of Definition 2.. () Let A τ. Each set in A is a union of a collection of sets in B. Therefore A is a union of a collection of sets in B. Therefore A τ. (2) Let A, A 2 τ. There are C, C 2 B such that A = X C X and A 2 = Y C 2 Y. Therefore ( ) ( ) A A 2 = = (( ) ) Y X C X Y C 2 Y Y C 2 = Y C 2 X C X X C (X Y ) Since X, Y B, there exists, for every p X Y, a B p B such that p B p X Y (from the second condition). Therefore X Y = p X Y B p. Therefore A A 2 is a union of a collection of sets in B, which proves that A A 2 τ. (3) Since φ B and B φ B = φ, we have φ τ. (4) From the first condition, X τ. Definition 2.0. Let (X, τ) be a topological space and S τ. Then S is a subbase of τ if the set { S S S and S is finite} is a base of τ.
8 Chapter 2. Topology 4 4. Density Definition 2.. Let (X, τ) be a topological space and D X. Then D is dense in X if, for every nonempty open subset U of X, U D in nonempty. Theorem 2.2. If (X, τ) is a topological space and U, U 2 τ are dense in X, then U U 2 is dense in X. Proof. Let U be a nonempty open subset of X. Since U is dense in X, U U φ. Since U U is open and U 2 is dense in X, U U U 2 φ. Since U is arbitrary, this proves that U U 2 is dense in X. 5. Subspaces Theorem 2.3. Let (X, τ) be a topological space and Y X. Let τ be a collection of sets with the following property: V τ if and only if V = Y U for some U τ. Then τ is a topology on Y. Proof. We will prove that τ has each of the four properties of Definition 2.. () Let A τ. For each V A, V = Y U for some U τ. Therefore A = Y ( B) for some B τ. Since B τ, A τ. (2) Let A, A 2 τ. Therefore, there exist B, B 2 τ such that A = Y B and A 2 = Y B 2. Therefore A A 2 = (Y B ) (Y B 2 ) = Y (B B 2 ). Since B B 2 τ, A A 2 τ. (3) Since φ = Y φ and φ τ, φ τ. (4) Since Y = Y X and X τ, Y τ. Definition 2.4. Let (X, τ) be a topological space and Y X. Then (Y, τ ) is a subspace of (X, τ) if τ is a topology derived using Theorem 2.3. Theorem 2.5. Let (X, τ) be a topological space and D Y X. If D is dense in X, then it is also dense in Y. Proof. Let V be a nonempty open subset of Y. Then V = Y U for some nonempty open subset U of X. Therefore D V = D Y U = D U. Since D is dense in X, D U is nonempty. Therefore D V is nonempty. 6. Neighbourhoods Definition 2.6. Let (X, τ) be a topological space, x X and N X. Then N is a neighbourhood of x if there exists a set U τ such that x U N. The following theorem provides a characterization of open sets in terms of neighbourhoods.
9 Chapter 2. Topology 5 Theorem 2.7. Let (X, τ) be a topological space and U be a subset of X. Then U is open if and only if, for every x U, there is a neighbourhood N x of x such that N x U. Proof. If U is open, then it is a neighbourhood of every x U. Conversely, suppose, for every x U, there is a neighbourhood N x of x such that N x U. Then, clearly, for every x U, there is a U x τ such that x U x U. Moreover U = U x, which proves that U τ. x 7. Continuity Definition 2.8. Let (X, τ ) and (Y, τ 2 ) be two topolological spaces. A function f : X Y is continuous at x X if, for every neighbourhood V of f(x), there is a neighbourhood U of x such that f(u) V. The function f is continuous on the set X if it is continuous at every x X. Theorem 2.9 provides a much more practical definition of continuity of a function on a set. Theorem 2.9. Given two topological spaces (X, τ ) and (Y, τ 2 ), and a function f : X Y, the following are equivalent. () f is continuous on X. (2) For every open subset V of Y, f (V ) is an open subset of X. (3) For every closed subset F of Y, f (F ) is a closed subset of X. (4) For every subset A of X, f(a) f(a). Proof. () = (2) Let f be continuous on X. For any open subset V of Y, if x f (V ), then there is an open neighbourhood U of x such that f(u) V. However, this implies that U f (V ), which proves that f (V ) is open. (2) = (3) If F is a closed subset of Y, then Y F is an open subset of Y. Therefore f (Y F ) is an open subset of X. Therefore f (F ) = X f (Y F ) is a closed subset of X. (3) = (4) For any subset A of X, since f(a) is closed, f (f(a)) is closed. Since A f (f(a)), we have A f (f(a)). Therefore f(a) f(a). (4) = () For any x X, let V be an open neighbourhood of f(x). Let A = X f (V ) and U = X A. We will prove that U is a neighbourhood of x and f(u) V. Since f(a) Y V and Y V is closed, f(a) Y V. Since f(x) / Y V, we have f(x) / f(a). This implies that f(x) / f(a), since f(a) f(a). Therefore x / A, which proves that x U. Since U is open, it is a neighbourhood of x. Now, for any y U, we have y / A, which implies that y / A. Therefore y f (V ) (or f(y) V ). Therefore f(u) V.
10 Chapter 2. Topology 6 8. Nets Definition A set Λ is directed if it has a relation on it such that, () for any λ Λ, λ λ, (2) for any λ, λ 2, λ 3 Λ, if λ λ 2 and λ 2 λ 3, then λ λ 3, (3) for any λ, λ 2 Λ, there exists a λ 3 Λ such that λ λ 3 and λ 2 λ 3. Example 2.2. N is a directed set. Example The set N x of neighbourhoods of an element x of a topological space is a directed set with the relation defined as follows: If N, N 2 N x, then N N 2 if N 2 N. Definition A function f : Λ X is a net in X if Λ is directed. For any λ Λ, f(λ) is denoted as x λ. The net itself is denoted as (x λ ). Definition A net (x λ ) is eventually in a set U if there exists a λ such that, for every λ λ, x λ U. Definition Let (X, τ) be a topological space and x X. A net (x λ ) converges to x if it is eventually in every neighbourhood of x. The convergence of (x λ ) to x is denoted as x λ x. Definition Let f : Λ X be a net. Let φ be a directed set such that the net g : φ Λ has the following properties: () For every µ, µ 2 φ, if µ µ 2, then g(µ ) g(µ 2 ). (2) For every λ Λ, there is a µ φ such that λ g(µ). Then f g is a subnet of f. For any µ φ, f g(µ) is denotes as x λµ. The subnet itself is denoted as (x λµ ). x. Theorem If a net (x λ ) converges to x, then its every subnet also converges to Proof. Let (x λµ ) be a subnet of (x λ ). Let N be a neighbourhood of x. If (x λ ) converges to x, then there exists a λ such that, for every λ λ, x λ N. Now, there exists a µ such that λ µ λ. Moreover, for every µ µ, λ µ λ µ. Therefore, for every µ µ, x λµ N. Since N is arbitrary, (x λµ ) is eventually in every neighbourhood of x. The following theorem characterizes continuity in terms of convergence of nets. Theorem A function f : X Y is continuous at x X if and only if, for every net (x λ ) in X such that x λ x, f(x λ ) f(x). Proof. Suppose f is continuous at x. If V is an open neighbourhood of f(x), then f (V ) is an open neighbourhood of x. If x λ x, then (x λ ) is eventually in f (V ). Therefore f(x λ ) is eventually in V, which proves that f(x λ ) f(x).
11 Chapter 2. Topology 7 Conversely suppose f(x λ ) f(x) for every net (x λ ) in X such that x λ x. Suppose f is not continuous at x. Therefore, there exists a neighbourhood V of f(x) such that, for every neighbourhood U of x, there exists an x U U such f(x U ) / V. This implies that the net (x U ) converges to x (Example 2.22), but (f(x U )) does not converge to f(x). This, however, is is a contradiction. Therefore f is continuous at x. Theorem Let (X, τ) be a topological space, F be a closed subset of X and (x λ ) be a net in F. If x λ x, then x F. Proof. Let x X F. Since X F is open, there is a neighbourhood N of x such that N X F (Theorem 2.7). Also, since x λ x, (x λ ) is eventually in N. This, however, is contradiction, since (x λ ) is in F. 9. Separation In this section, we will define topological spaces whose elements are separated from one another in a certain manner. Definition A topological space (X, τ) is a T -space if, for every x, y X such that x y, there exist open subsets U and V of X such that x U but y / U, and y V but x / V. Definition 2.3. A topological space (X, τ) is Hausdorff if, for every x, y X such that x y, there exist disjoint open subsets U and V of X such that x U and y V. It can be observed that every Hausdorff space is also a T -space. Example Every metrizable space (Definition 3.6) is Hausdorff. Definition A T -space (X, τ) is normal if, for any disjoint closed subsets F and F 2 of X, there exist disjoint open subsets U and U 2 of X such that F U and F 2 U Compactness Definition Let (X, τ) be a topological space and A X. A collection of sets U is an open cover of A if U τ and A U. Definition A set A is compact if every open cover of A contains a finite subcover of A. Theorem Let (X, τ) be a topological space and A X. If X is compact and A is closed, then A is compact. Proof. Let U be any open cover of A. If A is closed, then X A is open. Therefore U {X A} is an open cover of X. Since X is compact, there exist U,..., U n U {X A} such that X U U n. If X A / {U,..., U n }, then {U,..., U n } is a finite subcover of A in U. Otherwire, {U,..., U n } {X A} is a finite subcover of A in U. Therefore A is compact.
12 Chapter 2. Topology 8 Theorem Let (X, τ) be a Hausdorff space and A X. If A is compact, then it is closed. Proof. Consider an arbitrary x X A. Since (X, τ) is Hausdorff, for any y A, there are U y, V y τ such that x U y, y V y and U y V y = φ. Now V = {V y : y A} is an open cover of A. Since A is compact, there are V y,..., V yn V such that A V y V yn. Let U = U y U yn. Then U is a neighbourhood of x. Also, (U A) U (V y V yn ) = φ. Therefore U X A. Since x is arbitrary, X A is open (Theorem 2.7), which proves that A is closed. The following theorem shows that a continuous function maps a compact set to a compact set. Theorem Let (X, τ) and (Y, τ) be topological spaces, f : X Y be a continuous function and A X. If A is compact, then f(a) is also compact. Proof. Let U be any open cover of f(a). Since f is continuous, f (U) is open for every U U. Therefore, U A = {f (U) : U U} is an open cover of A. Since A is compact, there are f (U ),..., f (U n ) U A such that A f (U ) f (U n ). However, this implies that f(a) U U n, which proves that f(a) is compact.. Urysohn s Lemma Urysohn s Lemma shows the existence of certain continuous functions on a normal topological space. Lemma Let (X, τ) be a normal topological space, U be an open subset of X, F be a closed subset of X and F U. Then there exists an open subset V of X such that F V V U Proof. Since U is open and F U, X U is closed, and F and X U are disjoint. Since (X, τ) is normal, there exist disjoint open sets V and W such that F V and X U W. Since V and W are disjoint, V X W. Since X W is closed, V X W. However, since X U W, X W U. Therefore V U. This proves that F V V U. Theorem 2.40 (Urysohn s Lemma). Let (X, τ) be a normal topological space. For every pair of disjoint closed subsets, F and G, of X, there exists a continuous function f : X [0, ] such that f(f ) = 0 and f(g) =. Proof. Let D be the set of all rational numbers of the form m 2 n, where m, n N and m < 2 n. We construct a function g : D τ in the following manner. Since G is closed and F and G are disjoint, X G is open and F X G. Therefore, from Lemma 2.39, there exists an open set, say U, such that 2 F U 2 U 2 X G
13 Chapter 2. Topology 9 Let g( ) = U 2. Similarly, there exist open sets, say U 2 4 F U 4 U 4 U 2 U 2 U 3 4 U 3 4 and U 3, such that 4 X G Let g( ) = U 4 and g( 3) = U And so on. 4 The function g constructed above has the following property. For any d, d 2 D such that d < d 2, F g(d ) g(d ) g(d 2 ) g(d 2 ) X G Now let a function f : X [0, ] be defined as follows. For any x X, { sup(d D; x / g(d)) x / d D f(x) = g(d) 0 x d D g(d) Here f(f ) = 0 and f(g) =. We will prove that f is continuous. Consider an arbitrary a (0, ). For any x X, if f(x) < a, then there exists a d D such that d < a and x g(d). Conversly, for any d D such that d < a, if x g(d), then f(x) < a. Therefore f ([0, a)) = d<a g(d), which implies that f ([0, a)) is open. For any x X, if f(x) > a, then there exists a d D such that d > a and x / g(d). Conversly, for any d D such that d > a, if x / g(d), then f(x) > a. Therefore f ((a, ]) = d>a (X g(d)), which is open. Since a is arbitrary and the set of intervals of the form [0, a) or (a, ] is a subbase of [0, ], f (V ) is open for any open subset V of [0, ]. Therefore f is continuous (Theorem 2.9). It can be observed that, in Urysohn s Lemma, the interval [0, ] can be replaced with any closed interval of real numbers.
14 CHAPTER 3 Topics in Metric Spaces In this chapter, we will look at a few concepts in metric space theory, which will be needed to discuss the application of Topology to metric spaces in the next chapter.. Metric Spaces We begin with the definition of a metric space. Definition 3.. Given a set X, a function d : X X R is a metric on X if, for every x, y, z X, () d(x, y) 0, (2) d(x, y) = 0 if and only if x = y, (3) d(x, y) = d(y, x), (4) d(x, y) d(x, z) + d(z, y). Example 3.2. The function d : R R R, defined as d(x, y) = x y for every x, y R, is a metric on R. This is the usual metric on R. Definition 3.3. A tuple (X, d) is a metric space if d is a metric on X. 2. Metrizable Spaces The theories of topology and metric spaces can be linked together with the concept of open balls. Definition 3.4. Let (X, d) be a metric space, x X and ɛ R. Then the set of all y X such that d(x, y) < ɛ is an open ball of radius ɛ centered at x. It is denoted as B d (x, ɛ). Theorem 3.5. Let B be the set of open balls in a metric space (X, d). Then B is a base of a topology on X. Proof. If B is the set of open balls in (X, d), then X = B. Now let B d (x, ɛ ), B d (x 2, ɛ 2 ) B. For any x B d (x, ɛ ) B d (x 2, ɛ 2 ), let ɛ = min(ɛ d(x, x ), ɛ 2 d(x, x 2 )). For any y B d (x, ɛ), d(y, x ) d(y, x) + d(x, x ) < ɛ + d(x, x ) ɛ d(x, x ) + d(x, x ) = ɛ 0
15 Chapter 3. Topics in Metric Spaces Therefore y B d (x, ɛ ). Similarly it can be proven that y B d (x 2, ɛ 2 ). Since x and y are arbitrary, B d (x, ɛ) = B d (x, ɛ ) B d (x 2, ɛ 2 ). Therefore B is a base of a topology on X (Theorem 2.9). Definition 3.6. A topological space (X, τ) is metrizable if τ has been derived from a metric space (X, d) using Theorem 3.5. From this point on, whenever we talk about a topological property of a metric space, such as convergence, continuity, density etc., we would mean the topological property of the corresponding metrizable space. Theorem 3.7. If U is an open set in a metric space (X, d), then, for every x U, there is an ɛ > 0 such that B d (x, ɛ) U. Proof. If U is open, then x U implies that x B d (x 0, δ) U for some x 0 U and δ > 0. Let ɛ = δ d(x, x 0 ). Therefore, if y B d (x, ɛ), then Therefore B d (x, ɛ) B d (x 0, δ) U. d(y, x 0 ) d(y, x) + d(x, x 0 ) < ɛ + d(x, x 0 ) = δ d(x, x 0 ) + d(x, x 0 ) = δ 3. Continuity in Metric Spaces Continuity, a topological property, was discussed in the previous chapter. Here, we provide a few additional results as they relate to metric spaces. Theorem 3.8. Given metric spaces (X, d ) and (X 2, d 2 ), a function f : X X 2, and x X, the following are equivalent: () f is continuous at x. (2) For every ɛ > 0, there exists a δ > 0 such that f(b d (x, δ)) B d2 (f(x), ɛ). Proof. () = (2) For any ɛ > 0, B d2 (f(x), ɛ) is open. Therefore it is a neighbourhood of f(x). Since f is continuous, there exists an open neighbourhood U of x in X such that f(u) B d2 (f(x), ɛ). Since U is open, there is a δ > 0 such that B d (x, δ) U and, therefore, f(b d (x, δ)) B d2 (f(x), ɛ). (2) = () Let V be an open neighbourhood of f(x). Therefore, there exists an ɛ > 0 such that B d2 (f(x), ɛ) V. There also exists a δ > 0 such that f(b d (x, δ)) B d2 (f(x), ɛ) and, therefore, f(b d (x, δ)) V. Since B d (x, δ) is open, it is a neighbourhood of x, which proves that f is continuous. Definition 3.9. Let d and d be metrics on a set X. Then d is equivalent to d if the identity map on X is continuous both from (X, d) to (X, d) and from (X, d) to (X, d).
16 Chapter 3. Topics in Metric Spaces 2 Theorem 3.0. Let d and d be metrics on a set X, and τ and τ be topologies derived from (X, d) and (X, d) respectively using Theorem 3.5. If d is equivalent to d, then τ = τ. Proof. Let U τ. Since d is equivalent to d, the identity map on X is continuous from (X, d) to (X, d). Therefore U τ (Theorem 2.9). This implies that τ τ. It can be proven in an identical manner that τ τ. 4. Sequences and Completeness Definition 3.. A net is a sequence if its domain is N. Theorem 3.2. If (x n ) is a sequence in a metric space (X, d) and x X, then the following are equivalent: () (x n ) converges to x. (2) For every ɛ > 0, (x n ) is eventually in B d (x, ɛ). Proof. () = (2) For every ɛ > 0, B d (x, ɛ) is open. Therefore it is a neighbourhood of x. Since x n converges to x, (x n ) is eventually in B d (x, ɛ). (2) = () Let N be a neighbourhood of x. Therefore, there is an open set U such that x U N. Since U is open, there is an ɛ > 0 such that B d (x, ɛ) U (Theorem 3.7). Since (x n ) is eventually in B d (x, ɛ), it is eventually in N. Theorem 3.3. Let (X, d ) and (Y, d 2 ) be metric spaces and x X. Then a function f : X Y is continuous at x if and only if the following statement is true: For every sequence (x n ) in X such that x n x, f(x n ) f(x). Proof. If f is continuous at x, then the statement is true (Theorem 2.28). Conversely, let the statement be true. Suppose f is not continuous at x. Therefore, there exists an ɛ > 0, such that, for every δ > 0, f(b d (x, δ)) B d2 (f(x), ɛ) (Theorem 3.8). Therefore, for every n N, there exists an x n B d (x, ) such that f(x n n) / B d2 (f(x), ɛ). For every δ > 0, the sequence (x n ) is eventually in B d (x, δ). However, f(x n ) is never in B d2 (f(x), ɛ). This is a contradiction. Definition 3.4. A sequence (x n ) in a metric space (X, d) is Cauchy if, for every ɛ > 0, there exists an N ɛ N such that, for every m, n N ɛ, d(x m, x n ) < ɛ. Definition 3.5. A metric space (X, d) is complete if every Cauchy sequence converges in it. Example 3.6. R with its usual metric (Example 3.2) is a complete metric space.
17 CHAPTER 4 Application of Topology to Metric Spaces In this chapter, we will apply the topological concepts discussed in Chapter 2 to metric spaces to derive some interesting results, namely Cantor s Intersection Theorem, Bourbaki s Mittag-Leffler Theorem and Baire s Theorem. We begin with a few essential definitions. Definition 4.. A metric space (X, d) is bounded if there exists an r R such that, for every x, y X, d(x, y) r. Definition 4.2. If (X, d) is a bounded metric space, then sup d(x, y) is its diameter. x,y X It is denoted as diam(x). Theorem 4.3 (Cantor s Intersection Theorem). Let (X, d) be a complete metric space and (F n ) be a sequence of nonempty closed subsets of X such that diam(f n ) 0 and, for every n N, F n+ F n. Then there is one and only one element in F n. Proof. For every n N, let x n F n. Let ɛ be a positive real number. Since diam(f n ) 0, there exists an N ɛ N such that, for every n N ɛ, diam(f n ) B d (0, ɛ) (Theorem 3.2). Therefore diam(f Nɛ ) < ɛ. Now we know that, for every n N, F n+ F n. Therefore, for every m, n N ɛ, x m, x n F Nɛ. This implies that d(x m, x n ) < ɛ. Since ɛ is arbitrary, this proves that (x n ) is Cauchy. Since (X, d) is complete, there exists an x X such that x n x. For any n N, let (x nk ) be the subsequence of (x n ) such that n k = n + k. Since x n x, x nk x (Theorem 2.27). Moreover, (x nk ) F n. Since F n is closed, x F n (Theorem 2.29). Since n is arbitrary, x F n. Let x F n such that x x. Therefore d(x, x) > 0. Since diam(f n ) 0, there exists an n N such that diam(f n ) < d(x, x) (Theorem 3.2). However, since x, x F n, d(x, x) diam(f n ). This is a contradiction. Therefore x is the only element in F n. The following lemma is needed to prove Bourbaki s Mittag-Leffler Theorem. Lemma 4.4. Let (X, d ) and (X 2, d 2 ) be metric spaces, (X, d ) be complete, and f : X X 2 be a continuous function. Then a metric d can be defined on X as follows: For any x, y X, d (x, y) = d (x, y) + d 2 (f(x), f(y)). Moreover, () d is equivalent to d, and (2) (X, d ) is complete. 3
18 Chapter 4. Application of Topology to Metric Spaces 4 Proof. First, we will prove that d is a metric on X i.e. it has each of the four properties of Definition 3.. Let x, y, z X. () It is obvious that d (x, y) 0. (2) If d (x, y) = 0, then d (x, y) = 0, which implies that x = y. Conversely, if x = y, then d (x, y) = 0. (3) It is obvious that d (x, y) = d (y, x). (4) The fourth property can be shown as follows: d (x, y) = d (x, y) + d 2 (f(x), f(y)) d (x, z) + d (z, y) + d 2 (f(x), f(z)) + d 2 (f(z), f(y)) = (d (x, z) + d 2 (f(x), f(z))) + (d (z, y) + d 2 (f(z), f(y))) = d (x, z) + d (z, y) Now we will prove that d is equivalent to d. For any x, y X, d (x, y) d (x, y). Therefore, for any x X and ɛ > 0, B d (x, ɛ) B d (x, ɛ). Therefore, the identity map on X is continuous from (X, d ) to (X, d ) (Theorem 3.8). Let ɛ be an arbitrary positive real number. Since f is continuous, there exists a δ x for every x X such that f(b d (x, δ x )) B d2 (f(x), ɛ ) (Theorem 3.8). Let δ = min(δ 2 x, ɛ ). 2 If y B d (x, δ), then y B d (x, δ x ), which implies that f(y) B d2 (f(x), ɛ ). Therefore 2 d (x, y) = d (x, y) + d 2 (f(x), f(y)) < δ + ɛ 2 ɛ 2 + ɛ 2 = ɛ Therefore B d (x, δ) B d (x, ɛ). Therefore the identity map on X is continuous from (X, d ) to (X, d ) (Theorem 3.8). Finally, we will prove that (X, d ) is complete. Let (x n ) be an arbitrary Cauchy sequence in (X, d ). Since, for every x, y X, d (x, y) d (x, y), (x n ) is Cauchy in (X, d ). Since (X, d ) is complete, (x n ) is convergent in it. Since d is equivalent to d, (x n ) is convergent in (X, d ) (Theorem 3.0), which proves the completeness of (X, d ). Theorem 4.5 (Bourbaki s Mittag-Leffler Theorem). Let (X n, d n ) be a sequence of metric spaces and (f n : X n+ X n ) a sequence of functions with the following properties for every n N: () (X n, d n ) is complete. (2) f n is continuous. (3) f n (X n+ ) is dense in X n.
19 Chapter 4. Application of Topology to Metric Spaces 5 Then, is dense in X. D = n N(f f n )(X n+ ) Proof. We begin by using Lemma 4.4 to inductively replace, for every n N, the metric d n with the metric d n defined as follows: d is just d and, for any x, y X n+, d n+ (x, y) = d n+ (x, y) + d n (f n (x), f n (y)) The lemma assures that, for every n N, (X n, d n ) is still complete, and, since d n is equivalent to d n, f n is still continuous and f n (X n+ ) still dense in X n. But most importantly, for every x, y X n+, d n (f n (x), f n (y)) d n+ (x, y) This property is the reason why we replaced the metrics. We will need it later in the proof. Now, if U 0 is an arbitrary non-empty open set in X, then we have to show that U 0 D φ. This can be done by constructing a sequence of open sets in the following manner. Since f (X 2 ) is dense in X, U 0 f (X 2 ) φ. Therefore, there exists an x 2 X 2 such that f (x 2 ) U 0. Since U 0 is open, it is a neighbourhood of f (x 2 ), and, therefore, there exists an ɛ > 0 such that B d (f (x 2 ), ɛ) U 0 (Theorem 3.7). Since f is continuous, there exists a δ > 0 such that f (B d2 (x 2, δ)) B d (f (x 2 ), ɛ ) and δ (Theorem 3.8). 2 In this case, f (B d2 (x 2, δ)) B d (f (x 2 ), ɛ ) B (f 2 d (x 2 ), ɛ) U 0 (Theorem 2.7). Let U = B d2 (x 2, δ). Therefore, diam(u ) and f (U ) U 0. Since U is an open set in X 2, we can similarly obtain an open set U 2 in X 3 such that diam(u 2 ) 2 and f 2(U 2 ) U. Thus, we can obtain a sequence (U n ) of open sets such that diam(u n ) n and f n(u n ) U n. For any m 0, let (Y m n ) be a sequence of sets in U m such that This sequence has the following properties: Y m n = (f m+ f m+n )(U m+n ) () For every n N, Yn m is closed. (2) For every n N, Yn+ m Yn m (Theorem 2.7). (3) We know that, for every n N and every x, y X n+, dn (f n (x), f n (y)) d n+ (x, y). This implies that, for every n N, diam(yn m ). Therefore m+n diam(yn m ) 0. Therefore, there exits a unique y m n N Y m n (Theorem 4.3). For every m 0, f m+ is continuous. Therefore f m+ (Yn m+ ) Yn+ m (Theorem 2.9). Since, for every n N, y m+ Yn m+, f m+ (y m+ ) Yn+. m Moreover y m+ U m+, which
20 Chapter 4. Application of Topology to Metric Spaces 6 implies that f m+ (y m+ ) f m+ (U m+ ). Therefore f m+ (y m+ ) f m+ (U m+ ) n N Y m n+ = Y m Yn+ m n N = n N Y m n This shows that, for every m 0, y m = f m+ (y m+ ). Therefore, there exists a y 0 U 0 such that, for every n N, y 0 (f f n )(X n+ ). Therefore y 0 U 0 D. We need another definition and a couple of lemmas before we can prove Baire s Theorem. Definition 4.6. Let (X, d) be a metric space, x X and A X. Then, inf d(x, y) y A is the distance of x to A. It is denoted as dist(x, A). Lemma 4.7. Let (X, d) be a metric space, A X and (x n ) a sequence in X. x n x, then dist(x n, A) dist(x, A). If Proof. For every n N and a A, Similarly it can be proven that Therefore d(x n, a) d(x n, x) + d(x, a) which proves that dist(x n, A) dist(x, A). = inf d(x n, y) d(x n, x) + d(x, a) y A = inf d(x n, y) d(x n, x) d(x, a) y A = inf d(x n, y) d(x n, x) inf d(x, y) y A y A = inf d(x n, y) inf d(x, y) d(x n, x) y A y A = dist(x n, A) dist(x, A) d(x n, x) dist(x, A) dist(x n, A) d(x n, x) dist(x n, A) dist(x, A) d(x n, x) Lemma 4.8. Let (X, d) be a complete metric space, U be an open subset of X, and d U : U U R be defined as follows: For x, y U, d U (x, y) = d(x, y) + dist(x, X U) dist(y, X U) Then, () d U is a metric on U,
21 Chapter 4. Application of Topology to Metric Spaces 7 (2) d U is equivalent to d, and (3) (U, d U ) is complete. Proof. First we will prove that d U is well defined i.e. dist(x, X U) 0 for every x U. If dist(x, X U) = 0 for some x U, then, for every ɛ > 0, there is a y X U such that d(x, y) < ɛ. However, since U is open, there is an ɛ such that B d (x, ɛ) U (Theorem 3.7). This is a contradiction. Now we will prove that d U has each of the four properties of Definition 3.. Let x, y, z U. () It is obvious that d U (x, y) 0. (2) If d U (x, y) = 0, then d(x, y) = 0, which implies that x = y. Conversely, if x = y, then d U (x, y) = 0. (3) It is obvious that d U (x, y) = d U (y, x). (4) The fourth property can be shown as follows: d U (x, y) = d(x, y) + dist(x, X U) dist(y, X U) d(x, z) + d(z, y) + dist(x, X U) dist(z, X U) + dist(z, X U) dist(y, X U) = d(x, z) + dist(x, X U) dist(z, X U) + d(z, y) + dist(z, X U) dist(y, X U) = d U (x, z) + d U (z, y) Therefore d U is a metric on U. Now we will prove that d U is equivalent to d. For any x, y U, d(x, y) d U (x, y). Therefore, for any x U and ɛ > 0, B du (x, ɛ) B d (x, ɛ). Therefore, the identity map on U is continuous from (U, d U ) to (U, d) (Theorem 3.8). For any x U, let (x n ) be a sequence in U such that x n x in (U, d). For any ɛ > 0, there exists an N N such that, for every n N, d(x n, x) < ɛ (Theorem 2 3.2). Also, from Lemma 4.7, dist(x n, X U) dist(x, X U), which implies that. Therefore, there exists an N dist(x n,x U) dist(x,x U) 2 N such that, for every n N 2, < ɛ (Theorem 3.2). Let N = max(n 2, N 2 ). For every n N, dist(x n,x U) dist(x,x U) d U (x n, x) = d(x n, x) + dist(x n, X U) dist(x, X U) < ɛ 2 + ɛ 2 = ɛ
22 Chapter 4. Application of Topology to Metric Spaces 8 Therefore x n x in (U, d U ) also (Theorem 3.2). This proves that the identity map on U is continuous from (U, d) to (U, d U ) (Theorem 3.3). Now we will prove that (U, d U ) is complete. Let (x n ) be a Cauchy sequence in (U, d U ). Since d(x, y) d U (x, y) for every x, y U, (x n ) is Cauchy in (X, d) and, therefore, convergent. Let x n x. First we will prove that x U. Suppose x X U. This implies that dist(x n, X U) 0 (Lemma 4.7). Since (x n ) is Cauchy in (U, d U ) and, for every m, n N, dist(x m,x U) dist(x n,x U) d U (x m, x n ), ( ) ( ) is a Cauchy sequence in R. Therefore, is convergent in R. dist(x n,x U) dist(x n,x U) This, however, is is a contradiction since dist(x n, X U) 0. Therefore x U. Since d U is equivalent to d, x n x in (U, d U ) also, which proves that (U, d U ) is complete. Theorem 4.9 (Baire s Theorem). Let (X, d) be a complete metric space and (U n ) a sequence of dense open subsets of X. Then, n= U n is also dense in X. Proof. For any n N, let V n = U U n. The sequence (V n ) has the following properties: () For every n N, V n+ V n. (2) n= V n = n= U n. Let f : V X be defined in the following manner: For any x V, f (x) = x. For n >, let f n : V n V n be defined in a similar manner. Therefore, for every n N, V n = (f f n )(V n ), which implies U n = (f f n )(V n ) n= n= V n = n N For any n N, let d Vn be the metric on V n as defined in Lemma 4.8. Then the sequence of metric spaces (V n, d Vn ) and the sequence of functions (f n ) have the following properties: () For every n N, (V n, d Vn ) is complete (Lemma 4.8). (2) The function f is continuous from (V, d) to (X, d). Since d V is equivalent to d, f is also continuous from (V, d V ) to (X, d) (Theorem 3.0). Similarly f n is continuous from (V n, d Vn ) to (V n, d Vn ) for every n >. (3) Since U n is dense in (X, d), V n is also dense in (X, d) for every n N (Theorem 2.2). Therefore f(v ) is dense in (X, d). For n >, V n is dense in (V n, d) (Theorem 2.5). Since d Vn is equivalent to d, V n is dense in (V n, d Vn ) (Theorem 3.0), and, therefore, f n (V n ) is dense in (V n, d Vn ). Therefore n N (f f n )(V n ) is dense in (X, d) (Theorem 4.5). Baire s Theorem is very popular in functional analysis. For instance, it can be used to prove the Open Mapping Theorem and the Uniform Boundedness Principle.
23 Bibliography [] Stephen Willard, General Topology, Dover Publications (2004) [2] Volker Runde, A Taste of Topology, Springer (2005) 9
1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationconverges as well if x < 1. 1 x n x n 1 1 = 2 a nx n
Solve the following 6 problems. 1. Prove that if series n=1 a nx n converges for all x such that x < 1, then the series n=1 a n xn 1 x converges as well if x < 1. n For x < 1, x n 0 as n, so there exists
More informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
More information7 Complete metric spaces and function spaces
7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m
More informationNAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key
NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)
More informationREVIEW OF ESSENTIAL MATH 346 TOPICS
REVIEW OF ESSENTIAL MATH 346 TOPICS 1. AXIOMATIC STRUCTURE OF R Doğan Çömez The real number system is a complete ordered field, i.e., it is a set R which is endowed with addition and multiplication operations
More informationImmerse Metric Space Homework
Immerse Metric Space Homework (Exercises -2). In R n, define d(x, y) = x y +... + x n y n. Show that d is a metric that induces the usual topology. Sketch the basis elements when n = 2. Solution: Steps
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationMetric Space Topology (Spring 2016) Selected Homework Solutions. HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y)
Metric Space Topology (Spring 2016) Selected Homework Solutions HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y) d(z, w) d(x, z) + d(y, w) holds for all w, x, y, z X.
More informationReal Analysis Chapter 4 Solutions Jonathan Conder
2. Let x, y X and suppose that x y. Then {x} c is open in the cofinite topology and contains y but not x. The cofinite topology on X is therefore T 1. Since X is infinite it contains two distinct points
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationSolutions to Tutorial 8 (Week 9)
The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 8 (Week 9) MATH3961: Metric Spaces (Advanced) Semester 1, 2018 Web Page: http://www.maths.usyd.edu.au/u/ug/sm/math3961/
More informationThe uniform metric on product spaces
The uniform metric on product spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Metric topology If (X, d) is a metric space, a X, and r > 0, then
More informationMath 117: Topology of the Real Numbers
Math 117: Topology of the Real Numbers John Douglas Moore November 10, 2008 The goal of these notes is to highlight the most important topics presented in Chapter 3 of the text [1] and to provide a few
More informationHonours Analysis III
Honours Analysis III Math 354 Prof. Dmitry Jacobson Notes Taken By: R. Gibson Fall 2010 1 Contents 1 Overview 3 1.1 p-adic Distance............................................ 4 2 Introduction 5 2.1 Normed
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More information4 Countability axioms
4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationAN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES
AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES DUSTIN HEDMARK Abstract. A study of the conditions under which a topological space is metrizable, concluding with a proof of the Nagata Smirnov
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationMATH 202B - Problem Set 5
MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there
More informationTopology Part of the Qualify Exams of Department of Mathematics, Texas A&M University Prepared by Zhang, Zecheng
Topology Part of the Qualify Exams of Department of Mathematics, Texas A&M University Prepared by Zhang, Zecheng Remark 0.1. This is a solution Manuel to the topology questions of the Topology Geometry
More informationMath 117: Continuity of Functions
Math 117: Continuity of Functions John Douglas Moore November 21, 2008 We finally get to the topic of ɛ δ proofs, which in some sense is the goal of the course. It may appear somewhat laborious to use
More informationMH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then
MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever
More informationBy (a), B ε (x) is a closed subset (which
Solutions to Homework #3. 1. Given a metric space (X, d), a point x X and ε > 0, define B ε (x) = {y X : d(y, x) ε}, called the closed ball of radius ε centered at x. (a) Prove that B ε (x) is always a
More informationChapter 2 Metric Spaces
Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics
More informationMath 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1
Math 8B Solutions Charles Martin March 6, Homework Problems. Let (X i, d i ), i n, be finitely many metric spaces. Construct a metric on the product space X = X X n. Proof. Denote points in X as x = (x,
More informationMath 5210, Definitions and Theorems on Metric Spaces
Math 5210, Definitions and Theorems on Metric Spaces Let (X, d) be a metric space. We will use the following definitions (see Rudin, chap 2, particularly 2.18) 1. Let p X and r R, r > 0, The ball of radius
More informationConvex Analysis and Economic Theory Winter 2018
Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory Winter 2018 Supplement A: Mathematical background A.1 Extended real numbers The extended real number
More informationCOUNTABLE PRODUCTS ELENA GUREVICH
COUNTABLE PRODUCTS ELENA GUREVICH Abstract. In this paper, we extend our study to countably infinite products of topological spaces.. The Cantor Set Let us constract a very curios (but usefull) set known
More informationStone-Čech compactification of Tychonoff spaces
The Stone-Čech compactification of Tychonoff spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 27, 2014 1 Completely regular spaces and Tychonoff spaces A topological
More informationEconomics 204 Fall 2012 Problem Set 3 Suggested Solutions
Economics 204 Fall 2012 Problem Set 3 Suggested Solutions 1. Give an example of each of the following (and prove that your example indeed works): (a) A complete metric space that is bounded but not compact.
More informationThe Heine-Borel and Arzela-Ascoli Theorems
The Heine-Borel and Arzela-Ascoli Theorems David Jekel October 29, 2016 This paper explains two important results about compactness, the Heine- Borel theorem and the Arzela-Ascoli theorem. We prove them
More informationFrom now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.
Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x
More informationMath 140A - Fall Final Exam
Math 140A - Fall 2014 - Final Exam Problem 1. Let {a n } n 1 be an increasing sequence of real numbers. (i) If {a n } has a bounded subsequence, show that {a n } is itself bounded. (ii) If {a n } has a
More informationCHAPTER 9. Embedding theorems
CHAPTER 9 Embedding theorems In this chapter we will describe a general method for attacking embedding problems. We will establish several results but, as the main final result, we state here the following:
More informationProblem Set 5. 2 n k. Then a nk (x) = 1+( 1)k
Problem Set 5 1. (Folland 2.43) For x [, 1), let 1 a n (x)2 n (a n (x) = or 1) be the base-2 expansion of x. (If x is a dyadic rational, choose the expansion such that a n (x) = for large n.) Then the
More information3 Hausdorff and Connected Spaces
3 Hausdorff and Connected Spaces In this chapter we address the question of when two spaces are homeomorphic. This is done by examining two properties that are shared by any pair of homeomorphic spaces.
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationAnalysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t
Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationContinuous Functions on Metric Spaces
Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0
More informationMATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:
MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is
More informationHomework 5. Solutions
Homework 5. Solutions 1. Let (X,T) be a topological space and let A,B be subsets of X. Show that the closure of their union is given by A B = A B. Since A B is a closed set that contains A B and A B is
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationEconomics 204 Fall 2011 Problem Set 2 Suggested Solutions
Economics 24 Fall 211 Problem Set 2 Suggested Solutions 1. Determine whether the following sets are open, closed, both or neither under the topology induced by the usual metric. (Hint: think about limit
More informationSOLUTIONS TO SOME PROBLEMS
23 FUNCTIONAL ANALYSIS Spring 23 SOLUTIONS TO SOME PROBLEMS Warning:These solutions may contain errors!! PREPARED BY SULEYMAN ULUSOY PROBLEM 1. Prove that a necessary and sufficient condition that the
More informationMetric Spaces Math 413 Honors Project
Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only
More informationWalker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015
Problem 1. Take any mapping f from a metric space X into a metric space Y. Prove that f is continuous if and only if f(a) f(a). (Hint: use the closed set characterization of continuity). I make use of
More informationThis chapter contains a very bare summary of some basic facts from topology.
Chapter 2 Topological Spaces This chapter contains a very bare summary of some basic facts from topology. 2.1 Definition of Topology A topology O on a set X is a collection of subsets of X satisfying the
More informationWhat to remember about metric spaces
Division of the Humanities and Social Sciences What to remember about metric spaces KC Border These notes are (I hope) a gentle introduction to the topological concepts used in economic theory. If the
More informationBootcamp. Christoph Thiele. Summer As in the case of separability we have the following two observations: Lemma 1 Finite sets are compact.
Bootcamp Christoph Thiele Summer 212.1 Compactness Definition 1 A metric space is called compact, if every cover of the space has a finite subcover. As in the case of separability we have the following
More informationMATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1
MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION ELEMENTS OF SOLUTION Problem 1 1. Let X be a Hausdorff space and K 1, K 2 disjoint compact subsets of X. Prove that there exist disjoint open sets U 1 and
More informationMTG 5316/4302 FALL 2018 REVIEW FINAL
MTG 5316/4302 FALL 2018 REVIEW FINAL JAMES KEESLING Problem 1. Define open set in a metric space X. Define what it means for a set A X to be connected in a metric space X. Problem 2. Show that if a set
More informationMath 201 Topology I. Lecture notes of Prof. Hicham Gebran
Math 201 Topology I Lecture notes of Prof. Hicham Gebran hicham.gebran@yahoo.com Lebanese University, Fanar, Fall 2015-2016 http://fs2.ul.edu.lb/math http://hichamgebran.wordpress.com 2 Introduction and
More informationSummer Jump-Start Program for Analysis, 2012 Song-Ying Li
Summer Jump-Start Program for Analysis, 01 Song-Ying Li 1 Lecture 6: Uniformly continuity and sequence of functions 1.1 Uniform Continuity Definition 1.1 Let (X, d 1 ) and (Y, d ) are metric spaces and
More informationP-adic Functions - Part 1
P-adic Functions - Part 1 Nicolae Ciocan 22.11.2011 1 Locally constant functions Motivation: Another big difference between p-adic analysis and real analysis is the existence of nontrivial locally constant
More informationANALYSIS WORKSHEET II: METRIC SPACES
ANALYSIS WORKSHEET II: METRIC SPACES Definition 1. A metric space (X, d) is a space X of objects (called points), together with a distance function or metric d : X X [0, ), which associates to each pair
More informationWeek 5 Lectures 13-15
Week 5 Lectures 13-15 Lecture 13 Definition 29 Let Y be a subset X. A subset A Y is open in Y if there exists an open set U in X such that A = U Y. It is not difficult to show that the collection of all
More information3 COUNTABILITY AND CONNECTEDNESS AXIOMS
3 COUNTABILITY AND CONNECTEDNESS AXIOMS Definition 3.1 Let X be a topological space. A subset D of X is dense in X iff D = X. X is separable iff it contains a countable dense subset. X satisfies the first
More informationSet, functions and Euclidean space. Seungjin Han
Set, functions and Euclidean space Seungjin Han September, 2018 1 Some Basics LOGIC A is necessary for B : If B holds, then A holds. B A A B is the contraposition of B A. A is sufficient for B: If A holds,
More informationReal Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis
Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It
More informationMath General Topology Fall 2012 Homework 13 Solutions
Math 535 - General Topology Fall 2012 Homework 13 Solutions Note: In this problem set, function spaces are endowed with the compact-open topology unless otherwise noted. Problem 1. Let X be a compact topological
More informationMath General Topology Fall 2012 Homework 6 Solutions
Math 535 - General Topology Fall 202 Homework 6 Solutions Problem. Let F be the field R or C of real or complex numbers. Let n and denote by F[x, x 2,..., x n ] the set of all polynomials in n variables
More informationMath 4317 : Real Analysis I Mid-Term Exam 1 25 September 2012
Instructions: Answer all of the problems. Math 4317 : Real Analysis I Mid-Term Exam 1 25 September 2012 Definitions (2 points each) 1. State the definition of a metric space. A metric space (X, d) is set
More informationMath 426 Homework 4 Due 3 November 2017
Math 46 Homework 4 Due 3 November 017 1. Given a metric space X,d) and two subsets A,B, we define the distance between them, dista,b), as the infimum inf a A, b B da,b). a) Prove that if A is compact and
More information*Room 3.13 in Herschel Building
MAS3706: Topology Dr. Zinaida Lykova School of Mathematics, Statistics and Physics Newcastle University *Room 3.13 in Herschel Building These lectures concern metric and topological spaces and continuous
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationLocally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem
56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi
More informationE.7 Alaoglu s Theorem
E.7 Alaoglu s Theorem 359 E.7 Alaoglu s Theorem If X is a normed space, then the closed unit ball in X or X is compact if and only if X is finite-dimensional (Problem A.25). Even so, Alaoglu s Theorem
More informationIntroduction to Topology
Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about
More informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
More informationMath General Topology Fall 2012 Homework 11 Solutions
Math 535 - General Topology Fall 2012 Homework 11 Solutions Problem 1. Let X be a topological space. a. Show that the following properties of a subset A X are equivalent. 1. The closure of A in X has empty
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationMASTERS EXAMINATION IN MATHEMATICS SOLUTIONS
MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of
More informationLecture Notes on Metric Spaces
Lecture Notes on Metric Spaces Math 117: Summer 2007 John Douglas Moore Our goal of these notes is to explain a few facts regarding metric spaces not included in the first few chapters of the text [1],
More informationFilters in Analysis and Topology
Filters in Analysis and Topology David MacIver July 1, 2004 Abstract The study of filters is a very natural way to talk about convergence in an arbitrary topological space, and carries over nicely into
More informationMath LM (24543) Lectures 01
Math 32300 LM (24543) Lectures 01 Ethan Akin Office: NAC 6/287 Phone: 650-5136 Email: ethanakin@earthlink.net Spring, 2018 Contents Introduction, Ross Chapter 1 and Appendix The Natural Numbers N and The
More informationMetric Spaces Math 413 Honors Project
Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only
More informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
More informationFunctional Analysis HW #1
Functional Analysis HW #1 Sangchul Lee October 9, 2015 1 Solutions Solution of #1.1. Suppose that X
More informations P = f(ξ n )(x i x i 1 ). i=1
Compactness and total boundedness via nets The aim of this chapter is to define the notion of a net (generalized sequence) and to characterize compactness and total boundedness by this important topological
More informationMAS3706 Topology. Revision Lectures, May I do not answer enquiries as to what material will be in the exam.
MAS3706 Topology Revision Lectures, May 208 Z.A.Lykova It is essential that you read and try to understand the lecture notes from the beginning to the end. Many questions from the exam paper will be similar
More informationDynamical Systems 2, MA 761
Dynamical Systems 2, MA 761 Topological Dynamics This material is based upon work supported by the National Science Foundation under Grant No. 9970363 1 Periodic Points 1 The main objects studied in the
More informationProblem Set 5: Solutions Math 201A: Fall 2016
Problem Set 5: s Math 21A: Fall 216 Problem 1. Define f : [1, ) [1, ) by f(x) = x + 1/x. Show that f(x) f(y) < x y for all x, y [1, ) with x y, but f has no fixed point. Why doesn t this example contradict
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationAnalysis Qualifying Exam
Analysis Qualifying Exam Spring 2017 Problem 1: Let f be differentiable on R. Suppose that there exists M > 0 such that f(k) M for each integer k, and f (x) M for all x R. Show that f is bounded, i.e.,
More informationIntroduction to Dynamical Systems
Introduction to Dynamical Systems France-Kosovo Undergraduate Research School of Mathematics March 2017 This introduction to dynamical systems was a course given at the march 2017 edition of the France
More informationSpaces of continuous functions
Chapter 2 Spaces of continuous functions 2.8 Baire s Category Theorem Recall that a subset A of a metric space (X, d) is dense if for all x X there is a sequence from A converging to x. An equivalent definition
More informationvan Rooij, Schikhof: A Second Course on Real Functions
vanrooijschikhof.tex April 25, 2018 van Rooij, Schikhof: A Second Course on Real Functions Notes from [vrs]. Introduction A monotone function is Riemann integrable. A continuous function is Riemann integrable.
More informationAnalysis Finite and Infinite Sets The Real Numbers The Cantor Set
Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered
More informationMath General Topology Fall 2012 Homework 1 Solutions
Math 535 - General Topology Fall 2012 Homework 1 Solutions Definition. Let V be a (real or complex) vector space. A norm on V is a function : V R satisfying: 1. Positivity: x 0 for all x V and moreover
More informationx 0 + f(x), exist as extended real numbers. Show that f is upper semicontinuous This shows ( ɛ, ɛ) B α. Thus
Homework 3 Solutions, Real Analysis I, Fall, 2010. (9) Let f : (, ) [, ] be a function whose restriction to (, 0) (0, ) is continuous. Assume the one-sided limits p = lim x 0 f(x), q = lim x 0 + f(x) exist
More informationBounded and continuous functions on a locally compact Hausdorff space and dual spaces
Chapter 6 Bounded and continuous functions on a locally compact Hausdorff space and dual spaces Recall that the dual space of a normed linear space is a Banach space, and the dual space of L p is L q where
More informationFUNCTIONAL ANALYSIS CHRISTIAN REMLING
FUNCTIONAL ANALYSIS CHRISTIAN REMLING Contents 1. Metric and topological spaces 2 2. Banach spaces 12 3. Consequences of Baire s Theorem 30 4. Dual spaces and weak topologies 34 5. Hilbert spaces 50 6.
More informationGeneral Topology. Summer Term Michael Kunzinger
General Topology Summer Term 2016 Michael Kunzinger michael.kunzinger@univie.ac.at Universität Wien Fakultät für Mathematik Oskar-Morgenstern-Platz 1 A-1090 Wien Preface These are lecture notes for a
More informationMA651 Topology. Lecture 10. Metric Spaces.
MA65 Topology. Lecture 0. Metric Spaces. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Linear Algebra and Analysis by Marc Zamansky
More informationMath 320-2: Final Exam Practice Solutions Northwestern University, Winter 2015
Math 30-: Final Exam Practice Solutions Northwestern University, Winter 015 1. Give an example of each of the following. No justification is needed. (a) A closed and bounded subset of C[0, 1] which is
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More information2. Metric Spaces. 2.1 Definitions etc.
2. Metric Spaces 2.1 Definitions etc. The procedure in Section for regarding R as a topological space may be generalized to many other sets in which there is some kind of distance (formally, sets with
More information