Math General Topology Fall 2012 Homework 1 Solutions

Size: px
Start display at page:

Download "Math General Topology Fall 2012 Homework 1 Solutions"

Transcription

1 Math 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 x = 0 holds if and only if x = Homogeneity: αx = α x for any scalar α and x V. 3. Triangle inequality: x + y x + y for all x, y V. A normed vector space is the data (V, ) of a vector space V equipped with a norm. Problem 1. Let (V, ) be a normed vector space. Define a function d: V V R by d(x, y) := x y. Show that d is a metric on V, called the metric induced by the norm. We check the three properties of a metric. 1. Positivity: d(x, y) = x y 0 for all x, y V, d(x, y) = 0 x y = 0 x y = 0 x = y. 2. Symmetry: d(y, x) = y x = ( 1)(x y) = 1 x y = x y = d(x, y). 3. Triangle inequality: d(x, y) = x y = x z + z y x z + z y = d(x, z) + d(z, y). 1

2 Problem 2. Denote by 2 the standard (Euclidean) norm on R n, defined by ( ) 1 2 x 2 :=. Now consider the function 1 : R n R defined by x 1 := x i. x 2 i a. Show that 1 is a norm on R n. We check the three properties of a norm. 1. Positivity: 2. Homogeneity: 3. Triangle inequality: x 1 = x i 0 for all x R n, x 1 = 0 x i = 0 x i = 0 for 1 i n x i = 0 for 1 i n x = 0. αx 1 = = x + y 1 = = αx i α x i = α x i = α x 1. x i + y i ( x i + y i ) x i + y i = x 1 + y 1. 2

3 Remark. The norms 1 and 2 are special cases of the so-called p-norm, for any real number p 1 or p =. See: 3

4 b. Find constants C, D > 0 satisfying for all x R n. x 2 C x 1 x 1 D x 2 C = 1. Claim: x 2 x 1 for all x R n. In other words, we can take the constant Proof 1. The claim is equivalent to x 2 2 x 2 1 ( x 2 i x i x 2 i ) 2 x 2 i + x i x j i j 0 x i x j i j which holds for all x R n. Proof 2. Write e i for the standard basis vector e i = (0,..., 0, x 2 = = = x i e i 2 x i e i 2 x i e i 2 x i = x 1. i th {}}{ 1, 0,..., 0). Then we have 4

5 For the bound x 1 D x 2, here are two solutions. Solution 1: Crude bound. Noting x i x 2, we obtain x 1 = x i x 2 = n x 2 so that we can take the constant D = n. Solution 2: Better bound. The 1-norm can be expressed as a dot product x 1 = = x i sign(x i )x i = s x where s R n is the vector with entries ±1 given by s i = sign(x i ). Let s say sign(0) = +1 by convention. The Cauchy-Schwarz inequality yields so that we can take the constant D = n. x 1 = s x s 2 x 2 = n x 2 Remark. In fact, this is the best possible bound, because equality is achieved by the vector u = (1, 1,..., 1). Indeed, we have u 1 = n whereas u 2 = n. 5

6 Definition. Two norms 1 and 2 on a vector space V are equivalent if they can be compared as in Problem 2b. Definition. Two metrics d 1 and d 2 on a set X are topologically equivalent if for every x X and ɛ > 0, there is a δ > 0 satisfying d 1 (x, y) < δ d 2 (x, y) < ɛ d 2 (x, y) < δ d 1 (x, y) < ɛ. In other words, the identity function (X, d 1 ) (X, d 2 ) is a homeomorphism. 6

