Folland: Real Analysis, Chapter 4 Sébastien Picard

Size: px
Start display at page:

Download "Folland: Real Analysis, Chapter 4 Sébastien Picard"

Transcription

1 Folland: Real Analysis, Chapter 4 Sébastien Picard Problem 4.19 If {X α } is a family of topological spaces, X α X α (with the product topology) is uniquely determined up to homeomorphism by the following property: There exist continuous maps π α : X X α such that if Y is any topological space and f α C(Y,X α ) for each α, there is a unique F C(Y,X) such that f α π α F. First, we show that if X α A X α with the product topology, then the coordinate maps π α : X X α are such that if Y is any topological space and f α C(Y,X α ) for each α, there is a unique F C(Y,X) such that f α π α F. Indeed, define F : Y X in the following way: for any y Y, let F(y) α A X α be the map F(y) : A α A X α such that (F(y)) α f α (y) for each α A. It then follows from the definition of the coordinate maps that for any y Y, π α F(y) (F(y)) α f α (y). Since the f α are continuous, π α F is continuous for each α, hence F is continuous by Proposition For uniqueness, let F C(Y,X) be such that f α π α F. Suppose there exists y Y such that F (y) F(y). Then there is an α A such that (F (y)) α (F(y)) α. But then f α (y) π α F (y) (F (y)) α (F(y)) α π α F(y) f α (y). This contradiction shows that F F. Next, we show that up to homeomorphism, the product topology is the only space with this property. Let X be a topological space such that there exists continuous maps π α : X X α such that if Y is any topological space and f α C(Y,X α ) for each α, there is a unique F C(Y,X ) such that f α π α F. Let G : X X be the continuous function such that π α π α G and G : X X be the continuous function such that π α π α G. To complete the proof, we will show that G G G G id. We have π α (G G) (π α G ) G π α G π α, hence π α π α id π α (G G). Since π α C(X,X α ), by uniqueness we must have id G G. Similarly, π α (G G ) (π α G) G π α G π α id, and by uniquenes we must have id G G. 1

2 Problem 4.22 Let X be a topological space, (Y,ρ) a complete metric space, and {f n } a sequence in Y X such that sup x X ρ(f n (x),f m (x)) 0as m,n. Thereis a unique f Y X suchthat sup x X ρ(f n (x),f(x)) 0 as n. If each f n is continuous, so is f. For each x X, we have ρ(f n (x),f m (x)) sup z X ρ(f n (z),f m (z)) 0 as m,n. Since (Y,ρ) is complete, {f n (x)} is a Cauchy sequence, hence converges to a point in Y which we may call f(x). Therefore {f n } converges pointwise to a function f Y X. For any ǫ > 0, there exists a positive integer N such that when m,n > N we have ρ(f n (x),f m (x)) ǫ for all x X. If we fix n and let m, we obtain ρ(f n (x),f(x)) ǫ. Since this holds for all x X, we have sup x X ρ(f n (x),f(x)) 0 as n. Suppose there exists another function g Y X such that sup x X ρ(f n (x),g(x)) 0 as n. If for some x X, f(x) g(x), then lim f n(x) f(x) g(x) lim f n (x), n n which contradicts uniqueness of the limit of a sequence in a metric space. Suppose each f n is continuous. Let ǫ > 0 and let x X. Choose a positive integer N such that ρ(f N (z),f(z)) < ǫ/3 for all z X. Choose δ > 0 such that ρ(f N (x),f N (y)) < ǫ/3 for all y X such that ρ(x,y) < δ. Then we have ρ(f(x),f(y)) ρ(f(x),f N (x))+ρ(f N (x),f N (y))+ρ(f N (y),f(y)) ǫ/3+ǫ/3+ǫ/3 ǫ, for all y Y such that ρ(x,y) < δ. This proves continuity of f. Problem 4.28 Let X be a topological space equipped with an equivalence relation, X the set of equivalence classes, π : X X the map taking each x X to its equivalence class, and T {U X : π 1 (U) is open in X}. a. T is a topology on X. (It is called the quotient topology.) b. If Y is a topological space, f : X Y is continuous iff f π is continuous. c. X is T1 iff every equivalence class is closed. a. Since π 1 ( ), then T, and since π is a surjection, π 1 ( X) X hence X T. Next, suppose {U α } α J T. Then π 1 ( α J U α ) α Jπ 1 (U α ), hence α J U α T. Similarly, if U i T for i {1,...,n}, then n n π 1 ( U i ) π 1 (U i ). i1 i1 2

