4. (alternate topological criterion) For each closed set V Y, its preimage f 1 (V ) is closed in X.

Size: px
Start display at page:

Download "4. (alternate topological criterion) For each closed set V Y, its preimage f 1 (V ) is closed in X."

Transcription

1 Chapter 2 Functions 2.1 Continuous functions Definition 2.1. Let (X, d X ) and (Y,d Y ) be metric spaces. A function f : X! Y is continuous at x 2 X if for each " > 0 there exists >0 with the property that for any x 2 X with d X (x, x ) < we have d(f(x),f(x )) <". We say that f : X! Y is continuous if f is continuous at each x 2 X. Proposition 2.2 (Sequential and topological criteria for continuity). Suppose f : X! Y is a function between metric spaces. The following are equivalent: 1. f : X! Y is continuous. 2. (sequential criterion) For all sequences {x n } 1 n=1 X, we have x n! x in X implies f(x n )! f(x) in Y. 3. (topological criterion) For each open set V Y, its preimage f 1 (V ) is open in X. 4. (alternate topological criterion) For each closed set V Y, its preimage f 1 (V ) is closed in X. Proof. To see that the first statement implies the second, fix ">0 and let >0 be as in the definition of continuity. Suppose that x n! x. Then there exists N 2 N such that n N implies d X (x n,x) <. For such n, the continuity of f implies that d Y (f(x n ),f(x)) <". Hence f(x n )! f(x) iny. 22

