Chapter 3. Topology of the Real Numbers.

Similar documents
1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

Essential Background for Real Analysis I (MATH 5210)

Problem Set 2: Solutions Math 201A: Fall 2016

Abstract Measure Theory

Math 117: Topology of the Real Numbers

Chapter II. Metric Spaces and the Topology of C

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then

CHAPTER 5. The Topology of R. 1. Open and Closed 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 α.

NAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key

3 Hausdorff and Connected Spaces

Indeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )

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

REVIEW OF ESSENTIAL MATH 346 TOPICS

Introductory Analysis I Fall 2014 Homework #5 Solutions

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

Math 535: Topology Homework 1. Mueen Nawaz

MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

Measures and Measure Spaces

Maximilian GANSTER. appeared in: Soochow J. Math. 15 (1) (1989),

Week 5 Lectures 13-15

7 Complete metric spaces and function spaces

Chapter 2 Metric Spaces

COUNTABLY S-CLOSED SPACES

POINT SET TOPOLOGY. Definition 2 A set with a topological structure is a topological space (X, O)

MA651 Topology. Lecture 9. Compactness 2.

THEOREMS, ETC., FOR MATH 515

Lebesgue measure on R is just one of many important measures in mathematics. In these notes we introduce the general framework for measures.

Some Background Material

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

*Room 3.13 in Herschel Building

4 Countability axioms

arxiv: v1 [math.fa] 14 Jul 2018

Chapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries

Spring 2014 Advanced Probability Overview. Lecture Notes Set 1: Course Overview, σ-fields, and Measures

Stat 451: Solutions to Assignment #1

Math 201 Topology I. Lecture notes of Prof. Hicham Gebran

Section 31. The Separation Axioms

Math 421, Homework #7 Solutions. We can then us the triangle inequality to find for k N that (x k + y k ) (L + M) = (x k L) + (y k M) x k L + y k M

Section 2: Classes of Sets

MATH 31BH Homework 1 Solutions

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

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Set theory and topology

Sanjay Mishra. Topology. Dr. Sanjay Mishra. A Profound Subtitle

1 Lecture 4: Set topology on metric spaces, 8/17/2012

The uniform metric on product spaces

Week 6: Topology & Real Analysis Notes

Analysis 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

Solve EACH of the exercises 1-3

Problems: Section 13-1, 3, 4, 5, 6; Section 16-1, 5, 8, 9;

A LITTLE REAL ANALYSIS AND TOPOLOGY

4.4. Orthogonality. Note. This section is awesome! It is very geometric and shows that much of the geometry of R n holds in Hilbert spaces.

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

Math 54: Topology. Syllabus, problems and solutions. Pierre Clare. Dartmouth College, Summer 2015

II - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define

CHODOUNSKY, DAVID, M.A. Relative Topological Properties. (2006) Directed by Dr. Jerry Vaughan. 48pp.

If X is a compact space and K X is a closed subset, then K is

Axioms of separation

Contra θ-c-continuous Functions

Section 0.7. The Axiom of Choice, Order, and Zorn s Lemma

S. Mrówka introduced a topological space ψ whose underlying set is the. natural numbers together with an infinite maximal almost disjoint family(madf)

We will begin our study of topology from a set-theoretic point of view. As the subject

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

Economics 204 Fall 2012 Problem Set 3 Suggested Solutions

The Heine-Borel and Arzela-Ascoli Theorems

Chapter 4. Measure Theory. 1. Measure Spaces

MTG 5316/4302 FALL 2018 REVIEW FINAL

Supplement. Algebraic Closure of a Field

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

µ (X) := inf l(i k ) where X k=1 I k, I k an open interval Notice that is a map from subsets of R to non-negative number together with infinity

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3

1.3. The Completeness Axiom.

MTG 6316 HOMEWORK Spring 2017

Section 41. Paracompactness

Chapter 7. Metric Spaces December 5, Metric spaces

Math 5210, Definitions and Theorems on Metric Spaces

Introduction to Topology

Lebesgue Measure. Dung Le 1

ANALYSIS WORKSHEET II: METRIC SPACES

Math 6120 Fall 2012 Assignment #1

STRONGLY CONNECTED SPACES

DENSELY k-separable COMPACTA ARE DENSELY SEPARABLE

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Measure and Category. Marianna Csörnyei. ucahmcs

ECARES Université Libre de Bruxelles MATH CAMP Basic Topology

Topological groups with dense compactly generated subgroups

MATH 202B - Problem Set 5

Part III. 10 Topological Space Basics. Topological Spaces

DRAFT MAA6616 COURSE NOTES FALL 2015

Course 212: Academic Year Section 1: Metric Spaces

Math 3T03 - Topology

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

Totally supra b continuous and slightly supra b continuous functions

CW complexes. Soren Hansen. This note is meant to give a short introduction to CW complexes.

CLASS NOTES FOR APRIL 14, 2000

Reminder Notes for the Course on Measures on Topological Spaces

