Introductory Analysis I Fall 2014 Homework #5 Solutions

Size: px
Start display at page:

Download "Introductory Analysis I Fall 2014 Homework #5 Solutions"

Transcription

1 Introductory Analysis I Fall 2014 Homework #5 Solutions 6. Let M be a metric space, let C D M. Now we can think of C as a subset of the metric space M or as a subspace of the metric space D (D being a subspace with the metric inherited from M). Using either of the definitions of connectedness given in class, for example: C is a connected subset of the metric space M if it is NOT possible to find open sets U, V in M such that C U V, C U = C V, and C U V =, show that C is a connected subset of D if and only if it is a connected subset of M. In particular, a subset of a metric space is connected if and only if it is connected as a metric space. Note: This exercise will not be graded. Solution. It is sufficient to prove that a subset of a metric space is connected if and only if it is connected as a metric space; equivalently, a subset of a metric space is disconnected if and only if it is disconnected as a metric space. Assume first C is a disconnected subset of the metric space M. There exist then U, V open in M, C U V, C U = C V, C U V =. If we now set U 1 = C U, V 1 = C V, then U 1, V 1 are open in C,C = U 1 V 1, U 1 = C U = C V = V 1, U 1 V 1 = C U V =. Thus C is disconnected as a metric space. Conversely, assume that C is disconnected as a metric space. There exist then U 1, V 1 open in C such that C = U 1 V 1, U 1 = = V 1, U 1 V 1 =. Because U 1, V 1 are open in C, there exist U, V open in M such that U 1 = C U, V 1 = C V. Then C U V, C U = U 1 = V 1 = C V, C U V = U 1 V 1 =. Thus C is a disconnected subset of M. 7. Let C be a subset of a metric space M. Show that C is connected if and only if the only subsets of C that are both open and closed in C are C and. Solution. Assume first C is connected. Let A C be both open and closed in C Then B = C\A is also open and closed in C. Now C = A B, A B = and, since both A, B are open (and closed), they will disconnect C except if one of them is empty. Thus either A = or B =, in which case A = C. Conversely, assume that C is a set such that the only open and closed subsets are C and. If C were disconnected, there would exist nonempty, disjoint open sets U, V such that C = U V. Then U = C\V is also closed in C. Moreover, = U C; the reason that U C is because V = C\U. Thus C cannot be disconnected.

2 2 8. Let M be a metric space. Let A M, assume A. We will define a relation in A as follows: If x, y A, we will write x y iff there exists a connected subset C of A such that x, y C. (a) Prove that is an equivalence relation. Solution. We have to see the relation is reflexive, symmetric and transitive. For reflexivity we must prove that x x for all x M. This is immediate since singleton sets are always connected and x, x {x}. Symmetry is also immediate, if x y, then there is C connected with x, y C; then y, x C and y]simx. For transitivity assume x y, y z. There are then connected subsets C, D of A such that x, y C, y, z D. Since y C D, we see that C D is connected, since x, z C D we get x z. (b) Since is an equivalence relation, it partitions A into pairwise disjoint equivalence classes. Show that each one of these equivalence classes is a connected subset of A. Solution. Let E be one of these equivalence classes and, for a contradiction, assume it is disconnected. Assume E U V, E U V = and E U E V. Let x E U and let y E V. Then x y and there is a connected subset C such that x, y C. Now C E; in fact, if z C, then z x, z y, thus z is in the same equivalence class containing x; namely, E. The contradiction should be clear; the sets U, V disconnect C. (c) Show that the equivalence classes are maximal connected subsets of A; if C is a connected subset of A and C E for some equivalence class E, then C E. Conversely, show that if E is a maximal connected subset of A, then E is one of these equivalence classes. Solution. Let E be one of these equivalence classes and let C be a connected subset of A. If C E then E C is connected and everything in E C is equivalent under to everything in E, so E C E; i.e., C E. Conversely, if E is a maximal connected subset of A, then (because E is connected) x y for all x, y E and there exists an equivalence class F such that F E. But then E = F since F is connected and E is maximal connected. These equivalence classes are called the connected components of A. Thus, a connected component of a subset A of a metric space is a connected subset E of A such that if C is a connected subset of A, and C E, then C A. 9. Determine the connected components if the following subsets A of the given metric space M. (a) M = R 2 and A = R 2 \{(0, 0)}. (b) M = R and A = {0} {1/n : n N}. (c) M = R m, A = R m \S m 1.

