ECARES Université Libre de Bruxelles MATH CAMP Basic Topology
|
|
- Gwendoline McGee
- 5 years ago
- Views:
Transcription
1 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, limits, continuity - Finite, countable and uncountable sets - Metric spaces, limit points, open sets and closed sets etc. - Compact sets, the Weierstrass theorem
2 Subset : if A and B are sets, if a A a B, then A is a subset of B, denoted by A B (or B A). If there is an element b Note: A = B iff A B and B A! B such that b A, then A is a proper subset of B. Cartesian product: if A and B are two sets, then the Cartesian product of A and B, denoted AxB, is AxB = {( a,b) : a A andb B}. Example: IR Extension: A xa xa 3 x xa n = n Ai = {( a,a,a 3,...,a n): ai Ai i} i= Example: IR n De Morgan laws: Let A and D be subsets of B and c c c (A D) = A D and Proof: exercise. c A and c c c (A D) = A D. c D their respective complements with respect to B.
3 Ordered sets Let S be a set. An order on S is a relation < on S such that () for all a in S, a< a () for all a,b,c in S, if a< b and b< c, then a < c (3) for all a,b in S, a< b and b< a, then a = b In other words, < is reflexive, transitive and antisymmetric. Examples: in IR or in Q I (divides) in IN 0 An ordered set is a set on which an order is defined: if < is an order on S, then S,< is an ordered set. An order < on S is total iff for all a,b in S: a< b or b < a. Exercise: Let IR, where is defined as follows: For all (x,y), (z,t) in IR, (x,y) (z,t) x z and y t ( in IR!!). Prove that this defines an order on IR. Is it total? Represent graphically E = {(x,y) IR :(x,y) (,)} Supremum, infimum, maximum, minimum Let S, be an ordered set and E S. E is bounded above if there exists α in S such that α x for all x in E. α is then an upper bound of E. E is bounded below if there exists β in S such that β x for all x in E. β is then a lower bound of E. If S, is an ordered set, E S and E is bounded above, then If there exists α in S such that α is an upper bound of E and if γ < α, γ is not an upper bound of E then α is the least upper bound of E, called the supremum of E, denoted by sup E. If sup E exists and sup E E, then sup E is the maximum of E, denoted by max E. 3
4 If S, is an ordered set, E S and E is bounded below, then If there exists β in S such that β is a lower bound of E and if γ > β, γ is not a lower bound of E then β is the greatest lower bound of E, called the infimum of E, denoted by inf E. If inf E exists and inf E E, then inf E is the minimum of E, denoted by min E. Exercises: () In IR,, let E = { n : n IN0 }. Determine the set of upper bounds of E, the set of lower bounds of E as well as, if they exist, sup E and inf E, max E and min E. let E = (7, + ). Same questions. () In IR, where is defined as follows: For all (x,y), (z,t) in IR, (x,y) (z,t) x z and y t. Let E = {(x,y) IR :x and y }. Is E bounded above? Bounded below? If they exist, find inf E and sup E, max E and min E. Important: in IR,, all subsets that are bounded above have a (unique) supremum all subsets that are bounded below have a (unique) infimum. In Q,, this is not the case, e.g. the set E = {p Q + : p < } is bounded above in Q, but has no supremum in Q and the set F = {p Q + : p > } is bounded below in Q, but has no infimum in Q (Prove it (difficult!)! Hint: show that there is no p in Q such that p = and then let q = p - p. p+ Show that for all p in F, q < p and q belongs to F and that for all p in E, q > p and q belongs to E. This means that E has no largest member and F has no smallest member). Note: Q is dense in IR i.e. between any two distinct real numbers, there is a rational one! (if x and y are in IR and x < y then, there exists p in Q such that x < p < y). 4
5 Functions If A and B are two sets and if with each element x of A is associated an element of B, denoted by f(x), then f is said to be a function from A to B (or mapping of A into B): f:a B:x f(x). Note: if (at least) one element of A is associated with more than one element of B (a set of elements of B), then the term used is correspondence or point-to-set mapping rather than function. The set A is called the domain of f, and the elements f(x) are the values of f. The set of all values of f is the range or the image of f. If E is a subset of A, f(e), the set of all elements f(x) for x E, is the image of E under f (the range of f is thus the image of A under f!). In general f(a) B. If f(a) = B, then f maps A onto B. If E B, then pre-image of E under f. If y B, then f (E) denotes the set of all x A such that f(x) E. f (y) is the set of all x A such that f(x) = y. If, for each y B, f (E) is the inverse image or f (y) consists of at most one element of A, then f is said to be a one-to-one mapping of A into B. Equivalently, f is a one-to-one mapping of A into B provided that f(x ) f(x ) whenever x x. Finite, countable and uncountable sets If there exists a one-to-one mapping of A onto B, then one says that A and B can be put in one-toone correspondence or that A and B have the same cardinal number or that A and B are equivalent. This is written A ~ B. For any positive integer n (i.e. n IN 0 ), let J n = {,,,n}. For any set A, (a) A is finite if A ~ J n for some n (the empty set is also considered to be finite). (b) A is infinite if A is not finite. (c) A is countable (or enumerable or denumerable) if A ~ IN 0 (d) A is uncountable if A is neither finite nor countable. (e) A is at most countable if A is finite or countable. For two finite sets, A ~ B is equivalent to A and B have the same number of elements. But for A and B infinite?? 5
6 Example: Z (the set of all integers (positive and negative)) is countable! Proof: consider the following arrangements of Z and IN 0 : Z : IN 0 : 0,,-,,-,3,-3,.,, 3,4, 5,6, 7,. n if n even The function f:in 0 Z:n f(n) = n- - if n odd Z ~ IN 0, proving that Z is countable. is a one-to-one mapping of IN 0 onto A, hence Note: here, though IN 0 is a proper subset of Z, they are equivalent. This cannot happen for finite sets. Since a sequence in a set A (or a sequence of elements of a set A) is a function defined on IN 0, and since a countable set can be seen as the range of a sequence of distinct terms, another (equivalent) definition of the concept of countable set is the following: A is an infinite countable set iff its elements can be arranged in a sequence. Counterexample: the set IR of all real numbers is uncountable! Proof? See property (4). Properties: () Any infinite proper subset of a countable set A is countable Proof: assume E A and E infinite. Since A is countable, arrange the elements of A in a sequence {x n } of distinct elements. Construct {n k } as follows: n is the smallest possible integer such that x E. Having chosen n,n,,n k- (k=,3,4, ), let n k be the smallest integer greater than n k- such that a one-to-one correspondence between E and IN 0. n xn k E. Putting f(k) = x nk (k=,,3,.), we obtain () Let {E n }, n=,,3,. be a sequence of countable sets. Let S = U En. Then S is countable. n= (3) Let A be a countable set. A n is also a countable set. Corollary of (3): Q is a countable set! (4) The set of all real numbers between 0 and written only with the digits 0 and is uncountable. From there [0,] is uncountable, hence IR is uncountable. 6
7 Metric spaces A set E is called a metric space if with any two points p and q of E there is associated a real number d(p,q) called the distance from p to q such that () d(p,q) > 0 if p q and d(p,q) = 0 if p = q () d(p,q) = d(q,p) (3) d(p,q) d(p,r) + d(r,q) for any r E. Any function d:exe IR with these three properties is a distance function or a metric on E. Most important metric spaces: IR n with the Euclidian distance i.e. If x and y IR n, with n IN 0, then d(x,y) = x y = n (xi y i). i= In the particular case n =, i.e. in IR, if x and y IR, d(x,y) = (x y) = x y. Open, closed, convex, bounded and compact subsets of IR n Note: all of the concepts defined below can be defined in any metric space. Let c IR n, with n IN 0 and r > 0. The open ball with center at c and radius r is defined as B(c,r) = {x IR n : d(x,c) < r} The closed ball with center at c and radius r is defined as B (c,r) = {x IR n : d(x,c) r}. For n =, B(c,r) = (c-r,c+r) and B (c,r) = [c-r,c+r]. For n = and n = 3, what is an open ball? A closed ball? 7
8 Let E IR n, with n IN 0. A neighborhood of p IR n is a set containing an open ball centered at p. In particular, an open ball centered at p is a neighborhood of p. A point p IR n is a limit point of E iff every open ball centered at p contains a point q p such that q E or, equivalently, A point p IR n is a limit point of E iff p is the limit of a sequence of points of E none of which are p. The set of all limit points in E is denoted by E. If p E and p is not a limit point of E, then p is an isolated point of E. E is closed iff every limit point of E is a point of E. The closure of E is the set E = E E'. A point p is an interior point of E iff there is an open ball B centered at p such that B E. E is open iff every point in E is an interior point of E. The interior of E is the set of all interior points of E. Notation: E o. The complement of E, denoted by E c, is the set of all points p IR n such that p E. E is perfect iff E is closed and every point of E is a limit point of E. E is bounded iff E is entirely included in an open ball (equivalent to: E is bounded iff there exists a real number M and a point q IR n such that d(p,q) < M for all p E). E is dense in IR n iff every point of IR n is a limit point of E or is a point of E (or both!) A subset of IR n is compact iff it is closed and bounded. Note that the basic definition of a compact subset of a metric space is more complicated, but boils down to this one for IR n! Given any finite number of points x, x, x 3,., x n with x i IR n, a point z IR n is a convex combination of the points x, x, x 3,., x n if there exists a λ (IR + ) n such that n z = λi.xi. i= E is convex iff the convex combination of any two points of E is also contained in E i.e. n λi = such that i= x,x E, [0,] :.x ( ).x E λ λ + λ. Geometrically, E is convex iff the segment joining any two points of E is entirely included in E. 8
9 Properties: () A set E is open iff E c is closed. A set E is closed iff E c is open. () Any open ball is an open set, any closed ball is a closed set. (3) Any union of open sets is open. Any intersection of closed sets is closed. The intersection of any finite number of open sets is open. The union of any finite number of closed sets is closed. 9
10 Limits and continuity of functions () Limits Let f:d n m IR IR : x f(x) = (f (x),f (x),,f m (x)) and a, a limit point of D. We have x a m lim f(x) = b ( IR ) iff ε > 0, δ > 0 : 0 < d (x,a) < δ and x D d (f(x),b) < ε. n m Note: If m =, the definition becomes: lim f(x) = b ( IR) iff ε > 0, δ > 0 : 0 < d n(x,a) < δ and x D f(x) b < ε x a Furthermore, if m = : lim f(x) =+ (resp. ) iff K > 0, δ > 0:0< d n(x,a) < δ and x D f(x) > K (resp.f(x) < K). x a This definition can be rewritten in terms of sequences as follows: x a m lim f(x) = b ( IR ) iff for any sequence (x n) n IN such that 0 lim xn n + = awith x n a for all n, lim f(x n) = b. n + () Continuity Let f:d n m IR IR : x f(x) = (f (x),f (x),,f m (x)) and a D, f is continuous at a iff lim f(x) = f(a) x a which is equivalent to ε > 0, δ > 0 : 0 < d n(x,a) < δ and x D d m(f(x),f(a)) < ε. If f is continuous at every point of D, then f is said to be continuous on D. An equivalent definition (not easy to prove!!) is that Let f:d n m IR IR : x f(x) and a D, f is continuous on D iff set V in IR m. f (V) is open in IR n for every open 0
11 Weierstrass s theorem n If f: D IR IR: x f(x) is continuous on D and D is a compact set, then, if M = sup f(x) x D there exist x, x and m = and its minimum (at x ). inf f(x) x D D such that f(x ) = M and f(x ) = m. In other words, f reaches its maximum (at x ) Reference: W. Rudin: Principles of Mathematical Analysis, McGraw-Hill
12 Complement: point-to-set mappings A point-to-set mapping of A into B is a mapping f:a!(b): x f(x) B. The graph of f is the set of all pairs (x,y) such that y f(x). Example: f: [0,]!([0,]): x [ x,x]. Let f be a point-to-set mapping of A into B. Let S be the set of limit points of all sequence paths in the graph of f as x tends to x 0. f is upper semicontinuous at x 0 iff S f(x 0 ). f is lower semicontinuous at x 0 iff f(x 0 ) S. A point-to-set mapping is continuous at x 0 iff it is upper semicontinuous and lower semicontinuous at x 0.
Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More 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 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 informationLecture 2: A crash course in Real Analysis
EE5110: Probability Foundations for Electrical Engineers July-November 2015 Lecture 2: A crash course in Real Analysis Lecturer: Dr. Krishna Jagannathan Scribe: Sudharsan Parthasarathy This lecture is
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 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals
MATH 02 INTRODUCTION TO MATHEMATICAL ANALYSIS Properties of Real Numbers Some Fundamentals The whole course will be based entirely on the study of sequence of numbers and functions defined on the real
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 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 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 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 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 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 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 informationIntroduction to Real Analysis
Introduction to Real Analysis Joshua Wilde, revised by Isabel Tecu, Takeshi Suzuki and María José Boccardi August 13, 2013 1 Sets Sets are the basic objects of mathematics. In fact, they are so basic 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 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 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 informationWeek 2: Sequences and Series
QF0: Quantitative Finance August 29, 207 Week 2: Sequences and Series Facilitator: Christopher Ting AY 207/208 Mathematicians have tried in vain to this day to discover some order in the sequence of prime
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 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 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 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 information1 Lecture 4: Set topology on metric spaces, 8/17/2012
Summer Jump-Start Program for Analysis, 01 Song-Ying Li 1 Lecture : Set topology on metric spaces, 8/17/01 Definition 1.1. Let (X, d) be a metric space; E is a subset of X. Then: (i) x E is an interior
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 informationExercises from other sources REAL NUMBERS 2,...,
Exercises from other sources REAL NUMBERS 1. Find the supremum and infimum of the following sets: a) {1, b) c) 12, 13, 14, }, { 1 3, 4 9, 13 27, 40 } 81,, { 2, 2 + 2, 2 + 2 + } 2,..., d) {n N : n 2 < 10},
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 informationReal Analysis - Notes and After Notes Fall 2008
Real Analysis - Notes and After Notes Fall 2008 October 29, 2008 1 Introduction into proof August 20, 2008 First we will go through some simple proofs to learn how one writes a rigorous proof. Let start
More informationChapter 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 informationMath 6120 Fall 2012 Assignment #1
Math 6120 Fall 2012 Assignment #1 Choose 10 of the problems below to submit by Weds., Sep. 5. Exercise 1. [Mun, 21, #10]. Show that the following are closed subsets of R 2 : (a) A = { (x, y) xy = 1 },
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
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 informationIntroduction. Chapter 1. Contents. EECS 600 Function Space Methods in System Theory Lecture Notes J. Fessler 1.1
Chapter 1 Introduction Contents Motivation........................................................ 1.2 Applications (of optimization).............................................. 1.2 Main principles.....................................................
More informationSolutions to Tutorial 7 (Week 8)
The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 7 (Week 8) MATH2962: Real and Complex Analysis (Advanced) Semester 1, 2017 Web Page: http://www.maths.usyd.edu.au/u/ug/im/math2962/
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need
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 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 information1.4 Cardinality. Tom Lewis. Fall Term Tom Lewis () 1.4 Cardinality Fall Term / 9
1.4 Cardinality Tom Lewis Fall Term 2006 Tom Lewis () 1.4 Cardinality Fall Term 2006 1 / 9 Outline 1 Functions 2 Cardinality 3 Cantor s theorem Tom Lewis () 1.4 Cardinality Fall Term 2006 2 / 9 Functions
More informationDefinition 2.1. A metric (or distance function) defined on a non-empty set X is a function d: X X R that satisfies: For all x, y, and z in X :
MATH 337 Metric Spaces Dr. Neal, WKU Let X be a non-empty set. The elements of X shall be called points. We shall define the general means of determining the distance between two points. Throughout we
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More informationThis chapter contains a very bare summary of some basic facts from topology.
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
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 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 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 informationIntroduction 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 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 information2 Topology of a Metric Space
2 Topology of a Metric Space The real number system has two types of properties. The first type are algebraic properties, dealing with addition, multiplication and so on. The other type, called topological
More informationU 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 informationANALYSIS WORKSHEET II: METRIC SPACES
ANALYSIS WORKSHEET II: METRIC SPACES Definition 1. A metric space (X, d) is a space X of objects (called points), together with a distance function or metric d : X X [0, ), which associates to each pair
More information,
NATIONAL ACADEMY DHARMAPURI 97876 60996, 7010865319 Unit-II - Real Analysis Cardinal numbers - Countable and uncountable cordinals - Cantor s diagonal process Properties of real numbers - Order - Completeness
More informationAnalysis 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 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 informationGeneral Notation. Exercises and Problems
Exercises and Problems The text contains both Exercises and Problems. The exercises are incorporated into the development of the theory in each section. Additional Problems appear at the end of most sections.
More informationCSE 20 DISCRETE MATH. Fall
CSE 20 DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Define and compute the cardinality of a set. Use functions to compare the sizes of sets. Classify sets
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 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 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 information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationFrom now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.
Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x
More informationWhat to remember about metric spaces
Division of the Humanities and Social Sciences What to remember about metric spaces KC Border These notes are (I hope) a gentle introduction to the topological concepts used in economic theory. If the
More informationLogical Connectives and Quantifiers
Chapter 1 Logical Connectives and Quantifiers 1.1 Logical Connectives 1.2 Quantifiers 1.3 Techniques of Proof: I 1.4 Techniques of Proof: II Theorem 1. Let f be a continuous function. If 1 f(x)dx 0, then
More informationEconomics 204 Summer/Fall 2011 Lecture 2 Tuesday July 26, 2011 N Now, on the main diagonal, change all the 0s to 1s and vice versa:
Economics 04 Summer/Fall 011 Lecture Tuesday July 6, 011 Section 1.4. Cardinality (cont.) Theorem 1 (Cantor) N, the set of all subsets of N, is not countable. Proof: Suppose N is countable. Then there
More informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
More informationPOL502: Foundations. Kosuke Imai Department of Politics, Princeton University. October 10, 2005
POL502: Foundations Kosuke Imai Department of Politics, Princeton University October 10, 2005 Our first task is to develop the foundations that are necessary for the materials covered in this course. 1
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 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 informationSection 21. The Metric Topology (Continued)
21. The Metric Topology (cont.) 1 Section 21. The Metric Topology (Continued) Note. In this section we give a number of results for metric spaces which are familar from calculus and real analysis. We also
More informationDefinitions & Theorems
Definitions & Theorems Math 147, Fall 2009 December 19, 2010 Contents 1 Logic 2 1.1 Sets.................................................. 2 1.2 The Peano axioms..........................................
More informationMid Term-1 : Practice problems
Mid Term-1 : Practice problems These problems are meant only to provide practice; they do not necessarily reflect the difficulty level of the problems in the exam. The actual exam problems are likely to
More informationCHAPTER 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 informationMORE 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 informationIntroduction to Proofs
Real Analysis Preview May 2014 Properties of R n Recall Oftentimes in multivariable calculus, we looked at properties of vectors in R n. If we were given vectors x =< x 1, x 2,, x n > and y =< y1, y 2,,
More informationConvergence of sequences, limit of functions, continuity
Convergence of sequences, limit of functions, continuity With the definition of norm, or more precisely the distance between any two vectors in R N : dist(x, y) 7 x y 7 [(x 1 y 1 ) 2 + + (x N y N ) 2 ]
More informationIntroductory Analysis I Fall 2014 Homework #5 Solutions
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
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 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 Real Analysis
Christopher Heil Introduction to Real Analysis Chapter 0 Online Expanded Chapter on Notation and Preliminaries Last Updated: January 9, 2018 c 2018 by Christopher Heil Chapter 0 Notation and Preliminaries:
More informationMETRIC SPACES. Contents
METRIC SPACES PETE L. CLARK Contents 1. Metric Geometry A metric on a set X is a function d : X X [0, ) satisfying: (M1) d(x, y) = 0 x = y. (M2) For all x, y X, d(x, y) = d(y, x). (M3) (Triangle Inequality)
More informationQuick Tour of the Topology of R. Steven Hurder, Dave Marker, & John Wood 1
Quick Tour of the Topology of R Steven Hurder, Dave Marker, & John Wood 1 1 Department of Mathematics, University of Illinois at Chicago April 17, 2003 Preface i Chapter 1. The Topology of R 1 1. Open
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 information11691 Review Guideline Real Analysis. Real Analysis. - According to Principles of Mathematical Analysis by Walter Rudin (Chapter 1-4)
Real Analysis - According to Principles of Mathematical Analysis by Walter Rudin (Chapter 1-4) 1 The Real and Complex Number Set: a collection of objects. Proper subset: if A B, then call A a proper subset
More informationMATH 23b, SPRING 2005 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Midterm (part 1) Solutions March 21, 2005
MATH 23b, SPRING 2005 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Midterm (part 1) Solutions March 21, 2005 1. True or False (22 points, 2 each) T or F Every set in R n is either open or closed
More informationABSTRACT INTEGRATION CHAPTER ONE
CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed
More informationIntroduction 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 informationMarch 25, 2010 CHAPTER 2: LIMITS AND CONTINUITY OF FUNCTIONS IN EUCLIDEAN SPACE
March 25, 2010 CHAPTER 2: LIMIT AND CONTINUITY OF FUNCTION IN EUCLIDEAN PACE 1. calar product in R n Definition 1.1. Given x = (x 1,..., x n ), y = (y 1,..., y n ) R n,we define their scalar product as
More informationMATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets
MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION Chapter 2: Countability and Cantor Sets Countable and Uncountable Sets The concept of countability will be important in this course
More informationCLASS NOTES FOR APRIL 14, 2000
CLASS NOTES FOR APRIL 14, 2000 Announcement: Section 1.2, Questions 3,5 have been deferred from Assignment 1 to Assignment 2. Section 1.4, Question 5 has been dropped entirely. 1. Review of Wednesday class
More informationSolution. 1 Solutions of Homework 1. 2 Homework 2. Sangchul Lee. February 19, Problem 1.2
Solution Sangchul Lee February 19, 2018 1 Solutions of Homework 1 Problem 1.2 Let A and B be nonempty subsets of R + :: {x R : x > 0} which are bounded above. Let us define C = {xy : x A and y B} Show
More information2.2 Some Consequences of the Completeness Axiom
60 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.2 Some Consequences of the Completeness Axiom In this section, we use the fact that R is complete to establish some important results. First, we will prove that
More informationNotes on Ordered Sets
Notes on Ordered Sets Mariusz Wodzicki September 10, 2013 1 Vocabulary 1.1 Definitions Definition 1.1 A binary relation on a set S is said to be a partial order if it is reflexive, x x, weakly antisymmetric,
More informationNotes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.
Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3
More informationAnalysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t
Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using
More informationPROBLEMS. (b) (Polarization Identity) Show that in any inner product space
1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization
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 informationExistence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets
Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R
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 NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS
MATH. 4433. NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS TOMASZ PRZEBINDA. Final project, due 0:00 am, /0/208 via e-mail.. State the Fundamental Theorem of Algebra. Recall that a subset K
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 informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationDef. 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