7 Problem 3. metrics. Show that equivalent norms on a vector space V induce topologically equivalent Let 1 and 2 be two norms on V, and let C, D > 0 be constants satisfying for all x V. Thus the induced metrics satisfy x 2 C x 1 x 1 D x 2 d 2 (x, y) = x y 2 C x y 1 = Cd 1 (x, y) and likewise d 1 (x, y) Dd 2 (x, y) for all x, y V. Take K := max{c, D}. Let x V and ɛ > 0 be given. Pick δ := ɛ K chosen uniformly, independently of x). Then we have (which in this case can be d 1 (x, y) < δ d 2 (x, y) Cd 1 (x, y) < Cδ Kδ = ɛ and likewise d 2 (x, y) < δ d 1 (x, y) Dd 2 (x, y) < Dδ Kδ = ɛ. 7

8 Problem 4. (Bredon Prop. I.1.3) Show that topologically equivalent metrics induce the same topology (which explains the terminology). In other words, if d 1 and d 2 are topologically equivalent metrics on X, then a subset U X is open with respect to d 1 if and only if it is open with respect to d 2. By symmetry of the situation, it suffices to show one side of the equivalence. Let U X be a subset which is open with respect to d 1. We want to show that U is open with respect to d 2. Let x U. Because U is open with respect to d 1, there is an ɛ-ball (in the d 1 metric) around x entirely contained in U, i.e. B 1 ɛ (x) U, for some ɛ > 0. Because d 2 is topologically equivalent to d 1, there is some δ > 0 satisfying B 2 δ (x) B1 ɛ (x). In particular we have B 2 δ (x) B 1 ɛ (x) U so that U is open with respect to d 2. 8

9 Definition. Let (X, T ) be a topological space. A subset C X is closed (with respect to T ) if its complement C c := X \ C is open (with respect to T ). Problem 5. Show that the collection of closed subsets of X satisfies the following properties. 1. The empty subset and X itself are closed. 2. An arbitrary intersection of closed subsets is closed: C α closed for all α implies α C α is closed. 3. A finite union of closed subsets is closed: C, C closed implies C C is closed. 1. The empty set is closed because its complement c = X is open. The entire set X is closed because its complement X c = is open. 2. Let C α be closed for all α and consider the intersection α C α. Its complement ( α C α ) c = α C c α is a union of open sets, therefore open. Thus α C α is closed. 3. Let C, C be closed and consider the union C C. Its complement (C C ) c = C c C c is a finite intersection of open sets, therefore open. Thus C C is closed. Remark. In fact, a collection of subsets satisfies these properties if and only if their complements form a topology. Moreover, open subsets and closed subsets determine each other. Upshot: One might as well define a topology via a collection of closed subsets satisfying the three properties above. Their complements then form the topology in question. 9

10 Problem 6. Let X be a set. Consider the collection of cofinite subsets of X together with the empty subset: T cofin := {U X X \ U is finite} { }. a. Show that T cofin is a topology on X, called the cofinite topology. By problem 5, it suffices to check that the collection of subsets satisfies the axioms of closed subsets. {F X F is finite} {X}. 1. The empty set is finite, and therefore belongs to the collection, whereas X belongs to the collection by definition. 2. Let C α be a family of subsets that are either finite or all of X. Then the intersection α C α is finite (if at least one C α is finite) or all of X (if all C α are X). 3. Let C, C be subsets that are either finite or all of X. Then the union C C is finite (if both C and C are finite) or all of X (if at least one of C or C is X). b. Assuming X is infinite, show that the cofinite topology on X cannot be induced by a metric on X. Let B r (x) be an open ball not containing all of X. If the complement B r (x) c is infinite, then we are done: we have found an open subset which is not cofinite. If the complement B r (x) c is finite, then pick a point y B r (x) c and choose a radius ɛ > 0 small enough so that the open ball B ɛ (y) does not intersect B r (x); any value ɛ d(x, y) r will do. Then B ɛ (y) is finite, and thus its complement B ɛ (y) c is infinite, since X is infinite. We are done: we have found an open subset B ɛ (y) which is not cofinite. Slightly different solution. If X is infinite, then: Any cofinite subset of X is infinite; Any cofinite subset and any infinite subset must intersect. In particular, any two non-empty open subsets of X intersect. However, in any metric space containing at least two points, we can find non-empty open subsets that do not intersect. Indeed, pick distinct points x and y, and take small enough open balls B r (x) and B r (y) around them; any radius r d(x,y) 2 will guarantee B r (x) B r (y) =. Therefore the cofinite topology on X cannot be induced by a metric. Remark. In a few lectures, we will say that such a topology is not Hausdorff, hence not metrizable. 10

11 Definition. Let X be a set. The discrete topology on X is the one where all subsets are open: T disc = P(X) = {U X}. The anti-discrete (or trivial) topology on X is the one where only the empty subset and X itself are open: T anti = {, X}. Problem 7. Let D be a discrete topological space and A an anti-discrete topological space. a. Describe all continuous maps f : D X, where X is an arbitrary topological space. The condition that f 1 (V ) be open in D for any open V X is automatically satisfied, since every subset of D is open. Thus every function f : D X is continuous. Remark. We will come back to the question of mapping into a discrete space when discussing the notion of connectedness. b. Describe all continuous maps f : X A, where X is an arbitrary topological space. For any function f : X A, we have f 1 ( ) = and f 1 (A) = X, both of which are open in X. Since and A are the only open subsets of A, every function f : X A is continuous. c. Describe all continuous maps f : A X, where X is a metric space. Let f : A X be a continuous. We claim that f is a constant function. Pick some a A and look at its value x := f(a) X. For any other point y X, pick an open subset V X satisfying x V but y / V. Since f is continuous, the preimage f 1 (V ) is open in A. The condition f(a) = x V yields a f 1 (V ) so that f 1 (V ) is non-empty and must therefore be all of A, the only non-empty open subset of A. Now the condition f(a) V implies that f never takes the value y / V. Since y was an arbitrary point distinct from x, we conclude that f is the constant function with value x. Remark. The proof still holds whenever X is a T 1 space, a property that will be discussed in a few lectures. 11

12 Problem 8. Let f : X Y be a function between topological spaces, and let x X. a. Show that the following conditions (defining continuity of f at x) are equivalent. 1. For all neighborhood N of f(x), there is a neighborhood M of x such that f(m) N. 2. For all open neighborhood V of f(x), there is an open neighborhood U of x such that f(u) V. 3. For all neighborhood N of f(x), the preimage f 1 (N) is a neighborhood of x. (1 2) Let V be an open neighborhood of f(x). Since V is in particular a neighborhood of f(x), the assumption (1) guarantees that there is a neighborhood M of x such that f(m) V. Let U be an open of X satisfying x U M. Then U is an open neighborhood of x satisfying f(u) f(m) V. (2 3) Let N be a neighborhood of f(x). Let V be an open of Y satisfying f(x) V N. Then we have x f 1 (V ) f 1 (N). By the assumption (2), f 1 (V ) is an open neighborhood of x, so that f 1 (N) is a neighborhood of x. (3 1) Let N be a neighborhood of f(x) and take M := f 1 (N). By the assumption (3), f 1 (N) is a neighborhood of x, and moreover it satisfies f (f 1 (N)) N. b. Find an example of function f : X Y between metric spaces which is continuous at a point x X, but there is an open neighborhood V of f(x) such that the preimage f 1 (V ) is not an open neighborhood of x. Upshot: The description preimage of open is open is really about global continuity, not pointwise continuity (or even local continuity). Consider the step function f : R R defined by { 0 if x 43 f(x) = 1 if x > 43. Then f is continuous at x = 0 (in fact everywhere except at 43). However, take the open neighborhood ( 1, 1 ) of f(0) = 0. Its preimage under f is 2 2 ( f 1 ( 1 2, 1 ) 2 ) = (, 43] which is not open in R. 12

13 Problem 9. Let X be a topological space and B a collection of open subsets of X. a. Show that B is a basis for the topology of X if and only if for every open subset U X and x U, there is a B B satisfying x B U. ( ) Assume B is a basis for the topology. Let U X be open (WLOG non-empty) and x U. Because B is a basis, U can be written as a union U = α B α for some family of subsets B α B. Thus x is in at least one of those subsets B αx, yielding x B αx U. ( ) To show that B is a basis, there are two things to check. 1) Every union of members of B is open in X. This is automatic, because each B B was assumed to be open. 2) Let U X be open (WLOG non-empty). We want to show that U is a union of subsets in the collection B. By assumption on B, for each x U, there is some B x B satisfying x B x U. Thus we have U = x U B x. b. Assuming X is a metric space, show that the collection of open balls is a basis for the topology of X. B = {B 1 (x) x X, n N} n We use the criterion from part (a). Let U X be open and x U. Then there is some radius r > 0 such that the open ball of radius r centered at x is contained within U, i.e. B r (x) U. Pick n large enough so that 1 n r. Then we have x B 1 n (x) B r (x) U. 13

