Besicovitch-Eggleston Function英文文献资料.docVIP

Advances in Pure Mathematics, 2011, 1, 274-275 doi:10.4236/apm.2011.15048 Published Online September 2011 (http://www.SciRP.org/journal/apm) Besicovitch-Eggleston Function Manav Das Department of Mathematics, University of Louisville, Louisville, USA E-mail: manav@ Received June 2, 2011; revised July 2, 2011; accepted July 15, 2011 Abstract In this work we introduce a function based on the well-known Besicovitch-Eggleston sets, and prove that the Hausdorff dimension of its graph is 2. Keywords: Hausdorff Dimension, Multifractal, Binomial Measure, Dyadic Intervals 1. Introduction that ? f ? y?d? p ? y? = p. In the next section, we state and prove our main result, and finally we close with some open problems. Let x??0,1? , and let x = .x1x2,?, xi = 0 or1 denote its binary expansion. For any 0 p 1 2 we may consider the set 2. Main Result ? x ? x2 ??? xn ? p? 1 ? n ? K p = ?x ??0,1?:limsup We will need the following result by Besicovitch and Moran. This is not the form in which it was originally stated and proved. However, this modern version may be found in [12]. ? n?? Besicovitch [2] proved that dimH K p = ? plog p ??1? p?log?1? p? Theorem 1. For any s??0,1 ? there exists a constant log 2 bs 0 such that for all Borel sets E ? R have 2 we must where dimH A denotes the Hausdorff dimension of the set A . This result was generalized to the N -ary case by Eggleston [8]. Billingsley proved a more general ver- sion of this result in the context of probability spaces [3]. Billingsley’s result was related to densities in [5], and a similar result involving packing dimensions was proved in [6]. Sets such as K p are studied in the context of multifractal theory (see [1,7,9,11,14-16]) and Billing- sley-type results have been proved by several authors in this context. Recently, such a result has been proved for a countable symbol space in [13]. In this paper, we are interest