Math General Topology Fall 2012 Homework 6 Solutions
|
|
- Horatio Dean
- 5 years ago
- Views:
Transcription
1 Math 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 with coefficients in F. A subset C F n of n-dimensional space will be called Zariski closed if it is the zero locus of some polynomials: C = V (S) := {x F n f(x) = 0 for all f S} for some S F[x,..., x n ]. Note: The zero locus V (S) is sometimes called the algebraic variety associated to S, hence the letter V. For example, in R 2, the subset V (x 2 + x 2 2 9) R 2 is the circle of radius 3 centered at the origin, which is therefore a Zariski closed subset. By convention, let s say S is not allowed to be empty, though you will show in part (a) that it doesn t matter. a. Show that the notion of Zariski closed subset does define a topology on F n, sometimes called the Zariski topology. The entire space F n is Zariski-closed: F n = V (0). Note: This is why we might as well allow S to be empty: V ( ) = F n = V (0). The empty subset F n is Zariski-closed: = V (). Since Zariski-closed subsets are defined as (arbitrary) intersections V (S) = V (f) f S of basic closed set V (f), it suffices to check that a finite union of basic closed sets is an intersection of basic closed sets. For any polynomials f and g, we have V (f) V (g) = {x F n f(x) = 0 or g(x) = 0} = {x F n f(x)g(x) = 0} = V (fg).
2 b. Show that the Zariski topology is strictly coarser (i.e. smaller) and the usual metric topology on F n. Any polynomial function f : F n F is metrically continuous, therefore its zero set V (f) = f ({0}) is metrically closed. This prove T Zar T met. To show that the inequality is strict, consider the subset C := {x F n x n 0} (or the real part Re(x n ) 0 in case F = C). Then C is metrically closed. However, C is not Zariski-closed. To prove this, let V (f) be a Zariski-closed subset containing C, so that f vanishes on C. For any fixed a,... a n F, the polynomial f(a,..., a n, x n ) in one variable x n vanishes for infinitely many values of x n, thus is the zero polynomial. Since the a i were arbitrary, this implies f = 0 and thus V (f) = F n. Therefore the Zariski closure of C is C = F n C. 2
3 c. Show that the Zariski topology on F n is T. For any a F n, the singleton {a} is the Zariski-closed set {a} = V (x a, x 2 a 2,..., x n a n ). d. Show that the Zariski topology on F n is not T 2, i.e. not Hausdorff. It suffices to show that any two basic open subsets have a non-empty intersection. Equivalently, any two basic closed subsets have a union which is not all of F n. For any (non-zero) polynomials f and g, we have V (f) V (g) = V (fg). Since fg is not the zero polynomial, there is a point a F n satisfying (fg)(a) 0, so that a / V (fg). e. In the one-dimensional case n =, show that the Zariski topology on F is the cofinite topology. (T cof T Zar ) Since the Zariski topology is T, every finite subset of F n is Zariski- closed. (T Zar T cof ) Let C F be Zariski-closed. If C is not all of F, then C V (f) for non-zero polynomial f. But a non-zero polynomial f(x ) in one variable has (at most) finitely many zeroes, so that V (f) is finite, as is C. 3
4 Problem 2. Two points x and y in a topological space X are topologically distinguishable if there is an open subset U X that contains one of the points but not the other. A space X is T 0 if any distinct points are topologically distinguishable. Two points x and y are topologically indistinguisable if they are not topologically distinguishable, which amounts to x and y having exactly the same neighborhoods. One readily checks that topological indistinguishability is an equivalence relation on X, which we will denote by x y. The Kolmogorov quotient of X is the quotient KQ(X) := X/, where topologically indistinguisable points become identified. In particular, X is T 0 if and only if X is homeomorphic to its Kolmogorov quotient. a. Show that the Kolmogorov quotient satisfies the following universal property.. The natural map π : X KQ(X) is continuous. 2. KQ(X) is a T 0 space. 3. For any T 0 space Y and continuous map f : X Y, there is a unique continuous map f : KQ(X) Y satisfying f = f π, i.e. making the diagram X π KQ(X)! f f Y commute. In other words, KQ(X) is the closest T 0 space which X maps into.. π : X KQ(X) is continuous, since it is the canonical projection to the quotient space. 2. Let a, b KQ(X) be distinct points. Pick representatives x, y X of a and b respectively. Since a and b are distinct, x and y are topologically distinguishable. Let U X be an open subset that distinguishes x and y, say WLOG x U and y / U. By definition of, U is a union of equivalence classes (i.e. z U implies that any z z is also in U), which is saying π π(u) = U. Therefore π(u) is open in KQ(X) and contains π(x) = a. However π(u) does not contain b, since every u U is distinguishable from y, so that π(u) π(y) = b. 3. By the universal property of the quotient topology, if suffices to show that such a map f : X Y is constant on equivalence classes, i.e. x x implies f(x) = f(x ). Assuming f(x) f(x ), there is an open U Y that distinguishes f(x) and f(x ) since Y is T 0. Let s say WLOG f(x) U and f(x ) / U. Then f (U) X is an open that distinguishes x and x, as x f (U) and x / f (U). We conclude x x. 4
5 b. Show that X is regular if and only if its Kolmogorov quotient KQ(X) is T 3. Lemma. T 0 and regular implies T 3. Proof. Let us show that the space X is T 2. Let x, y X be distinct points. Since X is T 0, there is an open U X distinguishing x and y, say WLOG x U and y / U, i.e. y U c. Since U c is closed and disjoint from x, by regularity there are open sets U x and V satisfying x U x, U c V and U x V =. We have y U c V, so that U x and V are neighborhoods that separate x and y. ( ) Note that KQ(X) is automatically T 0. By the lemma, it suffices to show that KQ(X) is regular. Let C KQ(X) be closed, and a / C. Then the preimages π (a) and π (C) are disjoint subsets of X, and π (C) is closed. Pick any representative x π (a). Since X is regular, there are open subsets U, V X satisfying x U, π (C) V, and U V =. By the argument in part (a), π(u) and π(v ) are open in KQ(X) and contain a and C respectively (since π is surjective). Moreover, π(u) and π(v ) are disjoint. Indeed, U and V are disjoint and open, so that any points u U and v V are distinguishable, i.e. π(u) π(v). ( ) Let C X be closed and x / C. Because open subsets of X are unions of equivalence classes, the same holds for closed subsets. Therefore π(c) KQ(X) is closed and disjoint from the point π(x). Since KQ(X) is regular, there are open subsets U, V KQ(X) satisfying π(x) U, π(c) V, and U V =. Therefore π (U) and π (V ) are open in X, contain x and C respectively, and are disjoint. 5
6 Problem 3. Let (X, d) be a metric space. a. Let S X be a non-empty subset and consider the function f S : X R defined by f S (x) = d(x, S). Show that f S is Lipschitz continuous with Lipschitz constant, i.e. f S (x) f S (y) d(x, y) for all x, y X. In particular, f S is continuous. For every x, y X and s S, we have d(x, s) d(x, y) + d(y, s) and taking the infimum over s S yields d(x, S) d(x, y) + d(y, S) which can be rewritten as d(x, S) d(y, S) d(x, y). Interchanging the role of x and y, we also obtain d(y, S) d(x, S) d(x, y) and therefore f S (x) f S (y) = d(x, S) d(y, S) d(x, y). b. Show that closed subsets of X can be precisely separated by functions, i.e. for any A, B X disjoint closed subsets of X, there is a continuous function f : X [0, ] satisfying f(a) = 0 for all a A f(b) = for all b B f(x) (0, ) for all x / A B. First assume A and B are non-empty. Then treat the case B = separately. Hint: Recall the equivalence d(x, S) = 0 if and only if x S. When A and B are non-empty. Then the functions f A, f B : X R are welldefined and continuous. Consider the function f : X R defined by f(x) = This function satisfies the desired properties. f A (x) f A (x) + f B (x). 6
7 f is well-defined since the denominator is strictly positive on X: f A (x) + f B (x) = 0 f A (x) = 0 and f B (x) = 0 x A = A and x B = B x A B =. f is continuous, since the sum f A + f B is continuous, so that the quotient f = continuous on X. f A f A +f B is f takes values in [0, ], by the inequalities 0 f A (x) f A (x) + f B (x) for all x X. f satisfies: f satisfies: f(x) = 0 f(x) = f A (x) f A (x) + f B (x) = 0 f A (x) = 0 x A = A. f A (x) f A (x) + f B (x) = f A (x) = f A (x) + f B (x) f B (x) = 0 x B = B. When B = is empty. Then replace f B by the constant function : f(x) = f A(x) + f A (x). As in the previous case, the denominator + f A (x) is strictly positive on X, f is continuous, takes values in [0, ], and vanishes precisely on A. It remains it check: f(x) = f A(x) + f A (x) = f A (x) = + f A (x) x = B. Remark. A space is called perfectly normal if its closed subsets can be precisely separated by functions. A space is called T 6 if it is T and perfectly normal. We have just shown that every metric space is T 6. 7
8 Problem 4. metrizable. In this problem, we will show that a countable product of metrizable spaces is a. Let (X, d) be a metric space. Consider the function ρ: X X R defined by Show that ρ is a metric on X. ρ(x, y) = d(x, y) + d(x, y). Write ρ = h d where h: R 0 R 0 is the rescaling function defined by We check the three properties of a metric.. Positivity: since h(t) 0 for all t 0. h(t) = t + t. ρ(x, y) = h (d(x, y)) 0 for all x, y X ρ(x, y) = 0 h (d(x, y)) = 0 d(x, y) = 0 x = y where we used the property h(t) = 0 t = Symmetry: ρ(y, x) = h (d(y, x)) = h (d(x, y)) = ρ(x, y). 3. Triangle inequality: First note that h satisfies the sublinearity condition h(s + t) h(s) + h(t) 8
9 for all s, t 0. Indeed, we have: h(s) + h(t) = Thus the triangle inequality for d = s + s + t + t s( + t) + t( + s) ( + s)( + t) = s + t + 2st + s + t + st s + t + st + s + t + st s+t st +s+t s + t + + s + t + st = = (s + t)( + s + t) + (s + t)st ( + s + t + st)( + s + t) (s + t)( + s + t + st) ( + s + t + st)( + s + t) = s + t + s + t = h(s + t). d(x, y) d(x, z) + d(z, y) along with the fact that h is non-decreasing implies ρ(x, y) = h (d(x, y)) h (d(x, z) + d(z, y)) h (d(x, z)) + h (d(z, y)) = ρ(x, z) + ρ(z, y). 9
10 b. Show that the metric ρ from part (a) induces the same topology on X as the original metric d. Given h(0) = 0, continuity of h at 0 means that for any ɛ > 0, there is a δ > 0 guaranteeing h(t) < ɛ whenever t < δ. Substituting t = d(x, y), we obtain ρ(x, y) < ɛ whenever d(x, y) < δ, i.e. B d δ (x) B ρ ɛ (x) where the superscript denotes which metric is being used. This proves that every ρ-open is d-open. Since h is continuous and strictly increasing, it is a homeomorphism of a (small) neighborhood of 0 onto a (small) neighborhood of h(0) = 0. The local inverse h satisfies h (0) = 0 and is continuous at 0, therefore the argument above applies again. For any ɛ > 0, there is a δ > 0 guaranteeing h (s) < ɛ whenever s < δ. s = ρ(x, y), we obtain d(x, y) < ɛ whenever ρ(x, y) < δ, i.e. so that every d-open is ρ-open. B ρ δ (x) Bd ɛ (x) Substituting Remark. We could also have used the formula ρ(x, y) = min{d(x, y), }. The goal was just to find a metric ρ which is topologically equivalent to d and is bounded. 0
11 c. Let {(X i, d i )} i N be a countable family of metric spaces, where each metric d i is bounded by, i.e. d i (x i, y i ) for all x i, y i X i. Write X := i N X i and consider the function d: X X R defined by d(x, y) = i= 2 i d i(x i, y i ). Show that d is a metric on X. (First check that d is a well-defined function.) bounded: For any x, y X, the series defining d(x, y) has only non-negative terms and is i= 2 i d i(x i, y i ) hence the series converges, so that d(x, y) is well-defined. We check the three properties of a metric. i= 2 i =. Positivity: d(x, y) = i= 2 i d i(x i, y i ) i= 2 i (0) = 0 d(x, y) = i= 2 i d i(x i, y i ) = 0 2 i d i(x i, y i ) = 0 for all i N d i (x i, y i ) = 0 for all i N x i = y i x = y. for all i N 2. Symmetry: d(y, x) = = i= i= = d(x, y). 2 i d i(y i, x i ) 2 i d i(x i, y i )
12 3. Triangle inequality: For any x, y, z X, we have d(x, y) = = i= i= i= 2 i d i(x i, y i ) 2 i (d i(x i, z i ) + d i (z i, y i )) 2 i d i(x i, z i ) + = d(x, z) + d(z, y). i= 2 i d i(z i, y i ) 2
13 d. Show that the metric d from part (c) induces the product topology on X = i N X i. (T met T prod ) Let ɛ > 0 and consider the open ball B ɛ (x) centered at a point x X. We want to find an open large box U = i N U i inside B ɛ (x). Let N N be large enough to guarantee the inequality i=n+ 2 i < ɛ 2. For the indices i N, take the radii ɛ i := ɛ and consider the open large box U = 2 i N U i defined by { B ɛi (x i ) if i N U i := X i if i > N. Note that U is indeed open in the product topology, since U i X i is open for all i N and U i X i for finitely many indices i. For any point y U, its distance to x is d(x, y) = = < < = = ɛ 2 i= N i= N i= N i= N i= N i= 2 i d i(x i, y i ) 2 i d i(x i, y i ) + 2 i d i(x i, y i ) + 2 i d i(x i, y i ) + ɛ 2 2 i ɛ i + ɛ 2 ɛ 2 i 2 + ɛ 2 N i= < ɛ 2 + ɛ 2 = ɛ which proves the inclusion U B ɛ (x). 2 i + ɛ 2 i=n+ i=n+ 2 i d i(x i, y i ) 2 i () 3
14 (T prod T met ) Let U = i N U i be an open large box and x U. We want to find an open ball around x satisfying B ɛ (x) U. By definition of large box, there is an index N N satisfying U i = X i for all i > N. For the indices i N, we have x i U i and U i X i is open, so that there is a radius ɛ i > 0 satisfying x i B ɛi (x i ) U i. Take the radius ɛ = 2 N min{ɛ,..., ɛ N } and consider the open ball B ɛ (x). We claim B ɛ (x) U. Let y B ɛ (x). For indices i N, the point y satisfies 2 i d i(x i, y i ) j= = d(x, y) < ɛ 2 N ɛ i 2 i ɛ i 2 j d j(x j, y j ) or equivalently d i (x i, y i ) < ɛ i, which implies y i B ɛi (x i ) U i. For the remaining indices i > N, there is no constraint on y i, namely y i U i = X i automatically. This proves y i N U i = U and therefore the inclusion B ɛ (x) U. 4
Math General Topology Fall 2012 Homework 1 Solutions
Math 535 - General Topology Fall 2012 Homework 1 Solutions Definition. Let V be a (real or complex) vector space. A norm on V is a function : V R satisfying: 1. Positivity: x 0 for all x V and moreover
More informationMaths 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 informationIntroduction 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 informationAN 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 informationMath 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 informationMath 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 informationAustin 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 informationMATH 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 informationMATH 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 information1 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 informationTopology. 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 information4 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 informationMath 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 informationINTRODUCTION 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 informationTopology, 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 informationThus, 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 informationProblem 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 informationCourse 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 informationMathematics for Economists
Mathematics for Economists Victor Filipe Sao Paulo School of Economics FGV Metric Spaces: Basic Definitions Victor Filipe (EESP/FGV) Mathematics for Economists Jan.-Feb. 2017 1 / 34 Definitions and Examples
More informationImmerse 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 informationMA651 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 informationReal 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 informationMath 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 informationMath 203A - Solution Set 1
Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in
More informationMH 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 informationg 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 informationMath 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 informationLocally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem
56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More information2 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 informationMath 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 informationTopological 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 informationMAT 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 informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationMetric 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 information3 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 informationReal 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 informationChapter 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 informationMASTERS 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 informationMath 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 informationNAME: 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 informationExam 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 informationSet, 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 informationBy (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 informationHomework 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 information7 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 informationREVIEW OF ESSENTIAL MATH 346 TOPICS
REVIEW OF ESSENTIAL MATH 346 TOPICS 1. AXIOMATIC STRUCTURE OF R Doğan Çömez The real number system is a complete ordered field, i.e., it is a set R which is endowed with addition and multiplication operations
More informationMath 209B Homework 2
Math 29B Homework 2 Edward Burkard Note: All vector spaces are over the field F = R or C 4.6. Two Compactness Theorems. 4. Point Set Topology Exercise 6 The product of countably many sequentally compact
More informationThe 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 informationMath 203A - Solution Set 1
Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in
More informationMetric spaces and metrizability
1 Motivation Metric spaces and metrizability By this point in the course, this section should not need much in the way of motivation. From the very beginning, we have talked about R n usual and how relatively
More informationWe will begin our study of topology from a set-theoretic point of view. As the subject
p. 1 Math 490-01 Notes 5 Topology We will begin our study of topology from a set-theoretic point of view. As the subject expands, we will encounter various notions from analysis such as compactness, continuity,
More informationProblem 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 informationMATH 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 informationThe following definition is fundamental.
1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic
More informationALGEBRAIC GEOMETRY (NMAG401) Contents. 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30
ALGEBRAIC GEOMETRY (NMAG401) JAN ŠŤOVÍČEK Contents 1. Affine varieties 1 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30 1. Affine varieties The basic objects
More informationMetric 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 informationLecture 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 informationAfter 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 information3. 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 informationAnalysis 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 informationTOPOLOGY HW 2. x x ± y
TOPOLOGY HW 2 CLAY SHONKWILER 20.9 Show that the euclidean metric d on R n is a metric, as follows: If x, y R n and c R, define x + y = (x 1 + y 1,..., x n + y n ), cx = (cx 1,..., cx n ), x y = x 1 y
More informationMeasurable Choice Functions
(January 19, 2013) Measurable Choice Functions Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/choice functions.pdf] This note
More informationCHAPTER 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 information2. 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 informationMath 5052 Measure Theory and Functional Analysis II Homework Assignment 7
Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7 Prof. Wickerhauser Due Friday, February 5th, 2016 Please do Exercises 3, 6, 14, 16*, 17, 18, 21*, 23*, 24, 27*. Exercises marked
More informationLecture 2. x if x X B n f(x) = α(x) if x S n 1 D n
Lecture 2 1.10 Cell attachments Let X be a topological space and α : S n 1 X be a map. Consider the space X D n with the disjoint union topology. Consider further the set X B n and a function f : X D n
More informationAnalysis III. Exam 1
Analysis III Math 414 Spring 27 Professor Ben Richert Exam 1 Solutions Problem 1 Let X be the set of all continuous real valued functions on [, 1], and let ρ : X X R be the function ρ(f, g) = sup f g (1)
More informationConvex 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 informationAlgebraic Topology M3P solutions 1
Algebraic Topology M3P21 2015 solutions 1 AC Imperial College London a.corti@imperial.ac.uk 9 th February 2015 (1) (a) Quotient maps are continuous, so preimages of closed sets are closed (preimages of
More informationProblems - Section 17-2, 4, 6c, 9, 10, 13, 14; Section 18-1, 3, 4, 6, 8, 10; Section 19-1, 3, 5, 7, 8, 9;
Math 553 - Topology Todd Riggs Assignment 2 Sept 17, 2014 Problems - Section 17-2, 4, 6c, 9, 10, 13, 14; Section 18-1, 3, 4, 6, 8, 10; Section 19-1, 3, 5, 7, 8, 9; 17.2) Show that if A is closed in Y and
More informationSome 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 informationMath 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 informationMAT3500/ Mandatory assignment 2013 Solutions
MAT3500/4500 - Mandatory assignment 2013 s Problem 1 Let X be a topological space, A and B be subsets of X. Recall the definition of the boundary Bd A of a set A. Prove that Bd (A B) (Bd A) (Bd B). Discuss
More informationLecture 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 informationx n y n d(x, y) = 2 n.
Prof. D. Vassilev Fall 2015 HOMEWORK PROBLEMS, MATH 431-535 The odd numbered homework are due the Monday following week at the beginning of class. Please check again the homework problems after class as
More information01. 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 informationMath 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 informationTopology 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 informationSolve EACH of the exercises 1-3
Topology Ph.D. Entrance Exam, August 2011 Write a solution of each exercise on a separate page. Solve EACH of the exercises 1-3 Ex. 1. Let X and Y be Hausdorff topological spaces and let f: X Y be continuous.
More informationCOUNTABLE 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 informationMathematical 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 informationPOINT SET TOPOLOGY. Definition 2 A set with a topological structure is a topological space (X, O)
POINT SET TOPOLOGY Definition 1 A topological structure on a set X is a family O P(X) called open sets and satisfying (O 1 ) O is closed for arbitrary unions (O 2 ) O is closed for finite intersections.
More informationAN INTRODUCTION TO THE FUNDAMENTAL GROUP
AN INTRODUCTION TO THE FUNDAMENTAL GROUP DAVID RAN Abstract. This paper seeks to introduce the reader to the fundamental group and then show some of its immediate applications by calculating the fundamental
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
More informationCW complexes. Soren Hansen. This note is meant to give a short introduction to CW complexes.
CW complexes Soren Hansen This note is meant to give a short introduction to CW complexes. 1. Notation and conventions In the following a space is a topological space and a map f : X Y between topological
More informationTOPOLOGY TAKE-HOME CLAY SHONKWILER
TOPOLOGY TAKE-HOME CLAY SHONKWILER 1. The Discrete Topology Let Y = {0, 1} have the discrete topology. Show that for any topological space X the following are equivalent. (a) X has the discrete topology.
More informationSolutions Final Exam May. 14, 2014
Solutions Final Exam May. 14, 2014 1. Determine whether the following statements are true or false. Justify your answer (i.e., prove the claim, derive a contradiction or give a counter-example). (a) (10
More informationA 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 informationMath 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 informationContents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3
Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability
More informationINVERSE FUNCTION THEOREM and SURFACES IN R n
INVERSE FUNCTION THEOREM and SURFACES IN R n Let f C k (U; R n ), with U R n open. Assume df(a) GL(R n ), where a U. The Inverse Function Theorem says there is an open neighborhood V U of a in R n so that
More informationMath 203A - Solution Set 1
Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in
More informationTopology 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 informationMath 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 informationGeneral Topology. Summer Term Michael Kunzinger
General Topology Summer Term 2016 Michael Kunzinger michael.kunzinger@univie.ac.at Universität Wien Fakultät für Mathematik Oskar-Morgenstern-Platz 1 A-1090 Wien Preface These are lecture notes for a
More informationBootcamp. 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 informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationMath 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