Fern⁄Ndez 289-295

Total Page:16

File Type:pdf, Size:1020Kb

Fern⁄Ndez 289-295 Collect. Math. 48, 3 (1997), 289–295 c 1997 Universitat de Barcelona Moderation of sigma-finite Borel measures J. Fernandez´ Novoa Departamento de Matematicas´ Fundamentales. Facultad de Ciencias. U.N.E.D. Ciudad Universitaria. Senda del Rey s/n. 28040-Madrid. Spain Received November 10, 1995. Revised March 26, 1996 Abstract We establish that a σ-finite Borel measure µ in a Hausdorff topological space X such that each open subset of X is µ-Radon, is moderated when X is weakly metacompact or paralindel¨of and also when X is metalindel¨of and has a µ- concassage of separable subsets. Moreover, we give a new proof of a theorem of Pfeffer and Thomson [5] about gage measurability and we deduce other new results. 1. Preliminaries Let X be a Hausdorff topological space. We shall denote by G, F, K and B, respec- tively, the families of all open, closed, compact and Borel subsets of X. Let µ be a Borel measure in X, i.e. a locally finite measure on B. A set B ∈B is called (a) µ-outer regular if µ(B)= inf {µ(G):B ⊂ G ∈G}; (b) µ-Radon if µ(B)= sup {µ(K):B ⊃ K ∈K}. The measure µ is called (a) outer regular if each B ∈Bis µ-outer regular; (b) Radon if each B ∈Bis µ-Radon. A µ-concassage of X is a disjoint family (Kj)j∈J of nonempty compact subsets of X which satisfies 289 290 Fernandez´ ∩ ∈G ∈ ∩ ∅ (i) µ(G Kj) > 0 for each G and each j J such that G Kj = ; ∩ ∈B (ii) µ(B)= j∈J µ (B Kj)for each B which is µ-Radon. If each open set of finite µ-measure is µ-Radon, then X has a µ-concassage [2, Proposition 12.10]. If moreover µ is σ-finite, then every µ-concassage is countable. 2. Moderation and regularity In [3, Theorem 12.3, (ii)and Theorem 12.11] Gardner and Pfeffer have shown that if each open subset of X is µ-Radon, a σ-finite Borel measure µ in X is moderated when X is metacompact and when it is metalindel¨of and Martin’s Axiom and the negation of the Continuum Hypothesis are assumed. We prove the result mentioned in the abstract. Theorem 2.1 Let µ be a σ-finite Borel measure in X. If each open subset of X is µ-Radon, then µ is moderated whenever either of the following conditions is satisfied: (a) X is weakly metacompact; (b) X is paralindel¨of; (c) X is metalindel¨of and has a µ-concassage of separable subsets. Proof. Since µ is locally finite, the family U of all open subsets of X of finite µ- measure is an open cover of X and there is an open refinement V of U such that V ∪∞ V V ∈ N V = i=1 i with i point-finite for each i in case (a), is locally countable in case (b)and V is point-countable in case (c). (a)Let ( Kj)be a countable µ-concassage of X and assume that the family Vi,j = {V ∈Vi: µ (V ∩ Kj) > 0} ∈ N2 V ∪∞ W is uncountable for some (i, j) . Since i,j = k=1 k with Wk = {V ∈Vi: µ (V ∩ Kj) ≥ 1/k}, there are k ∈ N and distinct Vn ∈Vi,n∈ N, such that µ (Vn ∩ Kj) ≥ 1/k for each n ∈ N. It follows that µ (lim sup Vn) ≥ µ lim sup (Vn ∩ Kj) ≥ lim sup µ (Vn ∩ Kj) ≥ 1/k n n n Moderation of sigma-finite Borel measures 291 ∅ V V hence lim supn Vn = which contradicts the point-finiteness of i.Thus i,j is countable for each (i, j) ∈ N2. V { ∈V } V ∪∞ V Then the family 0 = V : µ(V ) > 0 is also countable since 0 = i=1 i,0 where, for each i ∈ N, Vi,0 = {V ∈Vi: µ(V ) > 0} which is countable because ∞ µ(V )= µ (V ∩ Kj) j=1 ∈G V ⊂∪∞ V V ∪ V−V for every V and so i,0 j=1 i,j. Set 0 =(Wn)and W0 = ( 0).If ⊃ ∈K V−V ⊂∪r W0 K , there are A1,..., Ar in 0 such that K i=1 Ai, hence r µ (K) ≤ µ (Ai)=0. i=1 Consequently, µ (K)= 0 for every K ∈Kcontained in W0 and µ (W0)= sup {µ (K): W0 ⊃ K ∈K}=0. ∪∞ ∈G Thus X = n=0 Wn with Wn for n =0, 1, 2,..., µ(W0)= 0 and moreover, µ (Wn) < + ∞ for each n ∈ N, hence µ is moderated. (b)Let ( Kn)be a countable µ-concassage of X. Each point of X has an open neighborhood which meets only countably many sets from V and, for each n ∈ N,a finite family of this neighborhoods is a cover of Kn, hence the family Vn = {V ∈V: V ∩ Kn = ∅} is countable for every n ∈ N. Then the family W { ∈V ∩ ∪∞ ∅} = V : V ( n=1 Kn) = W ∪ V−W ∪∞ is also countable. Set =(Vn)and V0 = ( ). Then X = n=0 Vn with Vn ∈Gfor n =0, 1, 2,..., ∞ µ (V0)= µ (V0 ∩ Kn)=0 n=1 and µ (Vn) < + ∞ for each n ∈ N, hence µ is moderated. (c)Let ( Kn)be a countable µ-concassage of X of separable subsets. For each n ∈ N there is a countable set An with A¯n = Kn and if V ∈Vthen V ∩ Kn = ∅ if and only if V ∩ An = ∅. Thus, for each n ∈ N the family Vn = {V ∈V: V ∩ Kn = ∅} 292 Fernandez´ coincides with the family {V ∈V: V ∩ An = ∅}. This proves that Vn is countable for every n ∈ N because V is point-countable and An is countable for each n ∈ N and, proceeding as in (b), the proof finishes. Corollary 2.2 Let µ be a σ-finite Borel measure in X. If each open subset of X is µ-Radon, then µ is outer regular and Radon when one of the following conditions is satisfied: (a) X is weakly metacompact; (b) X is paralindel¨of; (c) X is metalindel¨of and has a µ-concassage of separable subsets. Proof. It follows from above theorem and from [3, Theorem 6.7]. Remark 2.3. If Martin’s Axiom and the negation of the Continuum Hypothesis are assumed, all σ-finite Radon measures in metalindel¨of spaces are outer regular [2, Theorem 3.6 and 3, Theorem 12.11]. However, assuming the Continuum Hypothesis, it is possible to construct a σ-finite Radon measure in a metalindel¨of space which is not outer regular [3, Example 12.12]. Without Martin’s Axiom, we have shown that a σ-finite Radon measure µ in a metalindel¨of space X is outer regular whenever X has a µ-concassage of separable subsets. The following example shows the interest of this result. Example 2.4: For nonnegative integers k and n, we consider the points qk,n = −n −n { n} ∪∞ (k 2 , 2 )and we denote Qn = qk,n: k =0, 1, 2,..., 2 and Q = n=1 Qn.In X =[0, 1] ∪ Q we define a topology as follows: the points of Q are isolated, and a neighborhood base at t ∈ [0, 1] is given by the sets −n −n U (t, ε)={t}∪{qk,n ∈ Q:2|k 2 − t| < 2 <ε} where ε>0. With this topology the space X is not metalindel¨of (neither weakly metacompact nor paralindel¨of, hence), which may be seen by purely topological arguments, but is a direct consequence of the preceding corollary. Indeed, give −n x ∈ X, let f(x)=2 if x ∈ Qn and f(x)= 0 otherwise. Then the weighted counting measure µ in X with the weight f is a σ-finite Radon measure in X which is not outer regular (see [3, Example 12.7]). Since Q with the family of all U (t, ε),t∈ [0, 1],ε>0, is an open cover of X and Q is countable, each compact subset of X is countable, hence X has µ-concassages of separable subsets. Moderation of sigma-finite Borel measures 293 3. About gage measurability In [5] Pfeffer and Thomson define an outer measure v∗ by means of gages and introduce the concept of gage measurability which is different from the usual Carath´eodory definition. We shall expose, as briefly as possible, this process. Let S be a semiring of subsets of X and let v be a volume in S, i.e., a nonnegative real-valued function such that n v (A)= v (Ai) i=1 ∈S { }⊂S ∪n for each A and each disjoint collection A1,..., An for which i=1 Ai = A. A partition is a collection P = {(A1,x1),..., (Ap,xp)} where A1,..., Ap are disjoint sets from S and x1,..., xp are points of X. We say that P is anchored in a set E ⊂ X if {x1,..., xp}⊂E. A gage in a set E ⊂ X is a map γ that to each x ∈ E assigns an open neighborhood γ (x)of x in X.Ifγ is a gage in E ⊂ X, then a partition {(A1,x1),..., (Ap,xp)} anchored in E is called γ-fine whenever Ai ⊂ γ (xi)for i =1,..., p. If γ is a gage in E ⊂ X,welet p vγ (E)= sup v (Ai) i=1 where the supremum is taken over all partitions {(A1,x1),..., (Ap,xp)} anchored in E that are γ-fine. The map v∗ defined for each E ⊂ X by ∗ v (E)= inf vγ (E) γ where the infimum is taken over all gages γ in E, is an outer measure in X [5, Proposition 2.1].
Recommended publications
  • Version of 21.8.15 Chapter 43 Topologies and Measures II The
    Version of 21.8.15 Chapter 43 Topologies and measures II The first chapter of this volume was ‘general’ theory of topological measure spaces; I attempted to distinguish the most important properties a topological measure can have – inner regularity, τ-additivity – and describe their interactions at an abstract level. I now turn to rather more specialized investigations, looking for features which offer explanations of the behaviour of the most important spaces, radiating outwards from Lebesgue measure. In effect, this chapter consists of three distinguishable parts and two appendices. The first three sections are based on ideas from descriptive set theory, in particular Souslin’s operation (§431); the properties of this operation are the foundation for the theory of two classes of topological space of particular importance in measure theory, the K-analytic spaces (§432) and the analytic spaces (§433). The second part of the chapter, §§434-435, collects miscellaneous results on Borel and Baire measures, looking at the ways in which topological properties of a space determine properties of the measures it carries. In §436 I present the most important theorems on the representation of linear functionals by integrals; if you like, this is the inverse operation to the construction of integrals from measures in §122. The ideas continue into §437, where I discuss spaces of signed measures representing the duals of spaces of continuous functions, and topologies on spaces of measures. The first appendix, §438, looks at a special topic: the way in which the patterns in §§434-435 are affected if we assume that our spaces are not unreasonably complex in a rather special sense defined in terms of measures on discrete spaces.
    [Show full text]
  • MARSTRAND's THEOREM and TANGENT MEASURES Contents 1
    MARSTRAND'S THEOREM AND TANGENT MEASURES ALEKSANDER SKENDERI Abstract. This paper aims to prove and motivate Marstrand's theorem, which is a fundamental result in geometric measure theory. Along the way, we introduce and motivate the notion of tangent measures, while also proving several related results. The paper assumes familiarity with the rudiments of measure theory such as Lebesgue measure, Lebesgue integration, and the basic convergence theorems. Contents 1. Introduction 1 2. Preliminaries on Measure Theory 2 2.1. Weak Convergence of Measures 2 2.2. Differentiation of Measures and Covering Theorems 3 2.3. Hausdorff Measure and Densities 4 3. Marstrand's Theorem 5 3.1. Tangent measures and uniform measures 5 3.2. Proving Marstrand's Theorem 8 Acknowledgments 16 References 16 1. Introduction Some of the most important objects in all of mathematics are smooth manifolds. Indeed, they occupy a central position in differential geometry, algebraic topology, and are often very important when relating mathematics to physics. However, there are also many objects of interest which may not be differentiable over certain sets of points in their domains. Therefore, we want to study more general objects than smooth manifolds; these objects are known as rectifiable sets. The following definitions and theorems require the notion of Hausdorff measure. If the reader is unfamiliar with Hausdorff measure, he should consult definition 2.10 of section 2.3 before continuing to read this section. Definition 1.1. A k-dimensional Borel set E ⊂ Rn is called rectifiable if there 1 k exists a countable family fΓigi=1 of Lipschitz graphs such that H (E n [ Γi) = 0.
    [Show full text]
  • Nonlinear Structures Determined by Measures on Banach Spaces Mémoires De La S
    MÉMOIRES DE LA S. M. F. K. DAVID ELWORTHY Nonlinear structures determined by measures on Banach spaces Mémoires de la S. M. F., tome 46 (1976), p. 121-130 <http://www.numdam.org/item?id=MSMF_1976__46__121_0> © Mémoires de la S. M. F., 1976, tous droits réservés. L’accès aux archives de la revue « Mémoires de la S. M. F. » (http://smf. emath.fr/Publications/Memoires/Presentation.html) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Journees Geom. dimens. infinie [1975 - LYON ] 121 Bull. Soc. math. France, Memoire 46, 1976, p. 121 - 130. NONLINEAR STRUCTURES DETERMINED BY MEASURES ON BANACH SPACES By K. David ELWORTHY 0. INTRODUCTION. A. A Gaussian measure y on a separable Banach space E, together with the topolcT- gical vector space structure of E, determines a continuous linear injection i : H -> E, of a Hilbert space H, such that y is induced by the canonical cylinder set measure of H. Although the image of H has measure zero, nevertheless H plays a dominant role in both linear and nonlinear analysis involving y, [ 8] , [9], [10] . The most direct approach to obtaining measures on a Banach manifold M, related to its differential structure, requires a lot of extra structure on the manifold : for example a linear map i : H -> T M for each x in M, and even a subset M-^ of M which has the structure of a Hilbert manifold, [6] , [7].
    [Show full text]
  • A Sheaf Theoretic Approach to Measure Theory
    A SHEAF THEORETIC APPROACH TO MEASURE THEORY by Matthew Jackson B.Sc. (Hons), University of Canterbury, 1996 Mus.B., University of Canterbury, 1997 M.A. (Dist), University of Canterbury, 1998 M.S., Carnegie Mellon University, 2000 Submitted to the Graduate Faculty of the Department of Mathematics in partial fulfillment of the requirements for the degree of Doctor of Philosophy University of Pittsburgh 2006 UNIVERSITY OF PITTSBURGH DEPARTMENT OF MATHEMATICS This dissertation was presented by Matthew Jackson It was defended on 13 April, 2006 and approved by Bob Heath, Department of Mathematics, University of Pittsburgh Steve Awodey, Departmant of Philosophy, Carnegie Mellon University Dana Scott, School of Computer Science, Carnegie Mellon University Paul Gartside, Department of Mathematics, University of Pittsburgh Chris Lennard, Department of Mathematics, University of Pittsburgh Dissertation Director: Bob Heath, Department of Mathematics, University of Pittsburgh ii ABSTRACT A SHEAF THEORETIC APPROACH TO MEASURE THEORY Matthew Jackson, PhD University of Pittsburgh, 2006 The topos Sh( ) of sheaves on a σ-algebra is a natural home for measure theory. F F The collection of measures is a sheaf, the collection of measurable real valued functions is a sheaf, the operation of integration is a natural transformation, and the concept of almost-everywhere equivalence is a Lawvere-Tierney topology. The sheaf of measurable real valued functions is the Dedekind real numbers object in Sh( ) (Scott [24]), and the topology of “almost everywhere equivalence“ is the closed F topology induced by the sieve of negligible sets (Wendt[28]) The other elements of measure theory have not previously been described using the internal language of Sh( ).
    [Show full text]
  • The Gap Between Gromov-Vague and Gromov-Hausdorff-Vague Topology
    THE GAP BETWEEN GROMOV-VAGUE AND GROMOV-HAUSDORFF-VAGUE TOPOLOGY SIVA ATHREYA, WOLFGANG LOHR,¨ AND ANITA WINTER Abstract. In [ALW15] an invariance principle is stated for a class of strong Markov processes on tree-like metric measure spaces. It is shown that if the underlying spaces converge Gromov vaguely, then the processes converge in the sense of finite dimensional distributions. Further, if the underly- ing spaces converge Gromov-Hausdorff vaguely, then the processes converge weakly in path space. In this paper we systematically introduce and study the Gromov-vague and the Gromov-Hausdorff-vague topology on the space of equivalence classes of metric boundedly finite measure spaces. The latter topology is closely related to the Gromov-Hausdorff-Prohorov metric which is defined on different equivalence classes of metric measure spaces. We explain the necessity of these two topologies via several examples, and close the gap between them. That is, we show that convergence in Gromov- vague topology implies convergence in Gromov-Hausdorff-vague topology if and only if the so-called lower mass-bound property is satisfied. Further- more, we prove and disprove Polishness of several spaces of metric measure spaces in the topologies mentioned above (summarized in Figure 1). As an application, we consider the Galton-Watson tree with critical off- spring distribution of finite variance conditioned to not get extinct, and construct the so-called Kallenberg-Kesten tree as the weak limit in Gromov- Hausdorff-vague topology when the edge length are scaled down to go to zero. Contents 1. Introduction 1 2. The Gromov-vague topology 6 3.
    [Show full text]
  • Measure Theory and Integration
    THEORY OF MEASURE AND INTEGRATION TOMASZ KOMOROWSKI 1. Abstract theory of measure and integration 1.1. Notions of σ-algebra and measurability. Suppose that X is a certain set. A family A of subsets of X is called a σ-algebra if i) ; 2 A, ii) if A 2 A then Ac := X n A 2 A, S+1 iii) if A1;A2;::: 2 A then i=1 Ai 2 A. Example 1. The family P(X) of all subsets of a given set X. Example 2. Suppose that A1;A2;::: is a partition of a set X, i.e. Ai \ Aj = ; if S+1 S i 6= i and j=1 Aj = X. Denote by A the family of all sets of the form j2Z Aj, where Z ⊂ f1; 2;:::g. Prove that A forms a σ-algebra. Example 3. Suppose that X is a topological space. Denote by T the family of all open subsets (topology). Then, introduce \ B(X) := A; where the intersection is over all σ-algebras A containing T . It is a σ-algebra and called the Borel σ-algebra. A pair (X; A) is called a measurable space. Any subset A of X that belongs to A is called measurable. A function f : X ! R¯ := R [ {−∞; +1g is measurable if [f(x) < a] belongs to A for any a 2 R. 1 2 TOMASZ KOMOROWSKI Conventions concerning symbols +1 and −∞. The following conventions shall be used throughout this lecture (1.1) 0 · 1 = 1 · 0 = 0; (1.2) x + 1 = +1; 8 x 2 R (1.3) x − 1 = −∞; 8 x 2 R x · (+1) = +1; 8 x 2 (0; +1)(1.4) x · (−∞) = −∞; 8 x 2 (0; +1)(1.5) x · (+1) = −∞; 8 x 2 (−∞; 0)(1.6) x · (−∞) = +1; 8 x 2 (−∞; −)(1.7) (1.8) ±∞ · ±∞ = +1; ±∞ · ∓∞ = −∞: Warning: The operation +1 − 1 is not defined! Exercise 1.
    [Show full text]
  • Conditional Measures and Conditional Expectation; Rohlin’S Disintegration Theorem
    DISCRETE AND CONTINUOUS doi:10.3934/dcds.2012.32.2565 DYNAMICAL SYSTEMS Volume 32, Number 7, July 2012 pp. 2565{2582 CONDITIONAL MEASURES AND CONDITIONAL EXPECTATION; ROHLIN'S DISINTEGRATION THEOREM David Simmons Department of Mathematics University of North Texas P.O. Box 311430 Denton, TX 76203-1430, USA Abstract. The purpose of this paper is to give a clean formulation and proof of Rohlin's Disintegration Theorem [7]. Another (possible) proof can be found in [6]. Note also that our statement of Rohlin's Disintegration Theorem (The- orem 2.1) is more general than the statement in either [7] or [6] in that X is allowed to be any universally measurable space, and Y is allowed to be any subspace of standard Borel space. Sections 1 - 4 contain the statement and proof of Rohlin's Theorem. Sec- tions 5 - 7 give a generalization of Rohlin's Theorem to the category of σ-finite measure spaces with absolutely continuous morphisms. Section 8 gives a less general but more powerful version of Rohlin's Theorem in the category of smooth measures on C1 manifolds. Section 9 is an appendix which contains proofs of facts used throughout the paper. 1. Notation. We begin with the definition of the standard concept of a system of conditional measures, also known as a disintegration: Definition 1.1. Let (X; µ) be a probability space, Y a measurable space, and π : X ! Y a measurable function. A system of conditional measures of µ with respect to (X; π; Y ) is a collection of measures (µy)y2Y such that −1 i) For each y 2 Y , µy is a measure on π (X).
    [Show full text]
  • 3 Measurable Map, Pushforward Measure
    Tel Aviv University, 2015 Functions of real variables 23 3 Measurable map, pushforward measure 3a Introduction . 23 3b Borel sets . 24 3c Measurability in general; Borel functions . 27 3d Pushforward measure; distribution . 29 3e Completion . 31 3f Finite, locally finite, σ-finite etc. 32 Various σ-algebras, measures and maps are interrelated. 3a Introduction Here are some definitions, and related facts that will be proved soon. 3a1 Definition. A function f : Rd ! R is called measurable if it satisfies the following equivalent conditions: (a) for every t 2 R the set fx : f(x) ≤ tg ⊂ Rd is measurable; (b) for every interval I ⊂ R the set f −1(I) ⊂ Rd is measurable; (c) for every open set U ⊂ R the set f −1(U) ⊂ Rd is measurable. More generally: 3a2 Definition. Given a measurable space (X; S), a map f : X ! Rn, f(x) = f1(x); : : : ; fn(x) , is called measurable if it satisfies the following equivalent conditions: n (a) for every t = (t1; : : : ; tn) 2 R the set fx : f1(x) ≤ t1; : : : ; fn(x) ≤ tng ⊂ X belongs to the σ-algebra S; (b) for every box I ⊂ Rn the set f −1(I) ⊂ X belongs to the σ-algebra S; (c) for every open set U ⊂ Rn the set f −1(U) ⊂ X belongs to the σ-algebra S. Also, a map f : X ! Rn is measurable if and only if its coordinate functions f1; : : : ; fn are measurable. With respect to measurability, complex-valued functions X ! C may be treated as just X ! R2 (and X ! Cn as X ! R2n).
    [Show full text]
  • Invariant Measures in Groups Which Are Not Locally Compact
    INVARIANT MEASURES IN GROUPS WHICH ARE NOT LOCALLY COMPACT BY JOHN C. OXTOBY 1. Introduction. The problem of measure in groups is the problem of de- fining a left-invariant measure, with specified properties, in a given group. It is a special case of the general problem of defining a measure in a set with a given congruence relation (l). In a topological group it is natural to require that the measure be defined at least for all Borel sets, and therefore to con- sider Borel measures. By a Borel measure we understand a countably addi- tive non-negative set function defined for all (and only for) Borel sets. It may assume the value + oo but is required to be finite and positive for at least one set. In addition, we require always that points have measure zero. A Borel measure mina group G is left-invariant if m(xA) =m(A) for every Borel set A C.G and every element #£G. The present paper is devoted to a study of the existence and possible properties of such measures. In locally compact separable groups the problem of measure, with the added requirement that the measure be locally finite, was solved by Haar [7], as is well known. Moreover, Haar's measure is unique in the sense that (ex- cept for a constant factor) it is the only locally finite left-invariant Borel measure in such a group (see von Neumann [17]). However, a great variety of measures which are not locally finite always exist, as we shall see. The present paper contains a solution of the problem of measure in com- plete separable metric groups.
    [Show full text]
  • In Search of a Lebesgue Density Theorem for R^\Infty
    In search of a Lebesgue density theorem for R∞ Verne Cazaubon A thesis submitted to the Faculty of Graduate and Postdoctoral Studies in partial fulfilment of the requirements for the degree of Master of Science in Mathematics 1 Department of Mathematics and Statistics arXiv:0810.4894v1 [math.CA] 27 Oct 2008 Faculty of Science University of Ottawa c Verne Cazaubon, Ottawa, Canada, 2008 1The M.Sc. program is a joint program with Carleton University, administered by the Ottawa- Carleton Institute of Mathematics and Statistics Abstract We look at a measure, λ∞, on the infinite-dimensional space, R∞, for which we at- tempt to put forth an analogue of the Lebesgue density theorem. Although this measure allows us to find partial results, for example for continuous functions, we prove that it is impossible to give an analogous theorem in full generality. In partic- ular, we proved that the Lebesgue density of probability density functions on R∞ is zero almost everywhere. ii Acknowledgements There are many people that I would like to thank for helping me get through these two years from September 2006 to October 2008. First and foremost, I thank God. Without Him I would not have had the patience or strength to get through this work. He has guided me at every step and made sure that the burden was never more than I could handle. I am tremendously grateful to the Canadian Government and in particular the Canadian Bureau for International Education (CBIE) for choosing me to receive a two year full scholarship to attend an institute of my choice in Canada.
    [Show full text]
  • Proquest Dissertations
    inn u Ottawa Cmmki'x university FACULTE DES ETUDES SUPERIEURES FACULTY OF GRADUATE AND ET POSTOCTORALES U Ottawa POSDOCTORAL STUDIES l.'Univer.sitt* canadienne Canada's university Verne Cazaubon AUTEUR DE LA THESE / AUTHOR OF THESIS M.Sc. (Mathematics) GRADE/DEGREE Department of Mathematics and Statistics FACULTE, ECOLE, DEPARTEMENT / FACULTY, SCHOOL, DEPARTMENT In Search of a Lebesgue density theorem Ra TITRE DE LA THESE / TITLE OF THESIS Dr. V. Pestov DIRECTEUR (DIRECTRICE) DE LA THESE / THESIS SUPERVISOR CO-DIRECTEUR (CO-DIRECTRICE) DE LA THESE / THESIS CO-SUPERVISOR EXAMINATEURS (EXAMINATRICES) DE LA THESE/THESIS EXAMINERS Dr. D. McDonald Dr. W. Jaworski Gary W. Slater Le Doyen de la Faculte des eludes superieures et postdoctorales / Dean of the Faculty of Graduate and Postdoctoral Studies In search of a Lebesgue density theorem for R oo Verne Cazaubon A thesis submitted to the Faculty of Graduate and Postdoctoral Studies in partial fulfilment of the requirements for the degree of Master of Science in Mathematics l Department of Mathematics and Statistics Faculty of Science University of Ottawa © Verne Cazaubon, Ottawa, Canada, 2008 1The M.Sc. program is a joint program with Carleton University, administered by the Ottawa- Carleton Institute of Mathematics and Statistics Library and Bibliotheque et 1*1 Archives Canada Archives Canada Published Heritage Direction du Branch Patrimoine de I'edition 395 Wellington Street 395, rue Wellington Ottawa ON K1A0N4 Ottawa ON K1A0N4 Canada Canada Your file Votre reference ISBN: 978-0-494-46468-7
    [Show full text]
  • Beyond Haar and Cameron-Martin: the Steinhaus Support
    Beyond Haar and Cameron-Martin: the Steinhaus support N. H. Bingham and A. J. Ostaszewski In memoriam Herbert Heyer 1936-2018 Abstract. Motivated by a Steinhaus-like interior-point property involving the Cameron-Martin space of Gaussian measure theory, we study a group- theoretic analogue, the Steinhaus triple (H,G,µ), and construct a Stein- haus support, a Cameron-Martin-like subset, H(µ) in any Polish group G corresponding to ‘sufficiently subcontinuous’ measures µ, in particular for ‘Solecki-type’ reference measures. Key-words. Cameron-Martin space, Gaussian measures, relativized Stein- haus (interior-point) property, Steinhaus triple, Steinhaus support, amenabil- ity at 1, relative quasi-invariance, abstract Wiener space, measure subconti- nuity. AMS Classification Primary 22A10, 43A05; 60-B-15; Secondary 28C10, 60-B-05, 60-B-11. 1 Introduction For many purposes, one needs a reference measure. In discrete situations such as the integers Z, one has counting measure. In Euclidean space Rd, one has Lebesgue measure. In locally compact groups, one has Haar measure. In infinite-dimensional settings such as Hilbert space, one has neither local arXiv:1805.02325v3 [math.FA] 14 Mar 2019 compactness nor Haar measure. Here various possibilities arise, some patho- logical – which we avoid by restricting to Radon measures (below). One is to use Christensen’s concept of Haar-null sets (below), even though there is no Haar measure; see [Chr1,2], Solecki [Sol], and the companion paper to this, [BinO7]. Another is to use Gaussian measures; for background see e.g. Bogachev [Bog1,3], Kuo [Kuo] and for Gaussian processes, Lifshits [Lif], Marcus and Rosen [MarR], Ibragimov and Rozanov [IbrR].
    [Show full text]