Beyond Lebesgue and Baire II: Bitopology and measure-category duality
We re-examine measure-category duality by a bitopological approach, using both the Euclidean and the density topologies of the line. We give a topological result (on convergence of homeomorphisms to the identity) obtaining as a corollary results on infinitary combinatorics due to Kestelman and to Borwein and Ditor. We hence give a unified proof of the measure and category cases of the Uniform Convergence Theorem for slowly varying functions. We also extend results on very slowly varying functions...