7 Complete metric spaces and function spaces

Size: px
Start display at page:

Download "7 Complete metric spaces and function spaces"

Transcription

1 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 > N d(x n, x m ) < ɛ. It is clear that any convergent sequence is a Cauchy sequence: if x n x then d(x n, x m ) d(x n, x) + d(x m, x). It is also easy to check that any Cauchy sequence is bounded: take N such that d(x n, x m ) < 1 for n, m > N and M = max n,m=1,...,n {d(x n, x m )}, then d(x n, x m ) max{m, 1}, n, m N diam({x n : n N}) max{m, 1}. Definition 7.2. A metric space is complete if any Cauchy sequence is convergent. A subspace A of a metric space (X, d) is complete if, and only if, it is complete for the induced metric d A. Examples Q not complete. 1. ]0, 1[ not complete: x n = 1/n not convergent. 3. Any discrete topological space X with the metric 0, if x = y, d(x, y) = 1, if x y, is complete, as any Cauchy sequence is eventually constant. Proposition 7.4. Let (X, d) be a metric space 1. If A X is closed and X is complete then A is complete. 2. If A X is complete, then A is closed. Proof. (i) If (a n ) is a Cauchy sequence in A, then it is a Cauchy sequence in X, hence it is convergent in X, as X complete. Since A closed: lim a n A = A. (ii) In a metric space 7 A is closed if, and only if, for any sequence a n x, a n A x A. Let then a n A, with a n x. Then (a n ) is a Cauchy sequence in X, hence in A, hence it converges in A. Since there is unicity of limits (X Hausdorff), lim a n = x A. (Or: if x A, then there is a n A with a n x - as X is metric / first countable. If x A, then a n is a Cauchy sequence in A that does not converge in A, so A not complete.) 7 In fact, in any first countable space. 24

2 Example 7.5. Q [0, 2] is closed in Q but not complete. Lemma 7.6. X is complete if, and only if, any Cauchy sequence has a convergent subsequence. Proof. Let (x n ) be a Cauchy sequence and x nk x, k N, (n k N an increasing sequence) be a convergent subsequence. We prove that x n x: d(x n, x) d(x n, x nk ) + d(x nk, x). Given ɛ > 0, choose N such that d(x n, x m ) < ɛ/2 for n, m > N and k N such that n k > N and d(x nk, x) < ɛ/2. Then n > N d(x n, x) < ɛ. Corollary 7.7. If (X, d) is compact then X is complete. Proof. In metric spaces, compact sequentially compact, hence any sequence has a convergent subsequence. Now we check completeness of well-known spaces. Theorem 7.8. R n complete with usual or square metric ρ(x, y) = max i=1,...,n x i y i. Proof. First note that R n with the usual Euclidean metric is complete if, and only if, (R n, ρ) is complete: the induced topologies are the same, hence the convergent sequences are the same, and check that (x n ) is Cauchy sequence in the Euclidean metric, if, and only if, it is a Cauchy sequence in (R n, ρ). Let then (x n ) be a Cauchy sequence in (R n, ρ), then (x n ) is bounded in R n, hence it is contained in some ρ-ball: {x n : n N} B ρ (0, r) = [ r, r] n. Since [ r, r] n. is compact, hence sequentially compact, (x n ) has a convergent subsequence, and completeness follows from the previous lemma. Remark 7.9. Completeness is not a topological property: R ]0, 1[, and R complete, ]0, 1[ not complete. In fact, being a Cauchy sequence is not a topological property: f : ] 0, 1] [1, + [, x 1/x is a homeomorphism but x n = 1/n is Cauchy in ]0, 1], f (x n ) = n not Cauchy in [1, + [. It is true however that if f : X Y is uniformly continuous 8 and (x n ) is a Cauchy sequence in X then ( f (x n )) is a Cauchy sequence in Y. 8 f is uniformly continuous in A if given ɛ > 0, there is δ > 0 such that for all x, y A: d(x, y) < δ d( f (x), f (y)) < ɛ 25

3 The finite product of complete metric spaces is always complete in the square metric, which induces the product topology. The countable product of complete metric spaces (Y i, d i ) is also complete, with the metric D(x, y) = sup{d i (x i, y i )/i} i N where d i is the standard bounded metric with respect to d i. In particular, if (Y, d) is complete, the space of sequences (Y N, D) is complete, where D induces the product topology. Example l p is complete When we take uncountable products, then the product topology on Y X, X uncountable, is not even metrizable. But if we take the uniform metric ρ( f, g) := sup{d( f (x), g(y)) : x X} where d is the standard bounded metric with respect to d on Y, i.e., d( f (x), g(x)) = min{d( f (x), g(x)), 1} then we do obtain a complete metric space. Theorem If (Y, d) is complete then (Y X, ρ) is complete. Proof. First note that if (Y, d) is complete, then (Y, d) is also complete. Let ( f n ) be a Cauchy sequence in (Y X, ρ). Then, for each x X, d( f n (x), f m (x)) ρ( f n (x), f m (x)), hence ( f n (x) is a Cauchy sequence in Y, and therefore it is convergent, as Y is complete. Define f : X Y such that f (x) := lim f n (x). Then, by definition, f n f pointwise (ie in the product topology). We now prove that f n f in the ρ metric. Given ɛ > 0, let N be such that n, m > N then ρ( f n (x), f m (x)) < ɛ d( f n (x), f m (x)) < ɛ, x X. Fix n > N, x X and let m, then it follows that also d( f n (x), f (x)) < ɛ, hence ρ( f n (x), f (x)) = sup d( f n (x), f (x)) < ɛ, n > N f n f in (Y X, ρ). (Note that we proved in particular that if ( f n ) is a Cauchy sequence in the uniform metric and f n f pointwise, then f n f uniformly.) Now assume that X is also a topological space and consider the subspace of Y X given by continuous functions: C(X, Y) := { f : X Y : f is continuous}. 26

4 Recall the uniform limit theorem: if (Y, d) is a metric space and ( f n ) C(X, Y) is such that, for some f Y X, given ɛ > 0 one can find N such that d( f n (x), f (x)) < ɛ, for all x X, then f C(X, Y). It is easy to check that the condition above is equivalent to f n f in (Y X, ρ), hence the uniform limit theorem basically says that C(X, Y) is closed in Y X. Theorem Let (Y, d) be complete and X be a topological space. Then C(X, Y) is complete in the uniform metric. Proof. We have just seen that C(X, Y) is closed in the complete metric space (Y X, ρ). In particular, C(X, R n ) is complete. Another closed subspace, as we shall see next, is the space of bounded functions: B(X, Y) := { f : X Y : f is bounded}. Here, we can take the equivalent metric, usually called the sup metric given by ρ( f, g) = sup{d( f (x), g(x)}, that is, ρ = min{ρ, 1} is the standard bounded metric with respect to ρ. Hence it is clear that a sequence is Cauchy with respect to ρ if, and only if, it is Cauchy with respect to ρ. Note that when X is compact, C(X, Y) B(X, Y) as we have seen in Theorem 3.13 that any compact set in a metric space is bounded (and a continuous function maps compacts to compacts). Theorem Let (Y, d) be complete and X be a topological space. Then B(X, Y) is complete in the uniform / sup metric. Proof. We show that B(X, Y) is closed. Let f n B(X, Y) be such that f n f uniformly, or equivalently, in the sup metric. Then, given ɛ > 0, sup d( f n (x), f (x)) < ɛ, n > N. Take N such that d( f N (x), f (x)) < 1/2, for all x X and let M > 0 be such that d( f N (x), f N (y)) < M, for all x, y X, which exists since f N (X) is bounded. Then d( f (x), f (y)) d( f N (x), f (x)) + d( f N (y), f (y)) + d( f N (x), f N (y)) < M + 1, x, y X hence f B(X, Y) and completeness follows. We now see that any metric space can be embedded in a complete metric space. 27

5 Theorem (X, d) be a metric space. Then there is an isometric embedding of X in a complete metric space. Proof. To prove this result, we embed X in B(X, R). Let x 0 X be fixed. Given a X, let φ a (x) := d(x, a) d(x, x 0 ), φ a : X R. Always have d(x, a) d(x, b) d(a, b), hence φ a (x) d(a, x 0 ) and φ a B(X, R). Show now that the map Φ : X B(X, R), a φ a is an isometric embedding: ρ(φ a, φ b ) = sup φ a (x) φ b (x) = sup d(x, a) d(x, b) = d(a, b) since d(x, a) d(x, b) d(a, b), for all x X and for x = a, d(x, a) d(x, b) = d(a, b). Definition Let (X, d) be a metric space and h : (X, d) (Y, D) be an isometric embedding, with (Y, D) complete. The completion of X is defined as h(x), The completion is unique, up to an isometry. Remark There is an alternative way of proving the existence of a completion: take equivalence classes of Cauchy sequences (so proceed in a similar way as to define R as the completion of Q): let X := {x = (x n ) X N : (x n ) is Cauchy } and define an equivalence relation on X such that x y if lim n d(x n, y n ) = 0. Let Y = X/ and D : Y 2 R, D([x], [y]) := lim n d(x n, y n ). Show that D is welldefined (let z n = d(x n, y n ), then show (z n ) is Cauchy sequence in R hence it converges) and it is a metric such that (Y, D) is complete. Now let h : X Y given by h(x) = [(x, x,..., x,...)]: it is injective, and D(h(x), h(y)) = d(x, y) hence it is an isometric embedding. The space h(x) is actually dense in Y = X/, that is Y is the completion of X. Examples R is the completion of Q. 7.2 Compactness We have seen already that in a metric space (X, d) compact sequentially compact limit point compact Moreover, in a metric space, any compact set is closed and bounded, but the converse is not true in general (it is true in R n, according to the Heine-Borel theorem). We have seen already that any compact metric space is complete. Our aim now is to give a generalization of Heine-Borel s theorem to metric spaces, using the notion of completeness. To do this, we need a richer notion of boundedness. 28

6 Definition A metric space (X, d) is totally bounded if for any ɛ > 0 there is a finite covering of X by ɛ-balls: X = B(x 1, ɛ)... B(x p, ɛ). It is clear that X totally bounded yields X bounded: take ɛ = 1, x 1,..., x p as above and M = max i,j=1,...,p d(x i, x j ), then for x, y X, x B(x i, 1) and y B(x j, 1) for some x i, x j and d(x, y) d(x, x i ) + d(y, x j ) + d(x j, x i ) < M + 2, x, y X. The converse is not true, for instance, with the standard bounded metric any set is bounded, but not necessarily totally bounded (R not totally bounded with d(x, y) = min{1, x y }). Note that for subspaces, A X is totally bounded if, and only if, given ɛ > 0, there is a covering of A by ɛ-balls in X, that we can assume, centered in a i A: A B(a 1, ɛ)... B(a p, ɛ), a i A. In particular, if A totally bounded and B A then B is totally bounded. Also, A totally bounded if, and only if, A is totally bounded (if ɛ < ɛ then B(a, ɛ ) B(a, ɛ) 9 ). Examples In R n with the usual Euclidean metric (or square), bounded totally bounded. 2. X infinite with the discrete metric, then any set is bounded but no infinite set is totally bounded: if ɛ < 1 then an ɛ-ball only covers a one point set. If X is a compact metric space, then X is always totally bounded: just take a covering of X by ɛ-balls B(x, ɛ), x X, then there is a finite subcover. Now we have: Theorem A metric space (X, d) is compact if, and only if, it is complete and totally bounded. Proof. We need only show that if X is complete and totally bounded then it is compact. We show it is sequentially compact. Let (a n ) be a sequence in X. We use total boundedness to construct a Cauchy subsequence of (a n ), which will then converge, as X is complete. Since X can be covered by finite number of 1-balls, there is a 1-ball B 1 that contains an infinite number of a n s, that is, such that B 1 {a n : n N} is infinite. Let J 1 = {n N : x n B 1 } is infinite. Now, X is a finite union of 1/2-balls, hence there is a 1/2-ball B 2 such that B 2 {x n : n J 1 } is infinite. Let J 2 = {n J 1 : x n B 2 }. By induction, we construct a sequence of infinite index sets J 1 J 2... J n... 9 It is not always true that B(a, ɛ ) = {x X : d(x, a) ɛ } - discrete topology. 29

7 such that J k+1 = {n J k : x n B k+1, with B k+1 a 1 -ball. Now we define our Cauchy k+1 subsequence: just pick n 1 J 1, and n 2 J 2 with n 2 > n 1 (possible since J 2 infinite) and in general, given n k J k, pick n k+1 > n k, with n k+1 J k+1. Then, for any k N: i, j, > k n i, n j J k a ni, a nj 1 k ball d(a ni, a nj ) < 2 k. Hence (a nk ) is a Cauchy subsequence of (a n ), hence it converges, as X is complete. In fact, we saw that if X is totally bounded, then any sequence in X has a Cauchy subsequence. (The converse is also true.) Corollary Let (X, d) be complete. Then A X is compact if, and only if, it is closed and totally bounded. A subset A X, X a topological space, is said to be relatively compact if A is compact. Corollary Let (X, d) be complete. Then A X is totally bounded if, and only if, A is relatively compact. Example In R N with the uniform topology: it is a complete space, and B = {x R N : ρ(x) 1} is closed. However, it is not totally bounded as it contains an infinite dense subset. Hence it is not compact. We shall use the characterization above to study compact subsets of spaces of continuous funtions. We make use of the following notion, often easier to check than total boundedness: Definition Let X be a topologcal space, (Y, d) be a metric space. A subset F C(X, Y) is said to be equicontinuous if for x 0 X, there is an open set U, x 0 U, such that for all f F, x U d( f (x), f (y)) < ɛ. The point is that the same neighborhood U can be chosen, independently of f F. We now see what is the relation between equicontinuous families and total boundedness in C(X, Y). Lemma Let X be a topological space, (Y, d) be a metric space, and F C(X, Y) endowed with the uniform metric (i) F is totally bounded then is equicontinuous 30

8 (ii) If X, Y are compact: F equicontinuous then totally bounded (with respect to uniform or sup metric). Proof. (i) Let x 0 X and ɛ > 0 be given, can assume ɛ < 1. Since F is totally bounded, cover F by finite union of δ-balls: F B( f 1, δ)... B( f p, δ). Given f F, take i such that f B( f i, δ) d( f (x), f i (x)) < δ, x X d( f (x), f i (x)) < δ, x X (assuming δ < 1). Then d( f (x), f (x 0 )) d( f (x), f i (x)) + d( f i (x), f i (x 0 )) + d( f i (x 0 ), f (x 0 ). Now let δ < ɛ/3 and note that since each f k is continuous, we can choose U k such that d( f k (x), f k (x 0 )) < ɛ/3, for x U k. Setting U = U 1... U p, we have d( f k (x), f k (x 0 )) < ɛ/3, for any k = 1,..., p, x U, and x U d( f (x), f (x 0 )) < ɛ. Since f F was arbitrary and U is independent of f, F is equicontinuous. (ii) Let F be equicontinuous and ɛ > 0. Show that F can be covered by finite ɛ-balls. For each a X, let U a X open such that x U a d( f (x), f (a)) < ɛ/3, f F. Then cover X by finitely many such U a s: X = U a1... U ap. Now cover Y by finitely many ɛ/6-balls: Y = B(b 1, ɛ/6)... B(b k, ɛ/6), b i Y, i = 1,..., k. Let A = {a 1,..., a p }, B = {b 1,..., b k }. Then the set B A of maps α : A B is finite. To each such map α, let f α F be such that f α (a i ) B(α(a i ), ɛ/6), if it exists. Then F is covered by ɛ-balls centered in f α : given f F, for each i = 1,..., p, f (a i ) B(b j, ɛ/6), for some b j and we let α B A be such that α(a i ) = b j. In this case, for x U ai, d( f (x), f α (x)) d( f (x), f (a i )) + d( f (a i ), f α (a i )) + d( f α (a i ), f α (x)) < ɛ, by definition of U ai and since f (a i ), f α (a i ) B(α(a i ), ɛ/6). Hence, ρ( f, f α ) = sup d( f (x), f α (x)) < ɛ f B ρ ( f α, ɛ), and therefore F α B AB ρ ( f α, ɛ). We now characterize compact subsets of C(X, R n ), X compact, with the sup metric, which, as we have seen is a complete metric space (since R n is complete). A family F C(X, Y) is said to be pointwise bounded if for any a X the set F a := { f (a) : f F } is bounded in Y. 31

9 Theorem 7.26 (Ascoli). Let X be compact and R n have the usual / square metric. A subspace F C(X, R n ) is relatively compact if, and only if, it is equicontinuous and pointwise bounded. Proof. We have seen that, since C(X, R n ) is complete relatively compact totally bounded. Assume F is totally bounded, then it is equicontinuous by the previous lemma (i), and bounded with the sup norm, hence also pointwise bounded. Conversely, we show that equicontinuous and pointwise bounded yields totally continuous. By the previous lemma (ii), it suffices to check that there is Y compact such that f (X) Y for all f F. For each a X, let U a X open such that Since X is compact, we have that x U a d( f (x), f (a)) < 1, f F. X = U a1... U ap. Moreover, since F ai is bounded in R n, the finite union F a1... F ap is also bounded, hence it is contained in some ball B(0, R), for some R > 0. Then, for any f F, if x U ai, d( f (x), 0) d( f (x), f (a i )) + d( f (a i, 0) < 1 + R. We have then f (X) B(0, R + 1), for all f F. Let Y = B(0, R + 1), closed and bounded in R n, hence compact. Corollary Let X be compact and R n have the usual / square metric. A subspace F C(X, R n ) is compact if, and only if, it is closed, equicontinuous and bounded (under sup norm). Proof. F compact, then always closed and bounded, and equicontinuous by previous result. If F is closed then F compact iff relatively compact. Example In C([0, 1]) with the sup norm, B = { f C([0, 1]) : f 1} is closed and bounded but not compact: take f n (t) = t n. Then f n does not have a convergent subsequence, since a convergent subsequence would converge pointwise and for each t [0, 1], f n (t) f (t) with f (t) = 0, 0 t < 1, f (1) = 1, f not continuous. Check that { f n } not equicontinuous at t = 1. The following result is often used, e.g., to prove existence of solutions of differential equations: Theorem 7.29 (Ascoli-Arzela). Let X be compact and f n C(X, R n ). If { f n } is pointwise bounded and equicontinuous then ( f n ) has a convergent subsequence. 32

10 Proof. Let F = { f n : n N}. By Ascoli s theorem, F is compact, hence sequentally compact. Then any sequence in F, in particular ( f n ), has a convergent subsequence. Theorem (X, d) is complete if and only if, any nested sequence of closed, non-empty sets F 1... F n... such that diam(f n ) 0 has non-empty intersection n N F n. (Note that if (X, d) compact then the previous is clear as the family {F n } has the finite intersection property.) Proof. Suppose (X, d) is complete and let F n be a family of closed sets as above. Pick x n F n, for each n N and X n = {x p : p n}. Then X n F n hence diam(x n ) 0 and therefore (x n ) is Cauchy, so it converges to some x = lim x n. We have x n N X n n N F n. Conversely: let (x n ) be a Cauchy sequence and again X n = {x p : p n}. Define F n = X n. Then, since (x n ) Cauchy, diam F n = diam X n 0 and clearly F n closed such that F n+1 F n, hence n N F n. But if x n N F n then any neighborhood of x intersects X n so x is a sublimit of (x n ). We conclude that X is complete. Theorem 7.31 (Baire). Let (X, d) be a complete metric space. If X is given by a countable union of closed sets then at least one has non-empty interior. Hence Q not complete. In fact, a complete metric space with no isolated points is necessarily uncountable. 33

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

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

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

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

The uniform metric on product spaces

The uniform metric on product spaces The uniform metric on product spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Metric topology If (X, d) is a metric space, a X, and r > 0, then

More 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

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

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

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

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

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

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

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

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

Section 45. Compactness in Metric Spaces

Section 45. Compactness in Metric Spaces 45. Compactness in Metric Spaces 1 Section 45. Compactness in Metric Spaces Note. In this section we relate compactness to completeness through the idea of total boundedness (in Theorem 45.1). We define

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

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

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

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

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

(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

Introduction to Topology

Introduction to Topology Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about

More 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

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

MTG 5316/4302 FALL 2018 REVIEW FINAL

MTG 5316/4302 FALL 2018 REVIEW FINAL MTG 5316/4302 FALL 2018 REVIEW FINAL JAMES KEESLING Problem 1. Define open set in a metric space X. Define what it means for a set A X to be connected in a metric space X. Problem 2. Show that if a set

More information

COUNTABLE PRODUCTS ELENA GUREVICH

COUNTABLE PRODUCTS ELENA GUREVICH COUNTABLE PRODUCTS ELENA GUREVICH Abstract. In this paper, we extend our study to countably infinite products of topological spaces.. The Cantor Set Let us constract a very curios (but usefull) set known

More 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

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

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

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES PETE L. CLARK 4. Metric Spaces (no more lulz) Directions: This week, please solve any seven problems. Next week, please solve seven more. Starred parts of

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

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

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

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

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

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

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance Lecture 5 - Hausdorff and Gromov-Hausdorff Distance August 1, 2011 1 Definition and Basic Properties Given a metric space X, the set of closed sets of X supports a metric, the Hausdorff metric. If A is

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

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

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

Math 426 Homework 4 Due 3 November 2017

Math 426 Homework 4 Due 3 November 2017 Math 46 Homework 4 Due 3 November 017 1. Given a metric space X,d) and two subsets A,B, we define the distance between them, dista,b), as the infimum inf a A, b B da,b). a) Prove that if A is compact and

More information

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

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

Overview of normed linear spaces

Overview of normed linear spaces 20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural

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

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

Austin Mohr Math 730 Homework. f(x) = y for some x λ Λ

Austin Mohr Math 730 Homework. f(x) = y for some x λ Λ Austin Mohr Math 730 Homework In the following problems, let Λ be an indexing set and let A and B λ for λ Λ be arbitrary sets. Problem 1B1 ( ) Show A B λ = (A B λ ). λ Λ λ Λ Proof. ( ) x A B λ λ Λ x A

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

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

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

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

METRIC SPACES. Contents

METRIC SPACES. Contents METRIC SPACES PETE L. CLARK Contents 1. Metric Geometry A metric on a set X is a function d : X X [0, ) satisfying: (M1) d(x, y) = 0 x = y. (M2) For all x, y X, d(x, y) = d(y, x). (M3) (Triangle Inequality)

More information

4.6 Montel's Theorem. Robert Oeckl CA NOTES 7 17/11/2009 1

4.6 Montel's Theorem. Robert Oeckl CA NOTES 7 17/11/2009 1 Robert Oeckl CA NOTES 7 17/11/2009 1 4.6 Montel's Theorem Let X be a topological space. We denote by C(X) the set of complex valued continuous functions on X. Denition 4.26. A topological space is called

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

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

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

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

Some Background Material

Some Background Material Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important

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

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

Economics 204 Fall 2012 Problem Set 3 Suggested Solutions

Economics 204 Fall 2012 Problem Set 3 Suggested Solutions Economics 204 Fall 2012 Problem Set 3 Suggested Solutions 1. Give an example of each of the following (and prove that your example indeed works): (a) A complete metric space that is bounded but not compact.

More 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

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

Metric spaces and metrizability

Metric spaces and metrizability 1 Motivation Metric spaces and metrizability By this point in the course, this section should not need much in the way of motivation. From the very beginning, we have talked about R n usual and how relatively

More information

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem 56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi

More information

Filters in Analysis and Topology

Filters in Analysis and Topology Filters in Analysis and Topology David MacIver July 1, 2004 Abstract The study of filters is a very natural way to talk about convergence in an arbitrary topological space, and carries over nicely into

More information

The weak topology of locally convex spaces and the weak-* topology of their duals

The weak topology of locally convex spaces and the weak-* topology of their duals The weak topology of locally convex spaces and the weak-* topology of their duals Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Introduction These notes

More information

Lecture Notes on Descriptive Set Theory

Lecture Notes on Descriptive Set Theory Lecture Notes on Descriptive Set Theory Jan Reimann Department of Mathematics Pennsylvania State University Notation U ɛ (x) Ball of radius ɛ about x U Topological closure of U 2 < Set of finite binary

More information

Convex Analysis and Economic Theory Winter 2018

Convex Analysis and Economic Theory Winter 2018 Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory Winter 2018 Supplement A: Mathematical background A.1 Extended real numbers The extended real number

More 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

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

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

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

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

AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES

AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES DUSTIN HEDMARK Abstract. A study of the conditions under which a topological space is metrizable, concluding with a proof of the Nagata Smirnov

More 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

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

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

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

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

A Glimpse into Topology

A Glimpse into Topology A Glimpse into Topology by Vishal Malik A project submitted to the Department of Mathematical Sciences in conformity with the requirements for Math 430 (203-4) Lakehead University Thunder Bay, Ontario,

More information

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

MAT 578 FUNCTIONAL ANALYSIS EXERCISES MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.

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

Introduction to Functional Analysis

Introduction to Functional Analysis Introduction to Functional Analysis Carnegie Mellon University, 21-640, Spring 2014 Acknowledgements These notes are based on the lecture course given by Irene Fonseca but may differ from the exact lecture

More information

Lectures on Analysis John Roe

Lectures on Analysis John Roe Lectures on Analysis John Roe 2005 2009 1 Lecture 1 About Functional Analysis The key objects of study in functional analysis are various kinds of topological vector spaces. The simplest of these are the

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

What to remember about metric spaces

What to remember about metric spaces Division of the Humanities and Social Sciences What to remember about metric spaces KC Border These notes are (I hope) a gentle introduction to the topological concepts used in economic theory. If the

More 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

CONTENTS. 4 Hausdorff Measure Introduction The Cantor Set Rectifiable Curves Cantor Set-Like Objects...

CONTENTS. 4 Hausdorff Measure Introduction The Cantor Set Rectifiable Curves Cantor Set-Like Objects... Contents 1 Functional Analysis 1 1.1 Hilbert Spaces................................... 1 1.1.1 Spectral Theorem............................. 4 1.2 Normed Vector Spaces.............................. 7 1.2.1

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

E.7 Alaoglu s Theorem

E.7 Alaoglu s Theorem E.7 Alaoglu s Theorem 359 E.7 Alaoglu s Theorem If X is a normed space, then the closed unit ball in X or X is compact if and only if X is finite-dimensional (Problem A.25). Even so, Alaoglu s Theorem

More 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

MATS113 ADVANCED MEASURE THEORY SPRING 2016

MATS113 ADVANCED MEASURE THEORY SPRING 2016 MATS113 ADVANCED MEASURE THEORY SPRING 2016 Foreword These are the lecture notes for the course Advanced Measure Theory given at the University of Jyväskylä in the Spring of 2016. The lecture notes can

More information

Locally uniformly rotund renormings of the spaces of continuous functions on Fedorchuk compacts

Locally uniformly rotund renormings of the spaces of continuous functions on Fedorchuk compacts Locally uniformly rotund renormings of the spaces of continuous functions on Fedorchuk compacts S.TROYANSKI, Institute of Mathematics, Bulgarian Academy of Science joint work with S. P. GUL KO, Faculty

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

NUCLEAR SPACE FACTS, STRANGE AND PLAIN

NUCLEAR SPACE FACTS, STRANGE AND PLAIN NUCLEAR SPACE FACTS, STRANGE AND PLAIN JEREMY J. BECNEL AND AMBAR N. SENGUPTA Abstract. We present a scenic, but practical drive through nuclear spaces, stopping to look at unexpected results both for

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