Chapter I Topology Preliminaries

Size: px
Start display at page:

Download "Chapter I Topology Preliminaries"

Transcription

1 Chapter I Topology Preliminaries In this chapter we discuss (with various degrees of depth) several fundamental topological concepts. The fact that the material is quite extensive is based on the point of view that any competent mathematician - regardless of expertise area - should know at least this much topology, and this chapter is thought to be the last push in the attempt of reaching this goal. In particular, Section 2 offers an exposition that is (unfortunately) seldom covered in many topology texts. 1. Review of basic topology concepts In this lecture we review some basic notions from topology, the main goal being to set up the language. Except for one result (Urysohn Lemma) there will be no proofs. Definitions. A topology on a (non-empty) set X is a family T of subsets of X, which are called open sets, with the following properties: (top 1 ): both the empty set and the total set X are open; (top 2 ): an arbitrary union of open sets is open; (top 3 ): a finite intersection of open sets is open. In this case the system (X, T ) is called a topological space. If (X, T ) is a topological space and x X is an element in X, a subset N X is called a neighborhood of x if there exists some open set D such that x D N. A collection N of neighborhoods of x is called a basic system of neighborhoods of x, if for any neighborhood M of x, there exists some neighborhood N in N such that x N M. A collection V of neighborhoods of x is called a fundamental system of neighborhoods of x if for any neighborhood M of x there exists a finite sequence V 1, V 2,..., V n of neighborhoods in V such that x V 1 V 2 V n M. A topology is said to have the Hausdorff property if: (h) for any x, y X with x y, there exist open sets U x and V y such that U V =. If (X, T ) is a topological space, a subset F X will be called closed, if its complement X F is open. The following properties are easily derived from the definition: (c 1 ) both the empty set and the total set X are closed; (c 2 ) an arbitrary intersection of closed sets is closed; (c 3 ) a finite union of closed sets is closed. Examples 1.1. A. The standard topology T on R is defined as T = { D R : D is a union of open intervals. }. The term open interval is suggestive of the fact that every such interval is an open set. Likewise, every closed interval is closed in this topology. For a point 1

2 2 CHAPTER I: TOPOLOGY PRELIMINARIES x R, the collection of open intervals J x = { (x ε, x + ε) : ε > 0 } constitutes a basic system of neighborhood of x. B. The standard topology T on C is defined as Here an open disk is a set of the form T = { D R : D is a union of open disks. }. D ρ (ζ) = { ξ C : ξ ζ < ρ}, where ζ C is the center, and ρ > 0 is the radius. The term open disk is suggestive of the fact that every such disk is an open set. For a number ζ C, the collection of open disks D ζ = { D ε (ζ) : ε > 0 } constitutes a basic system of neighborhood of ζ. C. The standard topology on C can also be defined using open rectangles, which are sets of the form R εδ (ζ) = { ξ C : Re ξ Re ζ < ε 2, Im ξ Im ζ < δ 2 }. Here ζ C is the center, and ε, δ > 0 are the width and height of the rectangle. Every such rectangle is an open set, and moreover, the topology defined above is also given by T = { D R : D is a union of open rectangles. }. For a number ζ C, the collection of open squares V ζ = { R εε (ζ) : ε > 0 } constitutes a basic system of neighborhood of ζ. Using the above properties of open/closed sets, one can perform the following constructions. Let (X, T ) be a topological space and A X be an arbitrary subset. Consider the set Int(A) to be the union of all open sets D with D A and consider the set A to be the intersection of all closed sets F with F A. The set Int(A) (sometimes denoted simply by A) is called the interior of A, while the set A is called the closure of A. The properties of these constructions are summarized in the following: Proposition 1.1. Let (X, T ) be a topological space, and let A be an arbitrary subset of X. A. (Properties of the interior) (i) The set Int(A) is open and Int(A) A. (ii) If D is an open set such that D A, then D Int(A). (iii) x belongs to Int(A) if and only if A is a neighborhood of x. (iv) A is open if and only if A = Int(A). B. (Properties of the closure) (i) The set A is closed and A A. (ii) If F is a closed set with F A, then F A. (iii) A point x belongs to A, if and only if, A N for any neighborhood N of x. (iv) A is closed if and only if A = A. C. (Relationship between interior and closure) Int(X A) = X A and X A = X Int(A). Remark 1.1. When we work on R, equipped with the standard topology, for a subset A R, one has the following properties:

