Computability of the Radon-Nikodym derivative
|
|
- Berenice Nicholson
- 6 years ago
- Views:
Transcription
1 Computability of the Radon-Nikodym derivative Mathieu Hoyrup, Cristóbal Rojas and Klaus Weihrauch LORIA, INRIA Nancy - France
2 Let λ be the uniform measure over [0, 1]. Let f L 1 (λ) be nonnegative. Let µ(a) = A f dλ. One has µ λ, i.e. for all A, λ(a) = 0 = µ(a) = 0.
3 Let λ be the uniform measure over [0, 1]. Let f L 1 (λ) be nonnegative. Let µ(a) = A f dλ. One has µ λ, i.e. for all A, λ(a) = 0 = µ(a) = 0. Conversely, Theorem (Radon-Nikodym, 1930) For every measure µ λ there exists f L 1 (λ) such that µ(a) = f dλ for all Borel sets A. A f is the Radon-Nikodym derivative of µ w.r.t. λ, denoted f = dµ dλ.
4 Let λ be the uniform measure over [0, 1]. Let f L 1 (λ) be nonnegative. Let µ(a) = A f dλ. One has µ λ, i.e. for all A, λ(a) = 0 = µ(a) = 0. Conversely, Theorem (Radon-Nikodym, 1930) For every measure µ λ there exists f L 1 (λ) such that µ(a) = f dλ for all Borel sets A. A f is the Radon-Nikodym derivative of µ w.r.t. λ, denoted f = dµ dλ. Our problem computable from µ? Is dµ dλ
5 Theorem On [0, 1], there is a computable measure µ λ (even µ 2λ) such that dµ dλ is not L1 (λ)-computable.
6 Theorem On [0, 1], there is a computable measure µ λ (even µ 2λ) such that dµ dλ is not L1 (λ)-computable. Proof. The measure will be defined as µ(a) = λ(a K) = λ(a K) λ(k) where K [0, 1]: is a recursive compact set, λ(k) > 0 is not computable (only upper semi-computable, or right-c.e.). I ɛ I 0 I 1 I 00 I 01 I 10 I 11 K
7 Theorem On [0, 1], there is a computable measure µ λ (even µ 2λ) such that dµ dλ is not L1 (λ)-computable. Proof cont d. There is a computable homeomorphim φ : {0, 1} N K and µ is the push-forward φ λ of the uniform on Cantor space, so it is computable. dµ dλ = 1 λ(k) 1 K is not L 1 (λ)-computable. I ɛ I 0 I 1 I 00 I 01 I 10 I 11 K
8 (Non-)computability of RN Theorem There exists a computable measure µ λ such that dµ dλ is not L 1 (λ)-computable. Question How much is the Radon-Nikodym theorem non-computable?
9 (Non-)computability of RN Theorem There exists a computable measure µ λ such that dµ dλ is not L 1 (λ)-computable. Question How much is the Radon-Nikodym theorem non-computable? Answer No more than the Fréchet-Riesz representation theorem. Theorem RN W FR.
10 (Non-)computability of RN Theorem There exists a computable measure µ λ such that dµ dλ is not L 1 (λ)-computable. Question How much is the Radon-Nikodym theorem non-computable? Answer No more than the Fréchet-Riesz representation theorem. Theorem RN W FR. And even, Theorem RN W FR W EC.
11 Weihrauch degrees W is due to Weihrauch (1992).
12 Weihrauch degrees W is due to Weihrauch (1992). According to Klaus Weihrauch, W in W stands for Wadge.
13 Weihrauch degrees W is due to Weihrauch (1992). According to Klaus Weihrauch, W in W stands for Wadge. Nevertheless, W is now called Weihrauch-reducibility.
14 Weihrauch degrees W is due to Weihrauch (1992). According to Klaus Weihrauch, W in W stands for Wadge. Nevertheless, W is now called Weihrauch-reducibility. f W g if given x, one can compute f (x) applying g once.
15 Weihrauch degrees W is due to Weihrauch (1992). According to Klaus Weihrauch, W in W stands for Wadge. Nevertheless, W is now called Weihrauch-reducibility. f W g if given x, one can compute f (x) applying g once. f W g if f W g and g W f.
16 Consider two representations En and Cf of 2 N : En(p) = {n N : 100 n 1 is a subword of p}, Cf(p) = {n N : p n = 1}. Let E N: E is r.e. it is En-computable, E is recursive it is Cf-computable. Let EC : (2 N, En) (2 N, Cf) be the identity: it is not computable for these representations.
17 Properties of EC 2 0 objects can be computed from one application of EC (subsets of N, real numbers, real fonctions, points of computable metric spaces, etc.) Actually, for f : N N N N, f 0 2 f W EC. Let J(X ) be the Turing jump of X N: J W EC. EC W lim R. Due to Brattka, Gherardi, Yoshikawa, Marcone ( ).
18 Properties of EC Used to classify mathematical theorems: to a theorem X YP(X, Y ) is associated the operator X Y (possibly multi-valued). Due to Brattka, Gherardi, Yoshikawa, Marcone ( ).
19 Properties of EC Used to classify mathematical theorems: to a theorem X YP(X, Y ) is associated the operator X Y (possibly multi-valued). Let FR be the operator associated to the Fréchet-Riesz representation theorem (on suitable spaces): EC W FR. Due to Brattka, Gherardi, Yoshikawa, Marcone ( ).
20 Properties of EC Used to classify mathematical theorems: to a theorem X YP(X, Y ) is associated the operator X Y (possibly multi-valued). Let FR be the operator associated to the Fréchet-Riesz representation theorem (on suitable spaces): EC W FR. Let BW R be the Bolzano-Weierstrass operator: EC < W BW R. Due to Brattka, Gherardi, Yoshikawa, Marcone ( ).
21 EC W RN Let RN be the Radon-Nikodym operator, that maps µ λ to dµ dλ L1 (λ). Corollary EC W RN. Proof. Given an enumeration of E N: 1 construct K E such that λ(k E ) = n / E 2 n, 2 apply RN to compute λ(k E ), 3 compute E from λ(k E ). enumeration of E K E µ E EC characteristic function of E λ(k E ) dµ E dλ RN
22 A classical proof of the Radon-Nikodym theorem works as follows: apply the Fréchet-Riesz representation theorem to the continuous linear operator φ µ : L 2 (λ + µ) R f f dµ. It gives g L 2 (λ + µ) such that for all f L 2 (λ + µ), i.e. φ µ (f ) = f, g, f dµ = fg d(λ + µ). show that g 1 g has the required properties for being dµ dλ.
23 To compute the Radon-Nikodym derivative, dµ dλ = g µ RN φ µ FR 1 g L1 (λ) g L 2 (λ + µ) one shows that from g L 2 (λ + µ) one can compute g L 1 (λ), knowing that g dλ = 1. (a simple proof can be obtained using Martin-Löf randomness!)
24 It was proved by Brattka and Yoshikawa that on suitable spaces, FR W EC. Hence we get EC W RN W FR W EC. FR: Fréchet-Riesz RN: Radon-Nikodym EC: Enumeration Characteristic function
Computability of the Radon-Nikodym derivative
Computability of the Radon-Nikodym derivative Mathieu Hoyrup, Cristobal Rojas, Klaus Weihrauch To cite this version: Mathieu Hoyrup, Cristobal Rojas, Klaus Weihrauch. Computability of the Radon-Nikodym
More informationTHEOREMS, ETC., FOR MATH 516
THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition
More information+ 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
More informationJoins in the strong Weihrauch degrees.
Joins in the strong Weihrauch degrees. Damir D. Dzhafarov University of Connecticut May 16, 2018 Mathematical problems. Let X,Y be sets. A multifunction f : X Y is a partial map from a subset of X to P(Y
More informationComputability and Analysis, a Historical Approach
Computability and Analysis, a Historical Approach Vasco Brattka 1,2 arxiv:1602.07509v2 [math.lo] 7 Apr 2016 1 Faculty of Computer Science, Universität der Bundeswehr München, Germany 2 Dept. of Mathematics
More informationComputing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems
Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems Stefano Galatolo Dipartiento di matematica applicata Universita di Pisa s.galatolo@ing.unipi.it
More informationBounded variation and Helly s selection theorem
Bounded variation and Helly s selection theorem Alexander P. Kreuzer ENS Lyon Universität der Bundeswehr München, October 10th, 2013 Outline 1 Functions of bounded variation Representation 2 Helly s selection
More informationRiesz Representation Theorems
Chapter 6 Riesz Representation Theorems 6.1 Dual Spaces Definition 6.1.1. Let V and W be vector spaces over R. We let L(V, W ) = {T : V W T is linear}. The space L(V, R) is denoted by V and elements of
More informationALGORITHMIC RANDOMNESS, MARTINGALES AND DIFFERENTIABILITY I (PRELIMINARY DRAFT)
ALGORITHMIC RANDOMNESS, MARTINGALES AND DIFFERENTIABILITY I (PRELIMINARY DRAFT) JASON RUTE Abstract. Effective aspects of differentiability and martingale convergence are given. It is shown that the rate
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More informationAnnalee 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
More informationHausdorff Measures and Perfect Subsets How random are sequences of positive dimension?
Hausdorff Measures and Perfect Subsets How random are sequences of positive dimension? Jan Reimann Institut für Informatik, Universität Heidelberg Hausdorff Measures and Perfect Subsets p.1/18 Hausdorff
More informationarxiv: v1 [math.lo] 24 May 2012
FROM BOLZANO-WEIERSTRASS TO ARZELÀ-ASCOLI arxiv:1205.5429v1 [math.lo] 24 May 2012 ALEXANDER P. KREUZER Abstract. We show how one can obtain solutions to the Arzelà-Ascoli theorem using suitable applications
More informationUNIVERSALITY, OPTIMALITY, AND RANDOMNESS DEFICIENCY
UNIVERSALITY, OPTIMALITY, AND RANDOMNESS DEFICIENCY RUPERT HÖLZL AND PAUL SHAFER Abstract. A Martin-Löf test U is universal if it captures all non-martin-löf random sequences, and it is optimal if for
More informationMATHS 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
More informationINDEPENDENCE, RELATIVE RANDOMNESS, AND PA DEGREES
INDEPENDENCE, RELATIVE RANDOMNESS, AND PA DEGREES ADAM R. DAY AND JAN REIMANN Abstract. We study pairs of reals that are mutually Martin-Löf random with respect to a common, not necessarily computable
More informationLecture 5 Theorems of Fubini-Tonelli and Radon-Nikodym
Lecture 5: Fubini-onelli and Radon-Nikodym 1 of 13 Course: heory of Probability I erm: Fall 2013 Instructor: Gordan Zitkovic Lecture 5 heorems of Fubini-onelli and Radon-Nikodym Products of measure spaces
More informationReminder Notes for the Course on Measures on Topological Spaces
Reminder Notes for the Course on Measures on Topological Spaces T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie
More informationMeasure, Integration & Real Analysis
v Measure, Integration & Real Analysis preliminary edition 10 August 2018 Sheldon Axler Dedicated to Paul Halmos, Don Sarason, and Allen Shields, the three mathematicians who most helped me become a mathematician.
More information212a1214Daniell s integration theory.
212a1214 Daniell s integration theory. October 30, 2014 Daniell s idea was to take the axiomatic properties of the integral as the starting point and develop integration for broader and broader classes
More informationReal Analysis, 2nd Edition, G.B.Folland Signed Measures and Differentiation
Real Analysis, 2nd dition, G.B.Folland Chapter 3 Signed Measures and Differentiation Yung-Hsiang Huang 3. Signed Measures. Proof. The first part is proved by using addivitiy and consider F j = j j, 0 =.
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More informationON COMPUTABILITY AND DISINTEGRATION
ON COMPUTABILITY AND DISINTEGRATION NATHANAEL L. ACKERMAN, CAMERON E. FREER, AND DANIEL M. ROY Abstract. We show that the disintegration operator on a complete separable metric space along a projection
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationfor all x,y [a,b]. The Lipschitz constant of f is the infimum of constants C with this property.
viii 3.A. FUNCTIONS 77 Appendix In this appendix, we describe without proof some results from real analysis which help to understand weak and distributional derivatives in the simplest context of functions
More informationMEASURES AND THEIR RANDOM REALS
MEASURES AND THEIR RANDOM REALS JAN REIMANN AND THEODORE A. SLAMAN Abstract. We study the randomness properties of reals with respect to arbitrary probability measures on Cantor space. We show that every
More informationWadge-like classifications of real valued functions. Takayuki Kihara
Wadge-like classifications of real valued functions (The Day-Downey-Westrick reducibilities for R-valued functions) Takayuki Kihara Nagoya University, Japan Aspects of Computation: in celebration of the
More informationWeihrauch reducibility and recursion theory
Weihrauch reducibility and recursion theory Arno Pauly Université Libre de Bruxelles Computability Theory, Dagstuhl Seminar 2017 Outline Weihrauch degrees and their structure Classifying principles from
More informationExercise 1. Show that the Radon-Nikodym theorem for a finite measure implies the theorem for a σ-finite measure.
Real Variables, Fall 2014 Problem set 8 Solution suggestions xercise 1. Show that the Radon-Nikodym theorem for a finite measure implies the theorem for a σ-finite measure. nswer: ssume that the Radon-Nikodym
More informationMTH 404: Measure and Integration
MTH 404: Measure and Integration Semester 2, 2012-2013 Dr. Prahlad Vaidyanathan Contents I. Introduction....................................... 3 1. Motivation................................... 3 2. The
More informationOn the inversion of computable functions
On the inversion of computable functions Mathieu Hoyrup To cite this version: Mathieu Hoyrup. On the inversion of computable functions. [Research Report] 2012. HAL Id: hal-00735681 https://hal.inria.fr/hal-00735681v2
More informationLecture 1 Real and Complex Numbers
Lecture 1 Real and Complex Numbers Exercise 1.1. Show that a bounded monotonic increasing sequence of real numbers converges (to its least upper bound). Solution. (This was indicated in class) Let (a n
More informationMTG 5316/4302 FALL 2018 REVIEW FINAL
MTG 5316/4302 FALL 2018 REVIEW FINAL JAMES KEESLING Problem 1. Define open set in a metric space X. Define what it means for a set A X to be connected in a metric space X. Problem 2. Show that if a set
More informationProbability and Random Processes
Probability and Random Processes Lecture 7 Conditional probability and expectation Decomposition of measures Mikael Skoglund, Probability and random processes 1/13 Conditional Probability A probability
More informationRandomness for capacities
Randomness for capacities with applications to random closed sets Jason Rute Pennsylvania State University Computability, Complexity, and Randomness June 2014 Slides available at www.personal.psu.edu/jmr71/
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationQUANTUM MEASURE THEORY. Stanley Gudder. Department of Mathematics. University of Denver. Denver Colorado
QUANTUM MEASURE THEORY Stanley Gudder Department of Mathematics University of Denver Denver Colorado 828 sgudder@math.du.edu 1. Introduction A measurable space is a pair (X, A) where X is a nonempty set
More informationMAT 571 REAL ANALYSIS II LECTURE NOTES. Contents. 2. Product measures Iterated integrals Complete products Differentiation 17
MAT 57 REAL ANALSIS II LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: SPRING 205 Contents. Convergence in measure 2. Product measures 3 3. Iterated integrals 4 4. Complete products 9 5. Signed measures
More informationA COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES
A COMPARISO OF VARIOUS AALYTIC CHOICE PRICIPLES PAUL-ELLIOT AGLÈS D AURIAC AD TAKAYUKI KIHARA Abstract. We investigate computability theoretic and descriptive set theoretic contents of various kinds of
More informationFUNDAMENTALS OF REAL ANALYSIS by. IV.1. Differentiation of Monotonic Functions
FUNDAMNTALS OF RAL ANALYSIS by Doğan Çömez IV. DIFFRNTIATION AND SIGND MASURS IV.1. Differentiation of Monotonic Functions Question: Can we calculate f easily? More eplicitly, can we hope for a result
More informationA constructive version of Birkhoff s ergodic theorem for Martin-Lof random points
A constructive version of Birkhoff s ergodic theorem for Martin-Lof random points Laurent Bienvenu, Adam Day, Mathieu Hoyrup, Ilya Mezhirov, Alexander Shen To cite this version: Laurent Bienvenu, Adam
More informationarxiv: v3 [math.lo] 16 Jul 2009 VASCO BRATTKA AND GUIDO GHERARDI
EFFECTIVE CHOICE AND BOUNDEDNESS PRINCIPLES IN COMPUTABLE ANALYSIS arxiv:0905.4685v3 [math.lo] 16 Jul 2009 VASCO BRATTKA AND GUIDO GHERARDI Abstract. In this paper we study a new approach to classify mathematical
More informationOrdinal Ranks on the Baire and non-baire class functions. Takayuki Kihara
Ordinal Ranks on the Baire and non-baire class functions Takayuki Kihara Nagoya University, Japan Second Workshop on Mathematical Logic and its Applications, Kanazawa Mar 6th, 218 There are various notions
More informationAlgorithmically random closed sets and probability
Algorithmically random closed sets and probability Logan Axon January, 2009 University of Notre Dame Outline. 1. Martin-Löf randomness. 2. Previous approaches to random closed sets. 3. The space of closed
More informationChapter 8. General Countably Additive Set Functions. 8.1 Hahn Decomposition Theorem
Chapter 8 General Countably dditive Set Functions In Theorem 5.2.2 the reader saw that if f : X R is integrable on the measure space (X,, µ) then we can define a countably additive set function ν on by
More informationMATH 650. THE RADON-NIKODYM THEOREM
MATH 650. THE RADON-NIKODYM THEOREM This note presents two important theorems in Measure Theory, the Lebesgue Decomposition and Radon-Nikodym Theorem. They are not treated in the textbook. 1. Closed subspaces
More informationREVIEW OF ESSENTIAL MATH 346 TOPICS
REVIEW OF ESSENTIAL MATH 346 TOPICS 1. AXIOMATIC STRUCTURE OF R Doğan Çömez The real number system is a complete ordered field, i.e., it is a set R which is endowed with addition and multiplication operations
More informationProblem Set. Problem Set #1. Math 5322, Fall March 4, 2002 ANSWERS
Problem Set Problem Set #1 Math 5322, Fall 2001 March 4, 2002 ANSWRS i All of the problems are from Chapter 3 of the text. Problem 1. [Problem 2, page 88] If ν is a signed measure, is ν-null iff ν () 0.
More informationSummer Jump-Start Program for Analysis, 2012 Song-Ying Li. 1 Lecture 7: Equicontinuity and Series of functions
Summer Jump-Start Program for Analysis, 0 Song-Ying Li Lecture 7: Equicontinuity and Series of functions. Equicontinuity Definition. Let (X, d) be a metric space, K X and K is a compact subset of X. C(K)
More informationHILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define
HILBERT SPACES AND THE RADON-NIKODYM THEOREM STEVEN P. LALLEY 1. DEFINITIONS Definition 1. A real inner product space is a real vector space V together with a symmetric, bilinear, positive-definite mapping,
More informationParallel and Serial Jumps of Weak Weak König s Lemma
Parallel and Serial Jumps of Weak Weak König s Lemma Laurent Bienvenu, Rutger Kuyper To cite this version: Laurent Bienvenu, Rutger Kuyper. Parallel and Serial Jumps of Weak Weak König s Lemma. Computability
More informationAdvanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts. Tuesday, January 16th, 2018
NAME: Advanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts Tuesday, January 16th, 2018 Instructions 1. This exam consists of eight (8) problems
More informationThree 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
More informationNORMS ON SPACE OF MATRICES
NORMS ON SPACE OF MATRICES. Operator Norms on Space of linear maps Let A be an n n real matrix and x 0 be a vector in R n. We would like to use the Picard iteration method to solve for the following system
More informationMetric Spaces. DEF. If (X; d) is a metric space and E is a nonempty subset, then (E; d) is also a metric space, called a subspace of X:
Metric Spaces DEF. A metric space X or (X; d) is a nonempty set X together with a function d : X X! [0; 1) such that for all x; y; and z in X : 1. d (x; y) 0 with equality i x = y 2. d (x; y) = d (y; x)
More informationSingular Coverings and Non-Uniform Notions of Closed Set Computability
Electronic Notes in Theoretical Computer Science 202 (2008) 73 88 www.elsevier.com/locate/entcs Singular Coverings and Non-Uniform Notions of Closed Set Computability Stéphane Le Roux 1,3 Japan Advanced
More informationA List of Problems in Real Analysis
A List of Problems in Real Analysis W.Yessen & T.Ma December 3, 218 This document was first created by Will Yessen, who was a graduate student at UCI. Timmy Ma, who was also a graduate student at UCI,
More informationNotation. General. Notation Description See. Sets, Functions, and Spaces. a b & a b The minimum and the maximum of a and b
Notation General Notation Description See a b & a b The minimum and the maximum of a and b a + & a f S u The non-negative part, a 0, and non-positive part, (a 0) of a R The restriction of the function
More informationAN INTRODUCTION TO GEOMETRIC MEASURE THEORY AND AN APPLICATION TO MINIMAL SURFACES ( DRAFT DOCUMENT) Academic Year 2016/17 Francesco Serra Cassano
AN INTRODUCTION TO GEOMETRIC MEASURE THEORY AND AN APPLICATION TO MINIMAL SURFACES ( DRAFT DOCUMENT) Academic Year 2016/17 Francesco Serra Cassano Contents I. Recalls and complements of measure theory.
More information1 Lecture 4: Set topology on metric spaces, 8/17/2012
Summer Jump-Start Program for Analysis, 01 Song-Ying Li 1 Lecture : Set topology on metric spaces, 8/17/01 Definition 1.1. Let (X, d) be a metric space; E is a subset of X. Then: (i) x E is an interior
More informationLebesgue-Radon-Nikodym Theorem
Lebesgue-Radon-Nikodym Theorem Matt Rosenzweig 1 Lebesgue-Radon-Nikodym Theorem In what follows, (, A) will denote a measurable space. We begin with a review of signed measures. 1.1 Signed Measures Definition
More informationRANDOMNESS AND NON-ERGODIC SYSTEMS
RANDOMNESS AND NON-ERGODIC SYSTEMS JOHANNA N.Y. FRANKLIN AND HENRY TOWSNER Abstract. We characterize the points that satisfy Birhoff s ergodic theorem under certain computability conditions in terms of
More informationBOUNDED VARIATION AND THE STRENGTH OF HELLY S SELECTION THEOREM
Logical Methods in Computer Science Vol. 1(4:16)214, pp. 1 23 www.lmcs-online.org Submitted Nov. 6, 213 Published Dec. 24, 214 BOUNDED VARIATION AND THE STRENGTH OF HELLY S SELECTION THEOREM ALEXANDER
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
More informationCHAPTER 6. Differentiation
CHPTER 6 Differentiation The generalization from elementary calculus of differentiation in measure theory is less obvious than that of integration, and the methods of treating it are somewhat involved.
More informationI. ANALYSIS; PROBABILITY
ma414l1.tex Lecture 1. 12.1.2012 I. NLYSIS; PROBBILITY 1. Lebesgue Measure and Integral We recall Lebesgue measure (M411 Probability and Measure) λ: defined on intervals (a, b] by λ((a, b]) := b a (so
More informationReal Analysis Chapter 3 Solutions Jonathan Conder. ν(f n ) = lim
. Suppose ( n ) n is an increasing sequence in M. For each n N define F n : n \ n (with 0 : ). Clearly ν( n n ) ν( nf n ) ν(f n ) lim n If ( n ) n is a decreasing sequence in M and ν( )
More informationFUNDAMENTALS OF REAL ANALYSIS
ÜO i FUNDAMENTALS OF REAL ANALYSIS James Foran University of Missouri Kansas City, Missouri Marcel Dekker, Inc. New York * Basel - Hong Kong Preface iii 1.1 Basic Definitions and Background Material 1
More informationarxiv: v1 [cs.lo] 22 Aug 2014
The Descriptive Theory of Represented Spaces Arno Pauly Clare College University of Cambridge, United Kingdom Arno.Pauly@cl.cam.ac.uk arxiv:1408.5329v1 [cs.lo] 22 Aug 2014 This is a survey on the ongoing
More informationNAME: MATH 172: Lebesgue Integration and Fourier Analysis (winter 2012) Final exam. Wednesday, March 21, time: 2.5h
NAME: SOLUTION problem # 1 2 3 4 5 6 7 8 9 points max 15 20 10 15 10 10 10 10 10 110 MATH 172: Lebesgue Integration and Fourier Analysis (winter 2012 Final exam Wednesday, March 21, 2012 time: 2.5h Please
More informationCones of measures. Tatiana Toro. University of Washington. Quantitative and Computational Aspects of Metric Geometry
Cones of measures Tatiana Toro University of Washington Quantitative and Computational Aspects of Metric Geometry Based on joint work with C. Kenig and D. Preiss Tatiana Toro (University of Washington)
More informationDifferentiation of Measures and Functions
Chapter 6 Differentiation of Measures and Functions This chapter is concerned with the differentiation theory of Radon measures. In the first two sections we introduce the Radon measures and discuss two
More informationx 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
More informationCHARACTERIZATION OF SOBOLEV AND BV SPACES. by Daniel Spector M.S. Mathematics, Carnegie Mellon, 2009
CHARACTERIZATION OF SOBOLEV AND BV SPACES by Daniel Spector M.S. Mathematics, Carnegie Mellon, 2009 Submitted to the Graduate Faculty of the Department of Mathematics in partial fulfillment of the reuirements
More informationThe Metamathematics of Randomness
The Metamathematics of Randomness Jan Reimann January 26, 2007 (Original) Motivation Effective extraction of randomness In my PhD-thesis I studied the computational power of reals effectively random for
More informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
More informationarxiv: v2 [math.ds] 14 Apr 2011
arxiv:1101.0833v2 [math.ds] 14 Apr 2011 Dynamical systems, simulation, abstract computation. Stefano Galatolo Mathieu Hoyrup Cristóbal Rojas November 2, 2018 Abstract We survey an area of recent development,
More informationRandomness and Halting Probabilities
Randomness and Halting Probabilities Verónica Becher vbecher@dc.uba.ar Santiago Figueira sfigueir@dc.uba.ar Joseph S. Miller joseph.miller@math.uconn.edu February 15, 2006 Serge Grigorieff seg@liafa.jussieu.fr
More informationPartial Solutions to Folland s Real Analysis: Part I
Partial Solutions to Folland s Real Analysis: Part I (Assigned Problems from MAT1000: Real Analysis I) Jonathan Mostovoy - 1002142665 University of Toronto January 20, 2018 Contents 1 Chapter 1 3 1.1 Folland
More informationSubsequences and the Bolzano-Weierstrass Theorem
Subsequences and the Bolzano-Weierstrass Theorem A subsequence of a sequence x n ) n N is a particular sequence whose terms are selected among those of the mother sequence x n ) n N The study of subsequences
More informationProhorov s theorem. Bengt Ringnér. October 26, 2008
Prohorov s theorem Bengt Ringnér October 26, 2008 1 The theorem Definition 1 A set Π of probability measures defined on the Borel sets of a topological space is called tight if, for each ε > 0, there is
More informationLEBESGUE MEASURE, INTEGRAL, MEASURE THEORY: A QUICK INTRO
LEBEGUE MEAURE, INTEGRAL, MEAURE THEORY: A QUICK INTRO This note is meant to give an overview of some general constructions and results, certainly not meant to be complete, but with your knowledge of Riemann
More informationClass Notes for Math 921/922: Real Analysis, Instructor Mikil Foss
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Math Department: Class Notes and Learning Materials Mathematics, Department of 200 Class Notes for Math 92/922: Real Analysis,
More informationComputability, Complexity and Randomness 2016
Computability, Complexity and Randomness 2016 Permutations of the integers do not induce nontrivial automorphisms of the Turing degrees Bjørn Kjos-Hanssen June 25, 2015 Computability, Complexity and Randomness,
More informationMEASURE AND INTEGRATION: LECTURE 18
MEASURE AND INTEGRATION: LECTURE 18 Fubini s theorem Notation. Let l and m be positive integers, and n = l + m. Write as the Cartesian product = +. We will write points in as z ; x ; y ; z = (x, y). If
More informationarxiv: v2 [math.lo] 1 May 2013
VAN LAMBALGEN S THEOREM FOR UNIFORMLY RELATIVE SCHNORR AND COMPUTABLE RANDOMNESS arxiv:1209.5478v2 [math.lo] 1 May 2013 KENSHI MIYABE AND JASON RUTE Abstract. We correct Miyabe s proof of van Lambalgen
More informationChapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ =
Chapter 6. Integration 1. Integrals of Nonnegative Functions Let (, S, µ) be a measure space. We denote by L + the set of all measurable functions from to [0, ]. Let φ be a simple function in L +. Suppose
More informationThe descriptive set theory of the Lebesgue density theorem. joint with A. Andretta
The descriptive set theory of the Lebesgue density theorem joint with A. Andretta The density function Let (X, d, µ) be a Polish metric space endowed with a Borel probability measure giving positive measures
More informationExamples of Dual Spaces from Measure Theory
Chapter 9 Examples of Dual Spaces from Measure Theory We have seen that L (, A, µ) is a Banach space for any measure space (, A, µ). We will extend that concept in the following section to identify an
More informationAn introduction to Geometric Measure Theory Part 2: Hausdorff measure
An introduction to Geometric Measure Theory Part 2: Hausdorff measure Toby O Neil, 10 October 2016 TCON (Open University) An introduction to GMT, part 2 10 October 2016 1 / 40 Last week... Discussed several
More informationII - 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
More informationMeasure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond
Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................
More informationarxiv: v2 [math.lo] 18 May 2011
RANDOMNESS AND DIFFERENTIABILITY VASCO BRATTKA, JOSEPH S. MILLER, AND ANDRÉ NIES arxiv:1104.4465v2 [math.lo] 18 May 2011 Abstract. We characterize some major algorithmic randomness notions via differentiability
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationChapter 4. The dominated convergence theorem and applications
Chapter 4. The dominated convergence theorem and applications The Monotone Covergence theorem is one of a number of key theorems alllowing one to exchange limits and [Lebesgue] integrals (or derivatives
More informationSOME PROBLEMS IN REAL ANALYSIS.
SOME PROBLEMS IN REAL ANALYSIS. Prepared by SULEYMAN ULUSOY PROBLEM 1. (1 points) Suppose f n : X [, ] is measurable for n = 1, 2, 3,...; f 1 f 2 f 3... ; f n (x) f(x) as n, for every x X. a)give a counterexample
More informationDynkin (λ-) and π-systems; monotone classes of sets, and of functions with some examples of application (mainly of a probabilistic flavor)
Dynkin (λ-) and π-systems; monotone classes of sets, and of functions with some examples of application (mainly of a probabilistic flavor) Matija Vidmar February 7, 2018 1 Dynkin and π-systems Some basic
More informationChapter 1. Vector Measures. 1.1 Elementary properties
Chapter Vector Measures In this chapter we present a survey of known results about vector measures. For the convenience of the readers some of the results are given with proofs, but neither results nor
More informationAliprantis, Border: Infinite-dimensional Analysis A Hitchhiker s Guide
aliprantis.tex May 10, 2011 Aliprantis, Border: Infinite-dimensional Analysis A Hitchhiker s Guide Notes from [AB2]. 1 Odds and Ends 2 Topology 2.1 Topological spaces Example. (2.2) A semimetric = triangle
More information