That function will be lebesgue measurable but have nonmeasurable range. It is a notorious counterexample in analysis, because it challenges naive intuitions about continuity, derivative, and measure. The riemann lebesgue lemma and the cantor lebesgue theorem. Measurable sets, non measurable sets, and the axiom of choice. We can now define a more general version of a lebesgue integral for lebesgue measurable functions. We will use the cantorlebesgue function to derive some interesting insights into the behavior of measurable sets under continuous functions. To get a reasonable theory that includes such fourier series, cantor, dedekind, fourier, lebesgue, etc. Lecture notes in real analysis lewis bowen university of texas at austin december 8, 2014 contents 1 outer measure and measurable sets 3 2 measures and measurable sets 4 3 cantor sets and the cantor lebesgue function 5 4 measurable functions 5 5 borel functions tangential and optional 7 6 semicontinuity tangential 8 7 littlewoods 3. Since the cantor set c has lebesgue measure zero, and ever subsey t o af set of lebesgue measure zero is lebesgue measurable with measure zero. Instead of using the areas of rectangles, which put the focus on the domain of the function, lebesgue looked at the codomain of the function for his fundamental unit of area. The cantor set and the cantorlebesgue function proofs of. On cantor like sets and cantorlebesgue singular functions. In this chapter, we will consider functions from x to ir, where ir. In general, a continuous function need not map a measurable set onto a measurable set.
In mathematics, the cantor function is an example of a function that is continuous, but not absolutely continuous. A cantor lebesgue theorem in two dimensions1 roger cooke abstract. In general a continuous function need not map a measurable set onto a measurable set. What is the fourier transform of the cantor lebesgue function. In mathematics, something is said to be \pathological if it is. To construct the cantor function, we create a uniformly cauchy sequence of continuous increasing functions, where fm is a piecewise function which is always 0 at 0 and 1 at 1, linear on the cantor set, and has values of fmx2k. We use the cantorlebesgue function to show there are measurable sets which are not borel. It introduces some important tools from analysis which there wasnt time to cover in mas221. A sigma algebra sis a collections of subsets of r such that 1. Based on the structure of open sets described in theorem 2, the measure mu of an open set ucan be interpreted as simply the sum of the lengths of the components of u.
The cantor set and the cantorlebesgue function note. Definition of lebesgue measurable for sets with finite outer measure remove restriction of finite outer measure rn, l, lambda is a measure space, i. I and is the interval removed n,k in,k k th from 0. Show that f is wellde ned and continuous on c, and moreover f0 0 as well as f1 1. We recall the definitions of the ternary cantor function g and cantor set c.
Measurable functions sequences of measurable functions approximating measurable functions almost uniform convergence lebesgue measurable functions lebesgue measure and integration wiley online library. For example the sequence whose nth term is 1n fails to. In the mathematical theory of probability, we confine our study to a probability measure. A userfriendly introduction to lebesgue measure and integration. The cantor function f generates a measure f which assigns the measure 1 to the cantor set, which has lebesgue. Lebesgue invented a new method of integration to solve this problem. Selected problems in real analysis with solutions dr nikolai chernov contents 1 lebesgue measure 1 2 measurable functions 4 3 lebesgue integral.
Existence of a nonmeasurable set for the lebesgue outer measure is shown by the axiom of choice. Since the spring semester of 2011, i have decided to circumvent the discussion of step functions, proceeding directly by. When we are dealing only with intervals, the lebesgue measure coincides with the usual concept of length. The lebesgue integral this part of the course, on lebesgue integration, has evolved the most. In general, for any z cantor function turned on its side, with the width of the steps getting wider as z approaches zero. As mentioned above, the cantor function is also the cumulative distribution function of a measure on the cantor set. Observe that it takes the same nonzero value at all the powers of 3, and conclude. With more work one can show that the measurable sets form a. Thus, for each interval in the partition, rather than asking for the value of the function between the end points of the interval in the domain, he asked. The cantor ternary function also called devils staircase and, rarely, lebesgue s singular function. It also introduces compensators of counting processes. There are also some discussion on lebesgue measure, which establish the lebesgue integral. The supplement to this section gives these results based on cardinality arguments. A set is lebesgue measurable if it is almost a borel set.
We assume convergence almost everywhere rather than merely on a set of positive measure. An outer measure has a proper measure theory on measurable sets. Measurable sets, nonmeasurable sets, and the axiom of choice. Proving that the space of measurable sets forms a algebra containing the borel sets. There are many ways to construct lebesgue measure, all of which lead to the same. Lebesgue measurable functions lebesgue measure and. The dirac measure is obtained by taking f equal to the heaviside step function. In, georg cantor was working on extensions of the fundamental theorem of calculus to the case of discontinuous functions and g serves as a counterexample to some harnacks affirmation about such extensions. R are borel measurable and functions that are equal a. We want to follow the idea of riemann sums and introduce the idea of a lebesgue sum of rectangles whose heights are determined by a function and whose base is determined by the measure of a set. Structure of measurable sets 3 corollary 3 every open subset of r is lebesgue measurable.
A userfriendly introduction to lebesgue measure and. Lebesgue integration on r university of washington. Introduction pathological is an oft used word in the mathematical community, and in that context it has quite a di erent meaning than in everyday usage. Cantor set, measurable set, borel set, borel measure and. If the terms of a trigonometric series tend to zero at each point of a set and if the smallest additive group containing that set has positive outer lebesgue measure, then the coefficients of that series tend to zero. A userfriendly introduction to lebesgue measure and integration gail s. In problem 23, you can check that it makes sense when f is nonnegative and simple. Lebesgue s idea was to first define measure, for both sets and functions on those sets. Lecture notes measure and integration mathematics mit. Hx 0 for x measure assigns the measure 1 to any set containing the origin, and 0 to all other sets. Lebesgue measure and the cantor set jason baker, kyle henke, michael sanchez. The cantor set and the cantor function tma4225 foundations of analysis clouds are not spheres, mountains are not cones, coastlines are not circles, and bark is not smooth, nor does lightning travel in a straight line. Though it is continuous everywhere and has zero derivative almost everywhere, its value still goes from 0 to 1 as its argument reaches from 0 to 1.
Lecture notes in real analysis lewis bowen university of texas at austin december 8, 2014 contents 1 outer measure and measurable sets 3 2 measures and measurable sets 4 3 cantor sets and the cantorlebesgue function 5 4 measurable functions 5 5 borel functions tangential and optional 7 6 semicontinuity tangential 8 7 littlewoods 3. The lebesgue integral for lebesgue measurable functions. Unfortunately this is not true, but it is true for the socalled lebesgue measurable sets. Show that a function f is absolutely continuous on a, b if and. We prove a partial extension of the classical result of cantor and lebesgue to two dimensions, for circular summation of trigonometric series.
The interesting details from the early history of the cantor set and. This result generalizes the well known cantor lebesgue theorem. Pallara, functions of bounded variations and free discontinuity problems. So far we have defined the lebesgue integral for the following collections of functions. On cantorlike sets and cantorlebesgue singular functions. A lebesguemeasurable set can be squeezed between a containing g. The riemann integral turns out to be inadequate for these purposes, so a new notion of integration must be invented. The riemannlebesgue lemma and the cantorlebesgue theorem. Initially i followed the book of debnaith and mikusinski, completing the space of step functions on the line under the l1 norm. Lebesgue measure is both locally finite and inner regular, and so it is a radon measure. The approach which uses step functions is the one used in. Cantor ternary function encyclopedia of mathematics. Of course there is no guarantee that i af makes sense and this needs checking at each stage.
We will construct an important function in this section through an iterative procedure that is related to. Note, however, that an open set may have in nitely many components, and. The cantorlebesgue function is the prototypical example of a singular function. Aug 09, 2015 our goal for today is to construct a lebesgue measurable set which is not a borel set. Caratheodory criterion cantor set there exist many lebesgue measurable sets which are not borel measurable. Pdf lebesgue measure of generalized cantor set researchgate. Measurable functions, and the fourstep construction of the lebesgue integral. Because ever sey t o positivf e lebesgue measure contains a non measurable set appendix b, fc contains a nonmeasurable set af. Chapter 2 measurable functions university of sheffield. R is locally integrable if it is lebesgue measurable and z k jfjdx cantor set and cantor function can be found in flerons note 28. The cantor function g was defined in cantor s paper dated november 1883, the first known appearance of this function. Suppose g is a rightcontinuous, nondecreasing step func.
665 223 157 544 1328 450 856 1544 752 189 1446 1589 958 1254 330 670 1511 455 393 37 1558 11 1562 1145 390 547 2 639 54 84