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.

Size: px
Start display at page:

Download "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."

Transcription

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 = y, 2. d(x, y) = d(y, x), 3. d(x, y) d(x, z) + d(z, y). d : X X R + = [0, + ) From now on, we will represent a metric space with (X, d). Here are some examples: Example 1.2. X = R n = (x 1, x 2,, x n ), d(x, y) = (x 1 y 1 ) 2 + (x 2 y 2 ) (x n y n ) 2. Example 1.3. l p = (x 1, x 2,, x n, ), d(x, y) = ( (x i y i ) p ) 1 p, p 1. Example 1.4. X = C[a, b] = {f(x) f(x) is continuous in [a, b]}, d(f, g) = max f(x) g(x), x [a, b]. Example 1.5. X = C[a, b] = {f(x) f(x) is continuous in [a, b]}, d(f, g) = [a,b] f(x) g(x) dx. Definition 1.6. If there exists a seuence {x n } (X, d) and x (X, d), we will say x n x, iff d(x n, x) 0. Definition 1.7. Suppose that (X, d) is a metric space, A is an open subset of X, if x A, δ > 0, B δ (x) = {y d(x, y) < δ} A. A subset B X is a closed subset of X, if B c = {x X x / B} is open. 1

2 2 CHAPTER 1. METRIC SPACES Example 1.8. X = R, then the interval (0, 1) is an open subset, the interval [0, 1] is a closed subset. The interval [0, 1) is neither an open subset nor a closed subset. Proposition 1.9. We have following basic properties for open and closed sets: 1. Unions of open sets is open. 2. Finite intersection of open sets is open. 3. Intersection of closed sets is closed. 4. Finite union of closed sets is closed. Proof. According to the De Morgan s law, we have ( α A α ) c = α A c α and ( α A α ) c = α A c α. Hence we only need to prove the first two properties. Suppose that A = A α, A α is open. x A, α 0 I, such that x A α0. Since A α0 is α I open, δ > 0 such that B δ (x) A α0. Then B δ (x) A, i.e. A = A α is an open set. Suppose that B = n A i where A i (i = 1,, n) is an open set. x B, so for every i = 1, 2,, n, there exists δ i, such that B δi (x) A i, then take δ = min{δ 1, δ 2,, δ n }, we can derive that B δ (x) B, i.e. B = n A i is an open subset. Definition The interior Å of a set A is the union of all open sets which are contained in A. The closure B of a set B is the intersection of all closed sets which contain B. Definition If a set A satisfies Ā = X, then A is said to be dense in X. Definition Metric space (X, d) is said to be separable, if there exists a countable dense subset A X. α I 1.2 Completeness Definition (X, d) is a metric space, if lim d(x n, x m ) = 0, we say that {x n } n,m is a Cauchy seuence. The metric space (X, d) is called a complete metric space if every Cauchy seuence converges in X, i.e. x X, s.t. d(x n, x) 0, n. Example R is a complete metric space and [0, 1] is also a complete metric space. Proof. First, let {x n } be a Cauchy seuence in [0, 1]. Then {x n } is a Cauchy seuence in R. Hence x n x R. Second, [0, 1] is closed x [0, 1] x n converges in [0, 1].

3 1.2. COMPLETENESS 3 Example (0, 1) is not a complete metric space. Proof. Take x n = 1 n, x n 0 / (0, 1), but x n is a Cauchy seuence in (0, 1), then we will say that (0, 1) is not a complete metric space. We have the following theorem, whose proof is one of our exercises. Theorem Given a subset Y of a complete metric space (X, d), the metric space (Y, d) is complete iff Y is a closed subset. Definition Let X be a metric space. A set E X is said to be nowhere dense if its closure E has an empty interior. The sets of the first category in X are that are countable unions of nowhere dense sets. Any subset of X that is not of the first category is said to be of the second category in X. Proposition We have the following properties on the category. (a) If A B and B is of the first category in X, so is A. (b) Any countable union of sets of the first category is of the first category. (c) Any closed set E X whose interior is empty is of the first category in X. Theorem (Baire Category Theorem) If (X, d) is a complete metric space, then the intersection of every countable collection of dense open subsets of X is dense in X. Corollary A complete metric space is of the second category. Proof of the corollary. Suppose not. Let {E i } be a countable collection of nowhere dense subset of X and X = i E i. Denote V i = X \ E i. x X, if x / V i, then x E i. Since E i is nowhere dense, E i is nowhere dense. Hence n N, x n E i c = Vi such that x n B 1/n (x). Hence x V i. Thus each V i is dense. By Baire category Theorem, V i. Therefore, i E i = ( i V i ) c X. Hence X cannot be the union of countable nowhere dense sets. Therefore, X is of the second category. Proof of Baire Category Theorem. Suppose that V 1, V 2,... are dense open subsets of X. Let U 0 be an arbitrary nonempty open set in X, If n 1 and an open set U n 1 has been chosen, then there exists an open set U n V n U n 1 where we use the fact that V n is dense and U n may be taken to be a ball of radius less than 1 n. Put K = Note that the centers of the balls U n form a Cauchy seuence which converges to some point of K, and so K. Our construction shows that K U 0 and K V n for each n. Hence U 0 intersect V n. U n