3 b. The quotient topology is defined such that π is continuous. Suppose f : X Y is continuous. Then f π is the composition of continuous functions, hence is continuous. Conversely, suppose f π is continuous. Then for all open sets V Y, π 1 f 1 (V) is open in X, so f 1 (V) is in T. Therefore f is continuous. c. Suppose X is T 1. Then {x} is closed for every x X (Proposition 4.7). By continuity, π 1 ({x}) is closed. Therefore equivalence classes are closed. Conversely, suppose every equivalence class is closed. Then π 1 ({x}) is closed for every x X. Then (π 1 ({x})) c π 1 ({x} c ) is open, hence {x} c T, so {x} is closed in X. Therefore X is T 1 (Proposition 4.7). Problem 4.32 A topological space X is Hausdorff iff every net in X converges to at most one point. Suppose X is Hausdorff and there is a net x α α A that converges to two points x,y. There exists disjoint open sets U,V such that x U,y V. But then there exists α 1 A such that x α U for all α α 1 and α 2 A such that x α V for all α α 2. There exists a γ A such that γ α 1 and γ α 2, so α γ U V. This contradiction shows that every net in X converges to at most one point. Conversely, suppose X is not Hausdorff. Then there exists two points x, y X such that every pair of open sets U,V such that x U,y V has a non-empty intersection. Consider the directed set N x N y, where N x,n y are the families of open neighbourhoods of x,y and (U 1,V 1 ) (U 2,V 2 ) iff U 1 U 2 and V 1 V 2. Define the net x α α Nx N y by mapping (U,V) N x N y to a point z U V. For any open set Ũ containing x, let Ṽ be an arbitrary open set containing y. It follows that for every (U,V) (Ũ,Ṽ) we have x (U,V) Ũ. Hence x α α Nx N y converges to x. Similarly, for any open set Ṽ containing y, let Ũ be an arbitrary open set containing x. It follows that for every (U,V) (Ũ,Ṽ) we have x (U,V ) Ṽ. Hence x α α Nx N y converges to y. Therefore there exists a net in X which converges to more than one point. Problem 4.34 If X has the weak topology generated by a family F of functions, then x α converges to x X iff f(x α ) converges to f(x) for all f F. Suppose x α converges to x X. Since every f F is continuous, f(x α ) converges to f(x) for all f F by Proposition Conversely, suppose f(x α ) converges to f(x) for all f F. Let U be an open set such that x U. By the definition weak topology generated by F, there exists an open set U U such that x U and U n i1 f 1 i (V i ) 3