Homework in Topology, Spring 2009.

A thesis. submitted in partial fulfillment. of the requirements for the degree of. Master of Science in Mathematics. Boise State University

Transcription:

3.1. Topology of the Real Numbers 1 Chapter 3. Topology of the Real Numbers. 3.1. Topology of the Real Numbers. Note. In this section we topological properties of sets of real numbers such as open, closed, and compact. In particular, we will classify open sets of real numbers in terms of open intervals. Definition. A set U of real numbers is said to be open if for all x U there exists δ(x) > 0 such that (x δ(x),x + δ(x)) U. Note. It is trivial that R is open. It is vacuously true that is open. Theorem 3-1. The intervals (a,b), (a, ), and (,a) are open sets. (Notice that the choice of δ depends on the value of x in showing that these are open.) Definition. A set A is closed if A c is open. Note. The sets R and are both closed. Some sets are neither open nor closed. Corollary 3-1. The intervals (,a], [a,b], and [b, ) are closed sets.

3.1. Topology of the Real Numbers 2 Theorem 3-2. The open sets satisfy: (a) If {U 1,U 2,...,U n } is a finite collection of open sets, then n k=1 U k is an open set. (b) If {U α } is any collection (finite, infinite, countable, or uncountable) of open sets, then α U α is an open set. Note. An infinite intersection of open sets can be closed. Consider, for example, i=1 ( 1/i,1 + 1/i) = [0,1]. Theorem 3-3. The closed sets satisfy: (a) and R are closed. (b) If {A α } is any collection of closed sets, then α A α is closed. (c) If {A 1,A 2,...,A n } is a finite collection of closed sets, then n k=1 A i is closed Note. An infinite union of closed sets can be open. Consider, for example, i=1 [1/i,1 1/i] = (0,1). Note. We now step aside and briefly discuss topology in a general setting. We are inspired by Theorem 3-2 to give the following definition.

3.1. Topology of the Real Numbers 3 Definition. A topology on a set X is a collection T of subsets of X having the following properties: (a) and X are in T. (b) The union of any collection of elements of T is in T. (c) The intersection of any finite collection of elements of T is in T. Together, the sets X and T are called a topological space. If U T, then U is said to be open. Example. A topology on the real line is given by the collection of intervals of the form (a,b) along with arbitrary unions of such intervals. Let I = {(a,b) a,b R}. Then the sets X = R and T = { α I α I α I} is a topological space. This is R under the usual topology. Example. Let X = {a,b,c}. The following are topologies on X (from James Munkres Topology: A First Course, Prentice Hall, 1974):

3.1. Topology of the Real Numbers 4 Definition. The topology consisting of all subsets of X is called the discrete topology. The topology of X containing X and only is the trivial topology. Example. The first topology in the example above is the trivial topology on X = {a,b,c} and the last topology is the discrete topology. In general, the discrete topology on X is T = P(X) (the power set of X). Example. X = R and T = P(R) form a topological space. Under this topology, by definition, all sets are open. Definition. Suppose T and T are two topologies on X. If T T then we say T is finer than T ; if T properly contains T, we say that T is strictly finer than T (we also say that T is coarser or strictly coarser than T ). The terms larger/smaller and stronger/weaker are also used. Problem 1. Compare the 9 topologies given for X = {a,b,c} pairwise and determine which is coarser and which is finer (of course, some pairs will not be comparable). Graduate Problem 1. Prove that a set A X is open in a topological space if and only if for all x A there exists an open set U T such that x U A.

3.1. Topology of the Real Numbers 5 Bonus 1. Give a definition of the limit of the sequence {a k } is L where a k X and L X. Use only X and some topology on X, T. Notice that there is not necessarily a metric on X. Is it necessary for limits of sequences to be unique in a topological space? If so, prove it; if not, give an example illustrating the fact. Definition. In a topological space (X, T ), a set U is closed if X \ U = U c T. Problem 2. Let (X, T ) be a topological space. (a) Prove that the union of a finite collection of closed sets is closed. (b) Prove that the intersection of any collection of closed sets is closed. Bonus 2. Give an example of a topology on R other than the trivial, discrete, or usual topologies. Note. We now return to Kirkwood. Definition. Let A R. Then the set V is said to be open relative to A if V = A U for some open set U. V is said to be closed relative to A if V = A U for some closed set U. Note. Sets and A are both open and closed relative to A.

3.1. Topology of the Real Numbers 6 Theorem 3-4. Let A R. The subsets of A that are open relative to A satisfy: (a) and A are open relative to A. (b) If {V 1,V 2,...,V n } is a finite collection of sets that are open relative to A, then n i=1 V i is open relative to A. (c) If {V α } is any collection of sets that are open relative to A, then α V α is open relative to A. Note. The following theorem is the most important result in this Analysis 1 class!!! Theorem 3-5. A set of real numbers is open if and only if it is a countable union of disjoint open intervals. Note. Theorem 3-5 allows us to completely describe an open set of real numbers in terms of open intervals. If you take a graduate level real analysis class (such as our Real Analysis 1, MATH 5210), then this result will play a central role in the development of the Lebesgue measure of a set of real numbers. The idea of measure of a set is to generalize the concept of the length of an interval.

