BASIC NOTIONS AND RESULTS IN TOPOLOGY. 1. Metric spaces. Sets with finite diameter are called bounded sets. For x X and r > 0 the set

Size: px
Start display at page:

Download "BASIC NOTIONS AND RESULTS IN TOPOLOGY. 1. Metric spaces. Sets with finite diameter are called bounded sets. For x X and r > 0 the set"

Transcription

1 BASIC NOTIONS AND RESULTS IN TOPOLOGY 1. Metric spaces A metric on a set X is a map d : X X R + with the properties: d(x, y) 0 and d(x, y) = 0 x = y, d(x, y) = d(y, x), d(x, y) d(x, z) + d(z, y), for a x, y, z X. The pair (X, d) is caed a metric space. Given Y X the diameter of Y is diam(y ) = sup d(x, y). x,y Y Sets with finite diameter are caed bounded sets. For x X and r > 0 the set B(x, r) = {y X : d(y, x) < r} is caed the open ba centered at x and of radius r and B(x, r) = {y X : d(y, x) r} is caed the cosed ba centered at x and of radius r. The set Y X is caed open if for every x Y there exists r > 0 such that B(x, r) Y. Note that arbitrary unions of open sets are (obviousy) open. The set Y X is caed cosed if X \Y is open. Arbitrary intersections of cosed sets are cosed. The cosure of a set Y X is Y = {Z Y : Z is a cosed set }. The set Y X is caed dense in X if Y = X. If X contains a countabe dense subset we say that X is separabe. The set Y X is caed nowhere dense in X if Y contains no open ba. The space X is of the first (Baire) category if it can be written as a countabe union of nowhere dense subsets. The space X is of the second (Baire) category if it isn t of the first category. We say that a sequence (x n ) in X converges to x X if im n d(x n, x) = 0. 1

2 2 BASIC NOTIONS AND RESULTS IN TOPOLOGY If Y X then its cosure Y consists of Y together with the imits of convergent sequences in Y. A sequence (x n ) in X is a Cauchy sequence if im d(x n, x m ) = 0. m,n Convergent sequences are Cauchy sequences but the converse fais in genera. The metric space (X, d) is caed compete if every Cauchy sequence is convergent. Theorem 1.1. (X, d) is compete if and ony if for any decreasing sequence (Y n ) of subsets (i.e. Y n Y n+1 ) which are nonvoid, cosed and satisfy im n diam(y n ) = 0, their intersection consists of exacty one point. Proof. Assume the property in the statement hods true and et (x n ) be a Cauchy sequence in X. Set Y n = {x m : m n}, and note that these sets are cosed, Y n+1 Y n, and diam(y n ) 0. If n 1 Y n = {x} then d(x n, x) diam(y n ) 0, i.e. (x n ) converges to x. Conversey, assume that (X, d) is compete and et (Y n ) be a sequence as in the statement. Pic x n Y n and note that if m n then d(x n, x m ) diam(y n ), which impies that (x n ) is Cauchy. Then (x n ) is convergent and its imit must beong to each Y n since these are cosed sets. If x is another common point of a Y n then from d(x, x ) diam(y n ) n we see that x = x. Every metric space X can be identified with a dense subset of a compete metric space. The atter can be chosen to be unique up to isometries and is usuay caed the competion of X. Theorem 1.2. (Baire) A compete metric space is of the second category. Proof. Assume the contrary, that is, X is compete but X = n=1y n, where Y n is nowhere dense for a n. Tae an arbitrary cosed ba B(x 0, r 0 ) with x 0 X, r 0 > 0. Since this ba cannot be contained