14 Problem 10. Let X be a set and S a collection of subsets of X. a. Show that the collection { T := n α α S α,i S α,i S } of (arbitrary) unions of finite intersections of members of S is a topology on X. We check the properties of a topology. 1. Because unions indexed by the empty family are allowed, the empty set = S α is in T. Because intersections indexed by the empty family are allowed, the entire set X = S α is in T. 2. Finite intersections of members of T are in T. Let U = nα α S α,i and V = nβ β j=1 S β,j be members of T. Their intersection is ( ) ( n α n β ) U V = S α,i S β,j = α,β α ( nα S α,i which is in T since each S α,i and S β,j is in S. n β j=1 β j=1 S β,j ) 3. Arbitrary unions of members of T are in T. Let {U γ = α members of T. Then their union is U γ = n (γ) α S γ α,i γ γ α = n (γ) α S γ α,i γ,α which is in T. n (γ) α Sγ α,i } γ be a family of 14

15 b. Show that T is the topology T S generated by S. In other words: T contains S and any other topology T containing S must satisfy T T. 1. T contains S: Any S S can be viewed as the union of one set which is the intersection of one set, namely S itself, which is in S. Therefore we have S T. 2. Let T be a topology containing S. For any family of subsets S α,i S, the finite intersection n α S α,i is in T, since T is a topology. Moreover, the union α n α S α,i is also in T, since T is a topology. Thus we have T T, as claimed. 15