3 3 (d) M a discrete metric space, A = M. Solution. I ll be very brief here. (a) A = R 2 \{(0, 0)} is connected, thus there is only one connected component, namely A. (b) The case M = R and A = {0} {1/n : n N} is perhaps the most interesting example of these four. Every point of A determines a connected component; that is, the connected components are {{ 1n } }, n N { {0} }. It is fairly easy to see that all the sets {1/n}, n = 1, 2, 3... are maximal connected sets because they are all both open and closed in A. But {0} is not open in A, but any set containing 0 and some other point, say 1/n, cannot be connected since {1/n} would be a closed and open subset of this set that is neither empty nor equal to the whole set. (c) In the case of M = R m, A = R M \S m 1, the connected components are E = {x R m : x < 1} and F = {x R m : x > 1}. (d) M a discrete metric space, A = M. Here the family of connected components is { {x}, x A }. 10. Let M be a metric space and let A be a subset of M. Let C be a connected component of A. Prove: (a) C is closed in A. Solution. Since C is a maximal connected subset of A and the closure of a connected subset is connected, C must equal its closure in A, hence be closed in A. (b) If A has only a finite number of connected components, then C is open in A. Solution. Assume that A has only a finite number of connected components, say C 1,..., C n. They are all closed in A, thus the union of any finite number of them is also closed in A. Now C 1 is the complement in A of C 2 C m, hence the complement of a closed set, hence open. (c) Give an example of a metric space M having a connected component that is not open. Solution. See Exercise 9b. 11. Let U be an open subset of R n. Prove that all connected components of U are open. Solution. Assume C is a connected component of the open set U in R m. Let x C. Since x U and U is open, there is r > 0such that

4 4 B(x; r) = {y R m : y x < r} U. But B(x; r) is connected, B(x, r) C (it contains x), thus B(x; r) C. 12. Let U be an open subset of R. Using some of the material developed about connected sets, prove that U can be written as a countable union of pairwise disjoint intervals. Prove that this decomposition is essentially unique; given two decompositions, one is just a permutation of the other. Note: This exercise won t be graded. Solution. Let U be an open subset of R. As any set, U is a union of its connected components. Since U is open, these connected components are open by Exercise 11. As we saw in class, the only connected subsets of R are intervals, thus U is a union of pairwise disjoint open intervals. Every open interval contains rational numbers; selecting one rational number from every open interval defines a one-to-one map from the family of intervals to Q, proving that the cardinality of this family is less than or equal that of Q; i.e., the family is at most countable. This shows that U is a countable union of pairwise disjoint open intervals. For uniqueness, assume U = I j = H k, j J k K where J, K are either equal to N or to a section of N; i.e., to a set of the form {1, 2..., m} for some m N. The sets I j, H k are open intervals. Now let j J. Then I j = I j U = I j H k. k K If I j intersects 2 or more H k s, the H k s would disconnect I j, thus I j will intersect exactly on H k, say H k0. The equality above becomes I j = I j U = k K I j H k = I j H k0. Thus I j H k0. We thus have a 1-1 map ϕ from J to K where ϕ(j) is this k 0 ; that is ϕ(j) is the unique element of K such that I j H ϕ(j). Reversing the roles of J, K, one sees that ϕ : J K is a bijection, hence a permutation, and that I j = h ϕ(j). 13. (From this year s qualifier) Let A, B be subsets of R m. One defines Prove: A + B = {a + b : a A, b B}. (a) If one of A, B is open, then A + B is open.

