# BASE FOR A TOPOLOGY. Chennai Mathematical Institute (CMI). 1

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 BASE FOR A TOPOLOGY Abstract. In this folowing article we describe two different ways of defining a basis for the topology. Then we describe how from giving a base to a set we can generate a topology on it. Further when we again give a base to it by the earlier methods we get back the base on the set that we started with. 1. Defining a Topolgy Let X be a set and τ a subset of the power set of X. Then the a pair (X, τ) is said to define a topology on a the set X if τ satisfies the following properties : (1) If φ and X is an element of τ. (2) If union of any arbitrary number of elements of τ is also an element of τ. (3) If intersection of a finite number of elements of τ is also an element of τ. Now we define the following terms which arise as consequence of the above construction : (1) We call the elements of τ as open sets. (2) We define all other subsets of X which are not contained in τ as closed sets. (3) After the set has been endowed with a topology we call X as the underlying set for the topology. (4) Earlier what were called the elements of the set X will be called points of the topological space (X, τ) once a topology has been defined on X. The motivation behind restricting the intersections to finitely many is that if arbitrary number is allowed then the inetersection of all intervals in R of the form [ 1, 1 ] being a single point that is 0 will be declared n n open!. This goes against our intuition about real numbers and hence this has been prevented by inserting the finiteness condition. 2. Base for the topology We give here two definitions for the base for a topology (X, τ). (1) We call a subset B1 of τ as the Base for the topology if every set in τ can be obtained by union of some elements of B. Chennai Mathematical Institute (CMI). 1

2 2 BASE FOR A TOPOLOGY (2) We call a subset B2 of τ as the Basis for the topology if for every point x U τ there exists an element of B2 which contains x and is a subset of U. We now need to show that B1 = B B1 B2. First we show that B1 B2 Let U be an open set under the topological structure considered. By definition 1 there exists a subset of B1 such that their union is equal to U. Hence every element of B1 which participates in this union is a subset of U. Further every point in U is contained in atleast one of the sets of those who have participated in the union and by the last sentence each of them is a subset of U. Finally since every point of X is contained in atleast one element of τ ( lets call that U ) ( trivially X is always there! )and since that element of τ can be written as a union of elements on B1 by the first two sentences there exists an element of B1 containing that point and is a subset of U Hence every element of B1 which contributes in the union to create U is an element of B2.Hence after scanning through all elements of τ to access all the elemnts of B1 we can see that B1 B B2 B1. This is fairly simple. We look at at each point x U and by definition there exists atleast one element of B2 which contains x and is a subset of U.So around every point in U we can find an element of B2 which is completely contained in U. So we take the union of all such elements of B2 and that will exactly be equal to U.Hence the elements of B2 which contribute fopr this U satisfy the condition of being in B1 with respect to the open set U Since this can be done for every U and by doing this for every U τ we can access all the elements of B2.Thus defining criteria of B1 is collectively satisfied and hence B2 B1. Since B1 B2 and B2 B1, we can conclude that B1 = B2. Hence the basis generated by the two definitions are equal. 3. Creating a topology from a given base on a set 3.1. Base of a set. We now have just a set X and we define that B3 ( a subset of the power set of X ) will be said to be a base for X if :