4 where f i F and V i are open sets in the target space of f i. Then for each integer i between 1 and n, there exists an α i such that f i (x α ) V i for all α α i. Take γ α i for all integers i between 1 and n. Then when α γ, we have x α f 1 i (V i ) for all integers i between 1 and n. Hence x α U U for all α γ. Problem 4.52 The one-point compactification of R n is homeomorphic to the n-sphere S n {x R n+1 : x 1}. Denote N (0,...,0,1) S n R n+1. Then the stereographic projection σ : S n \{N} R n defined by σ(x 1,...,x n+1 ) (x1,...,x n ) 1 x n+1 is a homeomorphism. It is easy to see that the mapping is continuous. Its inverse is given by the continous map σ 1 (u 1,...,u n ) (2u1,...,2u n, u 2 1). u 2 +1 Indeed, σ σ 1 id: ( ) (2u σ σ 1 (u 1,...,u n 1,...,2u n, u 2 1) ) σ u 2 +1 (2u 1,...,2u n ) ( u 2 +1)(1 ( u 2 1)( u 2 +1) 1 ) u 2 +1 ( u 2 +1)( u 2 +1 ( u 2 1) (2u1,...,2u n ) Also, σ 1 σ id: ( ) (x σ 1 σ(x 1,...,x n+1 ) σ 1 1,...,x n ) ( 1+ 1 x n+1 n i1 (u 1,...,u n ) (x i ) 2 ) 1 ( 2x 1 2x n n (x i ) 2 1 x n+1,..., 1 x n+1, (1 x n+1 ) 1) 2 + 2x1 2x n n (x i ) 2 n i1 (xi ) 2( 1 x n+1,..., 1 x n+1, ) i1 2x 1 2x n 1 (xn+1 ) 2 +1 (x n+1 ) 2( 1 x n+1,..., 1 x n+1, ) (1 xn+1 ) 2 2 2x ( 2x 1 2x n 2xn+1 2(x n+1 ) 2 n+1 1 x n+1,..., 1 x n+1, ) (x 1,...,x n+1 ) Hence we have shown that R n is homeomorphic to S n \{N}. It follows that their one-point compactifications are homeomorphic. It is clear from the definition that the one-point compactification of S n \{N} is S n, hence the one-point compactification of R n is homeomorphic to S n. 4 i1

5 Problem 4.60 The product of countably many sequentially compact spaces is sequentially compact. Let X i N X i, and let {x j } j1 be a sequence in X. Then there exists a subsequence {x n j } j1 of {x j } such that {π 1 (x nj ))} j1 converges in X 1. Denote it by {x 1 j} j1. Proceeding inductively, for k N we obtain a subsequence {x k j} j1 of {xj k 1 } j1 such that {π k (x k j)} j1 converges is X k. Let y k x k k. Then {y k} k1 is a subsequence of {x j} j1 such that {π i (y k )} k1 converges in X i for all positive integers i. By Problem 4.34 (proved above), we can conclude that {y k } k1 converges in X. Problem 4.64 Let (X,ρ) be a metric space. A function f C(X) is called Holder continuous of exponent α (α > 0) if the quantity N α (f) sup x y ρ(x,y) α is finite. If X is compact, {f C(X) : f u 1 and N α (F) 1} is compact in C(X). Denote F {f C(X) : f u 1 and N α (F) 1}. It is clear from the definition that F is pointwise bounded. Let ǫ > 0,x X, and δ ǫ 1/α. Then for all y X such that ρ(x,y) < δ, we have ρ(x,y) α < ǫ for all f F. Hence F is equicontinuous. By Arzela-Ascoli, the closure of F in C(X) is compact. We show that F is equal to its closure in C(X) to complete the proof. Suppose {f n } F and f n f u 0. We will show that f F. For all ǫ > 0, there exists an n N such that f u f f n u + f n u 1+ǫ. Since this holds for all ǫ > 0, we can conclude that f u 1. Next, fix x,y X. Let ǫ > 0, and choose n N such that f n f u < ǫ/2. Then ρ(x,y) α f(x) f n(x) + f n (x) f n (y) + f n (y) f(y) ρ(x,y) α ǫ ρ(x,y) + f n(x) f n (y) α ρ(x,y) α ǫ 1+ ρ(x,y) α 5

6 Since this holds for all ǫ > 0, we can conclude that ρ(x,y) α 1. This is true for all x,y X, therefore it follows that Hence f F, and therefore F is closed in C(X). sup 1. x y ρ(x,y) α 6

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

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

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

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

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

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

Homework 5. Solutions

Homework 5. Solutions Homework 5. Solutions 1. Let (X,T) be a topological space and let A,B be subsets of X. Show that the closure of their union is given by A B = A B. Since A B is a closed set that contains A B and A B is

More information

Final Exam Practice Problems Math 428, Spring 2017

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

More information

Analysis 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

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

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

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

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

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

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

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

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

Functional Analysis Exercise Class

Functional Analysis Exercise Class Functional Analysis Exercise Class Wee November 30 Dec 4: Deadline to hand in the homewor: your exercise class on wee December 7 11 Exercises with solutions Recall that every normed space X can be isometrically

More information

1 z. = 2 w =. As a result, 1 + u 2. 2u 2. 2u u 2 ) = u is smooth as well., ϕ 2 ([z 1 : z 2 ]) = z 1