2 CHAPTER 2. FUNCTIONS 23 We now show that the sequential criterion implies the alternate topological criterion. Let V Y be a closed set and suppose that {x n } 1 n=1 f 1 (V ) is a sequence such that x n! x 2 X. Thus {f(x n )} 1 n=1 V is a sequence that, by hypothesis, converges to f(x). Since V is closed, this implies f(x) 2 V and thus x 2 f 1 (V ). Consequently f 1 (V ) is closed. Since f 1 (Y \ V )=X\ f 1 (V ), the alternate topological criterion for continuity is clearly equivalent to the topological criterion. Finally, we show that the topological criterion for continuity implies the definition. Supposing the topological criterion holds, fix x 2 X and let ">0. By hypothesis f 1 (B " (f(x ))) is open in X and contains x. Thus there exists >0 such that B (x ) f 1 (B " (f(x ))). This immediately implies that if d X (x, x ) < then d Y (f(x),f(x )) <". Lemma 2.3. The composition of continuous functions is continuous. Proof. This follows immediately from the topological criterion for continuity. Proposition 2.4. Suppose X, Y are metric spaces, f : X! Y is a continuous function. 1. If U X is connected, then f(u) is connected. 2. If K X is compact, then f(k) is compact. Proof. 1. Suppose f(u) =V 1 tv 2,whereV 1,V 2 Y are open. Then U = U 1 tu 2, where U i = U \f 1 (V i ) are open sets. The connectedness of U implies that either U 1 or U 2 is empty; without loss of generality U 1 = ;. This implies that V 1 = ; and thus that f(u) is connected. 2. Let {U j } j2j be an open cover of f(k). Then {f 1 (U j )} j2j is an open cover of K. The compactness of K implies that there exists afinitesubsetl J such that K S S j2l f 1 (U j ). Thus f(k) j2l U j, which implies that {U j } has a finite subcover. Hence f(k) is compact. Definition 2.5. Let (X, d X ) and (Y,d Y ) be metric spaces. A function f : X! Y is uniformly continuous if for each ">0 there exists >0 with the property that for any x 1,x 2 2 X with d X (x 1,x 2 ) < we have d(f(x 1 ),f(x 2 )) <".

3 CHAPTER 2. FUNCTIONS 24 Proposition 2.6. Suppose K, Y are metric spaces, f : K! Y is a continuous function, and K is compact. Then f is uniformly continuous. Proof. Let ">0. Since f : K! Y is continuous, then for each x 2 K there exists (x) > 0 such that x 0 2 B (x) (x) implies that f(x 0 ) 2 B "/2 (f(x)). Notice that {B (x) (x) x 2 K} is an open cover of K. Thus there exists a finite subcover B (x1 )(x 1 ),...,B (xn )(x N ). Let be the Lebesgue number for this subcover. Thus if d(x, x 0 ) < then there exists k 2{1,...,N} such that x, x 0 2 B (xk )(x k ), which implies that f(x),f(x 0 ) 2 B "/2 (f(x k )). The triangle inequality implies that d(f(x),f(x 0 )) <". Lemma 2.7. Suppose V is a normed vector space. The function f : V! R given by f(x) =kxk is continuous. Proof. This follows directly from the definition of the metric arising from the norm on V. Theorem 2.8 (Extreme value theorem). Let K be a compact metric space and V be a normed vector space. Suppose that f : K! V is continuous. Then there exists x max 2 K such that kf(x max )k =sup{kf(x)k x 2 K}. Proof. Let f max =sup{kf(x)k x 2 K}. Then there exists a sequence {x n } 1 k=1 K such that kf(x n)k!f max. By the sequential criterion for compactness, there exists a subsequence x nk! x min 2 K. The continuity of x 7! kf(x)k implies that kf(x nk )k!kf(x)k, and thus kf(x)k = f max. Exercise 2.1. Give an example of a continuous function f : X! Y and open set U X such that f(u) is not open in Y. Exercise 2.2. Find a continuous function f : R! R and a connected set Y R such that f 1 (Y ) is not connected. Exercise 2.3. Find a continuous function f : R! R and a compact set Y R such that f 1 (Y ) is not compact. Exercise 2.4. Give an example of a continuous function f : X! Y where X is not connected, but Y is connected. Exercise 2.5. Give an example of a continuous, bijective function f : X! Y where f 1 : Y! X is not continuous.

4 CHAPTER 2. FUNCTIONS 25 Exercise 2.6. Let d(, ) be the standard metric on R and let Y = {x 2 R x>1}. Draw a plot of the function f : R! R given by f(x) =d(x, Y ). Exercise 2.7. Show that the function f :(0, 1)! (0, 1) given by f(x) = 2x is uniformly continuous. Exercise 2.8. Show that the function f :(0, 1)! (0, 1) given by f(x) = 1 x is not uniformly continuous. Exercise 2.9. Show that the function f :(2, 1)! (0, 1) given by f(x) = 1 x is uniformly continuous. Exercise Suppose f :[a, b]! R is continuous. Show that there exists x max,x min 2 [a, b] such that f(x max )=sup{f(x) x 2 [a, b]} and f(x min )=inf{f(x) x 2 [a, b]}. 2.2 Path connectedness Definition 2.9. A metric space X is called path connected if for each x 0,x 1 2 X there exists a continuous function :[0, 1]! X such that (0) = x 0 and (1) = x 1. Proposition Suppose f : X! Y is continuous and U X is path connected. Then f(u) is path connected. Proof. Let y 0,y 1 2 f(u) and choose x 0 2 f 1 (y 0 ) \ U, x 1 2 f 1 (y 1 ) \ U. The path connectedness of U implies that there exists :[0, 1]! U such that (0) = x 0 and (1) = x 1. The function = f is a continuous function [0, 1]! f(u) such that (0) = y 0 and (1) = y 1. Thus f(u) is path connected. Proposition If metric space X is path connected then it is connected. Proof. We argue by contradiction and suppose that X is path connected, but not connected. Then X = U 0 t U 1,whereU 0,U 1 X are open and nonempty. Let x 0 2 U 0 and x 1 2 U 1. By the path connectedness of U, there exists continuous function :[0, 1]! X such that (0) = x 0 and (1) = x 1. The continuity of implies that V 0 = 1 (U 0 ) and V 1 = 1 (U 1 ) are open. Notice also that 0 2 V 0,12 V 1, and that [0, 1] = V 0 t V 1. This, however, contradicts the connectedness of [0, 1]. Proposition Not every connected metric space is path connected

5 CHAPTER 2. FUNCTIONS 26 Proof. It su ces to provide an example. We present here an adaptation of the flea and comb example from the book A first course in algebraic topology by C. Kosniowski. Let F = {(0, 1)} R 2 be the flea and define the comb to be C = {(x, 0) 2 R 2 x 2 [0, 1]} [ n2n{(1/n, y) 2 R 2 y 2 [0, 1]}. Let X = F [ C, which we view as a subset of the metric space R 2 ;weuse the metric induced by the standard metric. It is straightforward to see that C is a path connected, and hence connected, subspace of X. Suppose, however, that X is not connected and thus X = U 0 t U 1 for some open, nonempty sets U 0,U 1. Without loss of generality, F U 0 and thus U 1 C. By definition of U 0 being open there exists r>0 such that B r (0, 1) = {(x, y) 2 X x 2 +(y 1) 2 <r 2 } U 0. Since B r (0, 1) is open in X, wethesetv = B r (0, 1) \ C is open in C. Notice also that V is not empty. Thus C = V t U 1, the disjoint union of two nonempty open sets, which contradicts the connectedness of C. From this we conclude that X is connected. To see that X is not path connected, we argue by contradiction and suppose that there exists a continuous path :[0, 1]! X such that (0) = (0, 1) 2 F and (1) = (1, 0) 2 C. Let W = X \{(x, y) 2 R 2 y>0}. Since W X is open and is continuous the set 1 (W ) is open in [0, 1]. Thus for each t 2 1 (0, 1) 1 (W )thereexists >0 such that B (t ) 1 (W ). We now claim that for such a t we have (B (t )) F. Suppose that this is not the case. Then there exists ˆt 2 B (t ) such that (t) =(ˆx, ŷ) with ˆx >0. Let z 2 (0, 1) such that z<ˆx. By intersecting with the sets {(x, y) x>z} and {(x, y) x<z}, theset (B (t )) can be realized as the disjoint union of two nonempty open sets. This means that (B (t )) is not connected, which contradicts our theorem that the continuous image of a connected set is connected. Consequently, we see that for any t 2 1 (0, 1) there exists >0 such that (B (t )) F. The previous argument shows that 1 (F ) is open. However F is a closed subset of X and thus 1 (F ) is closed. But the interval [0, 1] is connected, which means that the only nonempty subset that is both open and closed in the whole set itself. This contradicts our assumption that (1) 2 C. Thus we see that X cannot be path connected.

6 CHAPTER 2. FUNCTIONS Homeomorphisms Lemma Continuity of a function is a topological definition. Definition Topological spaces X and Y are called homeomorphic if there exists a continuous bijection X! Y such that its inverse is also continuous. Such a bijection is called a homeomorphism. IfX and Y are homeomorphic we write X = Y. Lemma Being homeomorphic is an equivalence relation on the set of topological spaces. Proof. This follows immediately from the identity map being a homeomorphism and since compositions of continuous bijections are themselves continuous bijections. Definition A property of topological spaces is called homeomorphism invariant if whenever X has that property and X = Y then Y also has that property. Proposition The property of being compact is homeomorphism invariant. 2. The property of being connected is homeomorphism invariant. 3. The property of being path connected is homeomorphism invariant. Proof. The proposition follows from the facts that the continuous image of a compact set is compact, the continuous image of a connected set is connected, and the continuous image of a path connected set is path connected. Exercise Prove that (0, 1) is homeomorphic to R. 2. Prove that [0, 1] is not homeomorphic to R. 2.4 Contraction mappings Definition Suppose X is a metric space with metric d. A function f : X! X is called a contraction mapping if there exists constant 2 [0, 1) such that d(f(x),f(y)) apple d(x, y) for all x, y 2 X.

7 CHAPTER 2. FUNCTIONS 28 Lemma Let X be a metric space and suppose f : X! X is a contraction mapping. Then f is uniformly continuous. Proof. This follows immediately from the definition of contraction mapping. Theorem 2.20 (Banach fixed point theorem). Suppose X is a complete, nonempty metric space. If f : X! X is a contraction mapping, then there exists a unique x 2 X such that f(x )=x. Proof. The proof proceeds by using the contraction property to inductively construct a Cauchy sequence converging to a fixed point. Define the sequence {x n } 1 n=1 X by choosing x 1 arbitrarily and setting x n+1 = f(x n ). The contraction property implies that for any n 2 N we have d(x n+1,x n+2 )=d(f(x n ),f(x n+1 ) apple d(x n,x n+1 ). Thus by induction we see that for m>nwe have d(x n,x m ) apple mxn 1 k=0 d(x n+k,x n+k+1 ) mxn 1 apple d(x n,x n+1 ) k=0 apple d(x 1,x 2 ) 1 n 1. Since the right side tends to zero as n!1we see that the sequence {x n } is Cauchy and thus converges to some x 2 X. Since f is continuous x n! x implies that f(x n )! f(x). Thus taking the limit of the defining relation x n+1 = f(x n ) implies that x = f(x). Finally, we establish uniqueness. Suppose that f(x) =x and f(x 0 )=x 0. Then d(x, x 0 )=d(f(x),f(x 0 )) apple d(x, x 0 ). This implies (1 )d(x, x 0 ) apple 0; thus x = x 0. Exercise Give an example of a continuous function f : R! R that has a fixed point, but that is not a contraction mapping. 2.5 Spaces of continuous functions Definition Suppose X is a metric space and V is a normed vector space. k

8 CHAPTER 2. FUNCTIONS We denote the set of bounded functions X! R by L 1 (X; V) We denote the set of continuous functions X! R by C 0 (X; V). 3. We denote the set of bounded, continuous functions X! R by C 0 b (X; V); thusc0 b (X; V) =L1 (X; V) \ C 0 (X; V). If V = R, wesimplywritel 1 (X), C 0 (X), Cb 0 (X) for these sets. Lemma Let V be a normed vector space. If K is a compact metric space then C 0 b (K; V) =C0 (K; V). Proof. It su ces to show that each function f 2 C 0 (K; V) is bounded. This follows immediately from applying the extreme value theorem to the function K! R given by x 7! kf(x)k. Definition Suppose X is a metric space and V is a normed vector space. 1. For any function f : X! V we define the supremum norm of f 2 to be kfk L 1 (X;V) =sup{kf(x)k x 2 X}. 2. We say that a sequence of functions f n : X! V converges uniformly to function f : X! V if kf n fk L 1 (X;V)! 0 as a sequence of real numbers. Uniform convergence is also called convergence in L 1. Lemma Let X be a metric space and V be a normed vector space. The supremum norm makes each of the sets L 1 (X; V), C 0 (X; V), Cb 0 (X; V) normed vector spaces, and thus metric spaces with respect to the metric d(f,g) =kf gk L 1 (X;V). Proof. Clearly all three sets are real vector spaces. The positive definite and scaling properties of a norm are evident, so we only need to address the triangle inequality. Let f,g: X! V. For each x 2 X we have kf(x)+ g(x)k apple kf(x)k + kg(x)k. 1 We are abusing the standard notation here. Technically, the symbol L 1 (X; V) should be reserved for the (larger) set of essentially bounded functions. However, the definition of this set requires measure theory, which is beyond the scope of these notes. 2 Again, we are abusing the standard notation. The L 1 norm should be defined using the essential supremum, a topic beyond the scope of these notes.

9 CHAPTER 2. FUNCTIONS 30 This implies that which implies the desired result. kf(x)+g(x)k applekfk L 1 (X;V) + kgk L 1 (X;V), Proposition Let X be a complete metric space and V be a Banach space. Then Cb 0 (X; V) is a Banach space. Proof. Let {f n } 1 n=1 C0 b (X; V) be a Cauchy sequence. We first claim that there exists M 2 R such that kf(x)k applem for all x 2 M. By definition of Cauchy sequence, there exists N 2 N 1 such that n, m N 1 implies kf n f m k L 1 (X;V) apple 1. From this it follows that for any n 2 N we have kf n (x)k apple1 + max{kf n k L 1 (X;V) 1 apple n apple N 1 } = M. Next, we construct a bounded function f : X! R such that f n (x)! f(x) for each x 2 X. Fixx 2 X. The fact that {f n } is Cauchy in Cb 0 (X; V) implies that the sequence {f n (x)} 1 n=1 is a Cauchy sequence in V. Define function f : X! V by setting f(x) to be the limit of the the sequence {f n (x)}. Sincekf n (x)k applem is bounded for all n 2 N and for all x 2 X, we have that kf(x)k applem for all x. Thus the function f is bounded. We now show that f n! f in L 1. Fix " > 0 and choose N 2 N so that n, m N implies kf n f m k L 1 (X;V) <"/4. Since for each x 2 X the sequence {f N (x) f m (x)} 1 m=n converges to f N(x) f(x), we have kf N (x) f(x)k <"/4 for all x 2 X. Let n N and fix x 2 X. Then for all m N we have kf n (x) f(x)k applekf n (x) f m (x)k + kf m (x) f(x)k < " 2 + kf m(x) f(x)k. Notice that as m!1we have kf m (x) f(x)k!0. Thus for all n N we have kf n (x) f(x)k apple " 4 for all x 2 X. Taking the supremum over all x 2 X, we find that n N implies kf n fk L 1 (X;V) apple "/4 <". It remains to show that f is continuous. Let N be as above, and let x 1,x 2 2 X. Wehave kf(x 1 ) f(x 2 )k applekf(x 1 ) f N (x 1 )k + kf N (x 1 ) f N (x 2 )k + kf N (x 2 ) f(x 2 )k < " 2 + kf N(x 1 ) f N (x 2 )k. The continuity of f N implies that there exists >0 such that d(x 1,x 2 ) < implies that kf N (x 1 ) f N (x 2 )k <"/2, which completes the proof.

10 CHAPTER 2. FUNCTIONS Real valued functions Theorem 2.26 (Intermediate value theorem). Suppose X is a connected metric space and f : X! R is continuous. Let a, b 2 X. For any number y between f(a) and f(b) there exists x 2 X such that f(x) =y. Proof. The proof proceeds by contradiction. Suppose there exists y between f(a) and f(b) such that f 1 (y) =;. Then X = f 1 ( 1,y) t f 1 (y, 1), with both sets being open and nonempty. This contradicts the connectedness of X. Corollary Suppose f :[a, b]! [a, b] is continuous. Then there exists x 2 [a, b] such that f(x) =x. Proof. If f(a) =a or f(b) =b then we are done. Otherwise, f(a) a>0and f(b) b<0. The existence of x 2 [a, b] such that f(x) x = 0 now follows from applying the intermediate value theorem to the function g :[a, b]! R defined by g(x) =f(x) x. Definition Let X be a metric space. 1. We say that a sequence {f k } 1 k=1 C0 (X) is pointwise bounded if for each x 2 X there exists M such that f k (x) applem for all k 2 N. 2. We say that a sequence {f k } 1 k=1 C0 (X) is uniformly bounded if there exists M such that kf k k L 1 (X) apple M for all k 2 N. 3. We say that a sequence {f k } 1 k=1 C0 (X) is equicontinuous if for each ">0 there exists >0 such that for all k 2 N we have d(x, y) < =) f k (x) f k (y) <". Proposition Suppose K R is compact and {f n } 1 n=1 C0 (K) is a convergent sequence. Then {f n } 1 n=1 is equicontinuous. Proof. Let ">0. Since {f n } is a convergent sequence it is Cauchy and thus there exists N 2 N such that for all n, m N we have kf n f m k L 1 (K) <"/3. Note that since K is compact, each function f n is uniformly continuous. Thus for each n 2 N there exists n > 0 such that d(x, y) < n implies f n (x) f n (y) <"/3. Let =min{ 1,..., N}.

11 CHAPTER 2. FUNCTIONS 32 Suppose that x, y 2 K are such that d(x, y) <.Ifn2{1,...,N} then by construction f n (x) f n (y) <". If n>n, then the supremum norm estimate implies that f n (x) f n (y) apple f n (x) f N (x) + f N (x) f N (y) + f N (y) f n (y) which concludes the proof. apple " 3 + " 3 + " 3 = ", Lemma Suppose K is a compact metric space. If {f k } 1 k=1 C0 (K) is equicontinuous and pointwise bounded then the sequence is uniformly bounded. Proof. Since the sequence is equicontinuous there exists > 0 such that d(x, y) < implies that f n (x) f n (y) < 1 for all n 2 N. The compactness of K implies that there exist a finite number of points x 1,...,x N such that {B (x i )} N i=1 is an open cover of K. For each x i there exists M i such that f n (x i ) applem i for all n 2 N. Let M = max{m 1,...,M N }. The triangle inequality implies that f n (x) apple M + 1 for all x 2 K and n 2 N. Theorem 2.31 (Arzela-Ascoli). Suppose K R is compact and {f k } 1 k=1 C 0 (K) is both uniformly bounded and equicontinuous. Then {f k } 1 k=1 is bounded in C 0 (K) and contains a subsequence that converges to some function f 2 C 0 (K). Proof. Since Q is countable and is dense in R, we may choose a sequence {q i } 1 i=1 K such that {q i i 2 N} = K. For each i 2 N the sequence {f n (q i )} 1 n=1 is bounded. Thus there exists a subsequence {f nk } 1 k=1 {f n} 1 n=1 such that {f n k (q 1 )} 1 k=1 is a convergent sequence of real numbers. For notational simplicity, denote this subsequence {f k,1 } 1 k=1. Proceeding inductively, we see that there exists a sequence of subsequences {f n } 1 n=1 {f k,1 } 1 k=1 {f k,i } 1 k=1... such that {f k,i (q i )} 1 k=1 is a convergent sequence of real numbers. Consider now the subsequence {f j,j } 1 j=1 {f n} 1 n=1. Note that for each subsequence {f k,i } there exists J 2 N such that {f j,j } 1 j=j {f k,i} 1 k=1.thus {f j,j (q i )} 1 j=1 is a convergent sequence of real numbers for each i 2 N. We claim that {f j,j } 1 j=1 is a Cauchy sequence in C0 (K). To see this, let ">0. The equicontinuity of {f n } implies that there exists >0 so that

12 CHAPTER 2. FUNCTIONS 33 whenever x y < we have f j,j (x) f j,j (y) <"/3 for all j 2 N. The compactness of K implies that there exists I 2 N such that {B (q i ) 1 apple i apple I} is an open cover for K. The finiteness of this open cover and the convergence of the sequences {f j,j (q i )} implies that there exists J 2 N such that whenever i apple I and j, j 0 J we have f j,j (q i ) f j 0,j 0(q i) <"/3. Fix x 2 K. There exists i apple I such that x 2 B (q i ). Thus for j, j 0 J we have f j,j (x) f j 0,j 0(x) apple f j,j (x) f j,j (q i ) + f j,j (q i ) f j 0,j 0(q i) + f j 0,j 0(q i) f j 0,j 0(x) apple " 3 + " 3 + " 3 = " Taking the supremum over all x 2 K shows that j, j 0 J implies that kf j,j f j 0,f 0k L 1 (K) <".Thus{f j,j } is a Cauchy sequence. Since C 0 (K) is complete, the sequence converges to a continuous function K! R. Remark The Arzela-Ascoli theorem holds when K is any compact metric space. The proof relies on showing that any compact metric space has a countable dense subset. See, for example, the book Principles of Mathematical Analysis by Walter Rudin. Exercise Find a subset U R and a sequence of functions f n : U! R that is pointwise bounded but not uniformly bounded.

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

g 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 information

converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n

converges 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 information

Continuous Functions on Metric Spaces

Continuous 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 information

Math 117: Continuity of Functions

Math 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 information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 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 information

CHAPTER 9. Embedding theorems

CHAPTER 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 information

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Analysis 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 information

Problem Set 2: Solutions Math 201A: Fall 2016

Problem 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 information

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

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 information

Topological properties

Topological 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 information

Real Analysis Chapter 4 Solutions Jonathan Conder

Real 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 information

THEOREMS, ETC., FOR MATH 515

THEOREMS, 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 information

Real Analysis Notes. Thomas Goller

Real 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 information

Part III. 10 Topological Space Basics. Topological Spaces

Part 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 information

ANALYSIS WORKSHEET II: METRIC SPACES

ANALYSIS 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 information

The Heine-Borel and Arzela-Ascoli Theorems

The 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 information

MAT 544 Problem Set 2 Solutions

MAT 544 Problem Set 2 Solutions MAT 544 Problem Set 2 Solutions Problems. Problem 1 A metric space is separable if it contains a dense subset which is finite or countably infinite. Prove that every totally bounded metric space X is separable.

More information

7 Complete metric spaces and function spaces

7 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 information

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x

More information

Analysis III Theorems, Propositions & Lemmas... Oh My!

Analysis III Theorems, Propositions & Lemmas... Oh My! Analysis III Theorems, Propositions & Lemmas... Oh My! Rob Gibson October 25, 2010 Proposition 1. If x = (x 1, x 2,...), y = (y 1, y 2,...), then is a distance. ( d(x, y) = x k y k p Proposition 2. In

More information

Lecture 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 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 information

1. Let A R be a nonempty set that is bounded from above, and let a be the least upper bound of A. Show that there exists a sequence {a n } n N

1. Let A R be a nonempty set that is bounded from above, and let a be the least upper bound of A. Show that there exists a sequence {a n } n N Applied Analysis prelim July 15, 216, with solutions Solve 4 of the problems 1-5 and 2 of the problems 6-8. We will only grade the first 4 problems attempted from1-5 and the first 2 attempted from problems

More information

Metric Spaces and Topology

Metric 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 information

MATH 202B - Problem Set 5

MATH 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 information

Problem Set 5: Solutions Math 201A: Fall 2016

Problem 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 information

Maths 212: Homework Solutions

Maths 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 information

Review Notes for the Basic Qualifying Exam

Review Notes for the Basic Qualifying Exam Review Notes for the Basic Qualifying Exam Topics: Analysis & Linear Algebra Fall 2016 Spring 2017 Created by Howard Purpose: This document is a compilation of notes generated to prepare for the Basic

More information

Week 5 Lectures 13-15

Week 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 information

Problem Set 5. 2 n k. Then a nk (x) = 1+( 1)k

Problem 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 information

Chapter 2 Metric Spaces

Chapter 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 information

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Real 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 information

Math 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 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 information

Logical Connectives and Quantifiers

Logical Connectives and Quantifiers Chapter 1 Logical Connectives and Quantifiers 1.1 Logical Connectives 1.2 Quantifiers 1.3 Techniques of Proof: I 1.4 Techniques of Proof: II Theorem 1. Let f be a continuous function. If 1 f(x)dx 0, then

More information

Bootcamp. 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 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 information

Spaces of continuous functions

Spaces 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 information

Math 209B Homework 2

Math 209B Homework 2 Math 29B Homework 2 Edward Burkard Note: All vector spaces are over the field F = R or C 4.6. Two Compactness Theorems. 4. Point Set Topology Exercise 6 The product of countably many sequentally compact

More information

Sets, Functions and Metric Spaces

Sets, Functions and Metric Spaces Chapter 14 Sets, Functions and Metric Spaces 14.1 Functions and sets 14.1.1 The function concept Definition 14.1 Let us consider two sets A and B whose elements may be any objects whatsoever. Suppose that

More information

Chapter 1: Banach Spaces

Chapter 1: Banach Spaces 321 2008 09 Chapter 1: Banach Spaces The main motivation for functional analysis was probably the desire to understand solutions of differential equations. As with other contexts (such as linear algebra

More information

Axioms of separation

Axioms of separation Axioms of separation These notes discuss the same topic as Sections 31, 32, 33, 34, 35, and also 7, 10 of Munkres book. Some notions (hereditarily normal, perfectly normal, collectionwise normal, monotonically

More information

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability... Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................

More information

Topology. 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  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 information

Real Analysis. Joe Patten August 12, 2018

Real Analysis. Joe Patten August 12, 2018 Real Analysis Joe Patten August 12, 2018 1 Relations and Functions 1.1 Relations A (binary) relation, R, from set A to set B is a subset of A B. Since R is a subset of A B, it is a set of ordered pairs.

More information

Lecture Notes on Metric Spaces

Lecture 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 information

The Arzelà-Ascoli Theorem

The Arzelà-Ascoli Theorem John Nachbar Washington University March 27, 2016 The Arzelà-Ascoli Theorem The Arzelà-Ascoli Theorem gives sufficient conditions for compactness in certain function spaces. Among other things, it helps

More information

Principles of Real Analysis I Fall VII. Sequences of Functions

Principles of Real Analysis I Fall VII. Sequences of Functions 21-355 Principles of Real Analysis I Fall 2004 VII. Sequences of Functions In Section II, we studied sequences of real numbers. It is very useful to consider extensions of this concept. More generally,

More information

MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1

MATH 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 information

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.

More information

Math 328 Course Notes

Math 328 Course Notes Math 328 Course Notes Ian Robertson March 3, 2006 3 Properties of C[0, 1]: Sup-norm and Completeness In this chapter we are going to examine the vector space of all continuous functions defined on the

More information

Exam 2 extra practice problems

Exam 2 extra practice problems Exam 2 extra practice problems (1) If (X, d) is connected and f : X R is a continuous function such that f(x) = 1 for all x X, show that f must be constant. Solution: Since f(x) = 1 for every x X, either

More information

Math 140A - Fall Final Exam

Math 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 information

From 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.

From 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 information

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li

Summer 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 information

van Rooij, Schikhof: A Second Course on Real Functions

van Rooij, Schikhof: A Second Course on Real Functions vanrooijschikhofproblems.tex December 5, 2017 http://thales.doa.fmph.uniba.sk/sleziak/texty/rozne/pozn/books/ van Rooij, Schikhof: A Second Course on Real Functions Some notes made when reading [vrs].

More information

3 COUNTABILITY AND CONNECTEDNESS AXIOMS

3 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 information

Solutions to Chapter 17 exercises

Solutions to Chapter 17 exercises Solutions to Chapter 17 exercises 17.1 Let (x n ) be a Cauchy sequence in a discrete metric space (X, d). There exists N N such that d(x m,x n ) < 1 whenever m>n N,soinfactd(x m,x n ) = whenever m>n N,since

More information

Real Analysis Problems

Real Analysis Problems Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.

More information

MEASURE THEORY AND LEBESGUE INTEGRAL 15

MEASURE THEORY AND LEBESGUE INTEGRAL 15 MASUR THORY AND LBSGU INTGRAL 15 Proof. Let 2Mbe such that µ() = 0, and f 1 (x) apple f 2 (x) apple and f n (x) =f(x) for x 2 c.settingg n = c f n and g = c f, we observe that g n = f n a.e. and g = f

More information

Lecture Course. Functional Analysis

Lecture Course. Functional Analysis MATHEMATISCHES INSTITUT PROF. DR. PETER MÜLLER Summer Term 2013 Lecture Course Functional Analysis Typesetting by Kilian Lieret and Marcel Schaub If you find mistakes, I would appreciate getting a short

More information

Final Exam Practice Problems Math 428, Spring 2017

Final Exam Practice Problems Math 428, Spring 2017 Final xam Practice Problems Math 428, Spring 2017 Name: Directions: Throughout, (X,M,µ) is a measure space, unless stated otherwise. Since this is not to be turned in, I highly recommend that you work

More information

Analysis 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 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 information

Functional Analysis HW #3

Functional Analysis HW #3 Functional Analysis HW #3 Sangchul Lee October 26, 2015 1 Solutions Exercise 2.1. Let D = { f C([0, 1]) : f C([0, 1])} and define f d = f + f. Show that D is a Banach algebra and that the Gelfand transform

More information

Measure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond

Measure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................

More information

B. Appendix B. Topological vector spaces

B. Appendix B. Topological vector spaces B.1 B. Appendix B. Topological vector spaces B.1. Fréchet spaces. In this appendix we go through the definition of Fréchet spaces and their inductive limits, such as they are used for definitions of function

More information

Compact operators on Banach spaces

Compact operators on Banach spaces Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact

More information

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION Introduction to Proofs in Analysis updated December 5, 2016 By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION Purpose. These notes intend to introduce four main notions from

More information

Exercises from other sources REAL NUMBERS 2,...,

Exercises from other sources REAL NUMBERS 2,..., Exercises from other sources REAL NUMBERS 1. Find the supremum and infimum of the following sets: a) {1, b) c) 12, 13, 14, }, { 1 3, 4 9, 13 27, 40 } 81,, { 2, 2 + 2, 2 + 2 + } 2,..., d) {n N : n 2 < 10},

More information

Continuity of convex functions in normed spaces

Continuity of convex functions in normed spaces Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional

More information

Immerse Metric Space Homework

Immerse 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 information

Definition 6.1. A metric space (X, d) is complete if every Cauchy sequence tends to a limit in X.

Definition 6.1. A metric space (X, d) is complete if every Cauchy sequence tends to a limit in X. Chapter 6 Completeness Lecture 18 Recall from Definition 2.22 that a Cauchy sequence in (X, d) is a sequence whose terms get closer and closer together, without any limit being specified. In the Euclidean

More information

11691 Review Guideline Real Analysis. Real Analysis. - According to Principles of Mathematical Analysis by Walter Rudin (Chapter 1-4)

11691 Review Guideline Real Analysis. Real Analysis. - According to Principles of Mathematical Analysis by Walter Rudin (Chapter 1-4) Real Analysis - According to Principles of Mathematical Analysis by Walter Rudin (Chapter 1-4) 1 The Real and Complex Number Set: a collection of objects. Proper subset: if A B, then call A a proper subset

More information

Assignment-10. (Due 11/21) Solution: Any continuous function on a compact set is uniformly continuous.

Assignment-10. (Due 11/21) Solution: Any continuous function on a compact set is uniformly continuous. Assignment-1 (Due 11/21) 1. Consider the sequence of functions f n (x) = x n on [, 1]. (a) Show that each function f n is uniformly continuous on [, 1]. Solution: Any continuous function on a compact set

More information

In N we can do addition, but in order to do subtraction we need to extend N to the integers

In N we can do addition, but in order to do subtraction we need to extend N to the integers Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend

More information

Math 421, Homework #7 Solutions. We can then us the triangle inequality to find for k N that (x k + y k ) (L + M) = (x k L) + (y k M) x k L + y k M

Math 421, Homework #7 Solutions. We can then us the triangle inequality to find for k N that (x k + y k ) (L + M) = (x k L) + (y k M) x k L + y k M Math 421, Homework #7 Solutions (1) Let {x k } and {y k } be convergent sequences in R n, and assume that lim k x k = L and that lim k y k = M. Prove directly from definition 9.1 (i.e. don t use Theorem

More information

SOLUTIONS TO SOME PROBLEMS

SOLUTIONS 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 information

FIXED POINT METHODS IN NONLINEAR ANALYSIS

FIXED POINT METHODS IN NONLINEAR ANALYSIS FIXED POINT METHODS IN NONLINEAR ANALYSIS ZACHARY SMITH Abstract. In this paper we present a selection of fixed point theorems with applications in nonlinear analysis. We begin with the Banach fixed point

More information

Metric Spaces Math 413 Honors Project

Metric 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 information

Honours Analysis III

Honours 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 information

Part A. Metric and Topological Spaces

Part A. Metric and Topological Spaces Part A Metric and Topological Spaces 1 Lecture A1 Introduction to the Course This course is an introduction to the basic ideas of topology and metric space theory for first-year graduate students. Topology

More information

MATHS 730 FC Lecture Notes March 5, Introduction

MATHS 730 FC Lecture Notes March 5, Introduction 1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists

More information

MA651 Topology. Lecture 10. Metric Spaces.

MA651 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 information

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989), Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer

More information

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3 Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability

More information

FUNCTIONAL ANALYSIS CHRISTIAN REMLING

FUNCTIONAL 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 information

Math 240 (Driver) Qual Exam (9/12/2017)

Math 240 (Driver) Qual Exam (9/12/2017) 1 Name: I.D. #: Math 240 (Driver) Qual Exam (9/12/2017) Instructions: Clearly explain and justify your answers. You may cite theorems from the text, notes, or class as long as they are not what the problem

More information

MATH 140B - HW 5 SOLUTIONS

MATH 140B - HW 5 SOLUTIONS MATH 140B - HW 5 SOLUTIONS Problem 1 (WR Ch 7 #8). If I (x) = { 0 (x 0), 1 (x > 0), if {x n } is a sequence of distinct points of (a,b), and if c n converges, prove that the series f (x) = c n I (x x n

More information

Set, functions and Euclidean space. Seungjin Han

Set, 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 information

Chapter 3 Continuous Functions

Chapter 3 Continuous Functions Continuity is a very important concept in analysis. The tool that we shall use to study continuity will be sequences. There are important results concerning the subsets of the real numbers and the continuity

More information

Analysis Qualifying Exam

Analysis 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 information

4 Countability axioms

4 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 information

Math General Topology Fall 2012 Homework 11 Solutions

Math 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 information

Metric Spaces. DEF. If (X; d) is a metric space and E is a nonempty subset, then (E; d) is also a metric space, called a subspace of X:

Metric Spaces. DEF. If (X; d) is a metric space and E is a nonempty subset, then (E; d) is also a metric space, called a subspace of X: Metric Spaces DEF. A metric space X or (X; d) is a nonempty set X together with a function d : X X! [0; 1) such that for all x; y; and z in X : 1. d (x; y) 0 with equality i x = y 2. d (x; y) = d (y; x)

More information

Notes on Integrable Functions and the Riesz Representation Theorem Math 8445, Winter 06, Professor J. Segert. f(x) = f + (x) + f (x).

Notes on Integrable Functions and the Riesz Representation Theorem Math 8445, Winter 06, Professor J. Segert. f(x) = f + (x) + f (x). References: Notes on Integrable Functions and the Riesz Representation Theorem Math 8445, Winter 06, Professor J. Segert Evans, Partial Differential Equations, Appendix 3 Reed and Simon, Functional Analysis,

More information

Chapter 3: Baire category and open mapping theorems

Chapter 3: Baire category and open mapping theorems MA3421 2016 17 Chapter 3: Baire category and open mapping theorems A number of the major results rely on completeness via the Baire category theorem. 3.1 The Baire category theorem 3.1.1 Definition. A

More information

Walker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015

Walker 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 information

Math 117: Topology of the Real Numbers

Math 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 information

1 k x k. d(x, y) =sup k. y k = max

1 k x k. d(x, y) =sup k. y k = max 1 Lecture 13: October 8 Urysohn s metrization theorem. Today, I want to explain some applications of Urysohn s lemma. The first one has to do with the problem of characterizing metric spaces among all

More information

THE INVERSE FUNCTION THEOREM

THE INVERSE FUNCTION THEOREM THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)

More information

CHAPTER 1. Metric Spaces. 1. Definition and examples

CHAPTER 1. Metric Spaces. 1. Definition and examples CHAPTER Metric Spaces. Definition and examples Metric spaces generalize and clarify the notion of distance in the real line. The definitions will provide us with a useful tool for more general applications

More information

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

Economics 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 information

Copyright c 2007 Jason Underdown Some rights reserved. statement. sentential connectives. negation. conjunction. disjunction

Copyright c 2007 Jason Underdown Some rights reserved. statement. sentential connectives. negation. conjunction. disjunction Copyright & License Copyright c 2007 Jason Underdown Some rights reserved. statement sentential connectives negation conjunction disjunction implication or conditional antecedant & consequent hypothesis

More information