5 5 Solution. Assume A is open. For b R m, the map x x + b is a homeomorphism, thus it maps open sets to open sets. It follows that A + b is open for all b R m ; in particular for all b B. Thus A + B = b B A + b, as a union of open sets, is open. (b) If A, B are compact, then A + B is compact. Solution. Here is the preferred proof of the people who got this problem right. Let (x n ) be a sequence in A + B. Then x n = a n + b n for a n A, b n B, n N. Since A is compact, the sequence (a n ) in A has a convergent subsequence (a nk ), converging to some a A. Now consider the sequence (b nk ) in B; since B is compact, it has a convergent subsequence (b nkj ), converging to some b B. Now (a nkj ) is a subsequence of (a nk ), thus also converges to a. Thus (a nkj + b nkj ) is a subsequence of (x n ) converging to the element a + b A + B. This proves A + B is sequentially compact, thus compact. But there is a more elegant solution. The set A B is a compact subset of R m ; the map f : R m R m R m defined by f(x, y) = x+y is continuous, thus A + B = f(a B) is compact. (c) If A, B are connected, then A + B is connected. Solution. Again I l provide two solutions. The second one is nicer. Here is the first one. We may assume A = B; otherwise it is trivial. For every a R m, a+b is connected because it is homeomorphic to B. Unfortunately all of the sets {a+b} a A have no points in common so we can t just declare their union, which is A+B, as being connected. More is needed. A trick, perhaps. The trick (used by at least one successful solver in our last qualifier) is to fix a 0 A (here is where we need A ). For every b B, the set A + b is also connected (it is homeomorphic to b) and its intersection with a 0 + B is not empty; in fact, (a 0, b) (A+b) (a 0 +B). Thus (A+b) (a 0 +B) is connected for all b B. Since (a 0 + B) (A + b) (a 0 + B) for all b B, all of these sets have a point (or more) in common (because B ), thus their union is connected. We claim that ((a 0 + B) (A + b)) = A + B. b B The inclusion ((a 0 + B) (A + b)) A + B is obvious; conversely, let x b B ((a 0 + B) (A + b)). b B For some b B, x (a 0 + B) (A + b), so either x = a 0 + b for some b B or x = a + b for some a A. In either case x A + B. And now for the elegant proof. The set A B is a connected subset

6 6 of R m ; the map f : R m R m R m defined by f(x, y) = x + y is continuous, thus A + B = f(a B) is connected. I will add (d) Prove: If one of A, B is closed and the other one compact, then A+B is closed. Give an example of two closed subsets A, B of R m such that A+B is not closed. (There are examples with m = 1; the easiest examples are with m = 2, I think) Solution. Here we may need an approach similar to the non-elegant proof that A+B is compact if both A, B are compact. Assume that A is compact and B is closed. To prove A + B closed we will show that A + B contains all of its limit points, so assume (x n ) is a sequence in A + B, converging to some point x R m. Then x n = a n + b n for a n A, b n B, n N, and we have to prove that x = a + b for some a A, b B. Since A is compact, the sequence (a n ) in A has a convergent subsequence (a nk ), converging to some a A. We have our a! Now consider the sequence (b nk ) in B; we have b nk = x nk a nk and since (x nk ) is a subsequence of (x n ) it still converges to x; thus (b nk ) converges to x a. Since B is closed x a = b B, proving x = a + b A + B. 14. Here is a nice one from the Berkeley Qualifier section. Prove that the interval [0, 1] cannot be written as a countable infinite union of pairwise disjoint closed intervals. Solution. I write these solutions before checking the answers in the handed in homework; if I find that one of the handed in solutions is nicer than mine I will add it here. Let us assume that [0, 1] = where each I n = [a n, b n ] for some a n, b n R, a n b n and I n I m = if n m. Visualizing this is quite hard and one should not make too many assumptions. For example that you can list the intervals by order of appearance. I will consider the set n=1 I n A = {a n : n N} {b n : n N} of endpoints and prove that it is perfect or contains a perfect subset. This will be a contradiction; since R is complete all perfect, non-empty subsets of R, are uncountable, but A is obviously countable. Because these endpoints could be all over the place, a sequence of endpoints is NOT necessarily a subsequence of (a n ) or (b n ); in fact, most likely it is not. This is something to keep in mind. I will use the generic letter c to denote endpoints. 1) A is closed. Assume (c k ) is a sequence of endpoints converging to some x R. Since [0, 1] is closed, x [0, 1] thus there exists I n = [a n, b n ]