Math General Topology Fall 2012 Homework 6 Solutions

Math General Topology Fall 2012 Homework 6 Solutions Math 535 - General Topology Fall 202 Homework 6 Solutions Problem. Let F be the field R or C of real or complex numbers. Let n and denote by F[x, x 2,..., x n ] the set of all polynomials in n variables

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

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

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

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

MATH 31BH Homework 1 Solutions

MATH 31BH Homework 1 Solutions MATH 3BH Homework Solutions January 0, 04 Problem.5. (a) (x, y)-plane in R 3 is closed and not open. To see that this plane is not open, notice that any ball around the origin (0, 0, 0) will contain points

More information

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

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

More information

Math 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

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

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

2 Metric Spaces Definitions Exotic Examples... 3

2 Metric Spaces Definitions Exotic Examples... 3 Contents 1 Vector Spaces and Norms 1 2 Metric Spaces 2 2.1 Definitions.......................................... 2 2.2 Exotic Examples...................................... 3 3 Topologies 4 3.1 Open Sets..........................................

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

Chapter II. Metric Spaces and the Topology of C

Chapter II. Metric Spaces and the Topology of C II.1. Definitions and Examples of Metric Spaces 1 Chapter II. Metric Spaces and the Topology of C Note. In this chapter we study, in a general setting, a space (really, just a set) in which we can measure

More information

Metric Spaces and Topology

Metric Spaces and Topology Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies

More information

MATH 614 Dynamical Systems and Chaos Lecture 6: Symbolic dynamics.

MATH 614 Dynamical Systems and Chaos Lecture 6: Symbolic dynamics. MATH 614 Dynamical Systems and Chaos Lecture 6: Symbolic dynamics. Metric space Definition. Given a nonempty set X, a metric (or distance function) on X is a function d : X X R that satisfies the following

More information

Topology Homework Assignment 1 Solutions

Topology Homework Assignment 1 Solutions Topology Homework Assignment 1 Solutions 1. Prove that R n with the usual topology satisfies the axioms for a topological space. Let U denote the usual topology on R n. 1(a) R n U because if x R n, then

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