3 1. Review of basic topology concepts 3 (i) if sup A <, then sup A A; (ii) if inf A >, then inf A A. Indeed, for property (i), if the quantity s = sup A is finite, then for any neighborhood N of s, there exists some ε > 0, such that (s ε, s + ε) N, and by the definition of the supremum, there exists some x A with s ε < x s, which clearly gives x N, thus proving that N A. The proof of (ii) is identical. Exercise 1. Let X be some non-empty set, and let P(X) denote the collection of all subsets of X. Let cl : P(X) P(X) be a map with the following properties: (0) cl( ) = ; (1) cl(a) A, A P(X); (2) cl cl = cl; (3) cl(a B) = cl(a) cl(b), A, B P(X). Prove there exists a unique topology T on X, with respect to which we have the equality cl(a) = A, A P(X). Hints: Prove first the implication A B cl(a) cl(b). Define then the collection T = {A X : cl(x A) = X A}. A map cl with the above properties is called a closure operator. Definition. Suppose (X, T ) is a topological space. Assume A X is a subset of X. On A we can introduce a natural topology, sometimes denoted by T A which consists of all subsets of A of the form A U with U open set in X. This topology is called the relative (or induced) topology. Remark 1.2. If A is already open in the topology T, then a subset V A is open in the induced topology if and only if V is open in the topology T (this follows from the fact that the intersection of any two open sets in T is again an open set in T. Definitions. Suppose (X, T ) and (Y, S) are topological spaces. A. Given some point x X, a map f : X Y is said to be continuous at x, if for any neighborhood N of f(x) in the topology S (on Y ), the set f 1 (N) = {x X f(x) N} is a neighborhood of x in the topology T (on X). B. If f : X Y is continuous at every point in X, then f is said to be continuous. C. A continuous map f : X Y is said to be a homeomorphism, if f is bijective, and the inverse map f 1 : Y X is also continuous. Continuity is well behaved with respect to compositions: Proposition 1.2. Suppose (X, T ), (Y, S), and (Z, Z are topological spaces, and X f Y g Z are two functions. (i) If f is continuous at a point x X, and if g is continuous at f(x), then g f is continuous at x. (ii) If f and g are (globally) continuous, then so is g f. The identity map on a topological space is always continuous.

4 4 CHAPTER I: TOPOLOGY PRELIMINARIES In terms of open/closed sets, the characterization of continuity is given by the following. Proposition 1.3. If (X, T ), (Y, S) are topological spaces and f : (X, T ) (Y, S) is a map, then the following are equivalent: (i) f is continuous. (ii) Whenever U Y is an open set, it follows that f 1 (U) is also an open set (in X). (iii) Whenever F Y is a closed set, it follows that f 1 (F ) is also a closed set (in X). We conclude this section with a useful technical result. Theorem 1.1 (Urysohn s Lemma). Let (X, T ) be a topological Hausdorff space with the following property: (n) For any two disjoint closed sets A, B X, there exist two disjoint open sets U, V X, such that U A and V B. Then for any two disjoint closed sets A, B X, there exists a continuous function f : X [0, 1] such that f A = 0 and f B = 1. Proof. We begin with a refinement of property (n): (n ) For any disjoint closed sets A, B X, there exist two open sets U, W X, such that A U, U W, and W B =. To prove (n ), we first apply (n) to find two disjoint open sets W, Z X such that (1) W A and Z B. Next we apply again (n) to the pair of closed sets A and X W, and find two disjoint open sets U, V X such that (2) U A and V X W. On the one hand, using the fact that U V = and the fact that V is open, we get the inclusion U X V. Using (2) this gives U X V W. On the other hand, using the fact that W Z = and the fact that Z is open, we get W X Z. But using (1) this will give W X Z X B, and we are done. To prove the Theorem, start with two disjoint closed sets A, B X. For every integer n 0 we define the set D n = { k 2 : k Z, 0 k 2 n }, and we consider n D = D n. n=0 (Notice that D n D n+1, for all n 0.) We are going to construct a family (V t ) t D of open sets in X with the following properties (i) V 0 A and V 1 B = ; (ii) V t V s, for all t, s D with t < s.

5 1. Review of basic topology concepts 5 Let us start by constructing V 0 and V 1. We use property (n ) to find open sets U, W X, with A U U W and W B =, and we simply take V 0 = U and V 1 = W. The construction of the family (V t ) t D is carried on recursively. Assume, for some integer n 0, we have constructed the sets (V t ) t Dn with property (i) and (ii) (satisfied for t, s D n ), and let us construct the next block of sets (V t ) t Dn+1 D n. We start off by observing that for every t D n+1 D n, then the numbers t ± = t ± 1 2 n+1 belong to D n. Apply (n ) to the pair of disjoint closed sets V t and X V t + to find two open sets U, W X such that V t U U W and W X V t + =. Notice that the equality W (X V t +) =, coupled with the inclusion U W, gives U (X V t +), so we get U V t +. We can then define V t = U, and we will obviously have the inclusions (3) V t V t V t V t +. Now the extended family (V t ) t Dn+1 will also satisfy property (ii), since for t, s D n+1 with t < s, one of the following will hold: either t, s D n, or t D n, s D n+1 D n, and t s, or t D n+1 D n, s D n, and t + s, or t, s D n+1 D n, and t + s. (In either case, one uses (3) combined with the inductive hypothesis.) Having constructed the family (V t ) t D, with properties (i) and (ii), we define the functions f : X [0, 1] by { inf{t D : x Vt }, if x V f(x) = 1 1, if x V 1 Claim 1: The function f is equivalently defined by { 0, if x V (4) f(x) = 0 sup{t D : x V t }, if x V 0 Let us denote by g : X [0, 1] be the function defined by formula (4). Fix some point x X. We break the proof in several cases Case I: x V 0. In particular, using (ii) we get x V t, for all t D, with t > 0, and since x V 1, we have f(x) = inf{t D : x V t } = inf{t D : t > 0} = 0 = g(x). Case II: x V 1. Using (ii) we have x V t, for all t D, with t < 1, and since x V 0, we have g(x) = sup{t D : x V t } = sup{t D : t < 1} = 1 = f(x). Case III: x V 1 V 0.

6 6 CHAPTER I: TOPOLOGY PRELIMINARIES (5) (6) (7) (8) By the definition of f(x) we know: x V t, t D, with t < f(x). ε > 0, s ε D, with f(x) s ε < f(x) + ε, such that x V sε. By the definition of g(x) we know: x V t, t D, with t > g(x); ε > 0, r ε D, with g(x) r ε > g(x) ε, such that x V rε. Using (6) and (8) we see that we must have (9) s ε r ε, ε > 0. Indeed, if there exists some ε > 0 for which we have s ε < r ε, then using (6) we would have x V sε V sε V rε V rε, which contradicts (8). Now the inequality (9) gives so we have in fact the inequality f(x) + ε > g(x) ε, ε > 0, f(x) g(x). Suppose now this inequality is strict. Using (5) and (7) we will get (10) x V t and x V t, for all t D, with f(x) > t > g(x). Using the fact that D is dense in [0, 1], we could then find at least two elements t 1, t 2 D such that f(x) > t 1 > t 2 > g(x). In this case (10) immediately creates a contradiction, since x V t2 V t1. Claim 2: The function f is continuous. Since any open set in R is a union of open intervals, it suffice to prove the following two properties 1 (usc): f 1( (, t) ) is open for all t R; (lsc): f 1( (t, ) ) is open for all t R. In order to prove property (usc) it suffices to prove the equality (11) f 1( (, t) ) = V s. Start with a point x f 1( (t, ) ), which means that f(x) < t. Using (6), there exists some s D with f(x) < s < t, such that x V s, so x indeed belongs to the right hand side of (11). Conversely, if x belongs to the right hand side of (11), there exists some s < t such that x V s. By the definition of f(x), it follows that f(x) s < t, so x f 1( (, t) ). s D s<t 1 The condition (usc) means that f is upper semi-continuous, while the condition (lsc) means that f is lower semi-continuous.

7 1. Review of basic topology concepts 7 In order to prove property (lsc) it suffices to prove the equality (12) f 1( (t, ) ) = (X V r ). Start with a point x f 1( (t, ) ), which means that f(x) > t. Using (8), there exists some r D with f(x) > r > t, such that x V r, that is, x X V r, so x indeed belongs to the right hand side of (12). Conversely, if x belongs to the right hand side of (12), there exists some r > t such that x X V s, i.e. x V r By the equivalent definition of f(x) given by Claim 1, it follows that f(x) r > t, so x f 1( (t, ) ). Having proven that f is continuous, let us finish the proof. Since A V 0, by the definition of f, we get f A = 0. Since B X V 1, again by the definition of f, we get f B = 1. r D r>t Definition. A Hausdorff space (X, T ) with property (n) is called normal.

SOLUTIONS TO ASSIGNMENT 1 MATH 576

SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS BY OLIVIER MARTIN 13 #5. Let T be the topology generated by A on X. We want to show T = J B J where B is the set of all topologies J on X with A J. This amounts

More information

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely

More information

MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

More information

Introduction to Topology

Introduction to Topology Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................

More information

1. Prove that the empty set is a subset of every set.

1. Prove that the empty set is a subset of every set. 1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since

More information

1 if 1 x 0 1 if 0 x 1

1 if 1 x 0 1 if 0 x 1 Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

More information

How To Find Out How To Calculate A Premeasure On A Set Of Two-Dimensional Algebra

How To Find Out How To Calculate A Premeasure On A Set Of Two-Dimensional Algebra 54 CHAPTER 5 Product Measures Given two measure spaces, we may construct a natural measure on their Cartesian product; the prototype is the construction of Lebesgue measure on R 2 as the product of Lebesgue

More information

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,

More information

This asserts two sets are equal iff they have the same elements, that is, a set is determined by its elements.

This asserts two sets are equal iff they have the same elements, that is, a set is determined by its elements. 3. Axioms of Set theory Before presenting the axioms of set theory, we first make a few basic comments about the relevant first order logic. We will give a somewhat more detailed discussion later, but

More information

CHAPTER 1 BASIC TOPOLOGY

CHAPTER 1 BASIC TOPOLOGY CHAPTER 1 BASIC TOPOLOGY Topology, sometimes referred to as the mathematics of continuity, or rubber sheet geometry, or the theory of abstract topological spaces, is all of these, but, above all, it is

More information

No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results

More information

Metric Spaces Joseph Muscat 2003 (Last revised May 2009)

Metric Spaces Joseph Muscat 2003 (Last revised May 2009) 1 Distance J Muscat 1 Metric Spaces Joseph Muscat 2003 (Last revised May 2009) (A revised and expanded version of these notes are now published by Springer.) 1 Distance A metric space can be thought of

More information

Metric Spaces. Chapter 1

Metric Spaces. Chapter 1 Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence

More information

INTRODUCTION TO TOPOLOGY

INTRODUCTION TO TOPOLOGY INTRODUCTION TO TOPOLOGY ALEX KÜRONYA In preparation January 24, 2010 Contents 1. Basic concepts 1 2. Constructing topologies 13 2.1. Subspace topology 13 2.2. Local properties 18 2.3. Product topology

More information

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

More information

Let H and J be as in the above lemma. The result of the lemma shows that the integral

Let H and J be as in the above lemma. The result of the lemma shows that the integral Let and be as in the above lemma. The result of the lemma shows that the integral ( f(x, y)dy) dx is well defined; we denote it by f(x, y)dydx. By symmetry, also the integral ( f(x, y)dx) dy is well defined;

More information

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 3 Fall 2008 III. Spaces with special properties III.1 : Compact spaces I Problems from Munkres, 26, pp. 170 172 3. Show that a finite union of compact subspaces

More information

Notes on metric spaces

Notes on metric spaces Notes on metric spaces 1 Introduction The purpose of these notes is to quickly review some of the basic concepts from Real Analysis, Metric Spaces and some related results that will be used in this course.

More information

Lecture 17 : Equivalence and Order Relations DRAFT

Lecture 17 : Equivalence and Order Relations DRAFT CS/Math 240: Introduction to Discrete Mathematics 3/31/2011 Lecture 17 : Equivalence and Order Relations Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT Last lecture we introduced the notion

More information

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied

More information

Follow links for Class Use and other Permissions. For more information send email to: permissions@pupress.princeton.edu

Follow links for Class Use and other Permissions. For more information send email to: permissions@pupress.princeton.edu COPYRIGHT NOTICE: Ariel Rubinstein: Lecture Notes in Microeconomic Theory is published by Princeton University Press and copyrighted, c 2006, by Princeton University Press. All rights reserved. No part

More information

Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson

Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement

More information

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing

More information

Lemma 5.2. Let S be a set. (1) Let f and g be two permutations of S. Then the composition of f and g is a permutation of S.

Lemma 5.2. Let S be a set. (1) Let f and g be two permutations of S. Then the composition of f and g is a permutation of S. Definition 51 Let S be a set bijection f : S S 5 Permutation groups A permutation of S is simply a Lemma 52 Let S be a set (1) Let f and g be two permutations of S Then the composition of f and g is a

More information

Finite dimensional topological vector spaces

Finite dimensional topological vector spaces Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdorff t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the

More information

Minimal R 1, minimal regular and minimal presober topologies

Minimal R 1, minimal regular and minimal presober topologies Revista Notas de Matemática Vol.5(1), No. 275, 2009, pp.73-84 http://www.saber.ula.ve/notasdematematica/ Comisión de Publicaciones Departamento de Matemáticas Facultad de Ciencias Universidad de Los Andes

More information

Duality of linear conic problems

Duality of linear conic problems Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least

More information

God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886)

God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886) Chapter 2 Numbers God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886) God created the integers and the rest is the work

More information

FIBER PRODUCTS AND ZARISKI SHEAVES

FIBER PRODUCTS AND ZARISKI SHEAVES FIBER PRODUCTS AND ZARISKI SHEAVES BRIAN OSSERMAN 1. Fiber products and Zariski sheaves We recall the definition of a fiber product: Definition 1.1. Let C be a category, and X, Y, Z objects of C. Fix also

More information

So let us begin our quest to find the holy grail of real analysis.

So let us begin our quest to find the holy grail of real analysis. 1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbers

More information

Point Set Topology. A. Topological Spaces and Continuous Maps

Point Set Topology. A. Topological Spaces and Continuous Maps Point Set Topology A. Topological Spaces and Continuous Maps Definition 1.1 A topology on a set X is a collection T of subsets of X satisfying the following axioms: T 1.,X T. T2. {O α α I} T = α IO α T.

More information

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

More information

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights

More information

Separation Properties for Locally Convex Cones

Separation Properties for Locally Convex Cones Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam

More information

(Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties

(Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties Lecture 1 Convex Sets (Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties 1.1.1 A convex set In the school geometry

More information

How To Prove The Theory Of Topological Structure

How To Prove The Theory Of Topological Structure Part 1 General Topology The goal of this part of the book is to teach the language of mathematics. More specifically, one of its most important components: the language of set-theoretic topology, which

More information

TOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS

TOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS TOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS VIPUL NAIK Abstract. In this journey, we are going to explore the so called separation axioms in greater detail. We shall try to understand how these axioms

More information

Cartesian Products and Relations

Cartesian Products and Relations Cartesian Products and Relations Definition (Cartesian product) If A and B are sets, the Cartesian product of A and B is the set A B = {(a, b) :(a A) and (b B)}. The following points are worth special

More information

INTRODUCTORY SET THEORY

INTRODUCTORY SET THEORY M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H-1088 Budapest, Múzeum krt. 6-8. CONTENTS 1. SETS Set, equal sets, subset,

More information

MEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich

MEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich MEASURE AND INTEGRATION Dietmar A. Salamon ETH Zürich 12 May 2016 ii Preface This book is based on notes for the lecture course Measure and Integration held at ETH Zürich in the spring semester 2014. Prerequisites

More information

Page 331, 38.4 Suppose a is a positive integer and p is a prime. Prove that p a if and only if the prime factorization of a contains p.

Page 331, 38.4 Suppose a is a positive integer and p is a prime. Prove that p a if and only if the prime factorization of a contains p. Page 331, 38.2 Assignment #11 Solutions Factor the following positive integers into primes. a. 25 = 5 2. b. 4200 = 2 3 3 5 2 7. c. 10 10 = 2 10 5 10. d. 19 = 19. e. 1 = 1. Page 331, 38.4 Suppose a is a

More information

Metric Spaces. Chapter 7. 7.1. Metrics

Metric Spaces. Chapter 7. 7.1. Metrics Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some

More information

The Henstock-Kurzweil-Stieltjes type integral for real functions on a fractal subset of the real line

The Henstock-Kurzweil-Stieltjes type integral for real functions on a fractal subset of the real line The Henstock-Kurzweil-Stieltjes type integral for real functions on a fractal subset of the real line D. Bongiorno, G. Corrao Dipartimento di Ingegneria lettrica, lettronica e delle Telecomunicazioni,

More information

THE BANACH CONTRACTION PRINCIPLE. Contents

THE BANACH CONTRACTION PRINCIPLE. Contents THE BANACH CONTRACTION PRINCIPLE ALEX PONIECKI Abstract. This paper will study contractions of metric spaces. To do this, we will mainly use tools from topology. We will give some examples of contractions,

More information

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

More information

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES Contents 1. Random variables and measurable functions 2. Cumulative distribution functions 3. Discrete

More information

1 Local Brouwer degree

1 Local Brouwer degree 1 Local Brouwer degree Let D R n be an open set and f : S R n be continuous, D S and c R n. Suppose that the set f 1 (c) D is compact. (1) Then the local Brouwer degree of f at c in the set D is defined.

More information

4. Expanding dynamical systems

4. Expanding dynamical systems 4.1. Metric definition. 4. Expanding dynamical systems Definition 4.1. Let X be a compact metric space. A map f : X X is said to be expanding if there exist ɛ > 0 and L > 1 such that d(f(x), f(y)) Ld(x,

More information

FIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper.

FIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper. FIRST YEAR CALCULUS WWLCHENW L c WWWL W L Chen, 1982, 2008. 2006. This chapter originates from material used by the author at Imperial College, University of London, between 1981 and 1990. It It is is

More information

GROUPS ACTING ON A SET

GROUPS ACTING ON A SET GROUPS ACTING ON A SET MATH 435 SPRING 2012 NOTES FROM FEBRUARY 27TH, 2012 1. Left group actions Definition 1.1. Suppose that G is a group and S is a set. A left (group) action of G on S is a rule for

More information

Fixed Point Theorems in Topology and Geometry

Fixed Point Theorems in Topology and Geometry Fixed Point Theorems in Topology and Geometry A Senior Thesis Submitted to the Department of Mathematics In Partial Fulfillment of the Requirements for the Departmental Honors Baccalaureate By Morgan Schreffler

More information

Mathematics for Econometrics, Fourth Edition

Mathematics for Econometrics, Fourth Edition Mathematics for Econometrics, Fourth Edition Phoebus J. Dhrymes 1 July 2012 1 c Phoebus J. Dhrymes, 2012. Preliminary material; not to be cited or disseminated without the author s permission. 2 Contents

More information

Hint 1. Answer (b) first. Make the set as simple as possible and try to generalize the phenomena it exhibits. [Caution: the next hint is an answer to

Hint 1. Answer (b) first. Make the set as simple as possible and try to generalize the phenomena it exhibits. [Caution: the next hint is an answer to Problem. Consider the collection of all subsets A of the topological space X. The operations of osure A Ā and ementation A X A are functions from this collection to itself. (a) Show that starting with

More information

A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE

A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE DANIEL A. RAMRAS In these notes we present a construction of the universal cover of a path connected, locally path connected, and semi-locally simply

More information

3. Mathematical Induction

3. Mathematical Induction 3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)

More information

Comments on Quotient Spaces and Quotient Maps

Comments on Quotient Spaces and Quotient Maps 22M:132 Fall 07 J. Simon Comments on Quotient Spaces and Quotient Maps There are many situations in topology where we build a topological space by starting with some (often simpler) space[s] and doing

More information

6.2 Permutations continued

6.2 Permutations continued 6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of

More information

E3: PROBABILITY AND STATISTICS lecture notes

E3: PROBABILITY AND STATISTICS lecture notes E3: PROBABILITY AND STATISTICS lecture notes 2 Contents 1 PROBABILITY THEORY 7 1.1 Experiments and random events............................ 7 1.2 Certain event. Impossible event............................

More information

Mathematical Methods of Engineering Analysis

Mathematical Methods of Engineering Analysis Mathematical Methods of Engineering Analysis Erhan Çinlar Robert J. Vanderbei February 2, 2000 Contents Sets and Functions 1 1 Sets................................... 1 Subsets.............................

More information

You know from calculus that functions play a fundamental role in mathematics.

You know from calculus that functions play a fundamental role in mathematics. CHPTER 12 Functions You know from calculus that functions play a fundamental role in mathematics. You likely view a function as a kind of formula that describes a relationship between two (or more) quantities.

More information

BANACH AND HILBERT SPACE REVIEW

BANACH AND HILBERT SPACE REVIEW BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but

More information

A Topology Primer. Preface. Lecture Notes 2001/2002. Klaus Wirthmüller. http://www.mathematik.uni-kl.de/ wirthm/de/top.html

A Topology Primer. Preface. Lecture Notes 2001/2002. Klaus Wirthmüller. http://www.mathematik.uni-kl.de/ wirthm/de/top.html A Topology Primer Lecture Notes 2001/2002 Klaus Wirthmüller http://www.mathematik.uni-kl.de/ wirthm/de/top.html Preface These lecture notes were written to accompany my introductory courses of topology

More information

ALMOST COMMON PRIORS 1. INTRODUCTION

ALMOST COMMON PRIORS 1. INTRODUCTION ALMOST COMMON PRIORS ZIV HELLMAN ABSTRACT. What happens when priors are not common? We introduce a measure for how far a type space is from having a common prior, which we term prior distance. If a type

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it

More information

16.3 Fredholm Operators

16.3 Fredholm Operators Lectures 16 and 17 16.3 Fredholm Operators A nice way to think about compact operators is to show that set of compact operators is the closure of the set of finite rank operator in operator norm. In this

More information

Discrete Mathematics. Hans Cuypers. October 11, 2007

Discrete Mathematics. Hans Cuypers. October 11, 2007 Hans Cuypers October 11, 2007 1 Contents 1. Relations 4 1.1. Binary relations................................ 4 1.2. Equivalence relations............................. 6 1.3. Relations and Directed Graphs.......................

More information

k, then n = p2α 1 1 pα k

k, then n = p2α 1 1 pα k Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square

More information

INCIDENCE-BETWEENNESS GEOMETRY

INCIDENCE-BETWEENNESS GEOMETRY INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full

More information

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem

More information

Mathematical Induction

Mathematical Induction Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,

More information

Discernibility Thresholds and Approximate Dependency in Analysis of Decision Tables

Discernibility Thresholds and Approximate Dependency in Analysis of Decision Tables Discernibility Thresholds and Approximate Dependency in Analysis of Decision Tables Yu-Ru Syau¹, En-Bing Lin²*, Lixing Jia³ ¹Department of Information Management, National Formosa University, Yunlin, 63201,

More information

3. Prime and maximal ideals. 3.1. Definitions and Examples.

3. Prime and maximal ideals. 3.1. Definitions and Examples. COMMUTATIVE ALGEBRA 5 3.1. Definitions and Examples. 3. Prime and maximal ideals Definition. An ideal P in a ring A is called prime if P A and if for every pair x, y of elements in A\P we have xy P. Equivalently,

More information

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

9 More on differentiation

9 More on differentiation Tel Aviv University, 2013 Measure and category 75 9 More on differentiation 9a Finite Taylor expansion............... 75 9b Continuous and nowhere differentiable..... 78 9c Differentiable and nowhere monotone......

More information

TOPIC 4: DERIVATIVES

TOPIC 4: DERIVATIVES TOPIC 4: DERIVATIVES 1. The derivative of a function. Differentiation rules 1.1. The slope of a curve. The slope of a curve at a point P is a measure of the steepness of the curve. If Q is a point on the

More information

Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan

Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 3 Binary Operations We are used to addition and multiplication of real numbers. These operations combine two real numbers

More information

Practice with Proofs

Practice with Proofs Practice with Proofs October 6, 2014 Recall the following Definition 0.1. A function f is increasing if for every x, y in the domain of f, x < y = f(x) < f(y) 1. Prove that h(x) = x 3 is increasing, using

More information

ORIENTATIONS. Contents

ORIENTATIONS. Contents ORIENTATIONS Contents 1. Generators for H n R n, R n p 1 1. Generators for H n R n, R n p We ended last time by constructing explicit generators for H n D n, S n 1 by using an explicit n-simplex which

More information

Mathematical Induction. Lecture 10-11

Mathematical Induction. Lecture 10-11 Mathematical Induction Lecture 10-11 Menu Mathematical Induction Strong Induction Recursive Definitions Structural Induction Climbing an Infinite Ladder Suppose we have an infinite ladder: 1. We can reach

More information

P NP for the Reals with various Analytic Functions

P NP for the Reals with various Analytic Functions P NP for the Reals with various Analytic Functions Mihai Prunescu Abstract We show that non-deterministic machines in the sense of [BSS] defined over wide classes of real analytic structures are more powerful

More information

GENERIC COMPUTABILITY, TURING DEGREES, AND ASYMPTOTIC DENSITY

GENERIC COMPUTABILITY, TURING DEGREES, AND ASYMPTOTIC DENSITY GENERIC COMPUTABILITY, TURING DEGREES, AND ASYMPTOTIC DENSITY CARL G. JOCKUSCH, JR. AND PAUL E. SCHUPP Abstract. Generic decidability has been extensively studied in group theory, and we now study it in

More information

Georg Cantor and Set Theory

Georg Cantor and Set Theory Georg Cantor and Set Theory. Life Father, Georg Waldemar Cantor, born in Denmark, successful merchant, and stock broker in St Petersburg. Mother, Maria Anna Böhm, was Russian. In 856, because of father

More information

Notes on Richard Dedekind s Was sind und was sollen die Zahlen?

Notes on Richard Dedekind s Was sind und was sollen die Zahlen? Notes on Richard Dedekind s Was sind und was sollen die Zahlen? David E. Joyce, Clark University December 2005 Contents Introduction 2 I. Sets and their elements. 2 II. Functions on a set. 5 III. One-to-one

More information

FIBRATION SEQUENCES AND PULLBACK SQUARES. Contents. 2. Connectivity and fiber sequences. 3

FIBRATION SEQUENCES AND PULLBACK SQUARES. Contents. 2. Connectivity and fiber sequences. 3 FIRTION SEQUENES ND PULLK SQURES RY MLKIEWIH bstract. We lay out some foundational facts about fibration sequences and pullback squares of topological spaces. We pay careful attention to connectivity ranges

More information

SMALL SKEW FIELDS CÉDRIC MILLIET

SMALL SKEW FIELDS CÉDRIC MILLIET SMALL SKEW FIELDS CÉDRIC MILLIET Abstract A division ring of positive characteristic with countably many pure types is a field Wedderburn showed in 1905 that finite fields are commutative As for infinite

More information

Lecture 16 : Relations and Functions DRAFT

Lecture 16 : Relations and Functions DRAFT CS/Math 240: Introduction to Discrete Mathematics 3/29/2011 Lecture 16 : Relations and Functions Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT In Lecture 3, we described a correspondence

More information

Lecture Notes on Topology for MAT3500/4500 following J. R. Munkres textbook. John Rognes

Lecture Notes on Topology for MAT3500/4500 following J. R. Munkres textbook. John Rognes Lecture Notes on Topology for MAT3500/4500 following J. R. Munkres textbook John Rognes November 29th 2010 Contents Introduction v 1 Set Theory and Logic 1 1.1 ( 1) Fundamental Concepts..............................

More information

ST 371 (IV): Discrete Random Variables

ST 371 (IV): Discrete Random Variables ST 371 (IV): Discrete Random Variables 1 Random Variables A random variable (rv) is a function that is defined on the sample space of the experiment and that assigns a numerical variable to each possible

More information

MOP 2007 Black Group Integer Polynomials Yufei Zhao. Integer Polynomials. June 29, 2007 Yufei Zhao yufeiz@mit.edu

MOP 2007 Black Group Integer Polynomials Yufei Zhao. Integer Polynomials. June 29, 2007 Yufei Zhao yufeiz@mit.edu Integer Polynomials June 9, 007 Yufei Zhao yufeiz@mit.edu We will use Z[x] to denote the ring of polynomials with integer coefficients. We begin by summarizing some of the common approaches used in dealing

More information

About the inverse football pool problem for 9 games 1

About the inverse football pool problem for 9 games 1 Seventh International Workshop on Optimal Codes and Related Topics September 6-1, 013, Albena, Bulgaria pp. 15-133 About the inverse football pool problem for 9 games 1 Emil Kolev Tsonka Baicheva Institute

More information

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly

More information

FIXED POINT SETS OF FIBER-PRESERVING MAPS

FIXED POINT SETS OF FIBER-PRESERVING MAPS FIXED POINT SETS OF FIBER-PRESERVING MAPS Robert F. Brown Department of Mathematics University of California Los Angeles, CA 90095 e-mail: rfb@math.ucla.edu Christina L. Soderlund Department of Mathematics

More information

Tree sums and maximal connected I-spaces

Tree sums and maximal connected I-spaces Tree sums and maximal connected I-spaces Adam Bartoš drekin@gmail.com Faculty of Mathematics and Physics Charles University in Prague Twelfth Symposium on General Topology Prague, July 2016 Maximal and

More information

Convex analysis and profit/cost/support functions

Convex analysis and profit/cost/support functions CALIFORNIA INSTITUTE OF TECHNOLOGY Division of the Humanities and Social Sciences Convex analysis and profit/cost/support functions KC Border October 2004 Revised January 2009 Let A be a subset of R m

More information

On end degrees and infinite cycles in locally finite graphs

On end degrees and infinite cycles in locally finite graphs On end degrees and infinite cycles in locally finite graphs Henning Bruhn Maya Stein Abstract We introduce a natural extension of the vertex degree to ends. For the cycle space C(G) as proposed by Diestel

More information

Answer Key for California State Standards: Algebra I

Answer Key for California State Standards: Algebra I Algebra I: Symbolic reasoning and calculations with symbols are central in algebra. Through the study of algebra, a student develops an understanding of the symbolic language of mathematics and the sciences.

More information

The sample space for a pair of die rolls is the set. The sample space for a random number between 0 and 1 is the interval [0, 1].

The sample space for a pair of die rolls is the set. The sample space for a random number between 0 and 1 is the interval [0, 1]. Probability Theory Probability Spaces and Events Consider a random experiment with several possible outcomes. For example, we might roll a pair of dice, flip a coin three times, or choose a random real

More information

88 CHAPTER 2. VECTOR FUNCTIONS. . First, we need to compute T (s). a By definition, r (s) T (s) = 1 a sin s a. sin s a, cos s a

88 CHAPTER 2. VECTOR FUNCTIONS. . First, we need to compute T (s). a By definition, r (s) T (s) = 1 a sin s a. sin s a, cos s a 88 CHAPTER. VECTOR FUNCTIONS.4 Curvature.4.1 Definitions and Examples The notion of curvature measures how sharply a curve bends. We would expect the curvature to be 0 for a straight line, to be very small

More information

PSEUDOARCS, PSEUDOCIRCLES, LAKES OF WADA AND GENERIC MAPS ON S 2

PSEUDOARCS, PSEUDOCIRCLES, LAKES OF WADA AND GENERIC MAPS ON S 2 PSEUDOARCS, PSEUDOCIRCLES, LAKES OF WADA AND GENERIC MAPS ON S 2 Abstract. We prove a Bruckner-Garg type theorem for the fiber structure of a generic map from a continuum X into the unit interval I. We

More information

HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!

HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)! Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following

More information