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

Save this PDF as:

Size: px
Start display at page:

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

## Transcription

1 Measures In General Lebesgue measure on R is just one of many important measures in mathematics. In these notes we introduce the general framework for measures. Definition: σ-algebra Let X be a set. A collection M of subsets of X is called a σ-algebra if it satisfies the following conditions: 1. M. 2. If E M, then the complement E c = X E also lies in M. 3. If {E n } is a sequence of sets in M, then the union E n also lies in M. The first axiom is almost unnecessary, for if M contains any set E, then it follows that = (E E c c lies in M. Thus, the first axiom is equivalent to the requirement that the collection M is nonempty. For example, the collection of Lebesgue measurable subsets of R forms a σ-algebra. The following proposition states some basic properties of σ-algebras, with the proofs left to the reader. Proposition 1 Let X be a set, and let M be a σ-algebra on X. 1. If E 1, E 2 M, then E 1 E 2 and E 1 E 2 lie in M. 2. If {E n } is a sequence of sets in M, then the intersection E n also lies in M.

2 Measures In General 2 We can now define the general notion of a measure, with the elements of some σ-algebra being the collection of measurable sets. Definition: Measure Let X be a set. A measure on X is a function µ: M [0, ], where M is a σ-algebra of subsets of X, satisfying the following conditions: 1. µ( = (Countable Additivity For every sequence {E n } of pairwise disjoint sets in M, ( µ E n = µ(e n. Again, the first axiom is almost unnecessary. Since the sequence,,,... is pairwise disjoint, it follows from the second axiom that µ( = µ( and therefore µ( is either 0 or. If µ( =, it follows that µ(e = for every set E, so the first axiom serves only to disallow this infinity-only measure. The prototypical example of a measure is Lebesgue measure on R, but many other measures are possible. For a simple example, if X is any set, then the function µ: P(x [0, ] defined by µ(e = E (the cardinality of E is a measure, known as counting measure on X. For another example, there is a measure on R 2 that essentially measures the area of a subset, and more generally there is a measure o R n that measures n-dimensional volume. As we will see in our construction, the Lebesgue integral can be defined on any set X that has been equipped with a measure. In the case of counting measure, the Lebesgue integral turns out to be the same as the sum of the function, i.e. f = f(x x X X for any function f : X [, ]. In the case of area measure on R 2, the Lebesgue integral turns out the be a Lebesgue version of the usual double integral. Incidentally, if µ: M [0, ] is a measure on X, then the triple (X, M, µ is known as a measure space. A measure space is a very general notion of a set on which one can integrate, in the same way that a topological space is a very general notion of a set on which one can take limits. The following proposition lists some of the most important properties of any measure. The proofs are left to the reader.

3 Measures In General 3 Proposition 2 Properties of Measures Let (X, M, µ be a measure space. 1. If E, F M and E F, then µ(e µ(f. 2. If E, F M, then µ(e F + µ(e F = µ(e + µ(f. 3. If {E n } is any sequence in M, then µ E n µ(e n. 4. If E 1 E 2 is a nested sequence in M, then µ E n = sup µ(e n. 5. If E 1 E 2 is a nested sequence in M and at least one E n has finite measure, then ( µ E n = inf µ(e n. Outer Measures Our construction of the Lebesgue measure began by defining the Lebesgue outer measure m, and then using it to determine which sets are measurable. This sort of construction can be carried out in general. Definition: Outer Measure Let X be a set. An outer measure on X is a function µ : P(X [0, ] satisfying the following conditions: 1. µ ( = (Monotonicity If S T X, then µ (S µ (T. 3. (Countable Subadditivity If {S n } is any sequence of subsets of X, then µ S n µ (S n.

4 Measures In General 4 The following theorem generalizes our construction of Lebesgue measure. The proof of this theorem is almost word-for-word the same as our proofs in the construction of Lebesgue measure. Theorem 3 Carathéodory s Extension Theorem Let X be a set, and let µ be an outer measure on X. Let M be the collection of all subsets E X satisfying µ (T E + µ (T E c = µ (T for every T X. Then M is a σ-algebra, and the restriction of µ to M is a measure. A set E that lies in the σ-algebra M defined in this theorem is said to be Carathéodory measurable with respect to µ. For example, a set E R is Carathéodory measurable with respect to Lebesgue outer measure m if and only if it is Lebesgue measurable. Carathéodory s extension theorem makes it easy to construct measures. For example, consider the function µ : P(R 2 [0, ] defined by the formula { } µ (S = inf A(D C is a collection of open disks that covers S. D C where A(D denotes the area of an open disk D. It is quite easy to show that µ is an outer measure on R 2, and using the above theorem we immediately obtain a measure µ on R 2. What is hard to prove is that µ actually measures area on R 2, i.e. that µ(d = A(D for any open disk D. This involves the geometry of disks in a significant way, similar to how we needed to use the geometry of intervals in a significant way to prove that the Lebesgue measure of an interval is its length. In general, Carathéodory s extension theorem makes it easy to construct measures, but the construction is entirely abstract, and it s often difficult to determine the actual geometric meaning of the resulting measure.

5 Measures In General 5 Complete Measures For many measures, sets of measure zero have a special property which is often useful. Definition: Complete Measure Let (X, M, µ be a measure space. We say that µ is complete if for every Z M with µ(z = 0, every subset of Z also lies in M. That is, a measure is complete if every subset of a set of measure zero is measurable. A subset of a set of measure zero is sometimes called a null set, so a measure is complete if and only if every null set is measurable. Proposition 4 Completeness of Carathéodory Extensions Any measure obtained from Carathéodory s extension theorem is complete. In particular, Lebesgue measure is complete. PROOF Let X be a set, let µ be an outer measure on X, and let µ: M [0, ] be the measure obtained from µ via Carathéodory s extension theorem. Let N X be a null set, so N Z for some Z M with µ(z = 0. Then µ (N µ (Z = 0, so µ (N = 0. Then for any set T X, we have µ (T N + µ (T N c µ (N + µ (T = µ (T. But µ (T N + µ (T N c µ (N by the subadditivity of µ, and therefore N is Carathéodory measurable. The following proposition shows that any measure can be extended to a complete measure in a canonical way. Proposition 5 Completion of a Measure Let (X, M, µ be a measure space, and let M = {E N E M and N X is a null set}. Then M is a σ-algebra, and there exists a unique measure µ : M [0, ] that agrees with µ on M. Furthermore, this measure µ is complete.

6 Measures In General 6 PROOF Note first that any countable union of null sets is a null set. For given a sequence {N n } of null sets, let {Z n } be a sequence of sets of measure zero in M such that N n Z n for each n. Then the union Z n has measure zero and contains N n, so the latter is a null set. We claim that M is a sigma algebra. Clearly M is nonempty. Next, given an element E N M, let Z M be a set of measure zero that contains N. Then (E N c = (E Z c (Z N. But (E Z c M and Z N is a null set, so (E N c M. Finally, given a sequence {E n N n } in M, we have (E n N n = E n N n. The first term on the right lies in M and the second is a null set, so the whole union lies in M. Now define a function µ : M [0, ] by µ (E N = µ(e for every E M and every null set N. To prove this function is well-defined, suppose that E 1 N 1 = E 2 N 2 for some E 1, E 2 M and some null sets N 1 and N 2. Then E 1 E 2 N 2 E 2 Z 2, where Z 2 M is a set of measure zero that contains N 2, so µ(e 1 µ(e 2 Z 2 µ(e 2 + µ(z 2 = µ(e 2. A similar proof shows that µ(e 2 µ(e 1, so µ(e 1 = µ(e 2. To prove that µ is a measure, observe first that µ ( = µ( = 0. Next, if {E n N n } is a sequence of pairwise disjoint elements of M, let E = E n and N = N n. Then E M and N is a null set, so ( µ n N n = µ (E (E N = µ(e = µ(e n = µ (E n N n which proves that µ is a measure. To prove that µ is unique, suppose µ : M [0, ] is any measure that agrees with µ on M. Then for any E N M, we have µ(e = µ (E µ (E N µ (E Z = µ(e Z = µ(e, where Z M is a set of measure zero that contains N. It follows that µ (E N = µ(e = µ (E N, and thus µ = µ. All that remains is to prove that µ is complete, so let S be any null set with respect to µ. Then S E N for some E N M for which µ (E N = 0. Note then that µ(e = µ (E N = 0. Furthermore, since N is a null set with respect to µ, we know that N Z for some set Z M with measure zero. Then E Z M and has measure zero and S E Z, so S is a null set with respect to µ, and hence S M.

7 Measures In General 7 The measure µ constructed in the above proposition is known as the completion of µ. Note that the completion of µ is entirely determined by µ, but admits more measurable sets. In most contexts, this makes the completion of a measure strictly better than the original measure, and when constructing measures it is common to immediately pass from any non-complete measure to the corresponding completion.

### (2) E M = E C = X\E M

10 RICHARD B. MELROSE 2. Measures and σ-algebras An outer measure such as µ is a rather crude object since, even if the A i are disjoint, there is generally strict inequality in (1.14). It turns out to

### 1.4 Outer measures 10 CHAPTER 1. MEASURE

10 CHAPTER 1. MEASURE 1.3.6. ( Almost everywhere and null sets If (X, A, µ is a measure space, then a set in A is called a null set (or µ-null if its measure is 0. Clearly a countable union of null sets

### Measures and Measure Spaces

Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not

### Chapter 4. Measure Theory. 1. Measure Spaces

Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if

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

Lebesgue Measure The idea of the Lebesgue integral is to first define a measure on subsets of R. That is, we wish to assign a number m(s to each subset S of R, representing the total length that S takes

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

1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1

### The Caratheodory Construction of Measures

Chapter 5 The Caratheodory Construction of Measures Recall how our construction of Lebesgue measure in Chapter 2 proceeded from an initial notion of the size of a very restricted class of subsets of R,

### Construction of a general measure structure

Chapter 4 Construction of a general measure structure We turn to the development of general measure theory. The ingredients are a set describing the universe of points, a class of measurable subsets along

### Measures. Chapter Some prerequisites. 1.2 Introduction

Lecture notes Course Analysis for PhD students Uppsala University, Spring 2018 Rostyslav Kozhan Chapter 1 Measures 1.1 Some prerequisites I will follow closely the textbook Real analysis: Modern Techniques

### Measure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India

Measure and Integration: Concepts, Examples and Exercises INDER K. RANA Indian Institute of Technology Bombay India Department of Mathematics, Indian Institute of Technology, Bombay, Powai, Mumbai 400076,

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

A crash course in Lebesgue measure theory, Math 317, Intro to Analysis II These lecture notes are inspired by the third edition of Royden s Real analysis. The Jordan content is an attempt to extend the

### MATHS 730 FC Lecture Notes March 5, Introduction

1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists

### Real Analysis Notes. Thomas Goller

Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................

### 18.175: Lecture 2 Extension theorems, random variables, distributions

18.175: Lecture 2 Extension theorems, random variables, distributions Scott Sheffield MIT Outline Extension theorems Characterizing measures on R d Random variables Outline Extension theorems Characterizing

### Lebesgue Measure on R n

CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets

### Measures. 1 Introduction. These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland.

Measures These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland. 1 Introduction Our motivation for studying measure theory is to lay a foundation

### Integration on Measure Spaces

Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of

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

Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.

### DRAFT MAA6616 COURSE NOTES FALL 2015

Contents 1. σ-algebras 2 1.1. The Borel σ-algebra over R 5 1.2. Product σ-algebras 7 2. Measures 8 3. Outer measures and the Caratheodory Extension Theorem 11 4. Construction of Lebesgue measure 15 5.

### The Lebesgue Integral

The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters

### 02. Measure and integral. 1. Borel-measurable functions and pointwise limits

(October 3, 2017) 02. Measure and integral Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2017-18/02 measure and integral.pdf]

### MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6

MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION Extra Reading Material for Level 4 and Level 6 Part A: Construction of Lebesgue Measure The first part the extra material consists of the construction

### Abstract Measure Theory

2 Abstract Measure Theory Lebesgue measure is one of the premier examples of a measure on R d, but it is not the only measure and certainly not the only important measure on R d. Further, R d is not the

### RS Chapter 1 Random Variables 6/5/2017. Chapter 1. Probability Theory: Introduction

Chapter 1 Probability Theory: Introduction Basic Probability General In a probability space (Ω, Σ, P), the set Ω is the set of all possible outcomes of a probability experiment. Mathematically, Ω is just

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

Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite

### Measure Theory. John K. Hunter. Department of Mathematics, University of California at Davis

Measure Theory John K. Hunter Department of Mathematics, University of California at Davis Abstract. These are some brief notes on measure theory, concentrating on Lebesgue measure on R n. Some missing

### Lebesgue Measure on R n

8 CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets

### 1.1. MEASURES AND INTEGRALS

CHAPTER 1: MEASURE THEORY In this chapter we define the notion of measure µ on a space, construct integrals on this space, and establish their basic properties under limits. The measure µ(e) will be defined

### Analysis of Probabilistic Systems

Analysis of Probabilistic Systems Bootcamp Lecture 2: Measure and Integration Prakash Panangaden 1 1 School of Computer Science McGill University Fall 2016, Simons Institute Panangaden (McGill) Analysis

### CHAPTER I THE RIESZ REPRESENTATION THEOREM

CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals

### The Lebesgue Integral

The Lebesgue Integral Having completed our study of Lebesgue measure, we are now ready to consider the Lebesgue integral. Before diving into the details of its construction, though, we would like to give

### Carathéodory s extension of a measure on a semi-ring

Carathéodory s extension of a measure on a semi-ring Reinhardt Messerschmidt www.rmesserschmidt.me.uk 7 October 2018 1 Introduction This article presents Carathéodory s extension of a measure on a semi-ring,

### Annalee Gomm Math 714: Assignment #2

Annalee Gomm Math 714: Assignment #2 3.32. Verify that if A M, λ(a = 0, and B A, then B M and λ(b = 0. Suppose that A M with λ(a = 0, and let B be any subset of A. By the nonnegativity and monotonicity

### Measure Theoretic Probability. P.J.C. Spreij

Measure Theoretic Probability P.J.C. Spreij this version: September 16, 2009 Contents 1 σ-algebras and measures 1 1.1 σ-algebras............................... 1 1.2 Measures...............................

### Chapter 5. Measurable Functions

Chapter 5. Measurable Functions 1. Measurable Functions Let X be a nonempty set, and let S be a σ-algebra of subsets of X. Then (X, S) is a measurable space. A subset E of X is said to be measurable if

### Section Signed Measures: The Hahn and Jordan Decompositions

17.2. Signed Measures 1 Section 17.2. Signed Measures: The Hahn and Jordan Decompositions Note. If measure space (X, M) admits measures µ 1 and µ 2, then for any α,β R where α 0,β 0, µ 3 = αµ 1 + βµ 2

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

MEASURE AND INTEGRATION Dietmar A. Salamon ETH Zürich 9 September 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.

### arxiv: v1 [math.fa] 14 Jul 2018

Construction of Regular Non-Atomic arxiv:180705437v1 [mathfa] 14 Jul 2018 Strictly-Positive Measures in Second-Countable Locally Compact Non-Atomic Hausdorff Spaces Abstract Jason Bentley Department of

### 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 HAHN-BANACH EXTENSION THEOREMS AND EXISTENCE OF LINEAR FUNCTIONALS

CHAPTER II THE HAHN-BANACH EXTENSION THEOREMS AND EXISTENCE OF LINEAR FUNCTIONALS In this chapter we deal with the problem of extending a linear functional on a subspace Y to a linear functional on the

### On maxitive integration

On maxitive integration Marco E. G. V. Cattaneo Department of Mathematics, University of Hull m.cattaneo@hull.ac.uk Abstract A functional is said to be maxitive if it commutes with the (pointwise supremum

### FUNDAMENTALS OF REAL ANALYSIS by. II.1. Prelude. Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as

FUNDAMENTALS OF REAL ANALYSIS by Doğan Çömez II. MEASURES AND MEASURE SPACES II.1. Prelude Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as b n f(xdx :=

### INTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION

1 INTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION Eduard EMELYANOV Ankara TURKEY 2007 2 FOREWORD This book grew out of a one-semester course for graduate students that the author have taught at

### ABSTRACT INTEGRATION CHAPTER ONE

CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed

### Bounded and continuous functions on a locally compact Hausdorff space and dual spaces

Chapter 6 Bounded and continuous functions on a locally compact Hausdorff space and dual spaces Recall that the dual space of a normed linear space is a Banach space, and the dual space of L p is L q where

### Introduction to Hausdorff Measure and Dimension

Introduction to Hausdorff Measure and Dimension Dynamics Learning Seminar, Liverpool) Poj Lertchoosakul 28 September 2012 1 Definition of Hausdorff Measure and Dimension Let X, d) be a metric space, let

### Solutions to Tutorial 1 (Week 2)

THE UNIVERSITY OF SYDNEY SCHOOL OF MATHEMATICS AND STATISTICS Solutions to Tutorial 1 (Week 2 MATH3969: Measure Theory and Fourier Analysis (Advanced Semester 2, 2017 Web Page: http://sydney.edu.au/science/maths/u/ug/sm/math3969/

### Math212a1411 Lebesgue measure.

Math212a1411 Lebesgue measure. October 14, 2014 Reminder No class this Thursday Today s lecture will be devoted to Lebesgue measure, a creation of Henri Lebesgue, in his thesis, one of the most famous

### Measure and integral. E. Kowalski. ETH Zürich

Measure and integral E. Kowalski ETH Zürich kowalski@math.ethz.ch Contents Preamble 1 Introduction 2 Notation 4 Chapter 1. Measure theory 7 1.1. Algebras, σ-algebras, etc 8 1.2. Measure on a σ-algebra

### Measure and integration

Chapter 5 Measure and integration In calculus you have learned how to calculate the size of different kinds of sets: the length of a curve, the area of a region or a surface, the volume or mass of a solid.

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

12 1 Lebesgue Measure 1.2 Lebesgue Measure In Section 1.1 we defined the exterior Lebesgue measure of every subset of R d. Unfortunately, a major disadvantage of exterior measure is that it does not satisfy

### HAUSDORFF DIMENSION AND ITS APPLICATIONS

HAUSDORFF DIMENSION AND ITS APPLICATIONS JAY SHAH Abstract. The theory of Hausdorff dimension provides a general notion of the size of a set in a metric space. We define Hausdorff measure and dimension,

### 2 Lebesgue integration

2 Lebesgue integration 1. Let (, A, µ) be a measure space. We will always assume that µ is complete, otherwise we first take its completion. The example to have in mind is the Lebesgue measure on R n,

### Lebesgue measure and integration

Chapter 4 Lebesgue measure and integration If you look back at what you have learned in your earlier mathematics courses, you will definitely recall a lot about area and volume from the simple formulas

### Lebesgue Measure. Chapter Lebesgue Outer Measure

Chapter 2 Lebesgue Measure This chapter develops the basic notions of measure theory. They are what is needed to introduce the concepts of measure-preserving transformations, recurrence and ergodicity

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

36-752 Spring 2014 Advanced Probability Overview Lecture Notes Set 1: Course Overview, σ-fields, and Measures Instructor: Jing Lei Associated reading: Sec 1.1-1.4 of Ash and Doléans-Dade; Sec 1.1 and A.1

### Math 172 HW 1 Solutions

Math 172 HW 1 Solutions Joey Zou April 15, 2017 Problem 1: Prove that the Cantor set C constructed in the text is totally disconnected and perfect. In other words, given two distinct points x, y C, there

### Real Analysis Chapter 1 Solutions Jonathan Conder

3. (a) Let M be an infinite σ-algebra of subsets of some set X. There exists a countably infinite subcollection C M, and we may choose C to be closed under taking complements (adding in missing complements

### MA359 Measure Theory

A359 easure Theory Thomas Reddington Usman Qureshi April 8, 204 Contents Real Line 3. Cantor set.................................................. 5 2 General easures 2 2. Product spaces...............................................

### 2 Measure Theory. 2.1 Measures

2 Measure Theory 2.1 Measures A lot of this exposition is motivated by Folland s wonderful text, Real Analysis: Modern Techniques and Their Applications. Perhaps the most ubiquitous measure in our lives

### Lecture 3: Probability Measures - 2

Lecture 3: Probability Measures - 2 1. Continuation of measures 1.1 Problem of continuation of a probability measure 1.2 Outer measure 1.3 Lebesgue outer measure 1.4 Lebesgue continuation of an elementary

### Section 2: Classes of Sets

Section 2: Classes of Sets Notation: If A, B are subsets of X, then A \ B denotes the set difference, A \ B = {x A : x B}. A B denotes the symmetric difference. A B = (A \ B) (B \ A) = (A B) \ (A B). Remarks

### Axioms for Set Theory

Axioms for Set Theory The following is a subset of the Zermelo-Fraenkel axioms for set theory. In this setting, all objects are sets which are denoted by letters, e.g. x, y, X, Y. Equality is logical identity:

### Measure Theoretic Probability. P.J.C. Spreij

Measure Theoretic Probability P.J.C. Spreij this version: September 11, 2008 Contents 1 σ-algebras and measures 1 1.1 σ-algebras............................... 1 1.2 Measures...............................

### Three hours THE UNIVERSITY OF MANCHESTER. 24th January

Three hours MATH41011 THE UNIVERSITY OF MANCHESTER FOURIER ANALYSIS AND LEBESGUE INTEGRATION 24th January 2013 9.45 12.45 Answer ALL SIX questions in Section A (25 marks in total). Answer THREE of the

### Review of measure theory

209: Honors nalysis in R n Review of measure theory 1 Outer measure, measure, measurable sets Definition 1 Let X be a set. nonempty family R of subsets of X is a ring if, B R B R and, B R B R hold. bove,

### Math 4121 Spring 2012 Weaver. Measure Theory. 1. σ-algebras

Math 4121 Spring 2012 Weaver Measure Theory 1. σ-algebras A measure is a function which gauges the size of subsets of a given set. In general we do not ask that a measure evaluate the size of every subset,

### Basic Measure and Integration Theory. Michael L. Carroll

Basic Measure and Integration Theory Michael L. Carroll Sep 22, 2002 Measure Theory: Introduction What is measure theory? Why bother to learn measure theory? 1 What is measure theory? Measure theory is

### Measure Theoretic Probability. P.J.C. Spreij. (minor revisions by S.G. Cox)

Measure Theoretic Probability P.J.C. Spreij (minor revisions by S.G. Cox) this version: October 23, 2016 Preface In these notes we explain the measure theoretic foundations of modern probability. The

### Measure Theory & Integration

Measure Theory & Integration Lecture Notes, Math 320/520 Fall, 2004 D.H. Sattinger Department of Mathematics Yale University Contents 1 Preliminaries 1 2 Measures 3 2.1 Area and Measure........................

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

NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)

### The Kolmogorov extension theorem

The Kolmogorov extension theorem Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 21, 2014 1 σ-algebras and semirings If X is a nonempty set, an algebra of sets on

### Final. due May 8, 2012

Final due May 8, 2012 Write your solutions clearly in complete sentences. All notation used must be properly introduced. Your arguments besides being correct should be also complete. Pay close attention

### Lebesgue Measure. Dung Le 1

Lebesgue Measure Dung Le 1 1 Introduction How do we measure the size of a set in IR? Let s start with the simplest ones: intervals. Obviously, the natural candidate for a measure of an interval is its

### Summary of Real Analysis by Royden

Summary of Real Analysis by Royden Dan Hathaway May 2010 This document is a summary of the theorems and definitions and theorems from Part 1 of the book Real Analysis by Royden. In some areas, such as

### Probability and Measure

Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability

### Moreover, µ is monotone, that is for any A B which are both elements of A we have

FRACTALS Contents. Algebras, sigma algebras, and measures 2.. Carathéodory s outer measures 5.2. Completeness 6.3. Homework: Measure theory basics 7 2. Completion of a measure, creating a measure from

### An extended version of the Carathéodory extension Theorem

An extended version of the Carathéodory extension Theorem Alexandre G. Patriota Departamento de Estatística, Universidade de São Paulo, São Paulo/SP, 05508-090, Brazil Abstract In this paper, we show that

### University of Sheffield. School of Mathematics & and Statistics. Measure and Probability MAS350/451/6352

University of Sheffield School of Mathematics & and Statistics Measure and Probability MAS350/451/6352 Spring 2018 Chapter 1 Measure Spaces and Measure 1.1 What is Measure? Measure theory is the abstract

### Chapter 4. Measurable Functions. 4.1 Measurable Functions

Chapter 4 Measurable Functions If X is a set and A P(X) is a σ-field, then (X, A) is called a measurable space. If µ is a countably additive measure defined on A then (X, A, µ) is called a measure space.

### Serena Doria. Department of Sciences, University G.d Annunzio, Via dei Vestini, 31, Chieti, Italy. Received 7 July 2008; Revised 25 December 2008

Journal of Uncertain Systems Vol.4, No.1, pp.73-80, 2010 Online at: www.jus.org.uk Different Types of Convergence for Random Variables with Respect to Separately Coherent Upper Conditional Probabilities

### 2. The Concept of Convergence: Ultrafilters and Nets

2. The Concept of Convergence: Ultrafilters and Nets NOTE: AS OF 2008, SOME OF THIS STUFF IS A BIT OUT- DATED AND HAS A FEW TYPOS. I WILL REVISE THIS MATE- RIAL SOMETIME. In this lecture we discuss two

### x 0 + f(x), exist as extended real numbers. Show that f is upper semicontinuous This shows ( ɛ, ɛ) B α. Thus

Homework 3 Solutions, Real Analysis I, Fall, 2010. (9) Let f : (, ) [, ] be a function whose restriction to (, 0) (0, ) is continuous. Assume the one-sided limits p = lim x 0 f(x), q = lim x 0 + f(x) exist

### Probability and Measure. November 27, 2017

Probability and Measure November 27, 2017 1 CONTENTS 2 Contents 1 Measure Theory 4 1.1 History................................ 4 1.2 Lebesgue Measure.......................... 5 1.3 Measurable Functions........................

### Chapter 1 : The language of mathematics.

MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :

### 5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.

5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint

### g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is

### + 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1

Appendix To understand weak derivatives and distributional derivatives in the simplest context of functions of a single variable, we describe without proof some results from real analysis (see [7] and

### Math 730 Homework 6. Austin Mohr. October 14, 2009

Math 730 Homework 6 Austin Mohr October 14, 2009 1 Problem 3A2 Proposition 1.1. If A X, then the family τ of all subsets of X which contain A, together with the empty set φ, is a topology on X. Proof.

### Stat 451: Solutions to Assignment #1

Stat 451: Solutions to Assignment #1 2.1) By definition, 2 Ω is the set of all subsets of Ω. Therefore, to show that 2 Ω is a σ-algebra we must show that the conditions of the definition σ-algebra are

### Trajectorial Martingales, Null Sets, Convergence and Integration

Trajectorial Martingales, Null Sets, Convergence and Integration Sebastian Ferrando, Department of Mathematics, Ryerson University, Toronto, Canada Alfredo Gonzalez and Sebastian Ferrando Trajectorial

### 5 Set Operations, Functions, and Counting

5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,

### 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer

### CHAPTER 7. Connectedness

CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set

### Existence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets

Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R

### SOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS

LE MATEMATICHE Vol. LVII (2002) Fasc. I, pp. 6382 SOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS VITTORINO PATA - ALFONSO VILLANI Given an arbitrary real function f, the set D

### STAT 7032 Probability Spring Wlodek Bryc

STAT 7032 Probability Spring 2018 Wlodek Bryc Created: Friday, Jan 2, 2014 Revised for Spring 2018 Printed: January 9, 2018 File: Grad-Prob-2018.TEX Department of Mathematical Sciences, University of Cincinnati,