The optimal differentiation basis and liftings of

Authors:
Jürgen Bliedtner and Peter A. Loeb

Journal:
Trans. Amer. Math. Soc. **352** (2000), 4693-4710

MSC (1991):
Primary 28A15; Secondary 28A51, 26E35, 31C40, 54B99.

DOI:
https://doi.org/10.1090/S0002-9947-00-02615-5

Published electronically:
April 21, 2000

MathSciNet review:
1709771

Full-text PDF

Abstract | References | Similar Articles | Additional Information

There is an optimal way to differentiate measures when given a consistent choice of where zero limits must occur. The appropriate differentiation basis is formed following the pattern of an earlier construction by the authors of an optimal approach system for producing boundary limits in potential theory. Applications include the existence of Lebesgue points, approximate continuity, and liftings for the space of bounded measurable functions - all aspects of the fact that for every point outside a set of measure , a given integrable function has small variation on a set that is ``big'' near the point. This fact is illuminated here by the replacement of each measurable set with the collection of points where the set is ``big'', using a classical base operator. Properties of such operators and of the topologies they generate, e.g., the density and fine topologies, are recalled and extended along the way. Topological considerations are simplified using an extension of base operators from algebras of sets on which they are initially defined to the full power set of the underlying space.

**1.**J. Bliedtner and W. Hansen,*Potential Theory. An Analytic and Probabilistic Approach to Balayage,*Springer-Verlag, Berlin, 1986. MR**88b:31002****2.**J. Bliedtner and P. A. Loeb, A measure-theoretic boundary limit theorem,*Archiv der Math*.**43**(1984), 373-376. MR**86m:31013****3.**________, A reduction technique for limit theorems in analysis and probability theory,*Arkiv för Mat.***30**(1992), 25-43. MR**93k:28005****4.**________, Best filters for the general Fatou boundary limit theorem,*Proc. Amer. Math. Soc.,***123**(1995), 459-463. MR**95c:31005****5.**____________, Sturdy harmonic functions and their integral representations, preprint.**6.**A. S. Besicovitch, A general form of the covering principle and relative differentiation of additive functions (I), (II),*Proc. Cambridge Phil. Soc.***41**(1945), 103-110,**42**(1946), 1-10,**43**(1947), 590. MR**7:10e**; MR**7:281e**; MR**9:18c****7.**B. Eifrig, Ein Nicht-standard-Beweis für die Existenz eines starken Liftings in ,*Contributions to Non-Standard Analysis*, edited by W. A. J. Luxemburg and A. Robinson, North-Holland, 1972, 81-83. MR**58:28420****8.**_______, Ein Nicht-Standard-Beweis für die Existenz eines Liftings,*Measure Theory Oberwolfach 1975*, ed A. Bellow, Springer-Verlag Lecture Notes in Mathematics 541, Berlin, 1976, 133-135. MR**56:1060****9.**G. B. Folland, Real Analysis, John Wiley & Sons, New York 1984. MR**86k:28001****10.**B. Fuglede, Remarks on fine continuity and the base operation in potential theory,*Math Ann.*,**210**(1974), 207-212. MR**50:10293a****11.**Z. Füredi and P. A. Loeb, On the best constant for the Besicovitch covering theorem,*Proc. Amer. Math. Soc.*,**121**(1994), 1063-1073. MR**95b:28003****12.**S. Graf and H. von Weizsäcker, On the existence of lower densities in noncomplete measure spaces,*Measure Theory Oberwolfach 1975*, ed A. Bellow, Springer-Verlag Lecture Notes in Mathematics 541, Berlin, 1976, 133-135. MR**56:9261****13.**A. E. Hurd and P. A. Loeb,*An Introduction to Nonstandard Real Analysis*, Academic Press Series on Pure and Applied Mathematics, 1985. MR**87d:03184****14.**A. Ionescu-Tulcea and C. Ionescu-Tulcea,*Topics in the theory of lifting*, Springer-Verlag, New York, 1969. MR**43:2185****15.**P. A. Loeb, Opening the covering theorems of Besicovitch and Morse,*Mathematica Moravica*, Special Volume 1997, Proceedings of the 1995 International Workshop in Analysis and its Applications, 3-11.**16.**J. Lukes, J. Malý, L. Zajícek,*Fine Topological Methods in Real Analysis and Potential Theory*, Springer-Verlag Lecture Notes in Mathematics 1189, 1986. MR**89b:31001****17.**W. A. J. Luxemburg, A remark on the Cantor-Lebesgue Lemma, in*Contributions to Non-Standard Analysis*, edited by W. A. J. Luxemburg and A. Robinson, North-Holland, 1972, 41-46. MR**57:10341****18.**F. Wattenberg, Nonstandard Measure Theory: Avoiding Pathological Sets,*Trans. Amer. Math. Soc*.,**250**(1979), 357-368. MR**80h:03095**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (1991):
28A15,
28A51,
26E35,
31C40,
54B99.

Retrieve articles in all journals with MSC (1991): 28A15, 28A51, 26E35, 31C40, 54B99.

Additional Information

**Jürgen Bliedtner**

Affiliation:
Fachbereich Mathematik, Universität Frankfurt, Robert-Mayer-Str. 6-8, D-60054, Frankfurt/M, Germany

Email:
bliedtne@math.uni-frankfurt.de

**Peter A. Loeb**

Affiliation:
Department of Mathematics, University of Illinois, 1409 West Green St., Urbana, Illinois 61801

Email:
loeb@math.uiuc.edu

DOI:
https://doi.org/10.1090/S0002-9947-00-02615-5

Keywords:
Differentiation basis,
Lebesgue point,
base operator,
density topology,
monad,
lifting.

Received by editor(s):
April 2, 1998

Received by editor(s) in revised form:
April 23, 1999

Published electronically:
April 21, 2000

Additional Notes:
The work of both authors was supported in part by NSF Grant DMS 96-22474.

Article copyright:
© Copyright 2000
American Mathematical Society