3 BASIC NOTIONS AND RESULTS IN TOPOLOGY 3 in Y 1, there exists B(x 1, r 1 ) B(x 0, r 0 ) with r 1 < r 0 /2 such that B(x 1, r 1 ) Y 1 =. Repeat this procedure inductivey, that is, find B(x 2, r 2 ) B(x 1, r 1 ) with r 2 < r 1 /2 such that B(x 2, r 2 ) (Y 1 Y 2 ) =, and so on. We obtain a decreasing sequence of cosed bas B(x n, r n ) such that B(x n, r n ) ( n j=1y j = and r n < r 0 /2 n. By Theorem 1.1 these bas must have a common point which, by construction cannot beong to any set Y n. Contradiction! A subset Y of the metric space (X, d) is caed precompact or reativey compact if every sequence in Y has a convergent subsequence. A cosed precompact set is caed compact. Compact sets are bounded and cosed as in R n, but the converse is far from being true in this generaity! Exercise 1. If X is compact then it is compete and separabe. Theorem 1.3. A set Y X is compact if and ony if from every open cover {U α } α A of Y we can extract a finite cover. Proof. The same as in the cacuus course. Let (X, d), (Z, ρ) be metric spaces. A function f : X Z is caed continuous at x 0 X if im n f(x n ) = f(x 0 ) whenever (x n ) is a sequence in X which converges to x 0. The function f is continuous on X if it is continuous at each point of X. Note that a function f : X Z is continuous on X if and ony if the preimage of any open subset of Z is open in X. Theorem 1.4. Let (X, d) be a compact metric space. Then every continuous function f : X R is bounded and attains it minimum and maximum in X. Proof. The same as in the cacuus course. Theorem 1.5. (uniform boundedness) Let (X, d), (Z, ρ) be metric spaces and et F be a famiy of continuous functions from X into Z such that for every x X the set {f(x) Z : f F} is bounded in Z. If X is compete then there exists a nonvoid open set U X such that f F f(u)

4 4 BASIC NOTIONS AND RESULTS IN TOPOLOGY is bounded. Proof. Fix z Z and et X n = {x X : ρ(f(x), z) n f F}. Ceary, each X n is cosed and by assumption we have X n = X. n=1 Then by Baire s Theorem ( Theorem 1.2) at east one of these sets wi contain an open ba. Let (X, d) be a compact metric space and et C(X) denote the set of a compex-vaued continuous functions on X. Given f, g C(X) set ρ(f, g) = sup f(x) g(x). x X Exercise 2. Show that C(X), ρ) is a compete metric space and that a sequence converges in this space if and ony if it converges uniformy on X. A bounded set in (C(X), ρ) is sometimes caed a uniformy bounded famiy of functions. A subset F C(X) is caed equicontinuous at x X if for every ε > 0 there exists δ > 0 such that f(x) f(y) < ε whenever d(x, y) < δ and f F! The set F C(X) is caed equicontinuous if it is equicontinuous at a x X. Theorem 1.6. (Arzea-Ascoi) Let (X, d) be a compact metric space. If F C(X) is bounded and equicontinuous then every sequence in F has a convergent subsequence in C(X) (i.e. F is precompact in C(X)). Proof. Let (f n ) be a sequence in F. Reca that X is separabe and fix a countabe dense subset {x 1,..., x n,...}. Since (f n (x 1 )) is a bounded sequence of compex numbers, it has a convergent subsequence (f n 1 (x 1 )). At its turn (f n 1 (x 2 )) has a convergent subsequence indexed by (n 2 ) and by construction, (f n 2 (x j )) converges in C for j = 1, 2. Inductivey we construct ( smaer and smaer ) subsequences (n m ) such that (f n m (x j )) converges in C for 1 j m. Then the diagona subsequence (f n ) converges pointwise on the set {x 1,..., x n,...}.

