Open AccessThe optimal differentiation basis and liftings of 𝐿^{∞}
Author(s) -
Jürgen Bliedtner,
Peter A. Loeb
Publication year - 2000
Publication title -
transactions of the american mathematical society
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.798
H-Index - 100
eISSN - 1088-6850
pISSN - 0002-9947
DOI - 10.1090/s0002-9947-00-02615-5
Subject(s) - mathematics , base (topology) , operator (biology) , set (abstract data type) , semantics (computer science) , bounded function , set function , type (biology) , bounded variation , measure (data warehouse) , boundary (topology) , lebesgue measure , function (biology) , point (geometry) , basis (linear algebra) , discrete mathematics , algorithm , lebesgue integration , computer science , mathematical analysis , database , geometry , ecology , biochemistry , chemistry , repressor , evolutionary biology , biology , transcription factor , gene , programming language
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 0 0 , 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.