7 7 such that x I n. If x = a n or x = b n, we are done. The alternative is a n < x < b n, but then we would have c k (a n, b n ) for k large enough; since c k is the endpoint of some interval I m this would imply I m I n (since the endpoint of I m is in the interior of I n and I n I m. The alternative can t hold; A is closed. 2) Every point of A, except possibly 0 or 1, is a cluster point of A. Let c A; we have to show that for every > 0 there is c A, 0 < c c <. Assume first c is a left endpoint of one of the intervals, say I m = [a m, b m ]. If a m = b m = 0, a possibility, then c is also a right endpoint of an interval and we deal with it next. If 0 = a m < b m, then 0 cannot be a cluster point of A. Assume thus 0 < a m = c. Let > 0 be given; there is a point x [0, 1], c < x < c. Now x has to be in some interval I j = [a j, b j ]; then b j A and c < b j < c. Assume next that c is a right endpoint of one of the intervals, say c = b m. The argument is identical (mutatis mutandis); if b m = 1, either 1 is not a cluster point, or c = a m = b m and we deal with c as we did with left endpoints > 1. Other wise for every > 0 there will be a j (c, c + ). The perfect subset of A is then either A itself (if both 0,1 are cluster points of A) or A with 0 or 1 removed, if either is not a cluster point. If a set A is closed, if x A, x / A, then A\{x} is still closed. A note on subsets of R Here is a simple subset of R. Select > 0. Order the rationals as a sequence, as one can because they are countable, say Q = {r 1, r 2, r 3,...}. Let U = n=1 ( r n 2 n+1, r n + ) 2 n+1. Let s look at a finite number of these intervals, say N and add all their lengths. We get (since the length of ( ) r n 2, r n+1 n + 2 is 2 n+1 2 = n+1 2 ) n N n=1 2 n = ( 1 2 N ) <. So as we keep adding intervals, we are really covering a length of at most ; much less probably since the intervals overlap. In fact, consider one of these intervals, say ( ) r n 2, r n+1 n + 2. This intervals contains an n+1 infinity of rational numbers, thus an infinity of rational numbers that have index > n in the given ordering, thus it contains an infinity of the intervals that make up U. But wait! There is more. Since U is open, we can write U = I m, m=1 where each I m = (a m, b m ) is an open interval and I m I k = if m k.

8 8 Try to visualize this. How are the endpoints a m, b m distributed? Notice that the open set U is a very small portion of R, yet it contains an interval about each rational number. The only relation of this with exercise 14 is to make you aware that infinity can have surprising properties. One should not assume hastily.

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

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

CHAPTER 5. The Topology of R. 1. Open and Closed Sets

CHAPTER 5. The Topology of R. 1. Open and Closed Sets CHAPTER 5 The Topology of R 1. Open and Closed Sets DEFINITION 5.1. A set G Ω R is open if for every x 2 G there is an " > 0 such that (x ", x + ") Ω G. A set F Ω R is closed if F c is open. The idea is

More information

Connectedness. Proposition 2.2. The following are equivalent for a topological space (X, T ).

Connectedness. Proposition 2.2. The following are equivalent for a topological space (X, T ). Connectedness 1 Motivation Connectedness is the sort of topological property that students love. Its definition is intuitive and easy to understand, and it is a powerful tool in proofs of well-known results.

More information

HW 4 SOLUTIONS. , x + x x 1 ) 2

HW 4 SOLUTIONS. , x + x x 1 ) 2 HW 4 SOLUTIONS The Way of Analysis p. 98: 1.) Suppose that A is open. Show that A minus a finite set is still open. This follows by induction as long as A minus one point x is still open. To see that A

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

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

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