4 4 CHAPTER 1. METRIC SPACES Definition (X, d X ), (Y, d Y ) are two metric spaces. The mapping T : X Y is called an isometry if d Y (T x 1, T x 2 ) = d X (x 1, x 2 ) If it is also onto, then it is called isometric-isomorphism, we represent this by X = T (X). As we mentioned in the above, not all the metric spaces are complete metric spaces(see the example 1.15), however, by the definition of isometry, we can define the completion of a metric space. Definition A metric space ( X, d) is a completion of (X, d) if the following conditions are satisfied: (a) there is an isometry σ : X X; (b) σ(x) is dense in X, i.e. σ(x) = X; (c) ( X, d) is complete. Now we introduce the main theorem of the completion of metric spaces. Theorem Every metric space has a completion. Example Q represents the set of rational numbers, so R is the completion of Q. Example Let Then C[0, 1] = {f(x) f(x) is continuous in [0, 1]} with metric d 1 (f, g) = L 1 [0, 1] = {f(x) is the completion of the metric space (C[0, 1], d 1 ). [0,1] f(x) dx < } 1 0 f(x) g(x) dx. 1.3 Compactness Compactness is one of the most important concepts in analysis. We will define compact sets in a metric space by means of seuence. Definition K X is seuentially compact if every seuence of K has a convergent subseuence whose limit is also in K. Example X = R, K = [0, 1] is a seuentially compact subset, but K = (0, 1) is not a seuentially compact subset. By the well known Bolzano-Weistrass theorem which we have already learnt in the mathematical analysis, the following theorem holds

