Bitopology and measurecategory duality


 Buddy Lamb
 3 months ago
 Views:
Transcription
1 Bitopology and measurecategory duality N. H. Bingham Mathematics Department, Imperial College London, South Kensington, London SW7 2AZ A. J. Ostaszewski Mathematics Department, London School of Economics, Houghton Street, London WC2A 2AE October 2008 BOstCDAM11rev.tex In memoriam Caspar Go man ( ) CDAM Research Report LSECDAM (revised) Abstract We reexamine measurecategory duality by a bitopological approach, using both the Euclidean and the density toplologies of the line. We give a topological result (on convergence of homeomorphisms to the identity) obtaining as a corollary results on in nitary combinatorics due to Kestelman and to Borwein and Ditor. As a byproduct we give a uni ed proof of the measure and category cases of Uniform Convergence Theorem for slowly varying functions. Classi cation: 26A03 Keywords: measure, category, measurecategory duality, Baire space, Baire property, Baire category theorem, density topology. 1
2 1 Introduction In a topological space one has one space and one topology. One often needs to have one space and two comparable topologies, one stronger and one weaker (as in functional analysis, where one may have the strong and weak topologies in play, or the weak and weakstar topologies). The resulting setting is that of a bitopological space, formalized in this language by Kelly [Kel]. Measurecategory duality is the theme of the wellknown book by Oxtoby [Oxt]. Here one has on the one hand measurable sets or functions, and small sets are null sets (sets of measure zero), and on the other hand sets or functions with the Baire property (brie y, Baire sets or functions), where small sets are meagre sets (sets of the rst category). In some situations, one has a dual theory, which has a measuretheoretic formulation on the one hand and a topological (or Baire) formulation on the other. We present here as a unifying theme the use of two topologies, each of which gives one of the two cases. Our starting point is the density topology (introduced in [HauPau], [GoWa], [Mar] and studied also in [GNN] see also [CLO], and for textbook treatments [Kech], [LMZ]). Recall that for T measurable, t is a (metric) density point of T if lim!0 jt \ I (t)j= = 1; where I (t) = (t =2; t + =2). By the Lebesgue Density Theorem almost all points of T are density points ([Hal] Section 61, [Oxt] Th. 3.20, or [Go ]). A set U is dopen (open in the density topology) if each of its points is a density point of U: We mention three properties: (i) The density topology (dtopology) is ner than (contains) the Euclidean topology ([Kech], 17.47(ii)). (ii) A set is Baire in the density topology i it is (Lebesgue) measurable ([Kech], 17.47(iv)). (iii) A function is dcontinuous i it is approximately continuous in Denjoy s sense ([Den]; [LMZ], p.1, 149). The reader unfamiliar with the density topology may nd it helpful to think, in the style of Littlewood s First Principle, of basic opens sets as being intervals less some measurable set. See [Lit] Ch. 4, [Roy] Section 3.6 p.72. Both measurability and the Baire property have been used as regularity conditions, to exclude pathological situations. A classic instance is that of additive functions, satisfying the Cauchy functional equation f(x + y) = f(x) + f(y). Such functions are either very good continuous, and so linear, f(x) = cx for some c or very bad (one can construct such functions from 2
3 Hamel bases, so this is called the Hamel pathology); see [BOstSteinOstr] for details. Another, related instance is that of the theory of regular variation [BGT], where each may be used as a regularity condition to prove the basic result of the theory, the Uniform Convergence Theorem (UCT). In such situations, the theory is usually developed in parallel, with the measure case regarded as primary and the Baire case as secondary. Here, we develop the two cases together. Our new viewpoint gives the interesting insight that it is in fact the Baire case that is the primary one. In Section 2 below we give our main result, the Category Embedding Theorem (CET); the natural setting is a Baire space, i.e. a topological space in which the Baire Category Theorem holds (see e.g. [Eng] 3.9): R is a Baire space under both the Euclidean and density topologies. In Section 3 we give our uni ed treatment of the UCT. We close in Section 4 with some remarks. 2 Category Embedding Theorem (CET) The three results of this section (or four, as Theorem 3 below has two cases) develop a new aspect of measurecategory duality. This has powerful applications: see Section 3 below for the Uniform Convergence Theorem (UCT) of regular variation, [BOst5] for subadditive functions, [BOst10] for homotopy versions, and [BOstSteinOstr] for applications to classical theorems of Steinhaus and Ostrowski. The topological Theorem 1 below is a topological version of the Kestelman BorweinDitor (KBD) Theorem given at the end of this section (see also [BOst1], [BOst10], [BOstSteinOstr]). The latter is a (homeomorphic) embedding theorem (see e.g. [Eng] p. 67); Trautner uses the term covering principle in [Trau]. We need the following de nition. De nition (weak category convergence). A sequence of homeomorphisms h n satis es the weak category convergence condition (wcc) if: For any nonempty open set U; there is an nonempty open set V U such that, for each k 2!; \ V nhn 1 (V ) is meagre. (wcc) nk Equivalently, for each k 2!; there is a meagre set M such that, for t =2 M; t 2 V =) (9n k) h n (t) 2 V: 3
4 We will see below in Theorem 2 that this is a weak form of convergence to the identity and indeed Theorems 3E and D verify that, for z n! 0; the homeomorphisms h n (x) := x + z n satisfy (wcc) in the Euclidean and in the density topologies. However, it is not true that h n (x) converges to the identity pointwise in the sense of the density topology; furthermore, whereas addition (a twoargument operation) is not dcontinuous (see [HePo]), translation (a oneargument operation) is. We write quasi all for all o a meagre set and, for P a set of reals (or property) that is measurable/baire, we say that P holds for generically all t to mean that ft : t =2 P g is null/meagre. Theorem 1 (Category Embedding Theorem, CET). Let X be a Baire space. Suppose given homeomorphisms h n : X! X for which the weak category convergence condition (wcc) is met. Then, for any nonmeagre Baire set T; for quasi all t 2 T; there is an in nite set M t such that fh m (t) : m 2 M t g T: Proof. Suppose T is Baire and nonmeagre. We may assume that T = UnM with U nonempty and M meagre. Let V U satisfy (wcc). Since the functions h n are homeomorphisms, the set M 0 := M [ [ n hn 1 (M) is meagre. Put W = h(v ) := \ k2! [ nk Then V \ W is comeagre in V: Indeed V nw = [ \ k2! nk V \ h 1 n (V ) V U: V nh 1 n (V ); which by assumption is meagre. Let t 2 V \ W nm 0 so that t 2 T: Now there exists an in nite set M t such that, for m 2 M t, there are points v m 2 V with t = hm 1 (v m ): Since hm 1 (v m ) = t =2 hm 1 (M); we have v m =2 M; and hence v m 2 T: Thus fh m (t) : m 2 M t g T for t in a comeagre set, as asserted. Clearly the result relativizes to any open subset of T on which T is nonmeagre; that is, the embedding property is a local one. The following 4
5 lemma sheds some light on the signi cance of the category convergence condition (wcc). The result is capable of improvement, for instance by replacing the countable family generating the coarser topology by a discrete family (which is then metrizable by Bing s Theorem, given regularity assumptions see [Eng] Th ). Theorem 2 (Convergence to the identity). Assume that the homeomorphisms h n : X! X satisfy the weak category convergence condition (wcc) and that X is a Baire space. Suppose there is a countable family B of open subsets of X which generates a (coarser) Hausdor topology on X: Then, for quasi all (under the original topology) t; there is an in nite N t such that lim h m (t) = t: m2n t Proof. For U in the countable base B of the coarser topology and for k 2! select open V k (U) so that M k (U) := T nk V k(u)nhn 1 (V k (U)) is meagre. Thus M := [ [ M k (U) k2! U2B is meagre. Now B t = fu 2 B : t 2 Ug is a basis for the neighbourhoods of t: But, for t 2 V k (U)nM; we have t 2 hm 1 (V k (U)) for some m = m k (t) k; i.e. h m (t) 2 V k (U) U: Thus h mk (t)(t)! t; for all t =2 M: We now deduce the category and measure cases of the KestelmanBorwein Ditor Theorem (stated below) as two corollaries of the above theorem by applying it rst to the usual and then to the density topology on the reals, R. For our rst application we take X = R with the usual Euclidean topology, a Baire space. We let z n! 0 be a null sequence. It is convenient to take h n (x) = x z n ; so that hn 1 (x) = x + z n : This is a homeomorphism. We verify (wcc). If U is nonempty and open, let V = (a; b) be any interval contained in U. For later use we identify our result thus (with E here for Euclidean and D below for density). Theorem 3E (Translation Theorem E). Let V be an open interval. For any null sequence fz n g! 0 and each k 2!; H k = \ nk V n(v + z n ) is empty. 5
6 Proof. Assume rst that the null sequence is positive. Then, for all n so large that a + z n < b; we have V \ h 1 n (V ) = (a; a + z n ); and so, for any k 2!; \ nk V nhn 1 (V ) is empty. The same argument applies if the null sequence is negative, but with the endpoints exchanged. For our second application we enrich the topology of R, retaining the functions h n. We consider instead the density topology. This is translationinvariant, and so each h n continues to be a homeomorphism. The intervals remain open. A set is dnowhere dense i it is measurable and null. Lemma. R under the density topology is a Baire space. Proof. Let U be a nonempty dopen set. Suppose that A n is a sequence of sets dnowhere dense in U. Since this means that each set A n has measure zero, their union has measure zero and so the complement in U is nonempty, since U has positive measure. To verify the weak category convergence of the sequence h n ; consider U nonempty and dopen; then consider any measurable nonnull V U; for instance V of the form U \ (a; b) for some nite interval. To verify (wcc) in relation to V; it now su ces to prove the following result, which is of independent interest (cf. Littlewood s First Principle, as above). Theorem 3D (Translation Theorem D). Let V be measurable and nonnull. For any null sequence fz n g! 0 and each k 2!; H k = \ nk V n(v + z n ) is of measure zero, so meagre in the dtopology. Proof. Suppose otherwise. Then for some k; jh k j > 0: Write H for H k : Since H V; we have, for n k; that ; = H \hn 1 (V ) = H \(V +z n ) and so a fortiori ; = H \(H +z n ): 6
7 Let u be a density point of H: Thus for some interval I (u) = (u =2; u+ =2) we have jh \ I (u)j > 3 4 : Let E = H\I (u): For any z n ; we have j(e+z n )\(I (u)+z n )j = jej > 3: 4 For 0 < z n < =4; we have j(e + z n )ni (u)j j(u + =2; u + 3=4)j =4: Put F = (E + z n ) \ I (u); then jf j > =2: But je [ F j = jej + jf j je \ F j je \ F j: So 4 2 jh \ (H + z n )j je \ F j 1 4 ; contradicting ; = H \ (H + z n ): This establishes the claim. An immediate rst corollary of the theorems above is the following result, due in this form in the measure case to Borwein and Ditor [BoDi], but already known much earlier albeit in somewhat weaker form by Kestelman ([Kes] Th. 3), and rediscovered by Trautner [Trau] (see [BGT] p. xix and footnote p. 10). Theorem (KestelmanBorweinDitor Theorem). Let fz n g! 0 be a null sequence of reals. If T is Lebesgue, nonnull/baire, nonmeagre, then for generically all t 2 T there is an in nite set M t such that ft + z m : m 2 M t g T: Furthermore, for any density point u of T, there is t 2 T arbitrarily close to u for which the above holds. 3 The Uniform Convergence Theorem A second corollary of our results is the fundamental theorem of regular variation below, the UCT. This has traditionally been proved in the measure and Baire cases separately (see [BGT] Section 1.2 for details and references). This raises the question of nding the minimal common generalization of the measurability and Baireproperty assumptions, an old question raised in [BGT] p. 11 and answered in [BOst4]. We content ourselves here with proving the two cases together. The brief proof, inspired by one due to Csiszár and Erd½os 7
8 [CsEr] (called the fourth proof in [BGT]), appeals only to the Kestelman BorweinDitor Theorem. That was discovered in [BOst1]; we quote it here for completeness shortened (indeed, from 3" to 2" ), and abstracted from a wider combinatorial context. For another proof, albeit for the measurable case only, see [Trau], where Trautner employs also a theorem of Egorov (cf. Littlewood s Third Principle, see [Lit] Ch. 4, [Roy] Section 3.6 and Problem 31, or [Hal] Section 55 p. 243). Recall (see [BGT]) that a function h : R! R is slowly varying (in additive notation) if for every sequence fx n g! 1 and each u 2 R lim n!1 h(u + x n) h(x n ) = 0: Theorem (Uniform Convergence Theorem). If h is slowly varying and measurable, or Baire, then uniformly in u on compacts: lim h(u + x n) h(x n ) = 0: n!1 Proof. Suppose otherwise. Then for some measurable/baire slowly varying function h and some " > 0; there is fu n g! u and fx n g! 1 such that Now, for each point y; we have jh(u n + x n ) h(x n )j 2": (1) lim n jh(y + x n ) h(x n )j = 0; so there is k = k(y) such that, for n k; jh(y + x n ) h(x n )j < ": For k 2!; de ne the measurable/baire set T k := \ nkfy : jh(y + u + x n ) h(x n )j < "g: Since ft k : k 2!g covers R, it follows that, for some k 2!; the set T k is nonnull/nonmeagre. Writing z n := u n u; we have, for some t 2 T k and for some in nite M t, that ft + z m : m 2 M t g T k : 8
9 Thus jh(t + u m + x m ) h(x m )j < ": Since u m + x m! 1; we have, for m large enough and in M t ; that jh(t + u m + x m ) h(u m + x m )j < ": The last two inequalities together imply, for m large enough and in M t, that jh(u m + x m ) h(x m )j jh(u m + x m ) h(t + u m + x m )j +jh(t + u m + x m ) h(x m )j < 2"; and this contradicts (1). 4 Remarks 1. Topology and category. Regular variation is a continuousvariable theory, and so refers to an uncountable setting. In general topology also, countability conditions may be used, but are not assumed in general. By contrast, roughly speaking, Baire category methods apply in that part of general topology in which some degree of countability is present (hence its a nity with measure theory, in which countability is intrinsic). That this su ces here e.g., in the proof of the UCT is a result of the use of proof by contradiction, in which we work with a sequence witnessing the supposed failure of the conclusion. See also [BGT], Section 1.9 for more on sequential aspects. 2. Qualitative and quantitative measure theory. When measurecategory duality applies, one passes from the Baire to the measure case by changing meagre/nonmeagre to null/nonnull. This is qualitative measure theory (where all that counts is whether measure is zero or positive), rather than quantitative measure theory, where the numerical value of measure counts. Quantitative measure theory is used in the rst proof of the UCT in [BGT] (p.67 due to Delange in 1955, [Del]). This is the only direct proof; the other proofs are indirect, by contradiction (see Remark 1 above). The place that quantitative measure theory is used here is in the proof of Theorem 3D, establishing the applicability of the CET to the density topology. It seems that some use of quantitative measure theory, somewhere, is needed here. 3. Other proofs of the UCT. Several other proofs of the UCT are given in [BGT]. The second, third (due to Matuszewska) and fourth (due to Csiszár 9
10 and Erd½os) are indirect, use qualitative measure theory, and have immediate category translations. The fth proof, due to Elliott, uses Egorov s theorem but covers the measure case only. A sixth proof, due to Trautner [Trau], also uses Egorov s theorem so again applies only to the measure case, cf. [Oxt] Chapter 8. (Trautner was unaware both of Kestelman s work and that of Borwein and Ditor.) Our (seventh) proof here is based on the fourth, and on the insights gained in our earlier papers, cited below. A further proof via the Bounded Equivalence Principle is given in [BOst1]. 4. Limitations of measurecategory duality. Measure and category are explored at textbook length in [Oxt]; see Ch. 19 for duality (including the SierpińskiErd½os Duality Principle under the Continuum Hypothesis), Ch. 17 (in ergodic theory, duality extends to some but not all forms of the Poincaré recurrence theorem) and Ch. 21 (in probability theory, duality extends as far as the zeroone law but not to the strong law of large numbers). Duality also fails to extend to the theory of random series [Kah]. For further limitations of duality, see [DoF], [Bart], [BGJS]. For Wilczyński s theory of a.e.convergence associated with ideals, see [PWW]. For a settheoretic explanation of the duality in regular variation in terms of forcing see [BOst1] Section 5, [Mil1] Section Convergence concepts. In the secondcountable case (wcc) implies a form of Ia.e. convergence to the identity, with I the ideal of meagre sets. See [PWW] for further information here. Note also the possibility of convergence down a subsubsequence of a given subsequence, as occurs in the notion of convergence with respect to I [PWW] in this connection see [Mil2] regarding circumstances (and their dependence on the Souslin Hypothesis) when the two modes of convergence relative to I are equivalent. The result just cited is the abstract form of the relationship between convergence in probability and almostsure convergence. The latter implies the former, but not conversely in general, although a sequence converging in probability has a subsequence converging almost surely. The former is metric, the latter not even topological in general (see [Dud] Section 9.2 Problem 2). But the latter reduces to the former in exceptional circumstances (when the measure space is purely atomic, when there are no nontrivial null sets); again, see [Mil2] and [WW]. 6. Regular variation and Tauberian theory. For a textbook account of the extensive applications of regular variation in Tauberian theory, see [Kor] Ch. IV (and also [BGT], Ch. 4,5). 10
11 References [Bart] [BGJS] [BGT] [BOst1] [BOst4] [BOst5] [BOst10] T. Bartoszyński, A note on duality between measure and category, Proc. Amer. Math. Soc. 128 (2000), (electronic). T. Bartoszyński, M. Goldstern, H. Judah and S. Shelah, All meagre lters may be null, Proc. Amer. Math. Soc. 117 (1993), N. H. Bingham, C.M. Goldie, J.L. Teugels, Regular variation, 2nd edition, Encycl. Math. Appl. 27, Cambridge University Press, Cambridge, 1989 (1st edition 1987). N. H. Bingham and A. J. Ostaszewski, In nite combinatorics and the foundations of regular variation, CDAM Research Report Series, LSECDAM N. H. Bingham and A. J. Ostaszewski, Beyond Lebesgue and Baire: generic regular variation, Colloquium Mathematicum, to appear (LSECDAM Report, LSECDAM ). N. H. Bingham and A. J. Ostaszewski, Generic subadditive functions, Proc. Amer Math. Soc. 136 (2008), N. H. Bingham and A. J. Ostaszewski, Homotopy and the Kestelman Borwein Ditor Theorem, Canadian Math. Bull., to appear, LSECDAM Report, LSECDAM [BOstSteinOstr] N. H. Bingham and A. J. Ostaszewski, In nite combinatorics and the theorems of Steinhaus and Ostrowski, LSE CDAM Report, LSECDAM (revised) [BoDi] [CLO] D. Borwein and S. Z. Ditor, Translates of sequences in sets of positive measure, Canadian Mathematical Bulletin 21 (1978) K. Ciesielski, L. Larson, K. Ostaszewski, Idensity continuous functions, Mem. Amer. Math. Soc. 107 (1994), no
12 [CsEr] I. Csiszár and P. Erd½os, On the function g(t) = lim sup x!1 (f(x + t) f(x)), Magyar Tud. Akad. Kut. Int. Közl. A 9 (1964) [Del] [Den] [DoF] [Dud] H. Delange, Sur un théorème de Karamata, Bull. Sci. Math. 79 (1955), A. Denjoy, Sur les fonctions dérivées sommable, Bull. Soc. Math. France 43 (1915), R. Dougherty and M. Foreman, BanachTarski decompositions using sets with the Baire property, J. Amer. Math. Soc. 7 (1994), R. M. Dudley, Real analysis and probability, Cambridge University Press 2002 (1st. ed. Wadsworth, 1989). [Eng] R. Engelking, General Topology, Heldermann Verlag, Berlin [Go ] C. Go man, On Lebesgue s density theorem, Proc. AMS 1 (1950), [GoWa] [GNN] C. Go man, D. Waterman, Approximately continuous transformations, Proc. Amer. Math. Soc. 12 (1961), C. Go man, C. J. Neugebauer and T. Nishiura, Density topology and approximate continuity, Duke Math. J [Hal] P. R. Halmos, Measure Theory, Van Nostrand, [HauPau] [HePo] O. Haupt and C. Pauc, La topologie approximative de Denjoy envisagée comme vraie topologie, Comptes Rendus. Acad. Sci. Paris 234 (1952), R.W. Heath, T. Poerio, Topological groups and semigroups on the reals with the density topology, Conference papers, Oxford 2006 (Conference in honour of Peter Collins and Mike Reed). 12
13 [Kah] [Kech] [Kel] [Kes] J.P. Kahane, Probabilities and Baire s theory in harmonic analysis, in: Twentieth Century Harmonic Analysis, A Celebration, editor: J. S. Byrnes, 5772, Kluwer, Netherlands, A. S. Kechris, Classical descriptive set theory, Graduate Texts in Mathematics 156, Springer, J. C. Kelly, Bitopological spaces, Proc. London. Math. Soc. 13 (1963) H. Kestelman, The convergent sequences belonging to a set, J. London Math. Soc. 22 (1947), [Kor] J. Korevaar, Tauberian Theory: A Century of Developments, Grundl. math. Wiss. vol. 329, SpringerVerlag, Berlin, [Lit] [LMZ] [Mar] J.E. Littlewood, Lectures on the theory of functions, Oxford University Press, J. Lukeš, J. Malý, L. Zajíµcek, Fine topology methods in real analysis and potential theory, Lecture Notes in Mathematics, 1189, Springer, N.F.G. Martin, A topology for certain measure spaces, Trans. Amer. Math. Soc. 112 (1964) [Mil1] A.W. Miller, In nite combinatorics and de nability, Ann. of Pure and Applied Mathematical Logic 41(1989), (see also updated web version at : [Mil2] [Oxt] [PWW] A.W. Miller, Souslin s hypothesis and convergence in measure, Proc. Amer. Math. Soc. 124 (1996), no. 5, J. C. Oxtoby, Measure and category, 2nd ed., Grad. Texts Math. 2, Springer, New York, W. Poreda, E. WagnerBojakowska, W. Wilczyński, A category analogue of the density topology, Fund. Math. 125 (1985),
14 [Roy] [Trau] [WW] H.L. Royden, Real Analysis, PrenticeHall, 1988 (3rd ed.) R. Trautner, A covering principle in real analysis, Quart. J. Math. Oxford (2), 38 (1987), E. Wagner and W.Wilczyński, Convergence of sequences of measurable functions, Acta. Math. Acad. Sci. Hungar. 36 (1980), Mathematics Department, Imperial College London, London SW7 2AZ Mathematics Department, London School of Economics, Houghton Street, London WC2A 2AE 14