1 z. = 2 w =. As a result, 1 + u 2. 2u 2. 2u u 2 ) = u is smooth as well., ϕ 2 ([z 1 : z 2 ]) = z 1 KOÇ UNIVERSITY FALL 011 MATH 554 MANIFOLDS MIDTERM 1 OCTOBER 7 INSTRUCTOR: BURAK OZBAGCI 180 Minutes Solutions by Fatih Çelik PROBLEM 1 (0 points): Let N = (0 0 1) be the north pole in the sphere S R 3

More information

4 Countability axioms

4 Countability axioms 4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said

More information

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

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

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

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

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

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

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

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

arxiv: v3 [math.lo] 14 Sep 2015

arxiv: v3 [math.lo] 14 Sep 2015 On the relation of three theorems of functional analysis to the axiom of choice arxiv:1509.01078v3 [math.lo] 14 Sep 2015 Adrian Fellhauer May 7, 2018 Abstract In the following, we prove by extending methods

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

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

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

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

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

MAS3706 Topology. Revision Lectures, May I do not answer enquiries as to what material will be in the exam.

MAS3706 Topology. Revision Lectures, May I do not answer  enquiries as to what material will be in the exam. MAS3706 Topology Revision Lectures, May 208 Z.A.Lykova It is essential that you read and try to understand the lecture notes from the beginning to the end. Many questions from the exam paper will be similar

More 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

Regularity for Poisson Equation

Regularity for Poisson Equation Regularity for Poisson Equation OcMountain Daylight Time. 4, 20 Intuitively, the solution u to the Poisson equation u= f () should have better regularity than the right hand side f. In particular one expects

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

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

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

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

1. Simplify the following. Solution: = {0} Hint: glossary: there is for all : such that & and

1. Simplify the following. Solution: = {0} Hint: glossary: there is for all : such that & and Topology MT434P Problems/Homework Recommended Reading: Munkres, J.R. Topology Hatcher, A. Algebraic Topology, http://www.math.cornell.edu/ hatcher/at/atpage.html For those who have a lot of outstanding

More information

General Topology. Summer Term Michael Kunzinger

General Topology. Summer Term Michael Kunzinger General Topology Summer Term 2016 Michael Kunzinger michael.kunzinger@univie.ac.at Universität Wien Fakultät für Mathematik Oskar-Morgenstern-Platz 1 A-1090 Wien Preface These are lecture notes for a

More information

x 0 + f(x), exist as extended real numbers. Show that f is upper semicontinuous This shows ( ɛ, ɛ) B α. Thus

x 0 + f(x), exist as extended real numbers. Show that f is upper semicontinuous This shows ( ɛ, ɛ) B α. Thus Homework 3 Solutions, Real Analysis I, Fall, 2010. (9) Let f : (, ) [, ] be a function whose restriction to (, 0) (0, ) is continuous. Assume the one-sided limits p = lim x 0 f(x), q = lim x 0 + f(x) exist

More 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

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

MAT3500/ Mandatory assignment 2013 Solutions

MAT3500/ Mandatory assignment 2013 Solutions MAT3500/4500 - Mandatory assignment 2013 s Problem 1 Let X be a topological space, A and B be subsets of X. Recall the definition of the boundary Bd A of a set A. Prove that Bd (A B) (Bd A) (Bd B). Discuss

More information

Solutions to Tutorial 8 (Week 9)

Solutions to Tutorial 8 (Week 9) The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 8 (Week 9) MATH3961: Metric Spaces (Advanced) Semester 1, 2018 Web Page: http://www.maths.usyd.edu.au/u/ug/sm/math3961/

More 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

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

Topology Part of the Qualify Exams of Department of Mathematics, Texas A&M University Prepared by Zhang, Zecheng

Topology Part of the Qualify Exams of Department of Mathematics, Texas A&M University Prepared by Zhang, Zecheng Topology Part of the Qualify Exams of Department of Mathematics, Texas A&M University Prepared by Zhang, Zecheng Remark 0.1. This is a solution Manuel to the topology questions of the Topology Geometry