By (a), B ε (x) is a closed subset (which

By (a), B ε (x) is a closed subset (which Solutions to Homework #3. 1. Given a metric space (X, d), a point x X and ε > 0, define B ε (x) = {y X : d(y, x) ε}, called the closed ball of radius ε centered at x. (a) Prove that B ε (x) is always a

More information

Topology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski

Topology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski Topology, Math 581, Fall 2017 last updated: November 24, 2017 1 Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski Class of August 17: Course and syllabus overview. Topology

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

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

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

After taking the square and expanding, we get x + y 2 = (x + y) (x + y) = x 2 + 2x y + y 2, inequality in analysis, we obtain.

After taking the square and expanding, we get x + y 2 = (x + y) (x + y) = x 2 + 2x y + y 2, inequality in analysis, we obtain. Lecture 1: August 25 Introduction. Topology grew out of certain questions in geometry and analysis about 100 years ago. As Wikipedia puts it, the motivating insight behind topology is that some geometric

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

Exam 2 extra practice problems

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

More information

Math General Topology Fall 2012 Homework 8 Solutions

Math General Topology Fall 2012 Homework 8 Solutions Math 535 - General Topology Fall 2012 Homework 8 Solutions Problem 1. (Willard Exercise 19B.1) Show that the one-point compactification of R n is homeomorphic to the n-dimensional sphere S n. Note that

More information

Math 3T03 - Topology

Math 3T03 - Topology Math 3T03 - Topology Sang Woo Park April 5, 2018 Contents 1 Introduction to topology 2 1.1 What is topology?.......................... 2 1.2 Set theory............................... 3 2 Functions 4 3

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

Math 5210, Definitions and Theorems on Metric Spaces

Math 5210, Definitions and Theorems on Metric Spaces Math 5210, Definitions and Theorems on Metric Spaces Let (X, d) be a metric space. We will use the following definitions (see Rudin, chap 2, particularly 2.18) 1. Let p X and r R, r > 0, The ball of radius

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

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

Real Analysis Notes. Thomas Goller

Real Analysis Notes. Thomas Goller Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................

More information

Convex 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

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

2. The Concept of Convergence: Ultrafilters and Nets

2. The Concept of Convergence: Ultrafilters and Nets 2. The Concept of Convergence: Ultrafilters and Nets NOTE: AS OF 2008, SOME OF THIS STUFF IS A BIT OUT- DATED AND HAS A FEW TYPOS. I WILL REVISE THIS MATE- RIAL SOMETIME. In this lecture we discuss two

More information

Set, functions and Euclidean space. Seungjin Han

Set, functions and Euclidean space. Seungjin Han Set, functions and Euclidean space Seungjin Han September, 2018 1 Some Basics LOGIC A is necessary for B : If B holds, then A holds. B A A B is the contraposition of B A. A is sufficient for B: If A holds,

More information

CHAPTER 7. Connectedness

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

More information

Metric Spaces Lecture 17

Metric Spaces Lecture 17 Metric Spaces Lecture 17 Homeomorphisms At the end of last lecture an example was given of a bijective continuous function f such that f 1 is not continuous. For another example, consider the sets T =

More information

(c) For each α R \ {0}, the mapping x αx is a homeomorphism of X.

(c) For each α R \ {0}, the mapping x αx is a homeomorphism of X. A short account of topological vector spaces Normed spaces, and especially Banach spaces, are basic ambient spaces in Infinite- Dimensional Analysis. However, there are situations in which it is necessary

More information

Lecture 3. Econ August 12

Lecture 3. Econ August 12 Lecture 3 Econ 2001 2015 August 12 Lecture 3 Outline 1 Metric and Metric Spaces 2 Norm and Normed Spaces 3 Sequences and Subsequences 4 Convergence 5 Monotone and Bounded Sequences Announcements: - Friday

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

Contents. Index... 15

Contents. Index... 15 Contents Filter Bases and Nets................................................................................ 5 Filter Bases and Ultrafilters: A Brief Overview.........................................................

More information

Problem Set 1: Solutions Math 201A: Fall Problem 1. Let (X, d) be a metric space. (a) Prove the reverse triangle inequality: for every x, y, z X

Problem Set 1: Solutions Math 201A: Fall Problem 1. Let (X, d) be a metric space. (a) Prove the reverse triangle inequality: for every x, y, z X Problem Set 1: s Math 201A: Fall 2016 Problem 1. Let (X, d) be a metric space. (a) Prove the reverse triangle inequality: for every x, y, z X d(x, y) d(x, z) d(z, y). (b) Prove that if x n x and y n y

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

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

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

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

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

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

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 54 - HW Solutions 5

Math 54 - HW Solutions 5 Math 54 - HW Solutions 5 Dan Crytser August 6, 202 Problem 20.a To show that the Manhattan metric d(, y) = y +... + n y n induces the standard topology on R n, we show that it induces the same topology

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

Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differenti. equations.

Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differenti. equations. Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differential equations. 1 Metric spaces 2 Completeness and completion. 3 The contraction

More information

Lecture Notes DRE 7007 Mathematics, PhD

Lecture Notes DRE 7007 Mathematics, PhD Eivind Eriksen Lecture Notes DRE 7007 Mathematics, PhD August 21, 2012 BI Norwegian Business School Contents 1 Basic Notions.................................................. 1 1.1 Sets......................................................

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

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

Introduction to Proofs

Introduction to Proofs Real Analysis Preview May 2014 Properties of R n Recall Oftentimes in multivariable calculus, we looked at properties of vectors in R n. If we were given vectors x =< x 1, x 2,, x n > and y =< y1, y 2,,

More information

a) Let x,y be Cauchy sequences in some metric space. Define d(x, y) = lim n d (x n, y n ). Show that this function is well-defined.

a) Let x,y be Cauchy sequences in some metric space. Define d(x, y) = lim n d (x n, y n ). Show that this function is well-defined. Problem 3) Remark: for this problem, if I write the notation lim x n, it should always be assumed that I mean lim n x n, and similarly if I write the notation lim x nk it should always be assumed that

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