3 BASE FOR A TOPOLOGY 3 (1) If for every element x of X there exists a element of B3 containing it. (2) If P and Q are 2 elements of B3 which contain the point x then there exists a another element R of B3 which contains x and is a subset of P Q Giving a topology on the set X through its base (as defined above ). Now given this way of defining a base for a set, there is no obvious way a topology can be endowed on X but there exists a natural way as follows : Declare a subset U of the power set of X to be open if for every point x U there exists a B B3 such that x B and B U. Now the set of all such U as defined above will be the topology τ on X and (X, τ) forms the topological space. Lets check it! 3.3. Consistency check. That φ is an element of τ is vacuously true. That X τ is also obvious as the first criteria of a base guarantees existence of an element of B3 containing every point of X and all such elements of B3 are obviously subsets of X. Hence X is open Let P and Q be elements of τ and hence there exists an element of B3 for every element x P Q which contains x and is is a subset of P Q since it is a subset of either P or Q (by definition). Hence P Q is an element of τ.this can be iterated arbitary number of times and hence arbitary unions are also elements of τ By definition of a base of a set for every element x in P Q there exists atleast one element U in B3 such that x U and U P Q. Hence P Q qualifies to be in τ. Now we do induction on collection of n open sets indexed by i like U i. i = 1 is trivially true and let us aaume that it is true till i = n 1. let J be the intersection till n 1. Then the case of the intersection of J and U n is the same as the case for 2 open sets as shown earlier. Hence induction folows. Hence the collection of open sets defined above indeed satisfy the conditions to form a topology over X.

4 4 BASE FOR A TOPOLOGY 4. Lets reverse the above process! Now given a topological space (X, τ) ( as derived from the above construction ) we create a base for it by using the definition of the last section that is : B3 ( a subset of the power set of X ) will be said to define a base for X if : (1) If for every element x of X there exists a element of B3 containing it. (2) If P and Q are 2 elements of B3 which contain the point x then there exists a another element R of B3 which contains x and is a subset of P Q B3 B2. Let us take an openset U in τ and an arbitary point x in it. So by definition of B3 since x X there exists some B B3 such that x B. Since these open sets are defined according to the construction that follows from B3 in the last section we can find a B B3 that not only contains x but also is a subset of U. So by scanning through all opensets in τ we have all the elements of B3 and each of them qualifies to be an element of B2. Hence B3 B B2 B3. This is slightly tricky! We again take an openset U τ and there exists an element B of B2 such that x B U.lrt C be another element in B2 which contains x. By definition C U. Therefore B C is also a subset of U and it contains x. Now think of B C as another set which is a subset of τ. So by re-invoking the definition of B2 we are again guaranteed that there exists an element D B2 which contains x and is a subset of B C. Hence the triplet B, C and D together satisfy the conditions to be in B2. Hence by scanning all the opensets we can track down all the elements of B2 and in triplets they all are qualifying to be elements of B3. Hence B2 B3. Since B2 B3 and B3 B2 we have that B2 = B3. Hence we have that the two ways of giving a base to the same base to the topology. 5. A slight digression 6. Neighbourhood Let (X, τ) be a topological space. Let x X be a point in this space Open Neighbourhood. An openset U τ containing x is called an open neighbourhood of x.

5 BASE FOR A TOPOLOGY Neighbourhood. A set (element of the power set of X ) is called a neighbourhood of x if it contains an openset containing x alternatively contains an open neighbourhood containing x Open Cover. An Open Cover of X is a family of opensets {U α } such that each U α is an element of τ and X U α Compactness. A topological space (X, τ) is called Compact if from every open cover of it a finite subcover can be extracted Local compactness. A topological space (X, τ) is called locally compact if every point in this space has a compact neibhbourhood Fundamental system of Neighbourhoods. A set of neighbourhoods of a point x,{u s }{s S I}is called a fundamental system of neighbourhoods of x if every neighbourhood of x contains atleast one of the U s The important claim. The claim is that Compact Neighbourhoods of a point form a fundamental system of neighbourhoods for the point 7. Conclusion Hence we have shown that the 2 ways of giving a base to a topology are the same as they give the same base and that the opensets obtained naturally from the process of giving a base to the underlying set indeed gives a topology to the set. Further we have shown that if one of the earlier methods of giving a base to it is repeated we get back the base on the underlying set that we had started with.

### 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

### Math 317 HW #7 Solutions

Math 17 HW #7 Solutions 1. Exercise..5. Decide which of the following sets are compact. For those that are not compact, show how Definition..1 breaks down. In other words, give an example of a sequence

### Math212a1010 Lebesgue measure.