3.1. Topology of the Real Numbers 7 Definition. Let A R. (a) If there exists δ > 0 such that (x δ,z+δ) A then x is called an interior point of A. The set of all interior points of A is called the interior of A, denoted int(a). (b) If for every δ > 0, (x δ,x+δ) contains a point of A and a point not in A, then x is called a boundary point of A (x may or may not be in A). The set of all boundary points of A is the boundary of A, denoted b(a), or more commonly (A). (c) If for all δ > 0, (x δ,x + δ) contains a point of A distinct from x, then x is a limit point of A. (d) A point x A is called an isolated point of A if there exists δ > 0 such that (x δ,x + δ) A = {x}. Example. Let A = (0,1] {2}. Then int(a) = (0,1) and b(a) = (A) = {0,1,2}. The limit points of A are [0,1]. The only isolated point of A is 2. Note. The following two results allow us to classify open and closed sets in terms the types of points defined above. Theorem 3-6. A set is closed if and only if it contains all of its boundary points.

3.1. Topology of the Real Numbers 8 Corollary 3-6. (a) A set is closed if and only if it contains all of its limit points. (b) A set is open if and only if it contains none of its boundary points. Definition. Let A R. The closure of A, denoted A, is the set consisting of A and its limit points. Theorem 3-7. For A R, A is closed. Definition. Let A R. The collection of sets {I α } is said to be a cover of A if A α I α. If each I α is open, then the collection is called an open cover of A. If the cardinality of {I α } is finite, then the collection is a finite cover. Example. The set {I k } = {(1/k,1 1/k) k N} is an infinite open cover of (0,1). Example. The set {I α } = {(a/10,b/10) a,b Z,a < b} is an infinite open cover of [0,100]. Notice that there is a finite subcover of this open cover of [0,100]. Definition. A set A is compact if every open cover of A has a finite subcover.

3.1. Topology of the Real Numbers 9 Note. The importance of compact sets lies in the fact that such a set (as I like to put it) allows us to make a transition from the infinite to the finite. For example, if we have an arbitrary set of real numbers, that set may not have a maximum element; if we have a finite set of real numbers then it definitely has a maximum element. We will see that a compact set mimics this type of behavior of finite sets. Other examples will arise throughout this class. Theorem 3-8. Let {A 1,A 2,...} be a countable collection of nonempty closed bounded sets of real numbers such that A i A j for i j. Then A i. Corollary 3-8. Let {A 1,A 2,...} be a countable collection of closed bounded sets of real numbers such that A i A j if i < j. If i=1 A i then N i=1 = for some N N. Theorem 3-9. The Lindelöf Principle. Let A R. If {I α } is an open cover of A, then some countable subcollection of {I α } covers A. Theorem 3-10, 3-11. Heine-Borel Theorem. A set of real numbers is compact if and only if it is closed and bounded.

3.1. Topology of the Real Numbers 10 Note. It is tempting to think that the definition of a compact set is that it is closed and bounded because of the Heine-Borel Theorem. However, this is not true and the important property of compact sets is that every open cover has a finite subcover (i.e., the definition of compact). The Heine-Borel Theorem just makes it easier to recognize and describe a compact set of real numbers. A curious fact is that there are exotic settings where some closed and bounded sets are not compact! For an example, see the supplement to the notes for Introduction to Functional Analysis (MATH 5740) Projections and Hilbert Space Isomorphisms, based on the D. Hong, J. Wang, and R. Gardner s Real Analysis with an Introduction to Wavelets and Applications (Academic Press/Elsevier Press, 2005): http://faculty.etsu.edu/gardnerr/func/notes/hwg-5-4.pdf Note. The next two results also classify compact sets of real numbers. Theorem 3-12. A set A R is compact if and only if every infinite set of points of A has a limit point. Theorem 3-13. Let A R. The following are equivalent. (a) A is compact. (b) A is closed and bounded. (c) Every infinite set of points in A has a limit point in A. (d) If {x n } is a sequence in A, there is a subsequence {x nk } that converges to some point in A.

3.1. Topology of the Real Numbers 11 Definition. A set A is connected if there do not exist two open sets U and V such that: (i) U V =. (ii) U A and V A. (iii) (U A) (V A) = A. Note. As alternate way to approach the connectivity of a set, is to define the open sets U and V as being a separation of set A. A connected set is then a set for which there is no separation. By the way, since this definition of connected only refers to open sets and set theoretic manipulations, this definition can be taken verbatim in a topological space. Note. The following allows us to classify connected sets of real numbers and the result is not at all surprising. We should point out that a single point is not normally considered an interval intervals have, by definition, nonempty interiors. Theorem 3-14. A set of real numbers with more than one element is connected if and only it it is an interval or a singleton. Revised: 4/4/2014