More 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

x n y n d(x, y) = 2 n.

x n y n d(x, y) = 2 n. Prof. D. Vassilev Fall 2015 HOMEWORK PROBLEMS, MATH 431-535 The odd numbered homework are due the Monday following week at the beginning of class. Please check again the homework problems after class as

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

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

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

4. (alternate topological criterion) For each closed set V Y, its preimage f 1 (V ) is closed in X. Chapter 2 Functions 2.1 Continuous functions Definition 2.1. Let (X, d X ) and (Y,d Y ) be metric spaces. A function f : X! Y is continuous at x 2 X if for each " > 0 there exists >0 with the property

More information

A SECOND COURSE IN GENERAL TOPOLOGY

A SECOND COURSE IN GENERAL TOPOLOGY Heikki Junnila, 2007-8/2014 A SECOND COURSE IN GENERAL TOPOLOGY CHAPTER I COMPLETE REGULARITY 1. Definitions and basic properties..... 3 2. Some examples..... 7 Exercises....9 CHAPTER II CONVERGENCE AND

More information

TOPOLOGY HW 2. x x ± y

TOPOLOGY HW 2. x x ± y TOPOLOGY HW 2 CLAY SHONKWILER 20.9 Show that the euclidean metric d on R n is a metric, as follows: If x, y R n and c R, define x + y = (x 1 + y 1,..., x n + y n ), cx = (cx 1,..., cx n ), x y = x 1 y

More information

Adjunctions, the Stone-Čech compactification, the compact-open topology, the theorems of Ascoli and Arzela

Adjunctions, the Stone-Čech compactification, the compact-open topology, the theorems of Ascoli and Arzela Adjunctions, the Stone-Čech compactification, the compact-open topology, the theorems of Ascoli and Arzela John Terilla Fall 2014 Contents 1 Adjoint functors 2 2 Example: Product-Hom adjunction in Set

More information

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that

More 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

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

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X. Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2

More information

SOLUTIONS TO THE FINAL EXAM

SOLUTIONS TO THE FINAL EXAM SOLUTIONS TO THE FINAL EXAM Short questions 1 point each) Give a brief definition for each of the following six concepts: 1) normal for topological spaces) 2) path connected 3) homeomorphism 4) covering

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

DIFFERENTIAL GEOMETRY 1 PROBLEM SET 1 SOLUTIONS

DIFFERENTIAL GEOMETRY 1 PROBLEM SET 1 SOLUTIONS DIFFERENTIAL GEOMETRY PROBLEM SET SOLUTIONS Lee: -4,--5,-6,-7 Problem -4: If k is an integer between 0 and min m, n, show that the set of m n matrices whose rank is at least k is an open submanifold of

More information

1 Spaces and operations Continuity and metric spaces Topological spaces Compactness... 3

1 Spaces and operations Continuity and metric spaces Topological spaces Compactness... 3 Compact course notes Topology I Fall 2011 Professor: A. Penskoi transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Spaces and operations 2 1.1 Continuity and metric

More information

s P = f(ξ n )(x i x i 1 ). i=1

s P = f(ξ n )(x i x i 1 ). i=1 Compactness and total boundedness via nets The aim of this chapter is to define the notion of a net (generalized sequence) and to characterize compactness and total boundedness by this important topological

More 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

MA651 Topology. Lecture 9. Compactness 2.

MA651 Topology. Lecture 9. Compactness 2. MA651 Topology. Lecture 9. Compactness 2. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology

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

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS Problem 1. Give an example of a non-metrizable topological space. Explain. Problem 2. Introduce a topology on N by declaring that open sets are, N,

More information

10 Compactness in function spaces: Ascoli-Arzelá theorem

10 Compactness in function spaces: Ascoli-Arzelá theorem 10 Compactness in function spaces: Ascoli-Arzelá theorem Recall that if (X, d) isacompactmetricspacethenthespacec(x) isavector space consisting of all continuous function f : X R. The space C(X) is equipped

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 in Topology, Spring 2009.