Walker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015

Walker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015 Problem 1. Take any mapping f from a metric space X into a metric space Y. Prove that f is continuous if and only if f(a) f(a). (Hint: use the closed set characterization of continuity). I make use of

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

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

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

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

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

1 The Local-to-Global Lemma

1 The Local-to-Global Lemma Point-Set Topology Connectedness: Lecture 2 1 The Local-to-Global Lemma In the world of advanced mathematics, we are often interested in comparing the local properties of a space to its global properties.

More information

3 Hausdorff and Connected Spaces

3 Hausdorff and Connected Spaces 3 Hausdorff and Connected Spaces In this chapter we address the question of when two spaces are homeomorphic. This is done by examining two properties that are shared by any pair of homeomorphic spaces.

More information

INTRODUCTORY ANALYSIS I Homework #13 (The lucky one)

INTRODUCTORY ANALYSIS I Homework #13 (The lucky one) INTRODUCTORY ANALYSIS I Homework #13 (The lucky one) 1. Let X be a metric space. Let {p n } be a sequence of points in X. Let p X. Prove: The sequence {p n } converges to p in X if and only if the sequence

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

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

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions Sets and Functions MATH 464/506, Real Analysis J. Robert Buchanan Department of Mathematics Summer 2007 Notation x A means that element x is a member of set A. x / A means that x is not a member of A.

More information

Math 421, Homework #6 Solutions. (1) Let E R n Show that = (E c ) o, i.e. the complement of the closure is the interior of the complement.

Math 421, Homework #6 Solutions. (1) Let E R n Show that = (E c ) o, i.e. the complement of the closure is the interior of the complement. Math 421, Homework #6 Solutions (1) Let E R n Show that (Ē) c = (E c ) o, i.e. the complement of the closure is the interior of the complement. 1 Proof. Before giving the proof we recall characterizations

More information

3 COUNTABILITY AND CONNECTEDNESS AXIOMS

3 COUNTABILITY AND CONNECTEDNESS AXIOMS 3 COUNTABILITY AND CONNECTEDNESS AXIOMS Definition 3.1 Let X be a topological space. A subset D of X is dense in X iff D = X. X is separable iff it contains a countable dense subset. X satisfies the first

More information

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 Definition: A set A is finite if there exists a nonnegative integer c such that there exists a bijection from A

More information

Filters in Analysis and Topology

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

More information

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

6 CARDINALITY OF SETS

6 CARDINALITY OF SETS 6 CARDINALITY OF SETS MATH10111 - Foundations of Pure Mathematics We all have an idea of what it means to count a finite collection of objects, but we must be careful to define rigorously what it means

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

MA651 Topology. Lecture 9. Compactness 2.

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

More information

Economics 204 Fall 2011 Problem Set 1 Suggested Solutions

Economics 204 Fall 2011 Problem Set 1 Suggested Solutions Economics 204 Fall 2011 Problem Set 1 Suggested Solutions 1. Suppose k is a positive integer. Use induction to prove the following two statements. (a) For all n N 0, the inequality (k 2 + n)! k 2n holds.

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

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

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant). Sets and Functions 1. The language of sets Informally, a set is any collection of objects. The objects may be mathematical objects such as numbers, functions and even sets, or letters or symbols of any

More information

Homework 1 Real Analysis

Homework 1 Real Analysis Homework 1 Real Analysis Joshua Ruiter March 23, 2018 Note on notation: When I use the symbol, it does not imply that the subset is proper. In writing A X, I mean only that a A = a X, leaving open the

More information

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

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

More information

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

Part III. 10 Topological Space Basics. Topological Spaces

Part III. 10 Topological Space Basics. Topological Spaces Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.

More information

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

Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)

Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010) http://math.sun.ac.za/amsc/sam Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics 2009-2010 Lecture notes in progress (27 March 2010) Contents 2009 Semester I: Elements 5 1. Cartesian product

More information