5 BASIC NOTIONS AND RESULTS IN TOPOLOGY 5 Let ε > 0. Since F is equicontinuous, for every x X there exists δ x > 0 such that Ceary, d(x, y) < δ x f(x) f(y) < ε, f F. X = x X B(x, δ x ), and since X is compact there exist z 1,..., z n X such that N X = B(z j, δ zj ). j=1 For 1 j N choose x nj B(z j, δ zj ) and note that if x B(z j, δ zj ) then f n (x) f n (x) f n (x) f n (x nj ) + f n (x nj ) f n (x nj ) + f n (x nj ) f n (x) Now the first and the third term on the right hand side are aways ess than ε. By the previous argument we concude that there exists ε such that if, ε and 1 j N, which eads to f n (x nj ) f n (x nj ) < ε, f n (x) f n (x) 3ε for a x X and the resut foows. 2. Topoogica spaces A topoogy on a set X is a coection τ of subsets of X with the properties:, X τ, Finite intersections of eements of τ beong to τ, Arbitrary unions of eements of τ beong to τ. (X, τ) is caed a topoogica space and the subsets of X which beong to τ are caed open sets. A neighborhood of a point x X is an open set containing x. A basis of neighborhoods is a coection τ τ such that every open set is a union of eements of τ. The topoogy τ on X is caed a Hausdorff topoogy if for every x, y X, x Y there exist open sets U x, V y with U V =.

6 6 BASIC NOTIONS AND RESULTS IN TOPOLOGY A point x X is a point of contact of the set Y X if every neighborhood of x intersects Y. A set Y X is cosed if X \ Y is open. The cosure Y of Y is the smaest cosed set containing Y and it equas the union of Y and a its points of contact. If (X, τ), (Z, η) are topoogica spaces, a function f : X Z is continuous if f 1 (U) is open in X whenever U is open in Z. Exampe Let X be a set, et {(X α, τ α )} α A be a famiy of topoogica spaces and et {f α } α A be a famiy of functions with f α : X X α. Then the smaest topoogy τ on X for which each function f α, α A is continuous is given by the basis of neighborhoods V = n i=1 f 1 α i (U i ), where n N, α 1,..., α n A and U i τ αi are arbitrary. A concrete exampe of this type is the product topoogy. Let {(X α, τ α )} α A be a famiy of topoogica spaces and consider their cartesian product which is the set of a functions X = α A X α, f : A α A X α with f(α) X α α A. Such functions are aso caed tupes and denoted by (x α ) α A, where we understand that x α X α for a α A. The product topoogy is the smaest topoogy (on the product space) with the property that a projections P β : α A X α X α, P β ((x α ) α A = x β, are continuous. According to the above observation, a basis of neighborhoods for the product topoogy is given by the sets V = {(x α ) α A : x αi U i ), where n N, α 1,..., α n A and U i τ αi are arbitrary. The topoogica space (X, τ) is compact if every open cover of X contains a finite cover. Equivaenty, (X; τ) is compact if any famiy of cosed subsets of X with the property that any finite subfamiy has a nonvoid intersection, must have itsef a nonvoid intersection.

7 BASIC NOTIONS AND RESULTS IN TOPOLOGY 7 A famiy of arbitrary subsets of X with the above property, that is, any finite subfamiy has a nonvoid intersection is said to have the finite intersection property. Exercise 3. Show that (X, τ) is compact if and ony if every famiy of subsets of X with the finite intersection property, has at east a common point of contact. Theorem 2.1. (Tychonov) The cartesian product of compact topoogica spaces is compact with respect to the product topoogy. Proof. We prove that the condition in Exercise 3 hods. Let M be a famiy of subsets of α A X α with the finite intersection property. Use Zorn s emma to concude that there exists a maxima famiy M 0 which has the finite intersection property and contains M. By maximaity it foows that M 0 has the foowing properties: (a) Any finite intersection of sets in M 0 beongs to M 0, (b) A set that intersects any finite coection of subsets of M 0 must beong to M 0. To see (a) note that if A is a finite intersection of sets in M 0 then M 0 {A} has the finite intersection property and contains M, hence, it must equa M 0. The proof of (b) is identica; if B satisfies that property M 0 {B} contains M and has the finite intersection property, hence, it must equa M 0. Given a set S α A X α and α A, et S α = {x α : (x β ) β A } be the projection of S on the α coordinate. Let M α 0 the famiy of such projections of a sets in M 0. Ceary, M α 0 has the finite intersection property and since X α is compact, it foows that M α 0 must have a common point of contact x α X α. Set x = ( x α ) α A and consider a neighborhood V of x as given in our discussion of the product topoogy, that is, a finite intersection of sets of the form V αi = {(x α ) α A : x αi U i }, i = 1,..., n, where U i is an open subset of X αi for a i. Since each U i intersects every set in M α i 0 it foows that each V αi intersects every set in M 0. Then by (b) V αi M 0 and by (a) we obtain that V M 0. Thus by the finite intersection property V intersects every set in M 0, in particuar every set in M. Since the sets V as above form a basis of neighborhoods we concude that x is a point of contact for every set in M and we are done.

Mat 1501 lecture notes, penultimate installment

Mat 1501 lecture notes, penultimate installment Mat 1501 ecture notes, penutimate instament 1. bounded variation: functions of a singe variabe optiona) I beieve that we wi not actuay use the materia in this section the point is mainy to motivate 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

