ASYMPTOTIC DIOPHANTINE APPROXIMATION: THE MULTIPLICATIVE CASE
|
|
- Dorothy Hensley
- 5 years ago
- Views:
Transcription
1 ASYMPTOTIC DIOPHANTINE APPROXIMATION: THE MULTIPLICATIVE CASE MARTIN WIDMER ABSTRACT Let α and β be irrational real numbers and 0 < ε < 1/30 We prove a precise estimate for the number of positive integers q Q that satisfy qα qβ < ε If we choose ε as a function of Q we get asymptotics as Q gets large, provided εq grows quickly enough in terms of the (multiplicative) Diophantine type of (α, β), eg, if (α, β) is a counterexample to Littlewood s conjecture then we only need that εq tends to infinity Our result yields a new upper bound on sums of reciprocals of products of fractional parts, and sheds some light on a recent question of Lê and Vaaler 1 INTRODUCTION Let α and β be irrational real numbers, and let be the distance to the nearest integer Littlewood s conjecture asserts that lim inf q qα qβ = 0 q We assume that φ : [1, ) (0, 1/4] is a a non-increasing 1 function (depending on (α, β)) such that (11) q qα qβ φ(q) for all positive integers q Note that φ can be chosen to be constant if and only if the pair (α, β) is a counterexample to Littlewood s conjecture The condition (11) has been considered in various forms, eg, by Badziahin [1] He takes a function f : N (0, ) and considers the set { } (1) Mad( f ) = (α, β) R ; lim inf f (q) q qα qβ > 0 q Special cases of these sets already appeared in [] If we assume that 1/ f is also nonincreasing then (α, β) lies in Mad( f ) if and only if (11) holds true with a φ satisfying 1/ f (q) α,β φ(q) α,β 1/ f (q) Throughout this article, let Q 1, ε > 0, and T > 0 be real numbers, and assume (13) ε/t 1/e, Date: March 6, Mathematics Subject Classification Primary 11J13; 11J5; 11J54 Secondary 11H46; 37A17 Key words and phrases Diophantine approximation, reciprocals of fractional parts, flows, counting, Littlewood s conjecture 1 By non-increasing we mean that x, y [1, ) and x y implies that φ(x) φ(y) 1
2 MARTIN WIDMER where e denotes the base of the (natural) logarithm We consider the finite set { M α,β (ε, T, Q) = (p 1, p, q) Z 3 ; p 1 + qα p + qβ < ε, max{ p 1 + qα, p + qβ } T, } 0 < q Q Theorem 11 Suppose that (11) and (13) hold, and set C 1 = 3 8 Then we have ( ( T ) ( T M α,β(ε, T, Q) 4εQ log + 1) C ε 1 (1 + T) )( ) εq /3 log ε We shall see that the main term is just the volume of the set Z defined in Section The constant C 1 could easily be improved Choosing T = 1/ we have M α,β (ε, 1/, Q) = {q Z; qα qβ < ε, 0 < q Q} which is of particular interest, and hence we state this case of Theorem 11 as a corollary Corollary 11 Suppose that (11) holds, that 0 < ε 1/(e), and set C = 4C 1 = Then we have M α,β (ε, 1/, Q) 4εQ(1 log(4ε)) ( ) εq /3 C log(ε) If we choose a value ε = ε(q) 1/(e) for each value of Q, and we let Q tend to infinity then we get asymptotics for M α,β (ε, 1/, Q) provided 1/ = o( ε(q)q) Let us write log + Q = max{1, log Q} A result of Gallagher [5] implies that for f (q) = (log + q) λ the set Mad( f ) has full Lebesgue measure if λ > and measure zero when λ Hence, if ε(q) (log + Q) λ /Q with λ > then the asymptotics are given by the main term in Corollary 11 for almost every pair (α, β) R Bugeaud and Moshchevitin [3] showed that when λ = the set Mad( f ) still has full Hausdorff dimension This was substantially improved by Badziahin [1] who showed that even with f (q) = (log + q)(log + (log + q)) the set Mad( f ) has full Hausdorff dimension We now discuss an application of Corollary 11 In [6] Lê and Vaaler showed that Q(log + Q) Q q=1 ( qα qβ ) 1 Motivated by this they raised the question whether there exist real irrational numbers α, β such that (14) Q q=1 ( qα qβ ) 1 α,β Q(log + Q) Lê and Vaaler showed that (14) holds for (α, β) provided the latter is a counterexample to Littlewood s conjecture, ie, provided one can choose φ from (11) to be a constant function We show that α,β 1/(log + Q) suffices Corollary 1 Suppose that (11) holds, and set C 3 = 1 and C 4 = 3 3 Then we have ( ( )) Q ( ) ( qα qβ ) 1 Q Q C 3 Q log + C 4 log Q q=1 With respect to the Lebesgue measure
3 ASYMPTOTIC DIOPHANTINE APPROXIMATION: THE MULTIPLICATIVE CASE 3 Einsiedler, Katok and Lindenstrauss [4] showed that the set of counterexamples to Littlewood s conjecture has Hausdorff dimension zero, and it is widely believed that no such counterexample exists at all On the other hand there is evidence for the existence of pairs (α, β) with α,β 1/(log + Q) In fact, Badziahin and Velani [, (L)] (see also [1, Conjecture 1]) conjectured that the set of these pairs has full Hausdorff dimension Unfortunately, it is not known whether such a pair (α, β) really exists and so we cannot unconditionally answer Lê and Vaaler s question PREREQUISITES Lemma 1 If εq < then the stated inequality in Theorem 11 holds true Proof Suppose (p 1, p, q) M α,β (ε, T, Q) Hence, 1 q Q and qα qβ p 1 + qα p + qβ < ε On the other hand by (11), and using the monotonicity of φ, we have qα qβ φ(q)/q /Q Thus, if εq < then M α,β (ε, T, Q) = 0 It remains to show that the main term is covered by the error term As T /ε e we have log(t /ε) + 1 < log(t /ε) Using that εq < 1/4 we see that 4εQ < (C 1 /)(εq/) /3 This shows that the main term is bounded by the error term, and this proves the lemma (1) For the proof of Theorem 11 we thus can and will assume that εq For a vector x in R n we write x for the Euclidean length of x Let Λ be a lattice of rank n in R n We define the first successive minimum λ 1 (Λ) of Λ as the shortest Euclidean length of a non-zero lattice vector λ 1 = inf{ x ; x Λ, x = 0} From now on suppose n, M 1 is also an integer, and let L be a non-negative real We say that a set S is in Lip(n, M, L) if S is a subset of R n, and if there are M maps ι 1,, ι M : [0, 1] n 1 R n satisfying a Lipschitz condition ι i (x) ι i (y) L x y for x, y [0, 1] n 1, i = 1,, M such that S is covered by the images of the maps ι i We will apply the following counting result which is an immediate consequence of [7, Theorem 54] Lemma Let Λ be a lattice of rank n in R n with first successive minimum λ 1 Let S be a set in R n such that the boundary S of S is in Lip(n, M, L) Then S is measurable, and moreover, ( ( ) ) VolS Λ S L n 1 det Λ D nm 1 +, where D n = n n Next we introduce the sets and the lattice Clearly, () λ 1 H = {(x, y) R ; xy < ε, x T, y T}, Z = H (0, Q], Λ = (1, 0, 0)Z + (0, 1, 0)Z + (α, β, 1)Z M α,β (ε, T, Q) = Λ Z
4 4 MARTIN WIDMER Instead of working with Z it is more convenient to decompose Z into four identically shaped parts Z j and two rectangles R j We set H 1 = {(x, y) R ; xy < ε, 0 < x T, 0 < y T}, H = {(x, y) R ; xy < ε, T x < 0, 0 < y T}, H 3 = {(x, y) R ; xy < ε, 0 < x T, T y < 0}, H 4 = {(x, y) R ; xy < ε, T x < 0, T y < 0} Furthermore, we put for 1 j 4 Z j = H j (0, Q], so that we have the following partition Due to the irrationality of α and β we have Hence, R 1 = [ T, T] {0} (0, Q], R = {0} [ T, T] (0, Q], Z = Z 1 Z Z 3 Z 4 R 1 R Λ R 1 = Λ R = T + 1 < (T + 1) 4 Λ Z Λ Z j < 4(T + 1) j=1 Using the automorphisms defined by τ 1 (x, y, z) = (x, y, z), τ (x, y, z) = ( x, y, z), τ 3 (x, y, z) = (x, y, z), and τ 4 (x, y, z) = ( x, y, z) we have τ j Z j = Z 1 Setting for 1 j 4 we find (3) M α,β(ε, T, Q) Λ j = τ j (Λ), 4 j=1 Λ j Z 1 < 4(T + 1) Unfortunately, our set Z 1 is increasingly distorted when approaching the coordinateaxes After the trivial decomposition of Z we shall now consider a less obvious decomposition of our new counting domain Z 1 3 PARTITIONING THE COUNTING DOMAIN First let us decompose H 1 into three disjoint pieces Set Hence, we have (31) x = {(x, y); 0< y < (ε/t )x, 0 < x T}, y = {(x, y); (T /ε)x y T, 0 < x < ε/t}, S = {(x, y); 0< (ε/t )x y < (T /ε)x, xy < ε} Λ j Z 1 = Λ j x (0, Q] + Λ j y (0, Q] + Λ j S (0, Q] The sets x and y are long and thin triangles, distorted only in x-direction or y-direction respectively The set S is more troublesome and requires a further decomposition into about log(ε/t ) pieces Recall that by hypothesis 0 < ε/t 1/e Let ν [1/e, 1/e] be maximal such that N = log(ε/t )/log ν is an integer Hence, (3) 1 N log(ε/t )
5 ASYMPTOTIC DIOPHANTINE APPROXIMATION: THE MULTIPLICATIVE CASE 5 Decompose S into the N pieces S N+1,, S N, where Then we have the following partition (33) Note that (34) S i = {(x, y); 0 < ν i x y < ν i 1 x, xy < ε} S = A straightforward calculation yields εν ε/ν Vol (S 0 ) = Hence, N+1 i N S i S 0 [0, ε] [0, ε/ν] [0, 3 ε] ε ε + νε x dx ε = ε log ν V = Vol 3 (S 0 (0, Q]) = ε Q log ν Thus (35) εq V εq 4 APPLYING FLOWS In this section we construct certain elements of the diagonal flow on R 3 that transform our distorted sets into sets of small diameter We introduce the following automorphisms of R g i (x, y) = (ν i/ x, ν i/ y) Then we have for N + 1 i N g i S i = S 0 We extend g i to an automorphism of R 3 G i (x, y, z) = (ν i/ x, ν i/ y, z), so that G i (S i (0, Q]) = S 0 (0, Q] Next we introduce a further automorphism of R 3 where Let us write Then we have Combining (34) and (35) we get (41) Similarly, we find (4) (43) G θ (x, y, z) = (θx, θy, θ z), θ = V1/3 ε ϕ i = G θ G i ϕ i (S i (0, Q]) = θs 0 (0, θ Q] ϕ i (S i (0, Q]) = θs 0 (0, θ Q] [0, 3θ ε] (0, θ Q] [0, 3V 1/3 ] 3 ϕ N ( x (0, Q]) [0, 3V 1/3 ] 3, ϕ N+1 ( y (0, Q]) [0, 3V 1/3 ] 3
6 6 MARTIN WIDMER Lemma 41 For N + 1 i N the boundary of ϕ i (S i (0, Q]), ϕ N ( x (0, Q]) and ϕ N+1 ( y (0, Q]) lies in Lip(3, M, L) where M = 5, L = C L V 1/3 and C L = 1 Proof The boundary of the set ϕ i (S i (0, Q]) = θs 0 (0, θ Q] can be covered by 4 planes and the set {(x, θ ε/x, z); θ νε x θ ε, 0 z Qθ } For the Jacobian J of the parameterising map (t 1, t ) (at 1 + b, θ ε (at 1 + b), ct ) with a = θ ε(1 ν), b = θ νε, c = Q/θ, and domain [0, 1] we get for its l -operator norm J 4V 1/3 which yields the required Lipschitz condition thanks to the Mean- Value Theorem Hence, we are left with the linear pieces of the boundary Clearly, a subset of a plane with diameter no larger than d can be parameterised by a single affine map with domain [0, 1] and Lipschitz constant d Thus, it suffices to show that the diameter of ϕ i (S i (0, Q]) is 6V 1/3 But the latter holds due to (41) Finally, the boundary of the set ϕ N ( x (0, Q]) and of the set ϕ N+1 ( y (0, Q]) can each be covered by 5 planes Moreover, by (4) and (43) their diameter is also 6V 1/3 This proves the lemma 5 CONTROLLING THE ORBITS Our transformations of the previous section have brought our distorted sets into nice shapes Unfortunately, they transform our lattices Λ j in a less favourable manner Indeed, the corresponding orbit of Λ j escapes to infinity, ie, the fist successive minimum gets arbitrarily small However, the rate of escape is controllable and sufficiently slow Lemma 51 For 1 j 4, N + 1 i N, and Q 1 we have λ 1 (ϕ i Λ j ) min{1, 1/(T)} 1/3 Proof Let v Λ j be an arbitrary non-zero lattice point Then there exist ǫ 1 and ǫ in { 1, 1} and p 1, p, q Z, not all zero, such that v = (ǫ 1 (p 1 + qα), ǫ (p + qβ), q) First suppose q = 0 Then by the inequality of arithmetic and geometric means we have ϕ i v 3( p 1 + qα p + qβ q ) /3 Using our hypothesis (11) we get p 1 + qα p + qβ q φ( q ) If q Q we conclude, by the monotonicity of φ, that φ( q ), and hence ϕ i v 1/3 If, on the other hand, q > Q then, looking only at the last coordinate, and using (1), we find ϕ i v > θ Q (εq) 1/3 1/3 Suppose now that q = 0 Then p 1 and p are not both zero, and hence ϕ i v max{θν i/ p 1, θν i/ p } θν i / θν N/ Recall that ν N/ = ε/t, and θ = V 1/3 / ε 1/3( Q/ ε ) 1/3 Hence, This proves the lemma θν N/ 1 T (εq)1/3 1 T 1/3
7 ASYMPTOTIC DIOPHANTINE APPROXIMATION: THE MULTIPLICATIVE CASE 7 6 PROOF OF THEOREM 11 Let 1 j 4 Decomposing the set Z 1 using (31) and (33) and then applying the automorphisms ϕ i yields Λ j Z 1 = Λ j x (0, Q] + Λ j y (0, Q] + = ϕ N Λ j ϕ N ( x (0, Q]) + ϕ N+1 Λ j ϕ N+1 ( y (0, Q]) + N i= N+1 ϕ i Λ j ϕ i (S i (0, Q]) N i= N+1 Λ j S i (0, Q] Note that det ϕ i Λ j = 1 Applying Lemma to each summand, using Lemma 41, and collecting the main terms and the error terms terms yields Λ j Z 1 Vol 3 (Z 1 ) ( ) D 3 MC V /3 (61) L 1 + λ 1 (ϕ i Λ j ) N i= N+1 Then, applying Lemma 51, we see that the right hand-side of (61) is bounded by ( ) 4D 3 MC L max{1, T} N 1 + V/3 /3 Using that by (35) V εq, and then again that εq we conclude that the latter is bounded by ( ) εq /3 8D 3 MC L (1 + T) N Putting C 5 = 8D 3 MC L = , and recalling that N log(t /ε) we conclude that Λ j Z 1 Vol 3 (Z 1 ) ( T C 5 (1 + T) )( ) εq /3 log ε By virtue of inequality (3), we get M α,β (ε, T, Q) 4Vol 3 (Z 1 ) 5C 5 (1 + T) log Finally, we note that 5C 5 < 3 8 = C 1 and Vol 3 (Z 1 ) = εq ( log and this completes the proof of Theorem 11 We have Q q=1 ( qα qβ ) 1 = ( T ε ( T ε ) ) + 1, 7 PROOF OF COROLLARY 1 )( ) εq /3 k+1 {q; 1 q Q, k 1 qα qβ < k } k+1 {q; 1 q Q, qα qβ < k } k+1 M α,β ( k, 1/, Q)
8 8 MARTIN WIDMER Moreover, in the proof of Lemma 1 we have seen that M α,β (ε, T, Q) = when ε < /Q We apply this with ε = k and T = 1/ Hence, (71) k+1 M α,β ( k, 1/, Q) = From Corollary 11 we get for integers k 5 (7) log (Q/) k+1 M α,β ( k, 1/, Q) log (Q/) < 4 5 Q + k=5 M α,β ( k, 1/, Q) 4(log )Qk k + C (log )k k+1 M α,β ( k, 1/, Q) ( ) /3 k Q Combining (71) and (7) Corollary 1 follows from a straightforward calculation using the trivial estimates K k K and K kxk Kx K+1 /(x 1) (where x > 1) and that 1/4 ACKNOWLEDGEMENTS This article was initiated during a visit at the University of York, and, in parts, motivated by a question of Sanju Velani I am very grateful to Victor Beresnevich, Alan Haynes and Sanju Velani for many interesting and stimulating discussions and their encouragement I also would like to thank Thái Hoàng Lê for fruitful discussions, drawing my attention to [], and for pointing out an error in an early draft of the manuscript REFERENCES 1 D Badziahin, On multiplicatively badly approximable numbers, Mathematika 59, no1 (013), D A Badziahin and S Velani, Multiplicatively badly approximable numbers and generalised cantor sets, Adv Math 8, no5 (011), Y Bugeaud and N Moshchevitin, Badly approximable numbers and Littlewood-type problems, Math Proc Cambridge Phil Soc 150 (011), M Einsiedler, A Katok, and E Lindenstrauss, Invariant measures and the set of exceptions to Littlewood s conjecture, Ann of Math () 164 (006), P Gallagher, Metric simultaneous diophantine aproximations, J London Math Soc 37 (196), T H Lê and J D Vaaler, Sums of products of fractional parts, to appear in Proc London Math Soc 7 M Widmer, Counting primitive points of bounded height, Trans Amer Math Soc 36 (010), DEPARTMENT OF MATHEMATICS, ROYAL HOLLOWAY, UNIVERSITY OF LONDON, TW0 0EX EGHAM, UK address: martinwidmer@rhulacuk
NUMBER FIELDS WITHOUT SMALL GENERATORS
NUMBER FIELDS WITHOUT SMALL GENERATORS JEFFREY D. VAALER AND MARTIN WIDMER Abstract. Let D > be an integer, and let b = b(d) > be its smallest divisor. We show that there are infinitely many number fields
More informationBadly approximable numbers and Littlewood-type problems
Math. Proc. Camb. Phil. Soc.: page of 2 c Cambridge Philosophical Society 20 doi:0.07/s0050040000605 Badly approximable numbers and Littlewood-type problems BY YANN BUGEAUD Université de Strasbourg, Mathématiues,
More informationMETRICAL RESULTS ON THE DISTRIBUTION OF FRACTIONAL PARTS OF POWERS OF REAL NUMBERS
METRICAL RESULTS ON THE DISTRIBUTION OF FRACTIONAL PARTS OF POWERS OF REAL NUMBERS YANN BUGEAUD, LINGMIN LIAO, AND MICHA L RAMS Abstract Denote by { } the fractional part We establish several new metrical
More informationOn the classification of irrational numbers
arxiv:506.0044v [math.nt] 5 Nov 07 On the classification of irrational numbers José de Jesús Hernández Serda May 05 Abstract In this note we make a comparison between the arithmetic properties of irrational
More informationSYMBOLIC CHARACTERIZATION OF COUNTEREXAMPLES TO LITTLEWOOD S CONJECTURE
SYMBOLIC CHARACTERIZATION OF COUNTEREXAMPLES TO LITTLEWOOD S CONJECTURE A thesis presented to the faculty of San Francisco State University In partial fulfilment of The Requirements for The Degree Master
More informationJoshua N. Cooper Department of Mathematics, Courant Institute of Mathematics, New York University, New York, NY 10012, USA.
CONTINUED FRACTIONS WITH PARTIAL QUOTIENTS BOUNDED IN AVERAGE Joshua N. Cooper Department of Mathematics, Courant Institute of Mathematics, New York University, New York, NY 10012, USA cooper@cims.nyu.edu
More informationA VERY BRIEF REVIEW OF MEASURE THEORY
A VERY BRIEF REVIEW OF MEASURE THEORY A brief philosophical discussion. Measure theory, as much as any branch of mathematics, is an area where it is important to be acquainted with the basic notions and
More informationNECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES
NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES JUHA LEHRBÄCK Abstract. We establish necessary conditions for domains Ω R n which admit the pointwise (p, β)-hardy inequality u(x) Cd Ω(x)
More informationMANFRED EINSIEDLER, ANISH GHOSH, AND BEVERLY LYTLE
BADLY APPROXIMABLE VECTORS, C 1 FIELDS CURVES AND NUMBER MANFRED EINSIEDLER, ANISH GHOSH, AND BEVERLY LYTLE Abstract. We show that the set of points on C 1 curves which are badly approximable by rationals
More informationAPPROXIMATE ISOMETRIES ON FINITE-DIMENSIONAL NORMED SPACES
APPROXIMATE ISOMETRIES ON FINITE-DIMENSIONAL NORMED SPACES S. J. DILWORTH Abstract. Every ε-isometry u between real normed spaces of the same finite dimension which maps the origin to the origin may by
More informationUPPER BOUNDS FOR DOUBLE EXPONENTIAL SUMS ALONG A SUBSEQUENCE
uniform distribution theory DOI: 055/udt-207 002 Unif Distrib Theory 2 207), no2, 24 UPPER BOUNDS FOR DOUBLE EXPONENTIAL SUMS ALONG A SUBSEQUENCE Christopher J White ABSTRACT We consider a class of double
More informationOn Harrap s conjecture in Diophantine approximation
On Harrap s conjecture in Diophantine approximation by Nikolay Moshchevitin Abstract. We prove a conjecture due to Stephen Harrap on inhomogeneous linear Diophantine approximation related to BADαβ sets..
More informationDiophantine approximation of beta expansion in parameter space
Diophantine approximation of beta expansion in parameter space Jun Wu Huazhong University of Science and Technology Advances on Fractals and Related Fields, France 19-25, September 2015 Outline 1 Background
More informationSHABNAM AKHTARI AND JEFFREY D. VAALER
ON THE HEIGHT OF SOLUTIONS TO NORM FORM EQUATIONS arxiv:1709.02485v2 [math.nt] 18 Feb 2018 SHABNAM AKHTARI AND JEFFREY D. VAALER Abstract. Let k be a number field. We consider norm form equations associated
More informationFinite Metric Spaces & Their Embeddings: Introduction and Basic Tools
Finite Metric Spaces & Their Embeddings: Introduction and Basic Tools Manor Mendel, CMI, Caltech 1 Finite Metric Spaces Definition of (semi) metric. (M, ρ): M a (finite) set of points. ρ a distance function
More informationINDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS
INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem
More informationLyapunov optimizing measures for C 1 expanding maps of the circle
Lyapunov optimizing measures for C 1 expanding maps of the circle Oliver Jenkinson and Ian D. Morris Abstract. For a generic C 1 expanding map of the circle, the Lyapunov maximizing measure is unique,
More informationDiophantine approximation of fractional parts of powers of real numbers
Diophantine approximation of fractional parts of powers of real numbers Lingmin LIAO (joint work with Yann Bugeaud, and Micha l Rams) Université Paris-Est Numeration 2015, Nancy May 20th 2015 Lingmin LIAO,
More information#A69 INTEGERS 13 (2013) OPTIMAL PRIMITIVE SETS WITH RESTRICTED PRIMES
#A69 INTEGERS 3 (203) OPTIMAL PRIMITIVE SETS WITH RESTRICTED PRIMES William D. Banks Department of Mathematics, University of Missouri, Columbia, Missouri bankswd@missouri.edu Greg Martin Department of
More informationLinear distortion of Hausdorff dimension and Cantor s function
Collect. Math. 57, 2 (2006), 93 20 c 2006 Universitat de Barcelona Linear distortion of Hausdorff dimension and Cantor s function O. Dovgoshey and V. Ryazanov Institute of Applied Mathematics and Mechanics,
More informationWEAK ADMISSIBILITY, PRIMITIVITY, O-MINIMALITY, AND DIOPHANTINE APPROXIMATION
WEAK ADMISSIBILITY PRIMITIVITY O-MINIMALITY AND DIOPHANTINE APPROXIMATION MARTIN WIDMER Contents 1. Introduction 1 2. Generalisation of weak admissibility and statement of the results 3 2.1. Generalised
More informationuniform distribution theory
Uniform Distribution Theory 3 (2008), no.2, 9 20 uniform distribution theory SETS OF EXACT APPROXIMATION ORDER BY RATIONAL NUMBERS II Yann Bugeaud ABSTRACT. For a non-increasing function Ψ, let Exact(Ψ)
More informationThe Hilbert Transform and Fine Continuity
Irish Math. Soc. Bulletin 58 (2006), 8 9 8 The Hilbert Transform and Fine Continuity J. B. TWOMEY Abstract. It is shown that the Hilbert transform of a function having bounded variation in a finite interval
More informationCharacter sums with Beatty sequences on Burgess-type intervals
Character sums with Beatty sequences on Burgess-type intervals William D. Banks Department of Mathematics University of Missouri Columbia, MO 65211 USA bbanks@math.missouri.edu Igor E. Shparlinski Department
More informationNORMAL NUMBERS AND UNIFORM DISTRIBUTION (WEEKS 1-3) OPEN PROBLEMS IN NUMBER THEORY SPRING 2018, TEL AVIV UNIVERSITY
ORMAL UMBERS AD UIFORM DISTRIBUTIO WEEKS -3 OPE PROBLEMS I UMBER THEORY SPRIG 28, TEL AVIV UIVERSITY Contents.. ormal numbers.2. Un-natural examples 2.3. ormality and uniform distribution 2.4. Weyl s criterion
More informationdynamical Diophantine approximation
Dioph. Appro. Dynamical Dioph. Appro. in dynamical Diophantine approximation WANG Bao-Wei Huazhong University of Science and Technology Joint with Zhang Guo-Hua Central China Normal University 24-28 July
More informationON THE LIMIT POINTS OF THE FRACTIONAL PARTS OF POWERS OF PISOT NUMBERS
ARCHIVUM MATHEMATICUM (BRNO) Tomus 42 (2006), 151 158 ON THE LIMIT POINTS OF THE FRACTIONAL PARTS OF POWERS OF PISOT NUMBERS ARTŪRAS DUBICKAS Abstract. We consider the sequence of fractional parts {ξα
More informationRANDOM WALKS WHOSE CONCAVE MAJORANTS OFTEN HAVE FEW FACES
RANDOM WALKS WHOSE CONCAVE MAJORANTS OFTEN HAVE FEW FACES ZHIHUA QIAO and J. MICHAEL STEELE Abstract. We construct a continuous distribution G such that the number of faces in the smallest concave majorant
More informationVARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES
Bull. Austral. Math. Soc. 78 (2008), 487 495 doi:10.1017/s0004972708000877 VARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES CAROLYN E. MCPHAIL and SIDNEY A. MORRIS (Received 3 March 2008) Abstract
More informationORBIT-HOMOGENEITY. Abstract
Submitted exclusively to the London Mathematical Society DOI: 10.1112/S0000000000000000 ORBIT-HOMOGENEITY PETER J. CAMERON and ALEXANDER W. DENT Abstract We introduce the concept of orbit-homogeneity of
More informationA CHARACTERIZATION OF POWER HOMOGENEITY G. J. RIDDERBOS
A CHARACTERIZATION OF POWER HOMOGENEITY G. J. RIDDERBOS Abstract. We prove that every -power homogeneous space is power homogeneous. This answers a question of the author and it provides a characterization
More informationOn a problem in simultaneous Diophantine approximation: Schmidt s conjecture
Annals of Mathematics 174 (2011), 1837 1883 http://dx.doi.org/10.4007/annals.2011.174.3.9 On a problem in simultaneous Diophantine approximation: Schmidt s conjecture By Dzmitry Badziahin, Andrew Pollington,
More informationMARKOV PARTITIONS FOR HYPERBOLIC SETS
MARKOV PARTITIONS FOR HYPERBOLIC SETS TODD FISHER, HIMAL RATHNAKUMARA Abstract. We show that if f is a diffeomorphism of a manifold to itself, Λ is a mixing (or transitive) hyperbolic set, and V is a neighborhood
More informationGAUSSIAN MEASURE OF SECTIONS OF DILATES AND TRANSLATIONS OF CONVEX BODIES. 2π) n
GAUSSIAN MEASURE OF SECTIONS OF DILATES AND TRANSLATIONS OF CONVEX BODIES. A. ZVAVITCH Abstract. In this paper we give a solution for the Gaussian version of the Busemann-Petty problem with additional
More informationDIOPHANTINE APPROXIMATIONS AND DIRECTIONAL DISCREPANCY OF ROTATED LATTICES.
DIOPHANTINE APPROXIMATIONS AND DIRECTIONAL DISCREPANCY OF ROTATED LATTICES. DMITRIY BILYK, XIAOMIN MA, JILL PIPHER, AND CRAIG SPENCER Abstract. In this paper we study the following question related to
More informationDuality of multiparameter Hardy spaces H p on spaces of homogeneous type
Duality of multiparameter Hardy spaces H p on spaces of homogeneous type Yongsheng Han, Ji Li, and Guozhen Lu Department of Mathematics Vanderbilt University Nashville, TN Internet Analysis Seminar 2012
More informationQuasi-conformal maps and Beltrami equation
Chapter 7 Quasi-conformal maps and Beltrami equation 7. Linear distortion Assume that f(x + iy) =u(x + iy)+iv(x + iy) be a (real) linear map from C C that is orientation preserving. Let z = x + iy and
More informationIntroduction to Hausdorff Measure and Dimension
Introduction to Hausdorff Measure and Dimension Dynamics Learning Seminar, Liverpool) Poj Lertchoosakul 28 September 2012 1 Definition of Hausdorff Measure and Dimension Let X, d) be a metric space, let
More informationTILING PROBLEM FOR LITTLEWOOD S CONJECTURE
TILING PROBLEM FOR LITTLEWOOD S CONJECTURE A thesis submitted to the faculty of San Francisco State University In partial fulfillment of The Requirements for The Degree Master of Arts In Mathematics by
More informationOptimal primitive sets with restricted primes
Optimal primitive sets with restricted primes arxiv:30.0948v [math.nt] 5 Jan 203 William D. Banks Department of Mathematics University of Missouri Columbia, MO 652 USA bankswd@missouri.edu Greg Martin
More informationNew Generalizations of Caristi s Fixed Point Theorem Via Brézis Browder Principle
Mathematica Moravica Vol. 8 1 (2004), 1 5 New Generalizations of Caristi s Fixed Point Theorem Via Brézis Browder Principle Temistocle Bîrsan Abstract. In this paper, some generalizations of Caristi s
More informationUNIQUE ERGODICITY OF TRANSLATION FLOWS
UNIQUE ERGODICITY OF TRANSLATION FLOWS YITWAH CHEUNG AND ALEX ESKIN Abstract. This preliminary report contains a sketch of the proof of the following result: a slowly divergent Teichmüller geodesic satisfying
More informationLecture 18: March 15
CS71 Randomness & Computation Spring 018 Instructor: Alistair Sinclair Lecture 18: March 15 Disclaimer: These notes have not been subjected to the usual scrutiny accorded to formal publications. They may
More informationLANDAU S THEOREM, FIELDS OF VALUES FOR CHARACTERS, AND SOLVABLE GROUPS arxiv: v1 [math.gr] 26 Jun 2015
LANDAU S THEOREM, FIELDS OF VALUES FOR CHARACTERS, AND SOLVABLE GROUPS arxiv:1506.08169v1 [math.gr] 26 Jun 2015 MARK L. LEWIS Abstract. When G is solvable group, we prove that the number of conjugacy classes
More informationDirichlet uniformly well-approximated numbers
Dirichlet uniformly well-approximated numbers Lingmin LIAO (joint work with Dong Han Kim) Université Paris-Est Créteil (University Paris 12) Approximation and numeration Université Paris Diderot-Paris
More informationUNIFORM EMBEDDINGS OF BOUNDED GEOMETRY SPACES INTO REFLEXIVE BANACH SPACE
UNIFORM EMBEDDINGS OF BOUNDED GEOMETRY SPACES INTO REFLEXIVE BANACH SPACE NATHANIAL BROWN AND ERIK GUENTNER ABSTRACT. We show that every metric space with bounded geometry uniformly embeds into a direct
More informationEntropy for zero-temperature limits of Gibbs-equilibrium states for countable-alphabet subshifts of finite type
Entropy for zero-temperature limits of Gibbs-equilibrium states for countable-alphabet subshifts of finite type I. D. Morris August 22, 2006 Abstract Let Σ A be a finitely primitive subshift of finite
More informationSome results in support of the Kakeya Conjecture
Some results in support of the Kakeya Conjecture Jonathan M. Fraser School of Mathematics, The University of Manchester, Manchester, M13 9PL, UK. Eric J. Olson Department of Mathematics/084, University
More informationHerz (cf. [H], and also [BS]) proved that the reverse inequality is also true, that is,
REARRANGEMENT OF HARDY-LITTLEWOOD MAXIMAL FUNCTIONS IN LORENTZ SPACES. Jesús Bastero*, Mario Milman and Francisco J. Ruiz** Abstract. For the classical Hardy-Littlewood maximal function M f, a well known
More informationDiscussion Paper Series
Discussion Paper Series 2004 27 Department of Economics Royal Holloway College University of London Egham TW20 0EX 2004 Andrés Carvajal. Short sections of text, not to exceed two paragraphs, may be quoted
More informationOptimal compression of approximate Euclidean distances
Optimal compression of approximate Euclidean distances Noga Alon 1 Bo az Klartag 2 Abstract Let X be a set of n points of norm at most 1 in the Euclidean space R k, and suppose ε > 0. An ε-distance sketch
More informationNon-classical Study on the Simultaneous Rational Approximation ABSTRACT
Malaysian Journal of Mathematical Sciences 9(2): 209-225 (205) MALAYSIAN JOURNAL OF MATHEMATICAL SCIENCES Journal homepage: http://einspem.upm.edu.my/journal Non-classical Study on the Simultaneous Rational
More informationCHARACTERISTIC POLYNOMIAL PATTERNS IN DIFFERENCE SETS OF MATRICES
CHARACTERISTIC POLYNOMIAL PATTERNS IN DIFFERENCE SETS OF MATRICES MICHAEL BJÖRKLUND AND ALEXANDER FISH Abstract. We show that for every subset E of positive density in the set of integer squarematrices
More informationIntrinsic Approximation on Cantor-like Sets, a Problem of Mahler
Intrinsic Aroximation on Cantor-like Sets, a Problem of Mahler Ryan Broderick, Lior Fishman, Asaf Reich and Barak Weiss July 200 Abstract In 984, Kurt Mahler osed the following fundamental question: How
More informationAALBORG UNIVERSITY. Total domination in partitioned graphs. Allan Frendrup, Preben Dahl Vestergaard and Anders Yeo
AALBORG UNIVERSITY Total domination in partitioned graphs by Allan Frendrup, Preben Dahl Vestergaard and Anders Yeo R-2007-08 February 2007 Department of Mathematical Sciences Aalborg University Fredrik
More informationA FIXED POINT THEOREM FOR GENERALIZED NONEXPANSIVE MULTIVALUED MAPPINGS
Fixed Point Theory, (0), No., 4-46 http://www.math.ubbcluj.ro/ nodeacj/sfptcj.html A FIXED POINT THEOREM FOR GENERALIZED NONEXPANSIVE MULTIVALUED MAPPINGS A. ABKAR AND M. ESLAMIAN Department of Mathematics,
More informationSCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE
SCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE BETSY STOVALL Abstract. This result sharpens the bilinear to linear deduction of Lee and Vargas for extension estimates on the hyperbolic paraboloid
More informationDAVID ELLIS AND BHARGAV NARAYANAN
ON SYMMETRIC 3-WISE INTERSECTING FAMILIES DAVID ELLIS AND BHARGAV NARAYANAN Abstract. A family of sets is said to be symmetric if its automorphism group is transitive, and 3-wise intersecting if any three
More informationBetter bounds for k-partitions of graphs
Better bounds for -partitions of graphs Baogang Xu School of Mathematics, Nanjing Normal University 1 Wenyuan Road, Yadong New District, Nanjing, 1006, China Email: baogxu@njnu.edu.cn Xingxing Yu School
More informationarxiv: v1 [math.co] 22 May 2014
Using recurrence relations to count certain elements in symmetric groups arxiv:1405.5620v1 [math.co] 22 May 2014 S.P. GLASBY Abstract. We use the fact that certain cosets of the stabilizer of points are
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationDirichlet uniformly well-approximated numbers
Dirichlet uniformly well-approximated numbers Lingmin LIAO (joint work with Dong Han Kim) Université Paris-Est Créteil (University Paris 12) Hyperbolicity and Dimension CIRM, Luminy December 3rd 2013 Lingmin
More informationCORRECTIONS AND ADDITION TO THE PAPER KELLERER-STRASSEN TYPE MARGINAL MEASURE PROBLEM. Rataka TAHATA. Received March 9, 2005
Scientiae Mathematicae Japonicae Online, e-5, 189 194 189 CORRECTIONS AND ADDITION TO THE PAPER KELLERER-STRASSEN TPE MARGINAL MEASURE PROBLEM Rataka TAHATA Received March 9, 5 Abstract. A report on an
More informationSynchronization, Chaos, and the Dynamics of Coupled Oscillators. Supplemental 1. Winter Zachary Adams Undergraduate in Mathematics and Biology
Synchronization, Chaos, and the Dynamics of Coupled Oscillators Supplemental 1 Winter 2017 Zachary Adams Undergraduate in Mathematics and Biology Outline: The shift map is discussed, and a rigorous proof
More informationThe dimensional theory of continued fractions
Jun Wu Huazhong University of Science and Technology Advances on Fractals and Related Topics, Hong Kong, Dec. 10-14, 2012 Continued fraction : x [0, 1), 1 x = 1 a 1 (x) + 1 a 2 (x) + a 3 (x) + = [a 1 (x),
More informationThe Lebesgue Integral
The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters
More informationQuantitative Oppenheim theorem. Eigenvalue spacing for rectangular billiards. Pair correlation for higher degree diagonal forms
QUANTITATIVE DISTRIBUTIONAL ASPECTS OF GENERIC DIAGONAL FORMS Quantitative Oppenheim theorem Eigenvalue spacing for rectangular billiards Pair correlation for higher degree diagonal forms EFFECTIVE ESTIMATES
More informationEstimates for probabilities of independent events and infinite series
Estimates for probabilities of independent events and infinite series Jürgen Grahl and Shahar evo September 9, 06 arxiv:609.0894v [math.pr] 8 Sep 06 Abstract This paper deals with finite or infinite sequences
More informationFIXED POINT THEOREMS AND CHARACTERIZATIONS OF METRIC COMPLETENESS. Tomonari Suzuki Wataru Takahashi. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 8, 1996, 371 382 FIXED POINT THEOREMS AND CHARACTERIZATIONS OF METRIC COMPLETENESS Tomonari Suzuki Wataru Takahashi
More informationON THE APPROXIMATION TO ALGEBRAIC NUMBERS BY ALGEBRAIC NUMBERS. Yann Bugeaud Université de Strasbourg, France
GLASNIK MATEMATIČKI Vol. 44(64)(2009), 323 331 ON THE APPROXIMATION TO ALGEBRAIC NUMBERS BY ALGEBRAIC NUMBERS Yann Bugeaud Université de Strasbourg, France Abstract. Let n be a positive integer. Let ξ
More informationA NOTE ON WEAK CONVERGENCE OF SINGULAR INTEGRALS IN METRIC SPACES
A NOTE ON WEAK CONVERGENCE OF SINGULAR INTEGRALS IN METRIC SPACES VASILIS CHOUSIONIS AND MARIUSZ URBAŃSKI Abstract. We prove that in any metric space (X, d) the singular integral operators Tµ,ε(f)(x) k
More informationarxiv: v2 [math.nt] 4 Jun 2016
ON THE p-adic VALUATION OF STIRLING NUMBERS OF THE FIRST KIND PAOLO LEONETTI AND CARLO SANNA arxiv:605.07424v2 [math.nt] 4 Jun 206 Abstract. For all integers n k, define H(n, k) := /(i i k ), where the
More informationLebesgue Measure on R n
8 CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationSOME PROPERTIES ON THE CLOSED SUBSETS IN BANACH SPACES
ARCHIVUM MATHEMATICUM (BRNO) Tomus 42 (2006), 167 174 SOME PROPERTIES ON THE CLOSED SUBSETS IN BANACH SPACES ABDELHAKIM MAADEN AND ABDELKADER STOUTI Abstract. It is shown that under natural assumptions,
More informationMODULUS OF CONTINUITY OF THE DIRICHLET SOLUTIONS
MODULUS OF CONTINUITY OF THE DIRICHLET SOLUTIONS HIROAKI AIKAWA Abstract. Let D be a bounded domain in R n with n 2. For a function f on D we denote by H D f the Dirichlet solution, for the Laplacian,
More informationDECOMPOSING DIFFEOMORPHISMS OF THE SPHERE. inf{d Y (f(x), f(y)) : d X (x, y) r} H
DECOMPOSING DIFFEOMORPHISMS OF THE SPHERE ALASTAIR FLETCHER, VLADIMIR MARKOVIC 1. Introduction 1.1. Background. A bi-lipschitz homeomorphism f : X Y between metric spaces is a mapping f such that f and
More informationHausdorff dimension of weighted singular vectors in R 2
Hausdorff dimension of weighted singular vectors in R 2 Lingmin LIAO (joint with Ronggang Shi, Omri N. Solan, and Nattalie Tamam) Université Paris-Est NCTS Workshop on Dynamical Systems August 15th 2016
More informationThe small ball property in Banach spaces (quantitative results)
The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationCHAPTER 6. Differentiation
CHPTER 6 Differentiation The generalization from elementary calculus of differentiation in measure theory is less obvious than that of integration, and the methods of treating it are somewhat involved.
More informationRoot separation for irreducible integer polynomials
Root separation for irreducible integer polynomials Yann Bugeaud and Andrej Dujella 1 Introduction The height H(P ) of an integer polynomial P (x) is the maximum of the absolute values of its coefficients.
More information#A28 INTEGERS 13 (2013) ADDITIVE ENERGY AND THE FALCONER DISTANCE PROBLEM IN FINITE FIELDS
#A28 INTEGERS 13 (2013) ADDITIVE ENERGY AND THE FALCONER DISTANCE PROBLEM IN FINITE FIELDS Doowon Koh Department of Mathematics, Chungbuk National University, Cheongju city, Chungbuk-Do, Korea koh131@chungbuk.ac.kr
More informationAn Application of Catalan Numbers on Cayley Tree of Order 2: Single Polygon Counting
BULLETIN of the Malaysian Mathematical Sciences Society http://math.usm.my/bulletin Bull. Malays. Math. Sci. Soc. (2) 31(2) (2008), 175 183 An Application of Catalan Numbers on Cayley Tree of Order 2:
More informationMETRIC HEIGHTS ON AN ABELIAN GROUP
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 44, Number 6, 2014 METRIC HEIGHTS ON AN ABELIAN GROUP CHARLES L. SAMUELS ABSTRACT. Suppose mα) denotes the Mahler measure of the non-zero algebraic number α.
More informationarxiv: v2 [math.ca] 4 Jun 2017
EXCURSIONS ON CANTOR-LIKE SETS ROBERT DIMARTINO AND WILFREDO O. URBINA arxiv:4.70v [math.ca] 4 Jun 07 ABSTRACT. The ternary Cantor set C, constructed by George Cantor in 883, is probably the best known
More informationPermutation groups/1. 1 Automorphism groups, permutation groups, abstract
Permutation groups Whatever you have to do with a structure-endowed entity Σ try to determine its group of automorphisms... You can expect to gain a deep insight into the constitution of Σ in this way.
More informationConvergence of Banach valued stochastic processes of Pettis and McShane integrable functions
Convergence of Banach valued stochastic processes of Pettis and McShane integrable functions V. Marraffa Department of Mathematics, Via rchirafi 34, 90123 Palermo, Italy bstract It is shown that if (X
More informationRoot separation for irreducible integer polynomials
Root separation for irreducible integer polynomials Yann Bugeaud and Andrej Dujella Abstract We establish new results on root separation of integer, irreducible polynomials of degree at least four. These
More information1 x i. i=1 EVEN NUMBERS RAFAEL ARCE-NAZARIO, FRANCIS N. CASTRO, AND RAÚL FIGUEROA
Volume, Number 2, Pages 63 78 ISSN 75-0868 ON THE EQUATION n i= = IN DISTINCT ODD OR EVEN NUMBERS RAFAEL ARCE-NAZARIO, FRANCIS N. CASTRO, AND RAÚL FIGUEROA Abstract. In this paper we combine theoretical
More informationMaximal Functions in Analysis
Maximal Functions in Analysis Robert Fefferman June, 5 The University of Chicago REU Scribe: Philip Ascher Abstract This will be a self-contained introduction to the theory of maximal functions, which
More informationThe p-adic numbers. Given a prime p, we define a valuation on the rationals by
The p-adic numbers There are quite a few reasons to be interested in the p-adic numbers Q p. They are useful for solving diophantine equations, using tools like Hensel s lemma and the Hasse principle,
More informationCorrelation dimension for self-similar Cantor sets with overlaps
F U N D A M E N T A MATHEMATICAE 155 (1998) Correlation dimension for self-similar Cantor sets with overlaps by Károly S i m o n (Miskolc) and Boris S o l o m y a k (Seattle, Wash.) Abstract. We consider
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationContinuous Ordinal Clustering: A Mystery Story 1
Continuous Ordinal Clustering: A Mystery Story 1 Melvin F. Janowitz Abstract Cluster analysis may be considered as an aid to decision theory because of its ability to group the various alternatives. There
More informationRoots and Root Spaces of Compact Banach Lie Algebras
Irish Math. Soc. Bulletin 49 (2002), 15 22 15 Roots and Root Spaces of Compact Banach Lie Algebras A. J. CALDERÓN MARTÍN AND M. FORERO PIULESTÁN Abstract. We study the main properties of roots and root
More informationAn Attempt To Understand Tilling Approach In proving The Littlewood Conjecture
An Attempt To Understand Tilling Approach In proving The Littlewood Conjecture 1 Final Report For Math 899- Dr. Cheung Amira Alkeswani Dr. Cheung I really appreciate your acceptance in adding me to your
More informationarxiv: v1 [math.oa] 23 Jul 2014
PERTURBATIONS OF VON NEUMANN SUBALGEBRAS WITH FINITE INDEX SHOJI INO arxiv:1407.6097v1 [math.oa] 23 Jul 2014 Abstract. In this paper, we study uniform perturbations of von Neumann subalgebras of a von
More information2 Lebesgue integration
2 Lebesgue integration 1. Let (, A, µ) be a measure space. We will always assume that µ is complete, otherwise we first take its completion. The example to have in mind is the Lebesgue measure on R n,
More informationChapter 8. General Countably Additive Set Functions. 8.1 Hahn Decomposition Theorem
Chapter 8 General Countably dditive Set Functions In Theorem 5.2.2 the reader saw that if f : X R is integrable on the measure space (X,, µ) then we can define a countably additive set function ν on by
More informationLebesgue Integration on R n
Lebesgue Integration on R n The treatment here is based loosely on that of Jones, Lebesgue Integration on Euclidean Space We give an overview from the perspective of a user of the theory Riemann integration
More information