Hostname: page-component-77c89778f8-vsgnj Total loading time: 0 Render date: 2024-07-17T13:36:54.360Z Has data issue: false hasContentIssue false

Hausdorff dimension of sets of non-differentiability points of Cantor functions

Published online by Cambridge University Press:  24 October 2008

Richard Darst
Affiliation:
Colorado State University, Fort Collins, CO 80523, U.S.A.

Abstract

Each number a in the segment (0, ½) produces a Cantor set, Ca, by putting b = 1 − 2a and recursively removing segments of relative length b from the centres of the interval [0, 1] and the intervals which are subsequently generated. The distribution function of the uniform probability measure on Ca is a Cantor function, fa. When a = 1/3 = b, Ca is the standard Cantor set, C, and fa is the standard Cantor function, f. The upper derivative of f is infinite at each point of C and the lower derivative of f is infinite at most points of C in the following sense: the Hausdorff dimension of C is ln(2)/ln(3) and the Hausdorff dimension of S = {xC: the lower derivative of f is finite at x} is [ln(2)/ln(3)]2. The derivative of f is zero off C, the derivative of f is infinite on CS, and S is the set of non-differentiability points of f. Similar results are established in this paper for all Ca: the Hausdorff dimension of Ca is ln (2)/ln (1/a) and the Hausdorff dimension of Sa is [ln (2)/ln (1/a)]2. Removing k segments of relative length b and leaving k + 1 intervals of relative length a produces a Cantor set of dimension ln(k + l)/ln(1/a); the dimension of the set of non-differentiability points of the corresponding Cantor function is [ln (k + l)/ln (1/a)]2.

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1995

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Darst, R. B.. Some Cantor Sets and Cantor Functions. Mathematics Magazine 45 (1972), 27.CrossRefGoogle Scholar
[2]Darst, R. B.. The Hausclorff Dimension of the Nondifferentiability Set of the Cantor Function is [ln2/ln3]2. Proc. Amer. Math. Soc. 119 (1993), 105108.Google Scholar
[3]Edgar, G. A.. Measure, Topology, and Fractal Geometry (Springer-Verlag, 1990).CrossRefGoogle Scholar
[4]Eidswick, J. A.. A Characterization of the Non-differentiability Set of the Cantor function. Proc. Amer. Math. Soc. 42 (1974), 214217.CrossRefGoogle Scholar
[5]Falconer, K. J.. The Geometry of Fractal Sets (Cambridge University Press, 1985).CrossRefGoogle Scholar
[6]Falconer, K. J.. Fractal Geometry (John Wiley, 1990).Google Scholar
[7]Rogers, C. A.. Hausdorff Measures (Cambridge University Press, 1970).Google Scholar