5 1.3. COMPACTNESS 5 Theorem K R n is seuentially compact iff it is bounded and closed. In the following, we will find an euivalent criterion for the seuentially compactness of a metric space that is easier to verify. First, we introduce the definition of ε-net of a subset Ω. Definition Let Ω X, we say that F X is an ε-net of Ω if Ω reuired to be a subset of Ω). x F B ε (x) (F is not Definition A subset of a metric space is totally bounded if it has a finite ε-net for any ε > 0. Theorem A subset K X as a metric space is seuentially compact iff it is complete and totally bounded. Proof. Step 1. K is seuentially compact K is complete and totally bounded. If {x n } is a Cauchy seuence in K {x n } has convergent subseuence x nk x n x K K is complete. x K ε > 0, choose any x 1 K, if K B ε (x 1 ), then we can end the proof. If it is not true, then x 2 K\B ε (x 1 ), we continue this step, if it can be ended in finite steps, i.e. K n B ε (x i ). If it can t be ended in finite steps, we can find a seuence {x i } + with d(x i, x j ) > ε, i, j, if j > i, then x j / i k=1 B ε (x k ), since K is seuentially compact x nk x, this is a contradiction with d(x nk, x nl ) > ε, n k n l, then we can find finite many balls such that K n B ε (x i ), i.e. K is totally bounded. Step 2. K is totally bounded and complete K is seuentially compact. Let {x n } be a seuence in K, for ε n = 1 2, a finite ε n n -net, {x n 1,, xn l n }, such that K ln B 1 (xn 2 n i ), when n = 1, K l 1 B 1 (x 1 i ), because there are only finite many balls that 2 contain {x n } + x1 i 1, s.t. B 1 (x 1 i 2 1 ) contains infinite many {x n }, we denote it by {x n 1 }, k k = 1, 2, When n = 2, ε = 1 4, K l 2 B 1 4 {x n 1 k }, we denote it by {x n 2 k }, which is a subseuence of {x n 1 k }. (x 2 i ); x2 i 2 {x n 1 }, s.t. B 1 (x 2 k i 4 2 ) contains infinite many of Repeat the step again and again, we can see that for every 1, d(x n k, x n m ) < = 1, pick one element from each {x 2 1 n } diagonally, we will get a new subseuence {x k n {x n } is a subseuence of {x n } with the property that d(x n, x n p p ) < 1 }, then 2 1, for any p, i.e. {x n } is a Cauchy seuence, by the condition that K is complete, then {x n } x K, i.e. K is seuentially compact. The proof of the following lemma is an exercise. Lemma A seuentially compact metric space is separable.

6 6 CHAPTER 1. METRIC SPACES Then we will introduce the definition of compactness and claim the euivalence between compactness and seuentially compactness. Definition Let {A α } be a collection of open sets, if U α A α, then A α is called an open cover of U. Definition A subset K X is compact if every open cover has a finite sub-cover. Theorem A subset K of a metric space is compact iff it is seuentially compact. Proof. We first show that K is seuentially compact as long as K is compact. Step 1. Every seuence has a convergent subseuence. If {x n } does not exist a convergent subseuence, denote Then A n is closed. On the other hand, A n = {x 1, x 2,, x n 1, x n+1, } (X \ A n ) = X \ A n = X \ = X K. Since K is compact, one has N (X \ A n) K. Therefore, we have X \ {x n } n=n+1 K. But {x n } n=n+1 K. There is a contradiction. Step 2. K is closed. x 0 X \ K, we have K x K B 1 2 d(x,x 0) (x) Since K is compact, there is a finite open cover for K. Assume that K n B 1 2 d(x i,x 0 ) (x i) Let δ = 1 4 min 1 i n d(x i, x 0 ). Then for any x B δ (x 0 ), we have d(x k, x) d(x k, x 0 ) d(x 0, x) d(x k, x 0 ) 1 4 d(x k, x 0 ) = 3 4 d(x k, x 0 ) This implies that x / B 1 2 d(x i,x 0 ) (x i) for all i = 1,, n. Hence B δ (x 0 ) K =. Therefore, K is a closed set. Step 3. Seuentially compact must be compact. Suppose not, there exists open cover {A α } which does not have a finite cover. Since K is seuentially compact, n N, an 1 2n -net Therefore, we have Ñ n = {y (n) 1, y(n) 2,, y(n) k(n) } K k(n) B 1 (yi n ). 2n Hence, for i = 1,, k(n), one can choose x n i B 1 (yi n ) K such that 2n K k(n) B 1 n (x n i ).

7 1.4. CONTINUOUS FUNCTIONS 7 Denote N n = {x (n) 1, x(n) 2,, xn k(n) } Therefore, n N, x n N n such that B 1/n (x n ) cannot be covered by finite sets in A α. Since K is seuentially compact, there exists a subseuence {x nk } such that x nk x 0 A α0 Since A α0 is open, there exists a δ > 0 such that B δ (x 0 ) A α0. If n k is sufficiently large, we have d(x nk, x 0 ) < δ/2. Therefore, This yields a contradiction. x B 1 n k (x nk ) B δ (x 0 ) Definition A subset K of a metric space is pre-compact if its closure K is compact. 1.4 Continuous functions Definition (Continuous functions) Given two metric spaces (X, d X ) and (Y, d Y ), we say that f : X Y is continuous, if x X lim n f(x n) = f(x), whenever x n x. Proposition f : X Y is continuous at x 0 if and only if ɛ > 0, δ > 0, one has d Y (f(x), f(x 0 )) < ɛ provided that d X (x, x 0 ) < δ. Proof. The sufficient part is trivial. Now let s prove the necessary part. Suppose not, then ɛ 0, n, x n such that d X (x n, x 0 ) < 1/n, d Y (f(x n ), f(x 0 )) ɛ 0. In fact, we have the following characterization for the continuous functions. Proposition f is continuous function from (X, d X ) to (Y, d Y ) iff f 1 (U) is an open set for any open set U X. We can also define so called lower and upper semicontinuous functions from a metric space (X, d) to R. Definition A function f : X R is called lower (upper) semicontinuous if lim inf n f(x n) f(x) and lim sup f(x n ) f(x), n respectively, whenever x n x as n. We will denote the class of all continuous functions from X to Y by C(X, Y ), i.e. C(X, Y ) = {f : X Y f is continuous}

8 8 CHAPTER 1. METRIC SPACES Example We define discrete metric space(x, d D ) as: { 0, x = y d D (x, y) = 1, x y Then, we can say that C((X, d D ), Y ) = all maps from X to Y. We can also have the notation as uniform continuity. Definition Given f C(X, Y ), we say that f is uniformly continuous, if ε > 0, δ > 0, for any x 1, x 2 X satisfying d X (x 1, x 2 ) < δ, one has d Y (f(x 1 ), f(x 2 )) < ε. The proof of the following two theorems is similar to the ones of mathematical analysis. We leave them as exercises. Theorem f C(K, R), K is compact, then f is uniformly continuous. Theorem f C(K, R), K is compact, then f is bounded and attains its maximum and minimum. We will discuss the compactness of a special metric space that is composed of the continuous functions. C B (X) = {f : X R f is continuous and bounded} with metric d(f, g) = sup f(x) g(x) x X Then we have the following theorem. Theorem The metric space (C B (X), d) is complete. When X is compact, we just write the above metric space C(X) for simplicity. Definition F C(X, Y ) is eui-continuous if for any x X, ε > 0, δ(ε, x) such that y X with d X (x, y) < δ, one has d Y (f(x), f(y)) ε for any f F. If δ does not depend on x, then we say that F is uniformly euicontinuous. Theorem An eui-continuous family F C(K, Y ) of functions from a compact metric space K to a complete metric space Y is uniformly-eui-continuous. Proof. We prove the theorem by contradiction argument. Step 1. Suppose the theorem is not true, ε 0 > 0, for δ n = 1 n > 0, x n, y n K, f n F, such that d(f n (x n ), f n (y n )) ε 0 with d(x n, y n ) 1 n. Since K is compact, {x n } has a convergent subseuence x nk x K.

9 1.4. CONTINUOUS FUNCTIONS 9 Step 2. By the condition F is eui-continuous at x, for ε = ε 0 10 d(x, x) < 1 N, then d(f(x), f(x)) < ε For k sufficiently large, we have > 0, N, such that if ε 0 d(f nk (x nk ), f nk (y nk )) d(f nk (x nk ), f nk (x)) + d(f nk (y nk ), f nk (x)) ε ε 0 10 <ε 0. This is a contradiction. Therefore, F is uniformly-eui-continuous. Here, we will state an important theorem which describes the compact criteria for C(K). Theorem (Arzela-Ascoli theorem) Let K be a compact metric space. A subset F of C(K) is compact iff it is closed, bounded, and eui-continuous. Proof. Step 1. compact set is closed, bounded, and eui-continuous. Note that a compact set is seuentially compact, hence it is complete and totally bounded. Since F is compact, then F is complete, i.e. F is a closed subset of a complete metric space C(K) and it is totally bounded. What left is to show that F is eui-continuous. In fact, because F is totally bounded. ε > 0, ε a finite 100 -net, i.e. f 1, f 2,, f N, such that F N B ε (f i), i.e. for any f F, f i0, 100 i 0 {1, 2, N}, s.t. f(x) f i0 (x) < ε, x K. 100 On the other hand, x K, δ > 0, if d(x, y) < δ, one has Hence for any f F, one has f i (x) f i (y) < ε (i = 1, 2,, N). 100 f(x) f(y) f(x) f i (x) + f i (x) f i (y) + f(y) f i (y) ε ε ε 100 <ε, (1.1) i.e. F is eui-continuous. Step 2. closed, bounded and eui-continuous set is compact. Suppose that F is a bounded, euicontinuous subset of C(K). We will show that every seuence {f n } in F has a convergent subseuence. There is a countable dense set {x 1, x 2, x 3...} in the compact domain K. We choose a subseuence {f 1,n } of {f n } such that the seuence of values {f 1,n (x 1 )} converges in R, Such a subseuence exists because {f n (x 1 )} is bounded in R, since F is bounded in C(K). We choose a subseuence {f 2,n } of {f 1,n } such that {f 2,n (x 2 )} converges, which exists for the same reason. Repeating this procedure, we obtain seuences {f k,n } for k = 1, 2,... such that {f k,n } is a subseuence of {f k 1,n }, and {f k,n (x k )} converges as n. Finally, we define a

10 10 CHAPTER 1. METRIC SPACES diagonal subseuence {g k } by g k = f k,k. By construction, the seuence {g k } is a subseuence of {f n } with the property that {g k (x i )} converges in R as k for all x i in a dense subset of K. So far, we have only used the boundedness of F. The euicontinuity of F is needed to ensure the uniform convergence of {g k }. Let ɛ > 0. Since F is euicontinuous and K is compact, therefore, F is uniformly euicontinuous. Conseuently, ɛ > 0, there is a δ > 0 such that d(x, y) < δ implies g k (x) g k (y) < ɛ 3. Since {x i } is dense in K, we have K B δ (x i ). Since K is compact, there is a finite subset of {x i }, which we denote by {x 1,..., x n }, such that n K B δ (x i ). The seuence {g k (x i )} k=1 is convergent for each i = 1,, n, and hence is a Cauchy seuence for each i = 1,, n, so there is an N such that g j (x i ) g k (x i ) < ɛ 3. for all j, k N and i = 1,..., n. For any x K, there is an i such that x B δ (x i ). Then, for j, k N, we have g j (x) g k (x) g j (x) g j (x i ) + g j (x i ) g k (x i ) + g k (x i ) g k (x) < ɛ. It follow that {g k } is a Cauchy seuence in C(K). Since F is closed set in the complete space C(K), it converges to a limit in F. Hence F is compact. Now we take an example to see the applications of Arzela-Ascoli theorem. Example Prove that F = {f f(x) = a n sin(nπx) with n a n 1 for x [0, 1]} is a compact set in C[0, 1]. Proof. Step 1. It is easy to see that F is bounded in C[0, 1]. f C[0, 1]. Suppose that f k is represented as Let {f k } F converge to f k = a k,n sin(nπx).

11 1.5. CONTRACTION MAPPING THEOREM 11 Then we have a k,n = 1 0 f k (x) sin(nπx)dx. Since {f k } converges to f uniformly on [0, 1], one has lim a k,n = k Therefore, for any N N, we have This implies that 1 0 N n a n = lim f(x) sin(nπx)dx := a n. k n a n 1. Hence f F. This yields that F is closed. N n a k,n 1. Step 2. By the mean value theorem, for any x < y R there is a x < ξ < y with sin x sin y = (cos ξ)(x y). Hence, for all x, y R we have sin x sin y x y. Thus, every f F satisfies f(x) f(y) a n sin(nπx) sin(nπy) πn a n x y π x y. Therefore, given ɛ > 0, we can pick δ = ɛ/π, and then x y < δ implies f(x) f(y) < ɛ for all f F. From the Arzleà-Ascoli theorem, F is a compact subset of C([0, 1]). In the above example, we can see that a special class of functions f, Lipschitz functions, which satisfy d(f(x), f(y)) Ld(x, y) must be uniformly eui-continuous. We will study a special class of Lipschitz mapping in the next section. 1.5 Contraction mapping theorem Definition (Contraction map) Let(X, d) be a metric space. A map T : X X is a contraction map if there exists a fixed θ [0, 1), such that d(t x, T y) θd(x, y), x, y X. (1.2) Now let us state a fixed point theorem of the contraction map which can be a useful tool to prove the existence of solutions of the euations.

12 12 CHAPTER 1. METRIC SPACES Theorem (Contraction map theorem) Let (X, d) be a complete metric space, T : X X is a contraction map satisfying (1.2), then T has a uniue fixed point x X such that T x = x. Proof. Step 1. (Existence). Pick any x 0 X, and define It follows from (1.2) that one has x n = T x n 1 for n 1. d(x n+1, x n ) = d(t (x n ), T (x n 1 )) θd(x n, x n 1 ) θ 2 d(x n 1, x n 2 ) θ n d(x 1, x 0 ). Then for m = n + k > n d(x m, x n ) d(x n+k, x n+k 1 ) + d(x n+k 1, x n+k 2 ) + + d(x n+1, x n ) θ n d(x 1, x 0 )(θ k ) θn 1 θ d(x 1, x 0 ). Thus {x n } is a Cauchy seuence. Then we take limit on x n+1 = T (x n ) x = T (x), where x = lim x n. n + Step 2. (Uniueness). If z such that T (z) = z, then Therefore, we have d(x, z) = 0. Hence x = z. d(x, z) = d(t (x), T (z)) θd(x, z). (1.3) Then let us see two examples of the applications of the above fixed point theorem of contraction map. Example Consider the initial value problem for the ordinary differential euation, { u (t) = f(t, u), u(t 0 ) = u 0, where f(t, u) is continuous on [t 0 h, t 0 + h] [u 0 b, u 0 + b](then M > 0, s.t. f(t, u) M), what s more, f(t, u) is Lipchitz continuous with respect to u, i.e. L > 0, s.t. f(t, u 1 ) f(t, u 2 ) L u 1 u 2. Then we can use the contraction mapping theorem to prove the existence and uniueness of a solution for the problem (1.4) on [t 0 ɛ, t 0 + ɛ] for some ɛ > 0. Proof. Step 1. Define X = {u C[t 0 ɛ, t 0 + ɛ] u(t 0 ) = u 0, u(t) u 0 b for t [t 0 ɛ, t 0 + ɛ]}, where ɛ (0, h] is to be determined. Define T : X X as t (T u)(t) = u 0 + f(τ, u(τ))dτ. t 0 (1.4)

13 1.5. CONTRACTION MAPPING THEOREM 13 We claim that T maps X into itself. It is easy to see that for any u X, we have T u C[t 0 ɛ, t 0 + ɛ] and (T u)(t 0 ) = u 0. Furthermore, we have t T u(t) u 0 = f(τ, u(τ))dτ M t t 0 Mɛ. t 0 Therefore, if ɛ M/b, then T maps X to itself. Step 2. If ɛ is sufficiently small, then T is a contraction map. Indeed, t t d(t u, T v) = (f(τ, u(τ)) f(τ, v(τ)))dτ L u(τ) v(τ) dτ L t t 0 d(u, v). t 0 t 0 Hence if then we have { ɛ min h, M } b, 1, 2L d(t u, T v) 1 d(u, v). 2 So T is a contraction map. Step 3. By Contraction map theorem, u, such that T (u) = u, i.e., t ū = u 0 + f(τ, ū(τ))dτ. t 0 This is exact the solution of the problem (1.4). Furthermore, the contraction map theorem also gives the uniueness of the solution. Example Let K be a convex and compact subset of R n, T : K K satisfies the condition T (s) T (t) s t, show that T has at least one fixed point(be careful: the map T here may not be a contraction map, so we can not use the contraction map theorem directly.) Proof. Pick up any x K. Define T n : K K as follows We claim that T n is a contraction map. In fact This means that n, x n, such that T n x = (1 1 n )T x + 1 n T x. T n (x) T n (y) (1 1 n ) T x T y (1 1 ) x y. n (1 1 n )T x n + 1 n T x = T n(x n ) = x n. (1.5) Since K is compact, then {x nj } and x K, s.t. {x nj } x, then take limit on both sides of (1.5), we can derive that T x = x. So T has at least one fixed point.

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

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

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

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

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

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

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

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

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

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

Metric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg

Metric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg Metric Spaces Exercises Fall 2017 Lecturer: Viveka Erlandsson Written by M.van den Berg School of Mathematics University of Bristol BS8 1TW Bristol, UK 1 Exercises. 1. Let X be a non-empty set, and suppose

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

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

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

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

Mathematics for Economists

Mathematics for Economists Mathematics for Economists Victor Filipe Sao Paulo School of Economics FGV Metric Spaces: Basic Definitions Victor Filipe (EESP/FGV) Mathematics for Economists Jan.-Feb. 2017 1 / 34 Definitions and Examples

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

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

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

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

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

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

REVIEW OF ESSENTIAL MATH 346 TOPICS

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

Course 212: Academic Year Section 1: Metric Spaces

Course 212: Academic Year Section 1: Metric Spaces Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........

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

Most Continuous Functions are Nowhere Differentiable

Most Continuous Functions are Nowhere Differentiable Most Continuous Functions are Nowhere Differentiable Spring 2004 The Space of Continuous Functions Let K = [0, 1] and let C(K) be the set of all continuous functions f : K R. Definition 1 For f C(K) we

More information

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li. 1 Lecture 7: Equicontinuity and Series of functions

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li. 1 Lecture 7: Equicontinuity and Series of functions Summer Jump-Start Program for Analysis, 0 Song-Ying Li Lecture 7: Equicontinuity and Series of functions. Equicontinuity Definition. Let (X, d) be a metric space, K X and K is a compact subset of X. C(K)

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

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

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

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

MH 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. (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 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

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

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

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

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

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

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

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

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

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

Analysis III. Exam 1

Analysis III. Exam 1 Analysis III Math 414 Spring 27 Professor Ben Richert Exam 1 Solutions Problem 1 Let X be the set of all continuous real valued functions on [, 1], and let ρ : X X R be the function ρ(f, g) = sup f g (1)

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

(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε

(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε 1. 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

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be

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

1 Lecture 4: Set topology on metric spaces, 8/17/2012

1 Lecture 4: Set topology on metric spaces, 8/17/2012 Summer Jump-Start Program for Analysis, 01 Song-Ying Li 1 Lecture : Set topology on metric spaces, 8/17/01 Definition 1.1. Let (X, d) be a metric space; E is a subset of X. Then: (i) x E is an interior

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

01. Review of metric spaces and point-set topology. 1. Euclidean spaces

01. Review of metric spaces and point-set topology. 1. Euclidean spaces (October 3, 017) 01. Review of metric spaces and point-set topology Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 017-18/01

More information

NAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key

NAME: 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 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

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

NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES

NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES JONATHAN LUK These notes discuss theorems on the existence, uniqueness and extension of solutions for ODEs. None of these results are original. The proofs

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

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

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

REAL ANALYSIS I HOMEWORK 4

REAL ANALYSIS I HOMEWORK 4 REAL ANALYSIS I HOMEWORK 4 CİHAN BAHRAN The questions are from Stein and Shakarchi s text, Chapter 2.. Given a collection of sets E, E 2,..., E n, construct another collection E, E 2,..., E N, with N =

More information

McGill University Math 354: Honors Analysis 3

McGill University Math 354: Honors Analysis 3 Practice problems McGill University Math 354: Honors Analysis 3 not for credit Problem 1. Determine whether the family of F = {f n } functions f n (x) = x n is uniformly equicontinuous. 1st Solution: The

More information

Functional Analysis Winter 2018/2019

Functional Analysis Winter 2018/2019 Functional Analysis Winter 2018/2019 Peer Christian Kunstmann Karlsruher Institut für Technologie (KIT) Institut für Analysis Englerstr. 2, 76131 Karlsruhe e-mail: peer.kunstmann@kit.edu These lecture

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

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

CLASS NOTES FOR APRIL 14, 2000

CLASS NOTES FOR APRIL 14, 2000 CLASS NOTES FOR APRIL 14, 2000 Announcement: Section 1.2, Questions 3,5 have been deferred from Assignment 1 to Assignment 2. Section 1.4, Question 5 has been dropped entirely. 1. Review of Wednesday class

More information

Your first day at work MATH 806 (Fall 2015)

Your first day at work MATH 806 (Fall 2015) Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies

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

Functional Analysis I

Functional Analysis I Functional Analysis I Course Notes by Stefan Richter Transcribed and Annotated by Gregory Zitelli Polar Decomposition Definition. An operator W B(H) is called a partial isometry if W x = X for all x (ker

More information

REAL AND COMPLEX ANALYSIS

REAL AND COMPLEX ANALYSIS REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any

More information

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

MA5206 Homework 4. Group 4. April 26, ϕ 1 = 1, ϕ n (x) = 1 n 2 ϕ 1(n 2 x). = 1 and h n C 0. For any ξ ( 1 n, 2 n 2 ), n 3, h n (t) ξ t dt

MA5206 Homework 4. Group 4. April 26, ϕ 1 = 1, ϕ n (x) = 1 n 2 ϕ 1(n 2 x). = 1 and h n C 0. For any ξ ( 1 n, 2 n 2 ), n 3, h n (t) ξ t dt MA526 Homework 4 Group 4 April 26, 26 Qn 6.2 Show that H is not bounded as a map: L L. Deduce from this that H is not bounded as a map L L. Let {ϕ n } be an approximation of the identity s.t. ϕ C, sptϕ

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

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

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure? MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable

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

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

CHAPTER 7. Connectedness

CHAPTER 7. Connectedness CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set

More information

Selçuk Demir WS 2017 Functional Analysis Homework Sheet

Selçuk Demir WS 2017 Functional Analysis Homework Sheet Selçuk Demir WS 2017 Functional Analysis Homework Sheet 1. Let M be a metric space. If A M is non-empty, we say that A is bounded iff diam(a) = sup{d(x, y) : x.y A} exists. Show that A is bounded iff there

More information

HOMEWORK ASSIGNMENT 6

HOMEWORK ASSIGNMENT 6 HOMEWORK ASSIGNMENT 6 DUE 15 MARCH, 2016 1) Suppose f, g : A R are uniformly continuous on A. Show that f + g is uniformly continuous on A. Solution First we note: In order to show that f + g is uniformly

More information

1.2 Fundamental Theorems of Functional Analysis

1.2 Fundamental Theorems of Functional Analysis 1.2 Fundamental Theorems of Functional Analysis 15 Indeed, h = ω ψ ωdx is continuous compactly supported with R hdx = 0 R and thus it has a unique compactly supported primitive. Hence fφ dx = f(ω ψ ωdy)dx

More information

2. Metric Spaces. 2.1 Definitions etc.

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

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

Mid Term-1 : Practice problems

Mid Term-1 : Practice problems Mid Term-1 : Practice problems These problems are meant only to provide practice; they do not necessarily reflect the difficulty level of the problems in the exam. The actual exam problems are likely to

More information

Definition 2.1. A metric (or distance function) defined on a non-empty set X is a function d: X X R that satisfies: For all x, y, and z in X :

Definition 2.1. A metric (or distance function) defined on a non-empty set X is a function d: X X R that satisfies: For all x, y, and z in X : MATH 337 Metric Spaces Dr. Neal, WKU Let X be a non-empty set. The elements of X shall be called points. We shall define the general means of determining the distance between two points. Throughout we

More information

Notes for Functional Analysis

Notes for Functional Analysis Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) September 29, 2015 1 Lecture 09 1.1 Equicontinuity First let s recall the conception of equicontinuity for family of functions that we learned

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

Based on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press,

Based on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press, NOTE ON ABSTRACT RIEMANN INTEGRAL Based on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press, 2003. a. Definitions. 1. Metric spaces DEFINITION 1.1. If

More information

M17 MAT25-21 HOMEWORK 6

M17 MAT25-21 HOMEWORK 6 M17 MAT25-21 HOMEWORK 6 DUE 10:00AM WEDNESDAY SEPTEMBER 13TH 1. To Hand In Double Series. The exercises in this section will guide you to complete the proof of the following theorem: Theorem 1: Absolute

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

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis

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

Mathematical Analysis Outline. William G. Faris

Mathematical Analysis Outline. William G. Faris Mathematical Analysis Outline William G. Faris January 8, 2007 2 Chapter 1 Metric spaces and continuous maps 1.1 Metric spaces A metric space is a set X together with a real distance function (x, x ) d(x,

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

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space 1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization

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

16 1 Basic Facts from Functional Analysis and Banach Lattices

16 1 Basic Facts from Functional Analysis and Banach Lattices 16 1 Basic Facts from Functional Analysis and Banach Lattices 1.2.3 Banach Steinhaus Theorem Another fundamental theorem of functional analysis is the Banach Steinhaus theorem, or the Uniform Boundedness

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

Math 117: Infinite Sequences

Math 117: Infinite Sequences Math 7: Infinite Sequences John Douglas Moore November, 008 The three main theorems in the theory of infinite sequences are the Monotone Convergence Theorem, the Cauchy Sequence Theorem and the Subsequence

More information

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

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

MATH 131A: REAL ANALYSIS (BIG IDEAS)

MATH 131A: REAL ANALYSIS (BIG IDEAS) MATH 131A: REAL ANALYSIS (BIG IDEAS) Theorem 1 (The Triangle Inequality). For all x, y R we have x + y x + y. Proposition 2 (The Archimedean property). For each x R there exists an n N such that n > x.

More information

The Space of Continuous Functions

The Space of Continuous Functions Chapter 3 The Space of Continuous Functions dddddddddddddddddddddddddd dddd ddddddddddddddddddddd dddddddddddddddddd ddddddd ddddddddddddddddddddddddd ddddddddddddddddddddddddd dddddddddddddd ddddddddddd

More information