Math212a1010 Lebesgue measure. October 19, 2010 Today s lecture will be devoted to Lebesgue measure, a creation of Henri Lebesgue, in his thesis, one of the most famous theses in the history of mathematics.

### Topology and Convergence by: Daniel Glasscock, May 2012

Topology and Convergence by: Daniel Glasscock, May 2012 These notes grew out of a talk I gave at The Ohio State University. The primary reference is [1]. A possible error in the proof of Theorem 1 in [1]

### Chap2: The Real Number System (See Royden pp40)

Chap2: The Real Number System (See Royden pp40) 1 Open and Closed Sets of Real Numbers The simplest sets of real numbers are the intervals. We define the open interval (a, b) to be the set (a, b) = {x

### Compactness in metric spaces

MATHEMATICS 3103 (Functional Analysis) YEAR 2012 2013, TERM 2 HANDOUT #2: COMPACTNESS OF METRIC SPACES Compactness in metric spaces The closed intervals [a, b] of the real line, and more generally the

### Course 421: Algebraic Topology Section 1: Topological Spaces

Course 421: Algebraic Topology Section 1: Topological Spaces David R. Wilkins Copyright c David R. Wilkins 1988 2008 Contents 1 Topological Spaces 1 1.1 Continuity and Topological Spaces...............

### PART I. THE REAL NUMBERS

PART I. THE REAL NUMBERS This material assumes that you are already familiar with the real number system and the representation of the real numbers as points on the real line. I.1. THE NATURAL NUMBERS

### Exercise 1. Let E be a given set. Prove that the following statements are equivalent.

Real Variables, Fall 2014 Problem set 1 Solution suggestions Exercise 1. Let E be a given set. Prove that the following statements are equivalent. (i) E is measurable. (ii) Given ε > 0, there exists an

### 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

### 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

### Weak topologies. David Lecomte. May 23, 2006

Weak topologies David Lecomte May 3, 006 1 Preliminaries from general topology In this section, we are given a set X, a collection of topological spaces (Y i ) i I and a collection of maps (f i ) i I such

### 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.......................................

### Math 3000 Running Glossary

Math 3000 Running Glossary Last Updated on: July 15, 2014 The definition of items marked with a must be known precisely. Chapter 1: 1. A set: A collection of objects called elements. 2. The empty set (

### Structure of Measurable Sets

Structure of Measurable Sets In these notes we discuss the structure of Lebesgue measurable subsets of R from several different points of view. Along the way, we will see several alternative characterizations

### Basics of Probability

Basics of Probability August 27 and September 1, 2009 1 Introduction A phenomena is called random if the exact outcome is uncertain. The mathematical study of randomness is called the theory of probability.

### 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

### REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE

REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE CHRISTOPHER HEIL 1.4.1 Introduction We will expand on Section 1.4 of Folland s text, which covers abstract outer measures also called exterior measures).

### 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.,

### (Refer Slide Time: 1:41)

Discrete Mathematical Structures Dr. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture # 10 Sets Today we shall learn about sets. You must

### Logic, Sets, and Proofs

Logic, Sets, and Proofs David A. Cox and Catherine C. McGeoch Amherst College 1 Logic Logical Statements. A logical statement is a mathematical statement that is either true or false. Here we denote logical

### Andrew McLennan January 19, Winter Lecture 5. A. Two of the most fundamental notions of the dierential calculus (recall that

Andrew McLennan January 19, 1999 Economics 5113 Introduction to Mathematical Economics Winter 1999 Lecture 5 Convergence, Continuity, Compactness I. Introduction A. Two of the most fundamental notions

### Math Real Analysis I

Math 431 - Real Analysis I Solutions to Homework due October 1 In class, we learned of the concept of an open cover of a set S R n as a collection F of open sets such that S A. A F We used this concept

### 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

### MAT2400 Analysis I. A brief introduction to proofs, sets, and functions

MAT2400 Analysis I A brief introduction to proofs, sets, and functions In Analysis I there is a lot of manipulations with sets and functions. It is probably also the first course where you have to take

### Course 221: Analysis Academic year , First Semester

Course 221: Analysis Academic year 2007-08, First Semester David R. Wilkins Copyright c David R. Wilkins 1989 2007 Contents 1 Basic Theorems of Real Analysis 1 1.1 The Least Upper Bound Principle................

### Notes 2 for Honors Probability and Statistics

Notes 2 for Honors Probability and Statistics Ernie Croot August 24, 2010 1 Examples of σ-algebras and Probability Measures So far, the only examples of σ-algebras we have seen are ones where the sample

### LEARNING OBJECTIVES FOR THIS CHAPTER

CHAPTER 2 American mathematician Paul Halmos (1916 2006), who in 1942 published the first modern linear algebra book. The title of Halmos s book was the same as the title of this chapter. Finite-Dimensional

### 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

### 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

### 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

### 1. Sigma algebras. Let A be a collection of subsets of some fixed set Ω. It is called a σ -algebra with the unit element Ω if. lim sup. j E j = E.

Real Analysis, course outline Denis Labutin 1 Measure theory I 1. Sigma algebras. Let A be a collection of subsets of some fixed set Ω. It is called a σ -algebra with the unit element Ω if (a), Ω A ; (b)

### Geometry 2: Remedial topology

Geometry 2: Remedial topology Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have

### POWER SETS AND RELATIONS

POWER SETS AND RELATIONS L. MARIZZA A. BAILEY 1. The Power Set Now that we have defined sets as best we can, we can consider a sets of sets. If we were to assume nothing, except the existence of the empty

### Math 421, Homework #5 Solutions

Math 421, Homework #5 Solutions (1) (8.3.6) Suppose that E R n and C is a subset of E. (a) Prove that if E is closed, then C is relatively closed in E if and only if C is a closed set (as defined in Definition

### Analytic Sets Vadim Kulikov Presentation 11 March 2008

Analytic Sets Vadim Kulikov Presentation 11 March 2008 Abstract. The continuous images of Borel sets are not usually Borel sets. However they are measurable and that is the main purpose of this lecture.

### Ri and. i=1. S i N. and. R R i

The subset R of R n is a closed rectangle if there are n non-empty closed intervals {[a 1, b 1 ], [a 2, b 2 ],..., [a n, b n ]} so that R = [a 1, b 1 ] [a 2, b 2 ] [a n, b n ]. The subset R of R n is an

### Lecture 4: Probability Spaces

EE5110: Probability Foundations for Electrical Engineers July-November 2015 Lecture 4: Probability Spaces Lecturer: Dr. Krishna Jagannathan Scribe: Jainam Doshi, Arjun Nadh and Ajay M 4.1 Introduction

### 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

### CHAPTER 5. Product Measures

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

### THE DIMENSION OF A VECTOR SPACE

THE DIMENSION OF A VECTOR SPACE KEITH CONRAD This handout is a supplementary discussion leading up to the definition of dimension and some of its basic properties. Let V be a vector space over a field

### This chapter describes set theory, a mathematical theory that underlies all of modern mathematics.

Appendix A Set Theory This chapter describes set theory, a mathematical theory that underlies all of modern mathematics. A.1 Basic Definitions Definition A.1.1. A set is an unordered collection of elements.

### NOTES ON MEASURE THEORY. M. Papadimitrakis Department of Mathematics University of Crete. Autumn of 2004

NOTES ON MEASURE THEORY M. Papadimitrakis Department of Mathematics University of Crete Autumn of 2004 2 Contents 1 σ-algebras 7 1.1 σ-algebras............................... 7 1.2 Generated σ-algebras.........................

### REAL ANALYSIS I HOMEWORK 2

REAL ANALYSIS I HOMEWORK 2 CİHAN BAHRAN The questions are from Stein and Shakarchi s text, Chapter 1. 1. Prove that the Cantor set C constructed in the text is totally disconnected and perfect. In other

### 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,

Section 5.1 Climbing an Infinite Ladder Suppose we have an infinite ladder and the following capabilities: 1. We can reach the first rung of the ladder. 2. If we can reach a particular rung of the ladder,

### Section 4.3 Image and Inverse Image of a Set

Section 43 Image and Inverse Image of a Set Purpose of Section: To introduce the concept of the image and inverse image of a set We show that unions of sets are preserved under a mapping whereas only one-to-one

### 8 Fractals: Cantor set, Sierpinski Triangle, Koch Snowflake, fractal dimension.

8 Fractals: Cantor set, Sierpinski Triangle, Koch Snowflake, fractal dimension. 8.1 Definitions Definition If every point in a set S has arbitrarily small neighborhoods whose boundaries do not intersect

### 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

### Assignment 7; Due Friday, November 11

Assignment 7; Due Friday, November 9.8 a The set Q is not connected because we can write it as a union of two nonempty disjoint open sets, for instance U = (, 2) and V = ( 2, ). The connected subsets are

### Domain Theory: An Introduction

Domain Theory: An Introduction Robert Cartwright Rebecca Parsons Rice University This monograph is an unauthorized revision of Lectures On A Mathematical Theory of Computation by Dana Scott [3]. Scott

### CARDINALITY, COUNTABLE AND UNCOUNTABLE SETS PART ONE

CARDINALITY, COUNTABLE AND UNCOUNTABLE SETS PART ONE With the notion of bijection at hand, it is easy to formalize the idea that two finite sets have the same number of elements: we just need to verify

### 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

### Regular Expressions and Automata using Haskell

Regular Expressions and Automata using Haskell Simon Thompson Computing Laboratory University of Kent at Canterbury January 2000 Contents 1 Introduction 2 2 Regular Expressions 2 3 Matching regular expressions

### Problem Set I: Preferences, W.A.R.P., consumer choice

Problem Set I: Preferences, W.A.R.P., consumer choice Paolo Crosetto paolo.crosetto@unimi.it Exercises solved in class on 18th January 2009 Recap:,, Definition 1. The strict preference relation is x y

### 6. Metric spaces. In this section we review the basic facts about metric spaces. d : X X [0, )

6. Metric spaces In this section we review the basic facts about metric spaces. Definitions. A metric on a non-empty set X is a map with the following properties: d : X X [0, ) (i) If x, y X are points

### How to prove an algorithm is correct?

How to prove an algorithm is correct? To prove the incorrectness of an algorithm, one counter-example is enough. Proving the correctness of an algorithm is similar to proving a mathematical theorem; fundamentally,

### Graphs without proper subgraphs of minimum degree 3 and short cycles

Graphs without proper subgraphs of minimum degree 3 and short cycles Lothar Narins, Alexey Pokrovskiy, Tibor Szabó Department of Mathematics, Freie Universität, Berlin, Germany. August 22, 2014 Abstract

### DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS

DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS ASHER M. KACH, KAREN LANGE, AND REED SOLOMON Abstract. We construct two computable presentations of computable torsion-free abelian groups, one of isomorphism

### Sigma Field Notes for Economics 770 : Econometric Theory

1 Sigma Field Notes for Economics 770 : Econometric Theory Jonathan B. Hill Dept. of Economics, University of North Carolina 0. DEFINITIONS AND CONVENTIONS The following is a small list of repeatedly used

### MINIMAL BOOKS OF RATIONALES

MINIMAL BOOKS OF RATIONALES José Apesteguía Miguel A. Ballester D.T.2005/01 MINIMAL BOOKS OF RATIONALES JOSE APESTEGUIA AND MIGUEL A. BALLESTER Abstract. Kalai, Rubinstein, and Spiegler (2002) propose

### Commentationes Mathematicae Universitatis Carolinae

Commentationes Mathematicae Universitatis Carolinae Adam Emeryk; Władysław Kulpa The Sorgenfrey line has no connected compactification Commentationes Mathematicae Universitatis Carolinae, Vol. 18 (1977),

### Classical Analysis I

Classical Analysis I 1 Sets, relations, functions A set is considered to be a collection of objects. The objects of a set A are called elements of A. If x is an element of a set A, we write x A, and if

### MATH41112/61112 Ergodic Theory Lecture Measure spaces

8. Measure spaces 8.1 Background In Lecture 1 we remarked that ergodic theory is the study of the qualitative distributional properties of typical orbits of a dynamical system and that these properties

### A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries

Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp. 285 291 285 A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do

### COMP232 - Mathematics for Computer Science

COMP3 - Mathematics for Computer Science Tutorial 10 Ali Moallemi moa ali@encs.concordia.ca Iraj Hedayati h iraj@encs.concordia.ca Concordia University, Winter 016 Ali Moallemi, Iraj Hedayati COMP3 - Mathematics

### Open and Closed Sets

Open and Closed Sets Definition: A subset S of a metric space (X, d) is open if it contains an open ball about each of its points i.e., if x S : ɛ > 0 : B(x, ɛ) S. (1) Theorem: (O1) and X are open sets.

### Chapter 1. Open Sets, Closed Sets, and Borel Sets

1.4. Borel Sets 1 Chapter 1. Open Sets, Closed Sets, and Borel Sets Section 1.4. Borel Sets Note. Recall that a set of real numbers is open if and only if it is a countable disjoint union of open intervals.

Mathematics 0N1 Solutions 1 1. Write the following sets in list form. 1(i) The set of letters in the word banana. {a, b, n}. 1(ii) {x : x 2 + 3x 10 = 0}. 3(iv) C A. True 3(v) B = {e, e, f, c}. True 3(vi)

### Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic.

Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic. Martina Fedel joint work with K.Keimel,F.Montagna,W.Roth Martina Fedel (UNISI) 1 / 32 Goal The goal of this talk is to

### Mechanism Design without Money I: House Allocation, Kidney Exchange, Stable Matching

Algorithmic Game Theory Summer 2015, Week 12 Mechanism Design without Money I: House Allocation, Kidney Exchange, Stable Matching ETH Zürich Peter Widmayer, Paul Dütting Looking at the past few lectures

### The Language of Mathematics

CHPTER 2 The Language of Mathematics 2.1. Set Theory 2.1.1. Sets. set is a collection of objects, called elements of the set. set can be represented by listing its elements between braces: = {1, 2, 3,

### Math 507/420 Homework Assignment #1: Due in class on Friday, September 20. SOLUTIONS

Math 507/420 Homework Assignment #1: Due in class on Friday, September 20. SOLUTIONS 1. Show that a nonempty collection A of subsets is an algebra iff 1) for all A, B A, A B A and 2) for all A A, A c A.

### An example of a computable

An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept

### 3 σ-algebras. Solutions to Problems

3 σ-algebras. Solutions to Problems 3.1 3.12 Problem 3.1 (i It is clearly enough to show that A, B A = A B A, because the case of N sets follows from this by induction, the induction step being A 1...

### 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.

### Mathematical Research Letters 1, 249 255 (1994) MAPPING CLASS GROUPS ARE AUTOMATIC. Lee Mosher

Mathematical Research Letters 1, 249 255 (1994) MAPPING CLASS GROUPS ARE AUTOMATIC Lee Mosher Let S be a compact surface, possibly with the extra structure of an orientation or a finite set of distinguished

### Quantum manifolds. Manuel Hohmann

Quantum manifolds Manuel Hohmann Zentrum für Mathematische Physik und II. Institut für Theoretische Physik, Universität Hamburg, Luruper Chaussee 149, 22761 Hamburg, Germany Abstract. We propose a mathematical

### 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

### Mathematics Review for MS Finance Students

Mathematics Review for MS Finance Students Anthony M. Marino Department of Finance and Business Economics Marshall School of Business Lecture 1: Introductory Material Sets The Real Number System Functions,

### PRESIDENCY UNIVERSITY, KOLKATA

PRESIDENCY UNIVERSITY, KOLKATA Syllabus for Three Year B.Sc. MATHEMATICS (GenEd) Course (With effect from the Academic Session 2013-14) Module Structure Semester Module No. Name of the Module Marks I M11

### Domain of a Composition

Domain of a Composition Definition Given the function f and g, the composition of f with g is a function defined as (f g)() f(g()). The domain of f g is the set of all real numbers in the domain of g such

### Sets and set operations

CS 441 Discrete Mathematics for CS Lecture 7 Sets and set operations Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square asic discrete structures Discrete math = study of the discrete structures used

### Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

### 14 Abian and Kemp Theorem 1. For every cardinal k if the union of k many sets of measure zero is of measure zero, then the union of k many measurable

PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE Nouvelle série tome 52 (66), 1992, 13 17 ON MEASURABILITY OF UNCOUNTABLE UNIONS OF MEASURABLE SETS Alexander Abian and Paula Kemp Abstract. This paper deals exclusively

### 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

### Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces

Communications in Mathematical Physics Manuscript-Nr. (will be inserted by hand later) Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces Stefan Bechtluft-Sachs, Marco Hien Naturwissenschaftliche

### A logical view on Tao s finitizations in analysis

A logical view on Tao s finitizations in analysis Jaime Gaspar 1,2 (joint work with Ulrich Kohlenbach 1 ) 1 Technische Universität Darmstadt 2 Supported by the Fundação para a Ciência e a Tecnologia Part

### Sample Induction Proofs

Math 3 Worksheet: Induction Proofs III, Sample Proofs A.J. Hildebrand Sample Induction Proofs Below are model solutions to some of the practice problems on the induction worksheets. The solutions given

### Partitioning edge-coloured complete graphs into monochromatic cycles and paths

arxiv:1205.5492v1 [math.co] 24 May 2012 Partitioning edge-coloured complete graphs into monochromatic cycles and paths Alexey Pokrovskiy Departement of Mathematics, London School of Economics and Political

### 1 Sets and Set Notation.

LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most

### The Tangent Bundle. Jimmie Lawson Department of Mathematics Louisiana State University. Spring, 2006

The Tangent Bundle Jimmie Lawson Department of Mathematics Louisiana State University Spring, 2006 1 The Tangent Bundle on R n The tangent bundle gives a manifold structure to the set of tangent vectors

### 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

### Cracking the Sudoku: A Deterministic Approach

Cracking the Sudoku: A Deterministic Approach David Martin Erica Cross Matt Alexander Youngstown State University Center for Undergraduate Research in Mathematics Abstract The model begins with the formulation

### Solutions to Tutorial 2 (Week 3)

THE UIVERSITY OF SYDEY SCHOOL OF MATHEMATICS AD STATISTICS Solutions to Tutorial 2 (Week 3) MATH3969: Measure Theory and Fourier Analysis (Advanced) Semester 2, 2016 Web Page: http://sydney.edu.au/science/maths/u/ug/sm/math3969/

### 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,

### Modern Optimization Methods for Big Data Problems MATH11146 The University of Edinburgh

Modern Optimization Methods for Big Data Problems MATH11146 The University of Edinburgh Peter Richtárik Week 3 Randomized Coordinate Descent With Arbitrary Sampling January 27, 2016 1 / 30 The Problem

### The QOOL Algorithm for fast Online Optimization of Multiple Degree of Freedom Robot Locomotion

The QOOL Algorithm for fast Online Optimization of Multiple Degree of Freedom Robot Locomotion Daniel Marbach January 31th, 2005 Swiss Federal Institute of Technology at Lausanne Daniel.Marbach@epfl.ch