Tools from Lebesgue integration

Tools from Lebesgue integration Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given

More information

MAT 419 Lecture Notes Transcribed by Eowyn Cenek 6/1/2012

MAT 419 Lecture Notes Transcribed by Eowyn Cenek 6/1/2012 (Homework 1: Chapter 1: Exercises 1-7, 9, 11, 19, due Monday June 11th See also the course website for lectures, assignments, etc) Note: today s lecture is primarily about definitions Lots of definitions

More information

Mathematical Analysis Outline. William G. Faris

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

More information

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

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

a. Define a function called an inner product on pairs of points x = (x 1, x 2,..., x n ) and y = (y 1, y 2,..., y n ) in R n by

a. Define a function called an inner product on pairs of points x = (x 1, x 2,..., x n ) and y = (y 1, y 2,..., y n ) in R n by Real Analysis Homework 1 Solutions 1. Show that R n with the usual euclidean distance is a metric space. Items a-c will guide you through the proof. a. Define a function called an inner product on pairs

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

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

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

More information

1. Continuous Functions between Euclidean spaces

1. Continuous Functions between Euclidean spaces Math 441 Topology Fall 2012 Metric Spaces by John M. Lee This handout should be read between Chapters 1 and 2 of the text. It incorporates material from notes originally prepared by Steve Mitchell and

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

2. Metric Spaces. 2.1 Definitions etc.

2. Metric Spaces. 2.1 Definitions etc. 2. Metric Spaces 2.1 Definitions etc. The procedure in Section for regarding R as a topological space may be generalized to many other sets in which there is some kind of distance (formally, sets with

More information

Metric Space Topology (Spring 2016) Selected Homework Solutions. HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y)

Metric Space Topology (Spring 2016) Selected Homework Solutions. HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y) Metric Space Topology (Spring 2016) Selected Homework Solutions HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y) d(z, w) d(x, z) + d(y, w) holds for all w, x, y, z X.

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

Ordinary differential equations. Recall that we can solve a first-order linear inhomogeneous ordinary differential equation (ODE) dy dt

Ordinary differential equations. Recall that we can solve a first-order linear inhomogeneous ordinary differential equation (ODE) dy dt MATHEMATICS 3103 (Functional Analysis) YEAR 2012 2013, TERM 2 HANDOUT #1: WHAT IS FUNCTIONAL ANALYSIS? Elementary analysis mostly studies real-valued (or complex-valued) functions on the real line R or

More information

Math 190: Fall 2014 Homework 4 Solutions Due 5:00pm on Friday 11/7/2014

