This chapter contains a very bare summary of some basic facts from topology.
|
|
- Sibyl Small
- 6 years ago
- Views:
Transcription
1 Chapter 2 Topological Spaces This chapter contains a very bare summary of some basic facts from topology. 2.1 Definition of Topology A topology O on a set X is a collection of subsets of X satisfying the following conditions: (T1) O (T2) X O (T3) O is closed under finite intersections, i.e. if A, B O then A B O (T4) O is closed under unions, i.e. if S O then S O We have used the set-theoretic notation for unions: S is the union of all the sets in S. Note also that by the usual induction argument, condition (T2) implies that if A 1,..., A n are a finite number of open sets then A 1 A n is also open. A topological space (X, O X ) is a set X along with a topology O X on it. Usuallly, we just say X is a topological space. If x X and U is an open set with x U then we say that U is a neighborhood of x. There are two extreme topologies on any set X: the indiscrete topology {, X} 1
2 2 CHAPTER 2. TOPOLOGICAL SPACES the discrete topology P(X) consisting of all subsets of X A set A in O is said to be open in the topology O. The complement of an open set is called a closed set. Taking complements of (T1)-(T4) it follows that: (C1) X is closed (C2) is closed (C3) the union of a finite number of closed sets is closed (C4) the intersection of any family of closed sets is closed. Let F X. The interior F 0 of F is the union of all open sets contained in F (F 0 could be empty, in case the only open set which is a subset of F is the empty set). It is of course an open set and is the largest open set which is a subset of F. The closure F of F is the intersection of all closed sets which contain F as a subset. Thus F is a closed set, the smallest closed set which contains F as a subset. The intersection of any set of topologies on X is clearly also a topology. Let S be any non-empty collection of subsets of X. Consider the collection T S of all topologies which contain S, i.e. for which the sets of S are open. Note that P(X) T S. Then T S is the smallest topology on X containing all the sets of S. It is called the topology on X generated by S. A topological space X is Hausdorff if any two points have disjoint neighborhoods: i.e. for any x, y X with x y, there exist open sets U and V, with x U, y V, and U V =. 2.2 Continuous maps Let (X, O X ) and (Y, O Y ) be topological spaces, and f : X Y a mapping. We say that f is continuous if f 1 (O Y ) O X,
3 2.3. COMPACT SETS 3 i.e. if for every open set B Y the inverse image f 1 (A) is an open subset of X. It is clear that the identity map X X is continuous, when X is given any particular topology. The other simple fact is that if f : X Y is continuous and g : Y Z is continuous then the composite g f : X Z is also continuous. A mapping f : X Y between topological spaces is a homeomorphism of f is a bijection and both f and f 1 are continuous. 2.3 Compact Sets In this section X is a topological space. Let A X. An open cover of A is a collection S of open sets such that A S It is usually convenient to index the sets of S: i.e we talk of an open cover {U α } α I of A, for some indexing set I. If S is an open cover of A, then a subcover of S is a subset S S which also covers A. A set K X is compact if every open cover has a finite subcover. Observe that the union of a finite number of compact sets is compact. Lemma 1 A closed subset of a compact set is closed. Proof. Let C be closed and C K where K is compact. If S is an open cover of C then we obtain an open cover of K by throwing in the open set C c along with S. Then S {C c } is an open cover of the compact set K and so has a finite subcover S. The S is also automatically a finite cover of C, and remains so if we discard C c from S in case S does contain C c. This yields a finite subset of S which still covers C. QED Lemma 2 In a Hausdorff space X:
4 4 CHAPTER 2. TOPOLOGICAL SPACES (i) if K is a compact subset of X and y X a point outside K then y and K have disjoint neighborhoods, i.e. there is an open neighborhood W y of y and an open set V y K with W y V y =. (ii) every compact subset of X is closed. (iii) any two disjoint compact subsets of X have disjoint open neighborhoods, i.e. if C and D are compact subsets of X then there exist open sets U C and V D with U V =. The finiteness argument used in the proof here is typical. Proof. Let y be a point outside the compact set K. For each x K, Hausdorffness gives us disjoint open sets U x and F x, with x U x and y F x. The open sets U x, with x running over K, form an open cover of K. By compactness there exist x 1,.., x N K such that U x1,..., U xn cover K, i.e. K V y = U x1 U xn On the other hand we have the open set W y = F y1 F yn which contains y. Observe that V y and W y are disjoint. This proves (i). From (i) we see that each point outside the compact set K has an open neighborhood contained entirely inside the complement K c, which implies K c is open, i.e. K is closed. This proves (ii). The finiteness argument used to prove (i) also proves (iii). By (i), for any y D, there exist disjoint open sets V y and W y with y W y and C V y. The sets W y form an open covering of D which has a finite subcover W y1,..., W ym. Let U = V y1 V ym and V = W y1 W ym. Then U and V are open sets, they are disjoint, and C U and D V. QED 2.4 Locally Compact Hausdorff Spaces Let X be a topological space. We say that X is locally compact if for each point x X there is an open set U and a compact set K such that x U K
5 2.4. LOCALLY COMPACT HAUSDORFF SPACES 5 If X is Hausdorff, then K would be closed and so for a Hausdorff space, being locally compact means that each point has a neighborhood U whose closure U is compact. The following separation result is useful: Lemma 3 Suppose X is a locally compact Hausdorff space. If C is a closed subset of X and x a point outside C then x and C have disjoint open neighborhoods, the neighborhood of x having compact closure. Equivalently, if W is an open neigborhood of a point x X then there is an open neighborhood V of x such that the closure V is compact and V W. Proof We prove the second formulation. Because X is locally compact Hausdorff, there is an open neighborhood U of x and compact K with U K. Since W c and K are closed, W c K is closed. Being closed and a subset of the compact set K, it is also compact. So there is an open neighborhood F of x with closure F lying in the complement of W c K. Let V = F U. Then V is an open neighborhood of x, and V U K So V is compact. Moreover, since V is a subset of F the set V lies in the complement of W c K, i.e. V W K c But we have already seen that V is a subset of K, so V W which is what we wanted. QED The following stronger separation result follows easily from the preceding result: Lemma 4 Suppose X is a locally compact Hausdorff space. If C is a closed subset of X and D a compact set disjoint from C then C and D have disjoint open neighborhoods, the neighborhood of D being also compact. Equivalently, if K is a compact set and U and open set with K U then there is an open set V, with compact closure V, such that K V V U
6 6 CHAPTER 2. TOPOLOGICAL SPACES 2.5 Urysohn s Lemma The main theorem of use for us is Urysohn s Lemma: Theorem 1 Suppose X is a locally compact Hausdorff space. Let K be a compact subset of X and U an open subset of X with K U. Then there is a function f C c (X), continuous of compact support, such that 1 K f 1 U Proof. Since X is locally compact Hausdorff and the compact set K is contained in the open set U, there is an open set U 1 with compact closure U 1 and K U 1 U 1 U Applying this argument again to the compact set U 1 lying inside the open set U, we have an open set U 0, with compact closure, such that U 1 U 0 U 0 U Thus we have the open sets U 0 and U 1, each with compact closure, satisfying K U 1 U 1 U 0 U 0 U We shall produce for each rational number r (0, 1) an open set U r, with compact closure, in such a way that U r U s whenever s < r. (2.1) To this end, let r 1, r 2, r 3,... be an enumeration of the rationals in [0, 1], taking r 1 = 0 and r 2 = 1. Suppose n 2 and that we have defined open sets U r1,..., U rn, each having compact closure and satisfying the condition (2.1). We want to define U rn+1 to be an open set with compact closure which will continue to respect the requirement (2.1). So let p be the largest element of {r 1,..., r n } less than r n+1 and q the smallest element larger than r n+1 ; in particular, p < r n+1 < q Since p < q we have U q U p and so there is an open set U rn+1, with compact closure satisfying U q U rn+1 U rn+1 U p
7 2.5. URYSOHN S LEMMA 7 Thus, inductively [or recursively], this allows us to construct the entire family of sets U r, with r running over all the rationals in [0, 1], satisfying (2.1). Now define the function f : X R as follows. On U 1 we set f equal to 1, and outside U 0 we set f equal to 0. [In particular, this ensures that f equals 1 on K and equals 0 outside U.] More generally, let f(x) be the supremum of all the rationals r [0, 1] for which x U r : f(x) = sup{r Q [0, 1] : x U r } and we take the sup of the empty set (i.e. if x / U 0 ) to be 0. Let r be any rational in [0, 1]. If x U r then x also belongs to all lower U q (i.e. for q < r, because then U r U q ), and so f(x) r: if x U r then f(x) r On the other hand, if x / U r then x is certainly not in any higher U q (i.e. for q > r), and so f(x) r: if x / U r then f(x) r In particular, if r < s are rationals in [0, 1] then on the set U r U s, the function f takes values in [r, s]. Now consider any point x 0 X, and any neighborhood (a, b) of f(x 0 ). Assume for the moment that 0 < f(x 0 ) < 1. Let r, s (0, 1) be rationals with a < r < f(x 0 ) < s < b. Since f(x 0 ) > r it follows that x 0 U r. On the other hand, since f(x 0 ) < s it also follows that x 0 / U s. Thus x 0 belongs to the open set U r U s, and on this open neighborhood of x 0 the function f takes values in [r, s] (a, b). This proves that f is continuous at x 0 if f(x 0 ) (0, 1). Now suppose f(x 0 ) = 0. Consider any neighborhood (a, b) of 0. Let s be any rational number with 0 < s < b. Since f(x 0 ) = 0 < s, the point x 0 is outside U s, i.e. x 0 is in the open set U c s. Moreover, on this open set f has values s < b. Thus on the open neighborhood U c s of x 0, the function f takes values in (a, b). So f is continuous at x 0. The argument for the case f(x 0 ) = 1 is similar. QED
8 8 CHAPTER 2. TOPOLOGICAL SPACES 2.6 Product Spaces and Tikhonov s Theorem Consider two topological spaces X a and X b. Then for the Cartesian product X a X b we have two projection maps π a : X a X b X a : (x a, x b ) x a, π b : X a X b X b : (x a, x b ) x b The smallest topology on X a X b which makes both the maps π a and π b continuous is called the product topology on X a X b. Thus if U a is any open subset of X a and U b is any open subset of X b then a (U a ) = U a X b, and π 1 (U b ) = X b U b π 1 are open subsets of X a X b in the product topology, and hence so is their intersection (U a ) π 1 (U b ) = U a U b π 1 a b Indeed, the product topology on X a X b is precisely the collection of all subsets of X a X b which are unions of sets of the form U a U b, with U a open in X a and U b open in X b. More generally, consider an indexing set I and a topological space X α for each α I. The Cartesian product set is the set of all maps X α α I x : I α I X α : α x α for which x α X α for all α I. The element x α X α is the α th coordinate of the element x α I X α. The map π α : α I X α X α : x x α is the α th coordinate of x. The product topology on α I X α is the smallest topology on α I X α for which the projection maps π α are all continuous. A subset of α I X α is open in the product topology if and only if it is the union of sets of the form b π 1 α 1 (U α1 ) π 1 α n (U αn ) with n running over positive integres, α 1,..., α n running over I, and U αi over open sets X αi. runs
9 2.6. PRODUCT SPACES AND TIKHONOV S THEOREM 9 Theorem 2 Suppose X α is a compact Hausdorff space for each α I, where I is any non-empty indecing set. Then the product space α I X α is a compact Hausdorff space.
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 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 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 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 informationS. Mrówka introduced a topological space ψ whose underlying set is the. natural numbers together with an infinite maximal almost disjoint family(madf)
PAYNE, CATHERINE ANN, M.A. On ψ (κ, M) spaces with κ = ω 1. (2010) Directed by Dr. Jerry Vaughan. 30pp. S. Mrówka introduced a topological space ψ whose underlying set is the natural numbers together with
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 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 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 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 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 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 information2.31 Definition By an open cover of a set E in a metric space X we mean a collection {G α } of open subsets of X such that E α G α.
Chapter 2. Basic Topology. 2.3 Compact Sets. 2.31 Definition By an open cover of a set E in a metric space X we mean a collection {G α } of open subsets of X such that E α G α. 2.32 Definition A subset
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 informationSanjay Mishra. Topology. Dr. Sanjay Mishra. A Profound Subtitle
Topology A Profound Subtitle Dr. Copyright c 2017 Contents I General Topology 1 Compactness of Topological Space............................ 7 1.1 Introduction 7 1.2 Compact Space 7 1.2.1 Compact Space.................................................
More informationMAS3706 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 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. 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 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 informationSets 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 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 informationMTG 5316/4302 FALL 2018 REVIEW FINAL
MTG 5316/4302 FALL 2018 REVIEW FINAL JAMES KEESLING Problem 1. Define open set in a metric space X. Define what it means for a set A X to be connected in a metric space X. Problem 2. Show that if a set
More 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 informationMA651 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 information02. Measure and integral. 1. Borel-measurable functions and pointwise limits
(October 3, 2017) 02. Measure and integral Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2017-18/02 measure and integral.pdf]
More informationSTRONGLY 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 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 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 informationFUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets
FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be
More 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 informationMath 730 Homework 6. Austin Mohr. October 14, 2009
Math 730 Homework 6 Austin Mohr October 14, 2009 1 Problem 3A2 Proposition 1.1. If A X, then the family τ of all subsets of X which contain A, together with the empty set φ, is a topology on X. Proof.
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 informationPart 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 informationThat is, there is an element
Section 3.1: Mathematical Induction Let N denote the set of natural numbers (positive integers). N = {1, 2, 3, 4, } Axiom: If S is a nonempty subset of N, then S has a least element. That is, there is
More information1 k x k. d(x, y) =sup k. y k = max
1 Lecture 13: October 8 Urysohn s metrization theorem. Today, I want to explain some applications of Urysohn s lemma. The first one has to do with the problem of characterizing metric spaces among all
More informationMAT 530: Topology&Geometry, I Fall 2005
MAT 530: Topology&Geometry, I Fall 2005 Midterm Solutions Note: These solutions are more detailed than solutions sufficient for full credit. Let X denote the set {a, b, c}. The collections Problem 1 5+5
More informationSolutions 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 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 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 informationAxioms 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 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 informationHW 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 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 informationECARES 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 informationULTRAFILTER AND HINDMAN S THEOREM
ULTRAFILTER AND HINDMAN S THEOREM GUANYU ZHOU Abstract. In this paper, we present various results of Ramsey Theory, including Schur s Theorem and Hindman s Theorem. With the focus on the proof of Hindman
More informationAbstract 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 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 informationReminder Notes for the Course on Measures on Topological Spaces
Reminder Notes for the Course on Measures on Topological Spaces T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie
More informationCopyright c 2007 Jason Underdown Some rights reserved. statement. sentential connectives. negation. conjunction. disjunction
Copyright & License Copyright c 2007 Jason Underdown Some rights reserved. statement sentential connectives negation conjunction disjunction implication or conditional antecedant & consequent hypothesis
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 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 informationarxiv: v1 [math.fa] 14 Jul 2018
Construction of Regular Non-Atomic arxiv:180705437v1 [mathfa] 14 Jul 2018 Strictly-Positive Measures in Second-Countable Locally Compact Non-Atomic Hausdorff Spaces Abstract Jason Bentley Department of
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 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 informationSpring -07 TOPOLOGY III. Conventions
Spring -07 TOPOLOGY III Conventions In the following, a space means a topological space (unless specified otherwise). We usually denote a space by a symbol like X instead of writing, say, (X, τ), and we
More informationSequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.
Chapter 3 Sequences Both the main elements of calculus (differentiation and integration) require the notion of a limit. Sequences will play a central role when we work with limits. Definition 3.. A Sequence
More informationChapter 4. Measure Theory. 1. Measure Spaces
Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if
More informationBounded and continuous functions on a locally compact Hausdorff space and dual spaces
Chapter 6 Bounded and continuous functions on a locally compact Hausdorff space and dual spaces Recall that the dual space of a normed linear space is a Banach space, and the dual space of L p is L q where
More informationMath 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 informationSeparation Spaces in Generalized Topology
International Journal of Mathematics Research. ISSN 0976-5840 Volume 9, Number 1 (2017), pp. 65-74 International Research Publication House http://www.irphouse.com Separation Spaces in Generalized Topology
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 informationON COUNTABLE FAMILIES OF TOPOLOGIES ON A SET
Novi Sad J. Math. Vol. 40, No. 2, 2010, 7-16 ON COUNTABLE FAMILIES OF TOPOLOGIES ON A SET M.K. Bose 1, Ajoy Mukharjee 2 Abstract Considering a countable number of topologies on a set X, we introduce the
More information2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R.
2. Basic Structures 2.1 Sets Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R. Definition 2 Objects in a set are called elements or members of the set. A set is
More informationIntroduction to Dynamical Systems
Introduction to Dynamical Systems France-Kosovo Undergraduate Research School of Mathematics March 2017 This introduction to dynamical systems was a course given at the march 2017 edition of the France
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 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 informationMeasure and Category. Marianna Csörnyei. ucahmcs
Measure and Category Marianna Csörnyei mari@math.ucl.ac.uk http:/www.ucl.ac.uk/ ucahmcs 1 / 96 A (very short) Introduction to Cardinals The cardinality of a set A is equal to the cardinality of a set B,
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend
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 informationThe Kolmogorov extension theorem
The Kolmogorov extension theorem Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 21, 2014 1 σ-algebras and semirings If X is a nonempty set, an algebra of sets on
More informationDO FIVE OUT OF SIX ON EACH SET PROBLEM SET
DO FIVE OUT OF SIX ON EACH SET PROBLEM SET 1. THE AXIOM OF FOUNDATION Early on in the book (page 6) it is indicated that throughout the formal development set is going to mean pure set, or set whose elements,
More informationof the set A. Note that the cross-section A ω :={t R + : (t,ω) A} is empty when ω/ π A. It would be impossible to have (ψ(ω), ω) A for such an ω.
AN-1 Analytic sets For a discrete-time process {X n } adapted to a filtration {F n : n N}, the prime example of a stopping time is τ = inf{n N : X n B}, the first time the process enters some Borel set
More informationThe Fundamental Group and Covering Spaces
Chapter 8 The Fundamental Group and Covering Spaces In the first seven chapters we have dealt with point-set topology. This chapter provides an introduction to algebraic topology. Algebraic topology may
More information1 Chapter 1: SETS. 1.1 Describing a set
1 Chapter 1: SETS set is a collection of objects The objects of the set are called elements or members Use capital letters :, B, C, S, X, Y to denote the sets Use lower case letters to denote the elements:
More informations P = f(ξ n )(x i x i 1 ). i=1
Compactness and total boundedness via nets The aim of this chapter is to define the notion of a net (generalized sequence) and to characterize compactness and total boundedness by this important topological
More informationand the union is open in X. If12U j for some j, then12 [ i U i and bx \ [ i (X \ U i ) U i = \ i ( b X \ U i )= \ i
29. Mon, Nov. 3 Locally compact Hausdor spaces are a very nice class of spaces (almost as good as compact Hausdor ). In fact, any such space is close to a compact Hausdor space. Definition 29.1. A compactification
More information2. The Concept of Convergence: Ultrafilters and Nets
2. The Concept of Convergence: Ultrafilters and Nets NOTE: AS OF 2008, SOME OF THIS STUFF IS A BIT OUT- DATED AND HAS A FEW TYPOS. I WILL REVISE THIS MATE- RIAL SOMETIME. In this lecture we discuss two
More informationA Glimpse into Topology
A Glimpse into Topology by Vishal Malik A project submitted to the Department of Mathematical Sciences in conformity with the requirements for Math 430 (203-4) Lakehead University Thunder Bay, Ontario,
More informationChapter 1: Banach Spaces
321 2008 09 Chapter 1: Banach Spaces The main motivation for functional analysis was probably the desire to understand solutions of differential equations. As with other contexts (such as linear algebra
More informationCHAPTER 9. Embedding theorems
CHAPTER 9 Embedding theorems In this chapter we will describe a general method for attacking embedding problems. We will establish several results but, as the main final result, we state here the following:
More informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
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 informationStanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon Measures
2 1 Borel Regular Measures We now state and prove an important regularity property of Borel regular outer measures: Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon
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 informationSets, Functions and Metric Spaces
Chapter 14 Sets, Functions and Metric Spaces 14.1 Functions and sets 14.1.1 The function concept Definition 14.1 Let us consider two sets A and B whose elements may be any objects whatsoever. Suppose that
More informationMath 172 HW 1 Solutions
Math 172 HW 1 Solutions Joey Zou April 15, 2017 Problem 1: Prove that the Cantor set C constructed in the text is totally disconnected and perfect. In other words, given two distinct points x, y C, there
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 informationTheorems. 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 informationWeek 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 informationLebesgue Measure on R n
CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
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 informationThe Tychonoff Theorem
Requirement for Department of Mathematics Lovely Professional University Punjab, India February 7, 2014 Outline Ordered Sets Requirement for 1 Ordered Sets Outline Ordered Sets Requirement for 1 Ordered
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 informationSOLUTIONS TO THE FINAL EXAM
SOLUTIONS TO THE FINAL EXAM Short questions 1 point each) Give a brief definition for each of the following six concepts: 1) normal for topological spaces) 2) path connected 3) homeomorphism 4) covering
More informationNotas de Aula Grupos Profinitos. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2018
Notas de Aula Grupos Profinitos Martino Garonzi Universidade de Brasília Primeiro semestre 2018 1 Le risposte uccidono le domande. 2 Contents 1 Topology 4 2 Profinite spaces 6 3 Topological groups 10 4
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 informationProblem Set 5. 2 n k. Then a nk (x) = 1+( 1)k
Problem Set 5 1. (Folland 2.43) For x [, 1), let 1 a n (x)2 n (a n (x) = or 1) be the base-2 expansion of x. (If x is a dyadic rational, choose the expansion such that a n (x) = for large n.) Then the
More 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 informationMath 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 informationOn the Countable Dense Homogeneity of Euclidean Spaces. Randall Gay
On the Countable Dense Homogeneity of Euclidean Spaces by Randall Gay A thesis submitted to the Graduate Faculty of Auburn University in partial fulfillment of the requirements for the Degree of Master
More informationChapter 1 The Real Numbers
Chapter 1 The Real Numbers In a beginning course in calculus, the emphasis is on introducing the techniques of the subject;i.e., differentiation and integration and their applications. An advanced calculus
More information