Homework in Topology, Spring 2009. Homework in Topology, Spring 2009. Björn Gustafsson April 29, 2009 1 Generalities To pass the course you should hand in correct and well-written solutions of approximately 10-15 of the problems. For higher

More information

TOPOLOGY TAKE-HOME CLAY SHONKWILER

TOPOLOGY TAKE-HOME CLAY SHONKWILER TOPOLOGY TAKE-HOME CLAY SHONKWILER 1. The Discrete Topology Let Y = {0, 1} have the discrete topology. Show that for any topological space X the following are equivalent. (a) X has the discrete topology.

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

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

Weak Topologies, Reflexivity, Adjoint operators

Weak Topologies, Reflexivity, Adjoint operators Chapter 2 Weak Topologies, Reflexivity, Adjoint operators 2.1 Topological vector spaces and locally convex spaces Definition 2.1.1. [Topological Vector Spaces and Locally convex Spaces] Let E be a vector

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

Convergence & Continuity

Convergence & Continuity September 5 8, 217 Given a sequence {x n } n Ξ of elements x n X, where X is a metric space, Ξ is an indexing set. Let Ξ = N Definition (convergent sequence) A sequence {x n } is called convergent sequence

More information

i=1 β i,i.e. = β 1 x β x β 1 1 xβ d

i=1 β i,i.e. = β 1 x β x β 1 1 xβ d 66 2. Every family of seminorms on a vector space containing a norm induces ahausdorff locally convex topology. 3. Given an open subset Ω of R d with the euclidean topology, the space C(Ω) of real valued

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 140B - HW 5 SOLUTIONS

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

More information

F 1 =. Setting F 1 = F i0 we have that. j=1 F i j

F 1 =. Setting F 1 = F i0 we have that. j=1 F i j Topology Exercise Sheet 5 Prof. Dr. Alessandro Sisto Due to 28 March Question 1: Let T be the following topology on the real line R: T ; for each finite set F R, we declare R F T. (a) Check that T is a

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

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

Logical Connectives and Quantifiers

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

More information

Spring -07 TOPOLOGY III. Conventions

Spring -07 TOPOLOGY III. Conventions Spring -07 TOPOLOGY III Conventions In the following, a space means a topological space (unless specified otherwise). We usually denote a space by a symbol like X instead of writing, say, (X, τ), and we

More information

l(y j ) = 0 for all y j (1)

l(y j ) = 0 for all y j (1) Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that

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

Solve EACH of the exercises 1-3

Solve EACH of the exercises 1-3 Topology Ph.D. Entrance Exam, August 2011 Write a solution of each exercise on a separate page. Solve EACH of the exercises 1-3 Ex. 1. Let X and Y be Hausdorff topological spaces and let f: X Y be continuous.

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

CHAPTER V DUAL SPACES

CHAPTER V DUAL SPACES CHAPTER V DUAL SPACES DEFINITION Let (X, T ) be a (real) locally convex topological vector space. By the dual space X, or (X, T ), of X we mean the set of all continuous linear functionals on X. By the

More information

Math 328 Course Notes

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

More information

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

Assignment #10 Morgan Schreffler 1 of 7

Assignment #10 Morgan Schreffler 1 of 7 Assignment #10 Morgan Schreffler 1 of 7 Lee, Chapter 4 Exercise 10 Let S be the square I I with the order topology generated by the dictionary topology. (a) Show that S has the least uppper bound property.

More information

3. Prove or disprove: If a space X is second countable, then every open covering of X contains a countable subcollection covering X.

3. Prove or disprove: If a space X is second countable, then every open covering of X contains a countable subcollection covering X. Department of Mathematics and Statistics University of South Florida TOPOLOGY QUALIFYING EXAM January 24, 2015 Examiners: Dr. M. Elhamdadi, Dr. M. Saito Instructions: For Ph.D. level, complete at least

More information

CW complexes. Soren Hansen. This note is meant to give a short introduction to CW complexes.

CW complexes. Soren Hansen. This note is meant to give a short introduction to CW complexes. CW complexes Soren Hansen This note is meant to give a short introduction to CW complexes. 1. Notation and conventions In the following a space is a topological space and a map f : X Y between topological

More information