Math 190: Fall 2014 Homework 4 Solutions Due 5:00pm on Friday 11/7/2014 Math 90: Fall 04 Homework 4 Solutions Due 5:00pm on Friday /7/04 Problem : Recall that S n denotes the n-dimensional unit sphere: S n = {(x 0, x,..., x n ) R n+ : x 0 + x + + x n = }. Let N S n denote

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

Math 341: Convex Geometry. Xi Chen

Math 341: Convex Geometry. Xi Chen Math 341: Convex Geometry Xi Chen 479 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca CHAPTER 1 Basics 1. Euclidean Geometry

More information

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

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

Chapter 2. Metric Spaces. 2.1 Metric Spaces

Chapter 2. Metric Spaces. 2.1 Metric Spaces Chapter 2 Metric Spaces ddddddddddddddddddddddddd ddddddd dd ddd A metric space is a mathematical object in which the distance between two points is meaningful. Metric spaces constitute an important class

More information

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

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

More information

MASTERS EXAMINATION IN MATHEMATICS SOLUTIONS

MASTERS EXAMINATION IN MATHEMATICS SOLUTIONS MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of

More information

Math 541 Fall 2008 Connectivity Transition from Math 453/503 to Math 541 Ross E. Staffeldt-August 2008

Math 541 Fall 2008 Connectivity Transition from Math 453/503 to Math 541 Ross E. Staffeldt-August 2008 Math 541 Fall 2008 Connectivity Transition from Math 453/503 to Math 541 Ross E. Staffeldt-August 2008 Closed sets We have been operating at a fundamental level at which a topological space is a set together

More information

ANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.

ANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2. ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n

More information

Math 140A - Fall Final Exam

Math 140A - Fall Final Exam Math 140A - Fall 2014 - Final Exam Problem 1. Let {a n } n 1 be an increasing sequence of real numbers. (i) If {a n } has a bounded subsequence, show that {a n } is itself bounded. (ii) If {a n } has a

More information

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

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

Seminorms and locally convex spaces

Seminorms and locally convex spaces (April 23, 2014) Seminorms and locally convex spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2012-13/07b seminorms.pdf]

More information

Introduction to Banach Spaces

Introduction to Banach Spaces CHAPTER 8 Introduction to Banach Saces 1. Uniform and Absolute Convergence As a rearation we begin by reviewing some familiar roerties of Cauchy sequences and uniform limits in the setting of metric saces.

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

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

B553 Lecture 3: Multivariate Calculus and Linear Algebra Review

B553 Lecture 3: Multivariate Calculus and Linear Algebra Review B553 Lecture 3: Multivariate Calculus and Linear Algebra Review Kris Hauser December 30, 2011 We now move from the univariate setting to the multivariate setting, where we will spend the rest of the class.

More information

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

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

More information

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

Math 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015

Math 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015 Math 30-: Midterm Practice Solutions Northwestern University, Winter 015 1. Give an example of each of the following. No justification is needed. (a) A metric on R with respect to which R is bounded. (b)

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

HOMEWORK FOR , FALL 2007 ASSIGNMENT 1 SOLUTIONS. T = sup T(x) Ax A := sup

HOMEWORK FOR , FALL 2007 ASSIGNMENT 1 SOLUTIONS. T = sup T(x) Ax A := sup HOMEWORK FOR 18.101, FALL 007 ASSIGNMENT 1 SOLUTIONS (1) Given a linear map T : R m R n Define the operator norm of T as follows: T(x) T := sup x 0 x Similarly, if A is a matrix, define the operator norm

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

Supplement. The Extended Complex Plane

Supplement. The Extended Complex Plane The Extended Complex Plane 1 Supplement. The Extended Complex Plane Note. In section I.6, The Extended Plane and Its Spherical Representation, we introduced the extended complex plane, C = C { }. We defined

More information

Math 4317 : Real Analysis I Mid-Term Exam 1 25 September 2012

Math 4317 : Real Analysis I Mid-Term Exam 1 25 September 2012 Instructions: Answer all of the problems. Math 4317 : Real Analysis I Mid-Term Exam 1 25 September 2012 Definitions (2 points each) 1. State the definition of a metric space. A metric space (X, d) is set

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