Restricted weak type on maximal linear and multilinear integral maps.

Restricted weak type on maximal linear and multilinear integral maps. Restricted weak type on maxima inear and mutiinear integra maps. Oscar Basco Abstract It is shown that mutiinear operators of the form T (f 1,..., f k )(x) = R K(x, y n 1,..., y k )f 1 (y 1 )...f k (y

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

Bourgain s Theorem. Computational and Metric Geometry. Instructor: Yury Makarychev. d(s 1, s 2 ).

Bourgain s Theorem. Computational and Metric Geometry. Instructor: Yury Makarychev. d(s 1, s 2 ). Bourgain s Theorem Computationa and Metric Geometry Instructor: Yury Makarychev 1 Notation Given a metric space (X, d) and S X, the distance from x X to S equas d(x, S) = inf d(x, s). s S The distance

More information

The arc is the only chainable continuum admitting a mean

The arc is the only chainable continuum admitting a mean The arc is the ony chainabe continuum admitting a mean Aejandro Ianes and Hugo Vianueva September 4, 26 Abstract Let X be a metric continuum. A mean on X is a continuous function : X X! X such that for

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

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

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

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

UNIFORM CONVERGENCE OF MULTIPLIER CONVERGENT SERIES

UNIFORM CONVERGENCE OF MULTIPLIER CONVERGENT SERIES royecciones Vo. 26, N o 1, pp. 27-35, May 2007. Universidad Catóica de Norte Antofagasta - Chie UNIFORM CONVERGENCE OF MULTILIER CONVERGENT SERIES CHARLES SWARTZ NEW MEXICO STATE UNIVERSITY Received :

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

INVERSE PRESERVATION OF SMALL INDUCTIVE DIMENSION

INVERSE PRESERVATION OF SMALL INDUCTIVE DIMENSION Voume 1, 1976 Pages 63 66 http://topoogy.auburn.edu/tp/ INVERSE PRESERVATION OF SMALL INDUCTIVE DIMENSION by Peter J. Nyikos Topoogy Proceedings Web: http://topoogy.auburn.edu/tp/ Mai: Topoogy Proceedings

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

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

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

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

YET ANOTHER PROPERTY OF THE SORGENFREY PLANE

YET ANOTHER PROPERTY OF THE SORGENFREY PLANE Voume 6, 1981 Pages 31 43 http://topoogy.auburn.edu/tp/ YET ANOTHER PROPERTY OF THE SORGENFREY PLANE by Peter de Caux Topoogy Proceedings Web: http://topoogy.auburn.edu/tp/ Mai: Topoogy Proceedings Department

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

arxiv: v1 [math.pr] 6 Oct 2017

arxiv: v1 [math.pr] 6 Oct 2017 EQUICONTINUOUS FAMILIES OF MARKOV OPERATORS IN VIEW OF ASYMPTOTIC STABILITY SANDER C. HILLE, TOMASZ SZAREK, AND MARIA A. ZIEMLAŃSKA arxiv:1710.02352v1 [math.pr] 6 Oct 2017 Abstract. Reation between equicontinuity

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

HAUSDORFF GAPS AND A NICE COUNTABLY PARACOMPACT NONNORMALSPACE

HAUSDORFF GAPS AND A NICE COUNTABLY PARACOMPACT NONNORMALSPACE Voume 1, 1976 Pages 239 242 http://topoogy.auburn.edu/tp/ HAUSDORFF GAPS AND A NICE COUNTABLY PARACOMPACT NONNORMALSPACE by Eric K. van Douwen Topoogy Proceedings Web: http://topoogy.auburn.edu/tp/ Mai:

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

u(x) s.t. px w x 0 Denote the solution to this problem by ˆx(p, x). In order to obtain ˆx we may simply solve the standard problem max x 0

u(x) s.t. px w x 0 Denote the solution to this problem by ˆx(p, x). In order to obtain ˆx we may simply solve the standard problem max x 0 Bocconi University PhD in Economics - Microeconomics I Prof M Messner Probem Set 4 - Soution Probem : If an individua has an endowment instead of a monetary income his weath depends on price eves In particuar,

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

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

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

2M2. Fourier Series Prof Bill Lionheart

2M2. Fourier Series Prof Bill Lionheart M. Fourier Series Prof Bi Lionheart 1. The Fourier series of the periodic function f(x) with period has the form f(x) = a 0 + ( a n cos πnx + b n sin πnx ). Here the rea numbers a n, b n are caed the Fourier

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

are left and right inverses of b, respectively, then: (b b 1 and b 1 = b 1 b 1 id T = b 1 b) b 1 so they are the same! r ) = (b 1 r = id S b 1 r = b 1

are left and right inverses of b, respectively, then: (b b 1 and b 1 = b 1 b 1 id T = b 1 b) b 1 so they are the same! r ) = (b 1 r = id S b 1 r = b 1 Lecture 1. The Category of Sets PCMI Summer 2015 Undergraduate Lectures on Fag Varieties Lecture 1. Some basic set theory, a moment of categorica zen, and some facts about the permutation groups on n etters.

More information

Exam 2 extra practice problems

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

More information

Stat 155 Game theory, Yuval Peres Fall Lectures 4,5,6

Stat 155 Game theory, Yuval Peres Fall Lectures 4,5,6 Stat 155 Game theory, Yuva Peres Fa 2004 Lectures 4,5,6 In the ast ecture, we defined N and P positions for a combinatoria game. We wi now show more formay that each starting position in a combinatoria

More information

Immerse Metric Space Homework

Immerse Metric Space Homework Immerse Metric Space Homework (Exercises -2). In R n, define d(x, y) = x y +... + x n y n. Show that d is a metric that induces the usual topology. Sketch the basis elements when n = 2. Solution: Steps

More information

Continuity. Matt Rosenzweig

Continuity. Matt Rosenzweig Continuity Matt Rosenzweig Contents 1 Continuity 1 1.1 Rudin Chapter 4 Exercises........................................ 1 1.1.1 Exercise 1............................................. 1 1.1.2 Exercise

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

Math General Topology Fall 2012 Homework 1 Solutions

Math General Topology Fall 2012 Homework 1 Solutions Math 535 - General Topology Fall 2012 Homework 1 Solutions Definition. Let V be a (real or complex) vector space. A norm on V is a function : V R satisfying: 1. Positivity: x 0 for all x V and moreover

More 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

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

MA651 Topology. Lecture 10. Metric Spaces.

MA651 Topology. Lecture 10. Metric Spaces. MA65 Topology. Lecture 0. Metric Spaces. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Linear Algebra and Analysis by Marc Zamansky

More information

Analysis III. Exam 1

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

More information

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

(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

Problem set 6 The Perron Frobenius theorem.

Problem set 6 The Perron Frobenius theorem. Probem set 6 The Perron Frobenius theorem. Math 22a4 Oct 2 204, Due Oct.28 In a future probem set I want to discuss some criteria which aow us to concude that that the ground state of a sef-adjoint operator

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

Completion. is dense in H. If V is complete, then U(V) = H.

Completion. is dense in H. If V is complete, then U(V) = H. Competion Theorem 1 (Competion) If ( V V ) is any inner product space then there exists a Hibert space ( H H ) and a map U : V H such that (i) U is 1 1 (ii) U is inear (iii) UxUy H xy V for a xy V (iv)

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

The Group Structure on a Smooth Tropical Cubic

The Group Structure on a Smooth Tropical Cubic The Group Structure on a Smooth Tropica Cubic Ethan Lake Apri 20, 2015 Abstract Just as in in cassica agebraic geometry, it is possibe to define a group aw on a smooth tropica cubic curve. In this note,

More information

Folland: Real Analysis, Chapter 4 Sébastien Picard

Folland: Real Analysis, Chapter 4 Sébastien Picard 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

More information

MIXING AUTOMORPHISMS OF COMPACT GROUPS AND A THEOREM OF SCHLICKEWEI

MIXING AUTOMORPHISMS OF COMPACT GROUPS AND A THEOREM OF SCHLICKEWEI MIXING AUTOMORPHISMS OF COMPACT GROUPS AND A THEOREM OF SCHLICKEWEI KLAUS SCHMIDT AND TOM WARD Abstract. We prove that every mixing Z d -action by automorphisms of a compact, connected, abeian group is

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

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

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

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

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

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

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li Summer Jump-Start Program for Analysis, 01 Song-Ying Li 1 Lecture 6: Uniformly continuity and sequence of functions 1.1 Uniform Continuity Definition 1.1 Let (X, d 1 ) and (Y, d ) are metric spaces and

More information

Real Analysis. Joe Patten August 12, 2018

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

More information

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

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a Solutions to Homework #6 1. Complete the proof of the backwards direction of Theorem 12.2 from class (which asserts the any interval in R is connected). Solution: Let X R be a closed interval. Case 1:

More information

Analysis of Emerson s Multiple Model Interpolation Estimation Algorithms: The MIMO Case

Analysis of Emerson s Multiple Model Interpolation Estimation Algorithms: The MIMO Case Technica Report PC-04-00 Anaysis of Emerson s Mutipe Mode Interpoation Estimation Agorithms: The MIMO Case João P. Hespanha Dae E. Seborg University of Caifornia, Santa Barbara February 0, 004 Anaysis

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 1. Metric Spaces. 1. Definition and examples

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

More information

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

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

Most Continuous Functions are Nowhere Differentiable

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

More information

are left and right inverses of b, respectively, then: (b b 1 and b 1 = b 1 b 1 id T = b 1 b) b 1 so they are the same! r ) = (b 1 r = id S b 1 r = b 1

are left and right inverses of b, respectively, then: (b b 1 and b 1 = b 1 b 1 id T = b 1 b) b 1 so they are the same! r ) = (b 1 r = id S b 1 r = b 1 Lecture 1. The Category of Sets PCMI Summer 2015 Undergraduate Lectures on Fag Varieties Lecture 1. Some basic set theory, a moment of categorica zen, and some facts about the permutation groups on n etters.

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

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

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous: MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is

More information

Lecture 11. Fourier transform

Lecture 11. Fourier transform Lecture. Fourier transform Definition and main resuts Let f L 2 (R). The Fourier transform of a function f is a function f(α) = f(x)t iαx dx () The normaized Fourier transform of f is a function R ˆf =

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

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

Course 2BA1, Section 11: Periodic Functions and Fourier Series

Course 2BA1, Section 11: Periodic Functions and Fourier Series Course BA, 8 9 Section : Periodic Functions and Fourier Series David R. Wikins Copyright c David R. Wikins 9 Contents Periodic Functions and Fourier Series 74. Fourier Series of Even and Odd Functions...........

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

Week 6 Lectures, Math 6451, Tanveer

Week 6 Lectures, Math 6451, Tanveer Fourier Series Week 6 Lectures, Math 645, Tanveer In the context of separation of variabe to find soutions of PDEs, we encountered or and in other cases f(x = f(x = a 0 + f(x = a 0 + b n sin nπx { a n

More information

Lecture Notes 4: Fourier Series and PDE s

Lecture Notes 4: Fourier Series and PDE s Lecture Notes 4: Fourier Series and PDE s 1. Periodic Functions A function fx defined on R is caed a periodic function if there exists a number T > such that fx + T = fx, x R. 1.1 The smaest number T for

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

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

Numerical Sequences and Series

Numerical Sequences and Series Numerical Sequences and Series Written by Men-Gen Tsai email: b89902089@ntu.edu.tw. Prove that the convergence of {s n } implies convergence of { s n }. Is the converse true? Solution: Since {s n } is

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

Midterm 1. Every element of the set of functions is continuous

Midterm 1. Every element of the set of functions is continuous Econ 200 Mathematics for Economists Midterm Question.- Consider the set of functions F C(0, ) dened by { } F = f C(0, ) f(x) = ax b, a A R and b B R That is, F is a subset of the set of continuous functions

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

Math 201 Topology I. Lecture notes of Prof. Hicham Gebran

Math 201 Topology I. Lecture notes of Prof. Hicham Gebran Math 201 Topology I Lecture notes of Prof. Hicham Gebran hicham.gebran@yahoo.com Lebanese University, Fanar, Fall 2015-2016 http://fs2.ul.edu.lb/math http://hichamgebran.wordpress.com 2 Introduction and

More information

van Rooij, Schikhof: A Second Course on Real Functions

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

More information

A Unique Common Coupled Fixed Point Theorem for Four Maps in Partial b-metric- Like Spaces

A Unique Common Coupled Fixed Point Theorem for Four Maps in Partial b-metric- Like Spaces SQU Journa for Science 05 9() 55-6 04 Sutan Qaboos University A Unique Common Couped Fixed Point Theorem for Four Maps in Partia b-metric- Like Spaces Mohammad S. Khan * Konduru P.R. Rao and Kandipai V.S.

More information

Math General Topology Fall 2012 Homework 13 Solutions

Math General Topology Fall 2012 Homework 13 Solutions Math 535 - General Topology Fall 2012 Homework 13 Solutions Note: In this problem set, function spaces are endowed with the compact-open topology unless otherwise noted. Problem 1. Let X be a compact topological

More 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

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

Generalized Bell polynomials and the combinatorics of Poisson central moments

Generalized Bell polynomials and the combinatorics of Poisson central moments Generaized Be poynomias and the combinatorics of Poisson centra moments Nicoas Privaut Division of Mathematica Sciences Schoo of Physica and Mathematica Sciences Nanyang Technoogica University SPMS-MAS-05-43,

More information

Continuous functions that are nowhere differentiable

Continuous functions that are nowhere differentiable Continuous functions that are nowhere differentiable S. Kesavan The Institute of Mathematical Sciences, CIT Campus, Taramani, Chennai - 600113. e-mail: kesh @imsc.res.in Abstract It is shown that the existence

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

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

NOWHERE LOCALLY UNIFORMLY CONTINUOUS FUNCTIONS

NOWHERE LOCALLY UNIFORMLY CONTINUOUS FUNCTIONS NOWHERE LOCALLY UNIFORMLY CONTINUOUS FUNCTIONS K. Jarosz Southern Illinois University at Edwardsville, IL 606, and Bowling Green State University, OH 43403 kjarosz@siue.edu September, 995 Abstract. Suppose

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

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

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

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

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

Existence and Uniqueness

Existence and Uniqueness Chapter 3 Existence and Uniqueness An intellect which at a certain moment would know all forces that set nature in motion, and all positions of all items of which nature is composed, if this intellect

More information