Def. A topological space X is disconnected if it admits a non-trivial splitting: (We ll abbreviate disjoint union of two subsets A and B meaning A B =

Def. A topological space X is disconnected if it admits a non-trivial splitting: (We ll abbreviate disjoint union of two subsets A and B meaning A B = CONNECTEDNESS-Notes Def. A topological space X is disconnected if it admits a non-trivial splitting: X = A B, A B =, A, B open in X, and non-empty. (We ll abbreviate disjoint union of two subsets A and

More information

2.23 Theorem. Let A and B be sets in a metric space. If A B, then L(A) L(B).

2.23 Theorem. Let A and B be sets in a metric space. If A B, then L(A) L(B). 2.23 Theorem. Let A and B be sets in a metric space. If A B, then L(A) L(B). 2.24 Theorem. Let A and B be sets in a metric space. Then L(A B) = L(A) L(B). It is worth noting that you can t replace union

More information

Measures and Measure Spaces

Measures and Measure Spaces Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not

More information

Section 2: Classes of Sets

Section 2: Classes of Sets Section 2: Classes of Sets Notation: If A, B are subsets of X, then A \ B denotes the set difference, A \ B = {x A : x B}. A B denotes the symmetric difference. A B = (A \ B) (B \ A) = (A B) \ (A B). Remarks

More information

ABOUT THE CLASS AND NOTES ON SET THEORY

ABOUT THE CLASS AND NOTES ON SET THEORY ABOUT THE CLASS AND NOTES ON SET THEORY About the Class Evaluation. Final grade will be based 25%, 25%, 25%, 25%, on homework, midterm 1, midterm 2, final exam. Exam dates. Midterm 1: Oct 4. Midterm 2:

More information

U e = E (U\E) e E e + U\E e. (1.6)

U e = E (U\E) e E e + U\E e. (1.6) 12 1 Lebesgue Measure 1.2 Lebesgue Measure In Section 1.1 we defined the exterior Lebesgue measure of every subset of R d. Unfortunately, a major disadvantage of exterior measure is that it does not satisfy

More information

Chapter 3. Topology of the Real Numbers.

Chapter 3. Topology of the Real Numbers. 3.1. Topology of the Real Numbers 1 Chapter 3. Topology of the Real Numbers. 3.1. Topology of the Real Numbers. Note. In this section we topological properties of sets of real numbers such as open, closed,

More information

Set theory and topology

Set theory and topology arxiv:1306.6926v1 [math.ho] 28 Jun 2013 Set theory and topology An introduction to the foundations of analysis 1 Part II: Topology Fundamental Felix Nagel Abstract We provide a formal introduction into

More information

Economics 204 Fall 2012 Problem Set 3 Suggested Solutions

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

More information

Real Analysis. July 10, These notes are intended for use in the warm-up camp for incoming Berkeley Statistics

Real Analysis. July 10, These notes are intended for use in the warm-up camp for incoming Berkeley Statistics Real Analysis July 10, 2006 1 Introduction These notes are intended for use in the warm-up camp for incoming Berkeley Statistics graduate students. Welcome to Cal! The real analysis review presented here

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

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

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION Introduction to Proofs in Analysis updated December 5, 2016 By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION Purpose. These notes intend to introduce four main notions from

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

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,

More information

Introduction to Real Analysis Alternative Chapter 1

Introduction to Real Analysis Alternative Chapter 1 Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces

More information

Assignment #10 Morgan Schreffler 1 of 7

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

More information

Math 105A HW 1 Solutions

Math 105A HW 1 Solutions Sect. 1.1.3: # 2, 3 (Page 7-8 Math 105A HW 1 Solutions 2(a ( Statement: Each positive integers has a unique prime factorization. n N: n = 1 or ( R N, p 1,..., p R P such that n = p 1 p R and ( n, R, S

More information

Introductory Analysis 1 Fall 2009 Homework 4 Solutions to Exercises 1 3

Introductory Analysis 1 Fall 2009 Homework 4 Solutions to Exercises 1 3 Introductory Analysis 1 Fall 2009 Homework 4 Solutions to Exercises 1 3 Note: This homework consists of a lot of very simple exercises, things you should do on your own. A minimum part of it will be due

More information

MORE ON CONTINUOUS FUNCTIONS AND SETS

MORE ON CONTINUOUS FUNCTIONS AND SETS Chapter 6 MORE ON CONTINUOUS FUNCTIONS AND SETS This chapter can be considered enrichment material containing also several more advanced topics and may be skipped in its entirety. You can proceed directly

More information

Abstract Measure Theory

Abstract Measure Theory 2 Abstract Measure Theory Lebesgue measure is one of the premier examples of a measure on R d, but it is not the only measure and certainly not the only important measure on R d. Further, R d is not the

More information

5 Set Operations, Functions, and Counting

5 Set Operations, Functions, and Counting 5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,

More information

Measures. 1 Introduction. These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland.

Measures. 1 Introduction. These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland. Measures These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland. 1 Introduction Our motivation for studying measure theory is to lay a foundation

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

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

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

Topology Final Exam. Instructor: W. D. Gillam Date: January 15, 2014

Topology Final Exam. Instructor: W. D. Gillam Date: January 15, 2014 Topology Final Exam Instructor: W. D. Gillam Date: January 15, 2014 Instructions: Print your name and Topology Final Exam in the upper right corner of the first page. Also be sure to put your name in the

More information

Axioms for Set Theory

Axioms for Set Theory Axioms for Set Theory The following is a subset of the Zermelo-Fraenkel axioms for set theory. In this setting, all objects are sets which are denoted by letters, e.g. x, y, X, Y. Equality is logical identity:

More information

We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero

We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero Chapter Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.

More information

1 The topology of metric spaces

1 The topology of metric spaces Introductory Analysis I Fall 2014 Notes on Metric Spaces These notes are an alternative to the textbook, from and including Closed Sets and Open Sets (page 58) to and excluding Cantor Sets (page 95) 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

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

{x : P (x)} P (x) = x is a cat

{x : P (x)} P (x) = x is a cat 1. Sets, relations and functions. 1.1. Set theory. We assume the reader is familiar with elementary set theory as it is used in mathematics today. Nonetheless, we shall now give a careful treatment of

More information

A LITTLE REAL ANALYSIS AND TOPOLOGY

A LITTLE REAL ANALYSIS AND TOPOLOGY A LITTLE REAL ANALYSIS AND TOPOLOGY 1. NOTATION Before we begin some notational definitions are useful. (1) Z = {, 3, 2, 1, 0, 1, 2, 3, }is the set of integers. (2) Q = { a b : aεz, bεz {0}} is the set

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

Dynamical Systems 2, MA 761

Dynamical Systems 2, MA 761 Dynamical Systems 2, MA 761 Topological Dynamics This material is based upon work supported by the National Science Foundation under Grant No. 9970363 1 Periodic Points 1 The main objects studied in the

More information

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers Page 1 Theorems Wednesday, May 9, 2018 12:53 AM Theorem 1.11: Greatest-Lower-Bound Property Suppose is an ordered set with the least-upper-bound property Suppose, and is bounded below be the set of lower

More information

SPACES WHOSE PSEUDOCOMPACT SUBSPACES ARE CLOSED SUBSETS. Alan Dow, Jack R. Porter, R.M. Stephenson, Jr., and R. Grant Woods

SPACES WHOSE PSEUDOCOMPACT SUBSPACES ARE CLOSED SUBSETS. Alan Dow, Jack R. Porter, R.M. Stephenson, Jr., and R. Grant Woods SPACES WHOSE PSEUDOCOMPACT SUBSPACES ARE CLOSED SUBSETS Alan Dow, Jack R. Porter, R.M. Stephenson, Jr., and R. Grant Woods Abstract. Every first countable pseudocompact Tychonoff space X has the property

More information

ECARES Université Libre de Bruxelles MATH CAMP Basic Topology

ECARES Université Libre de Bruxelles MATH CAMP Basic Topology ECARES Université Libre de Bruxelles MATH CAMP 03 Basic Topology Marjorie Gassner Contents: - Subsets, Cartesian products, de Morgan laws - Ordered sets, bounds, supremum, infimum - Functions, image, preimage,

More information

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

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

More information

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite

More information

Solutions to Tutorial 8 (Week 9)

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

More information

Chapter 1. Sets and Mappings

Chapter 1. Sets and Mappings Chapter 1. Sets and Mappings 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write

More information

0 Logical Background. 0.1 Sets

0 Logical Background. 0.1 Sets 0 Logical Background 0.1 Sets In this course we will use the term set to simply mean a collection of things which have a common property such as the totality of positive integers or the collection of points

More information

Banach-Alaoglu theorems

Banach-Alaoglu theorems Banach-Alaoglu theorems László Erdős Jan 23, 2007 1 Compactness revisited In a topological space a fundamental property is the compactness (Kompaktheit). We recall the definition: Definition 1.1 A subset

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

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

The Lebesgue Integral

The Lebesgue Integral The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

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

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

More information

On minimal models of the Region Connection Calculus

On minimal models of the Region Connection Calculus Fundamenta Informaticae 69 (2006) 1 20 1 IOS Press On minimal models of the Region Connection Calculus Lirong Xia State Key Laboratory of Intelligent Technology and Systems Department of Computer Science

More information

Week 6: Topology & Real Analysis Notes

Week 6: Topology & Real Analysis Notes Week 6: Topology & Real Analysis Notes To this point, we have covered Calculus I, Calculus II, Calculus III, Differential Equations, Linear Algebra, Complex Analysis and Abstract Algebra. These topics

More information

STRONGLY CONNECTED SPACES

STRONGLY CONNECTED SPACES Undergraduate Research Opportunity Programme in Science STRONGLY CONNECTED SPACES Submitted by Dai Bo Supervised by Dr. Wong Yan-loi Department of Mathematics National University of Singapore Academic

More information

Algebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014

Algebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014 Algebraic Geometry Andreas Gathmann Class Notes TU Kaiserslautern 2014 Contents 0. Introduction......................... 3 1. Affine Varieties........................ 9 2. The Zariski Topology......................

More information

Homework 5. Solutions

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

More information

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

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

More information

MATH 426, TOPOLOGY. p 1.

MATH 426, TOPOLOGY. p 1. MATH 426, TOPOLOGY THE p-norms In this document we assume an extended real line, where is an element greater than all real numbers; the interval notation [1, ] will be used to mean [1, ) { }. 1. THE p

More information

A Logician s Toolbox

A Logician s Toolbox A Logician s Toolbox 461: An Introduction to Mathematical Logic Spring 2009 We recast/introduce notions which arise everywhere in mathematics. All proofs are left as exercises. 0 Notations from set theory

More information

Uniquely Universal Sets

Uniquely Universal Sets Uniquely Universal Sets 1 Uniquely Universal Sets Abstract 1 Arnold W. Miller We say that X Y satisfies the Uniquely Universal property (UU) iff there exists an open set U X Y such that for every open

More information

Stat 451: Solutions to Assignment #1

Stat 451: Solutions to Assignment #1 Stat 451: Solutions to Assignment #1 2.1) By definition, 2 Ω is the set of all subsets of Ω. Therefore, to show that 2 Ω is a σ-algebra we must show that the conditions of the definition σ-algebra are

More information

Countability. 1 Motivation. 2 Counting

Countability. 1 Motivation. 2 Counting Countability 1 Motivation In topology as well as other areas of mathematics, we deal with a lot of infinite sets. However, as we will gradually discover, some infinite sets are bigger than others. Countably

More information

Automata and Languages

Automata and Languages Automata and Languages Prof. Mohamed Hamada Software Engineering Lab. The University of Aizu Japan Mathematical Background Mathematical Background Sets Relations Functions Graphs Proof techniques Sets

More information