A Generalized Hausdorff Dimension for Functions and Sets

• Main Author: Buck, Robert Jay
• Format: Others
• Published: 1968
• Online Access: https://thesis.library.caltech.edu/9284/1/Buck_rj_1968.pdf; Buck, Robert Jay (1968) A Generalized Hausdorff Dimension for Functions and Sets. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/60CE-6945. https://resolver.caltech.edu/CaltechTHESIS:11232015-082345589 <https://resolver.caltech.edu/CaltechTHESIS:11232015-082345589>

<p>Let E be a compact subset of the n-dimensional unit cube, 1_n, and let C be a collection of convex bodies, all of positive n-dimensional Lebesgue measure, such that C contains bodies with arbitrarily small measure. The dimension of E with respect to the covering class C is defined to be the number</p> <p>d_C(E) = sup(β:H_{β, C}(E) > 0),</p> <p>where H_{β, C} is the outer measure </p> <p>inf(Ʃm(C_i)^β:UC_i <u>Ↄ</u> E, C_i ϵ C).</p> <p>Only the one and two-dimensional cases are studied. Moreover, the covering classes considered are those consisting of intervals and rectangles, parallel to the coordinate axes, and those closed under translations. A covering class is identified with a set of points in the left-open portion, 1’_n, of 1_n, whose closure intersects 1_n - 1’_n. For n = 2, the outer measure H_{β, C} is adopted in place of the usual:</p> <p>Inf(Ʃ(diam. (C_i))^β: UC_i <u>Ↄ</u> E, C_i ϵ C), </p> <p>for the purpose of studying the influence of the shape of the covering sets on the dimension d_C(E).</p> <p>If E is a closed set in 1₁, let M(E) be the class of all non-decreasing functions μ(x), supported on E with μ(x) = 0, x ≤ 0 and μ(x) = 1, x ≥ 1. Define for each μ ϵ M(E),</p> <p>d_C(μ) = lim/c → inf/0 log ∆μ(c)/log c , (c ϵ C)</p> <p>where ∆μ(c) = v/x (μ(x+c) – μ(x)). It is shown that</p> <p>d_C(E) = sup (d_C(μ):μ ϵ M(E)).</p> <p>This notion of dimension is extended to a certain class Ӻ of sub-additive functions, and the problem of studying the behavior of d_C(E) as a function of the covering class C is reduced to the study of d_C(f) where f ϵ Ӻ. Specifically, the set of points in 1₁,</p> <p>(*) {d_B(F), d_C(f)): f ϵ Ӻ}</p> <p>is characterized by a comparison of the relative positions of the points of B and C. A region of the form (*) is always closed and doubly-starred with respect to the points (0, 0) and (1, 1). Conversely, given any closed region in 1₂, doubly-starred with respect to (0, 0) and (1, 1), there are covering classes B and C such that (*) is exactly that region. All of the results are shown to apply to the dimension of closed sets E. Similar results can be obtained when a finite number of covering classes are considered.</p> <p>In two dimensions, the notion of dimension is extended to the class M, of functions f(x, y), non-decreasing in x and y, supported on 1₂ with f(x, y) = 0 for x · y = 0 and f(1, 1) = 1, by the formula</p> <p>d_C(f) = lim/s · t → inf/0 log ∆f(s, t)/log s · t , (s, t) ϵ C</p> <p>where</p> <p>∆f(s, t) = V/x, y (f(x+s, y+t) – f(x+s, y) – f(x, y+t) + f(x, t)).</p> <p>A characterization of the equivalence d_C₁(f) = d_C₂(f) for all f ϵ M, is given by comparison of the gaps in the sets of products s · t and quotients s/t, (s, t) ϵ C_i (I = 1, 2). </p>