Fact-checked by Grok 2 weeks ago

Cantor function

The Cantor function, also known as the Devil's staircase, is a pathological example of a continuous, monotonically increasing function f: [0,1] \to [0,1] that is constant on each connected component of the complement of the middle-thirds Cantor set and maps the Cantor set continuously onto the entire interval [0,1], thereby providing a homeomorphism between these spaces.^[1]^[2] Defined using the ternary (base-3) expansions of points in [0,1], the function replaces all digits of 2 with 1 and interprets the resulting sequence as a binary (base-2) number after handling any occurrence of the digit 1 by truncating and setting subsequent digits to 0, yielding f(0) = 0 and f(1) = 1.^[1]^[2] Introduced by Georg Cantor in a letter dated November 1883 and elaborated in his 1884 paper on perfect sets of points, the function exemplifies a singular function in real analysis: it is of bounded variation and differentiable almost everywhere with derivative zero, yet it is not constant, highlighting the limitations of absolute continuity and the intricate structure of nowhere-dense perfect sets like the Cantor set.^[3] Its graph forms a "staircase" with flat steps over the removed intervals in the Cantor set construction and vertical rises only at the endpoints, resulting in an arc length of 2 despite the domain's length of 1, which underscores counterexamples to intuitive geometric expectations.^[2] The function satisfies functional equations such as f(x/3) = f(x)/2 and f((2+x)/3) = 1/2 + f(x)/2, and it generalizes to higher bases as the q-adic Cantor function for q > 2.^[1] In mathematical literature, the Cantor function serves as a foundational example in measure theory, functional analysis, and fractal geometry, illustrating phenomena like the existence of non-absolutely continuous measures supported on sets of Lebesgue measure zero; it also appears in studies of Hölder continuity with exponent \log 2 / \log 3 \approx 0.6309 and in probabilistic models of random iterations leading to singular distributions.^[2]^[3]

Definition and Construction

Ternary expansion definition

The Cantor function, also known as the Cantor-Lebesgue function or devil's staircase, can be defined explicitly using the ternary (base-3) expansions of real numbers in the unit interval [0,1]. Every x \in [0,1] admits at least one ternary expansion of the form x = \sum_{n=1}^\infty \frac{a_n}{3^n}, where each digit a_n \in \{0,1,2\}; points that admit two such expansions are those that have one expansion ending with infinite 0s and another with infinite 2s, which are precisely the rationals of the form k/3^n in [0,1] (the endpoints of the removed intervals in the Cantor set construction).^[4] For x in the Cantor set C, which consists precisely of those points whose ternary expansions use only the digits 0 and 2 (avoiding 1's), the Cantor function c(x) is obtained by replacing each 2 in the expansion with a 1 and then interpreting the resulting sequence as a binary (base-2) expansion: c(x) = \sum_{n=1}^\infty \frac{b_n}{2^n}, where b_n = a_n / 2 \in \{0,1\}. This mapping is well-defined because the Cantor set points with dual expansions yield the same binary value after substitution. For x \notin C, which lies in one of the open intervals removed during the construction of C, c(x) is defined to be constant and equal to c(y), where y is the left endpoint of that complementary interval (noting that endpoints belong to C); this ensures c is continuous on [0,1].^[3]^[4] The function c: [0,1] \to [0,1] is continuous and non-decreasing, with c(0) = 0 and c(1) = 1. Moreover, c is surjective onto [0,1], as every y \in [0,1] has a binary expansion y = \sum_{n=1}^\infty \frac{b_n}{2^n} with b_n \in \{0,1\}; replacing each 1 with a 2 yields a ternary expansion x = \sum_{n=1}^\infty \frac{a_n}{3^n} (where a_n = 2b_n) that belongs to C, and c(x) = y. In fact, the restriction c|_C: C \to [0,1] is itself surjective, highlighting the function's role in demonstrating the uncountable cardinality of C.^[4] For example, consider x = 1/3, which has ternary expansion $0.1_3 but equivalently $0.0222\ldots_3 (as an endpoint of the removed interval (1/3, 2/3)). Using the latter, replacing 2's with 1's gives the binary expansion $0.0111\ldots_2 = 1/2, so c(1/3) = 1/2. Similarly, c(0) = 0 (ternary $0.000\ldots_3 maps to binary $0.000\ldots_2) and c(1) = 1 (ternary $0.222\ldots_3 maps to binary $0.111\ldots_2).^[3]^[4]

Iterative construction

The iterative construction of the Cantor function proceeds in parallel with the construction of the Cantor set, defining the function step by step on the intervals removed at each stage.^[5] Begin with the initial function c_0(x) = x for all x \in [0,1]. At the first stage, remove the open middle-third interval (1/3, 2/3) from [0,1] to form the first approximation of the Cantor set. On this removed interval (a,b) = (1/3, 2/3), define c_1(x) = 1/2 (the midpoint between c_0(a) = 1/3 and c_0(b) = 2/3). On the remaining subintervals, redefine c_1 to be linear: on [0, 1/3], linear from c_1(0) = 0 to c_1(1/3) = 1/2; on [2/3, 1], linear from c_1(2/3) = 1/2 to c_1(1) = 1. This ensures continuity.^[5] In subsequent stages, repeat the process on the remaining closed intervals. At stage n, for each remaining interval where c_{n-1} increases linearly by \delta = 1/2^{n-1} from value \alpha at left endpoint p to \alpha + \delta at right endpoint q, remove the open middle third (a, b) with a = (2p + q)/3, b = (p + 2q)/3. Define c_n(x) = \alpha + \delta/2 (constant, a dyadic rational) for x \in (a, b). On the left subinterval [p, a], linear from \alpha to \alpha + \delta/2; on the right subinterval [b, q], linear from \alpha + \delta/2 to \alpha + \delta. There are $2^{n-1} such intervals removed at stage n. The function is piecewise linear with increasing slopes (powers of 3/2) on the remaining portions.^[5]^[6] The sequence of functions \{c_n\} is a sequence of continuous, non-decreasing piecewise linear functions. It converges uniformly to the Cantor function c: [0,1] \to [0,1], since the supremum norm \|c_n - c_m\|_\infty \to 0 as n,m \to \infty. The limit function c is constant on every interval in the complement of the Cantor set (the union of all removed intervals, which has Lebesgue measure 1).^[5]^[6] The Cantor function increases only on the Cantor set itself, which has Lebesgue measure zero, resulting in a "staircase" appearance with flat steps on the removed intervals and all the total increase of 1 concentrated on the Cantor set.^[5] This construction was introduced by Georg Cantor in a letter dated November 1883 as a counterexample in the study of function extensions and monotonicity.^[7]^[8]

Core Properties

Continuity and monotonicity

The Cantor function c: [0,1] \to [0,1], also known as the Cantor-Lebesgue function or devil's staircase, is continuous and non-decreasing, with c(0) = 0 and c(1) = 1. It is constant on each complementary interval of the Cantor set, with this constant value equal to c(a) = c(b) for the endpoints a < b of such an interval (a,b).^[5] This constancy arises from the construction, where values on removed middle-third intervals are set uniformly based on the iterative approximations. Monotonicity follows from the iterative construction: each approximating function c_n is non-decreasing, as it assigns increasing values across the remaining intervals at stage n, and the uniform limit preserves this order, yielding c(x) \leq c(y) for x < y. Specifically, c increases only at points of the Cantor set, accumulating the total rise of 1 over this set of measure zero, while remaining flat on the complementary open intervals of total measure 1.^[5] Continuity of c is established by the uniform convergence of the continuous approximating functions c_n to c on the compact interval [0,1], ensuring the limit is continuous. Alternatively, using the ternary expansion definition, for x = \sum_{k=1}^\infty a_k / 3^k with a_k \in \{0,2\} on the Cantor set (extended constantly off it), a small perturbation in x affects only the initial digits of the expansion, leading to a correspondingly small change in c(x) = \sum_{k=1}^\infty (a_k/2) / 2^k, with the modulus of continuity controlled by powers of $1/3 and $1/2. As a continuous non-decreasing function with c(0) = 0 and c(1) = 1, c is surjective onto [0,1] by the intermediate value theorem.^[9] This is confirmed explicitly via expansions: for any y \in [0,1] with binary expansion y = \sum_{k=1}^\infty b_k / 2^k (b_k \in \{0,1\}), the corresponding x = \sum_{k=1}^\infty 2b_k / 3^k lies in the Cantor set, and c(x) = y. The total variation of c is 1, equal to c(1) - c(0), as it is monotone non-decreasing and maps [0,1] onto [0,1].

Singularity and differentiability

The Cantor function c: [0,1] \to [0,1], also known as the devil's staircase, exhibits remarkable pathological behavior with respect to differentiability. It is differentiable at almost every point in [0,1], with the derivative satisfying c'(x) = 0 for Lebesgue-almost every x \in [0,1]. This holds specifically on the complement of the Cantor set C, which has Lebesgue measure 1, where c is locally constant on each of the open middle-third intervals removed during the construction of C.^[3]^[10] A sketch of the proof proceeds in two parts. First, on the removed intervals (the complement of C), c is constant, so the derivative is trivially 0 wherever it exists. Second, since C has Lebesgue measure zero, it contributes negligibly to the almost-everywhere statement. This differentiability almost everywhere follows from the more general theorem that monotone functions are differentiable Lebesgue-almost everywhere.^[10]^[11] The Cantor function is a quintessential example of a singular function: it is continuous and non-constant, yet increases only on a set of Lebesgue measure zero—namely, the Cantor set C. All of its total variation, c(1) - c(0) = 1, occurs over this null set, while it remains constant on the dense open complement. This property underscores its singularity with respect to Lebesgue measure.^[3]^[12] Despite c'(x) = 0 almost everywhere, the function is non-decreasing, as c(1) - c(0) = 1 > 0. This apparent paradox illustrates the failure of the fundamental theorem of calculus in its classical form for such functions, where the integral of the derivative does not recover the net change. In the Lebesgue decomposition theorem for monotone functions, the Cantor function resides entirely in the singular part, with no absolutely continuous or jump components.^[11]^[3]

Advanced Properties

Lack of absolute continuity

A function f: [a, b] \to \mathbb{R} is absolutely continuous if for every \epsilon > 0, there exists \delta > 0 such that for any finite collection of pairwise disjoint subintervals (a_i, b_i) of [a, b] satisfying \sum |b_i - a_i| < \delta, it holds that \sum |f(b_i) - f(a_i)| < \epsilon.^[13] The Cantor function c fails to be absolutely continuous on [0, 1]. To see this, fix \epsilon = 1/2. At the nth stage of the iterative construction of the Cantor set, the remaining intervals total length (2/3)^n, which can be made arbitrarily small by choosing large n. Over these intervals, which approximate a cover of the Cantor set, the sum of variations \sum |c(b_i) - c(a_i)| equals 1, since c is constant on the removed middle-third intervals and maps the Cantor set (of Lebesgue measure zero) onto [0, 1]. Thus, no such \delta > 0 exists to satisfy the condition for \epsilon = 1/2.^[14] The Cantor function is of bounded variation, as it is continuous and monotonically increasing, so its total variation is c(1) - c(0) = 1. However, in the Jordan decomposition of a function of bounded variation into an absolutely continuous part, a jump part, and a singular continuous part, the Cantor function has no jumps (being continuous) and no absolutely continuous part; its entire variation arises from the singular continuous component.^[13] This illustrates that a continuous function of bounded variation need not be absolutely continuous, in contrast to absolutely continuous functions, which satisfy f(b) - f(a) = \int_a^b f'(x) \, dx whenever the derivative f' exists and is integrable.^[10] The Cantor function served as an early example of a singular function in Henri Lebesgue's 1904 Leçons sur l'intégration et la recherche des fonctions primitives, highlighting the need for absolute continuity in the fundamental theorem of calculus for Lebesgue integrals.^[15]

Measure preservation aspects

The Cantor function c: [0,1] \to [0,1] exhibits significant measure distortion with respect to the Lebesgue measure \lambda. While c is surjective and continuous, its pushforward c_* \lambda is an atomic measure concentrated on the countable dense set of dyadic rationals in [0,1], assigning to each such point the Lebesgue measure of the corresponding removed open interval from the Cantor set construction, with total mass 1. In contrast, restricting c to the Cantor set C, where c|_C: C \to [0,1] is a homeomorphism, pushes forward the singular Cantor measure \mu—defined via the self-similar construction with \mu((a,b]) = c(b) - c(a)—onto the normalized Lebesgue measure on [0,1]. This duality illustrates how c redistributes measure from a zero-Lebesgue-measure support (C) to uniform coverage of the full interval, concentrating "mass" onto a set of \lambda-measure zero while achieving measure preservation under the appropriate singular input measure.^[5]^[16] The singularity of c manifests clearly in measure-theoretic terms. The function is differentiable \lambda-almost everywhere, with c'(x) = 0 for \lambda-a.e. x \in [0,1], as this holds throughout the complement of C, which carries full Lebesgue measure 1. The indefinite integral \int_0^x c'(t) \, d\lambda(t) thus equals the zero function for all x \in [0,1]. Yet c(1) - c(0) = 1, revealing that c cannot be recovered as the integral of its derivative, a hallmark of singular functions that defy the fundamental theorem of calculus in the Lebesgue setting.^[5]^[16] In terms of Hausdorff dimension, c dramatically alters fractal structure. The Cantor set C has Hausdorff dimension \dim_H C = \frac{\log 2}{\log 3} \approx 0.6309. However, c(C) = [0,1], which has dimension 1, demonstrating a dimension increase under the mapping. This effect aligns with the Hölder continuity of c with exponent \alpha = \frac{\log 2}{\log 3}, implying \dim_H c(E) \leq \frac{\dim_H E}{\alpha} for subsets E \subseteq C, achieving equality in the case of the full set.^[17] The Cantor function violates the Luzin (N) property, which stipulates that continuous functions of bounded variation map Lebesgue-null sets to Lebesgue-null sets. Here, c sends C—a compact set with \lambda(C) = 0—onto [0,1], which has \lambda-measure 1, thereby failing to preserve nullity of sets. This counterexample highlights the limitations of measure-preserving behaviors in singular mappings and is central to characterizations of absolute continuity.^[18] Beyond these properties, the Cantor function finds applications in real analysis for constructing examples of functions inducing prescribed singular continuous distributions, such as measures with specified supports of Lebesgue measure zero but positive total mass and no atoms. It also aids in exploring quasi-invariant measures, where transformations preserve measure equivalence classes while maintaining singularity relative to Lebesgue measure, providing concrete models for studying invariance under non-absolutely continuous maps.^[7]

Self-Similarity and Structure

Self-similar decomposition

The Cantor function c: [0,1] \to [0,1] displays a striking geometric self-similarity in its graph, reflecting the fractal construction of the underlying Cantor set. Specifically, the graph of c restricted to the interval [0, 1/3] is an affine transformation of the full graph over [0,1], scaled horizontally by a factor of $1/3 and vertically by $1/2. Similarly, the graph over [2/3, 1] is a scaled copy of the full graph, shifted horizontally and scaled by the same factors. In the middle third (1/3, 2/3), the function remains constant at $1/2, creating a flat segment that aligns with the removed interval in the Cantor set construction.^[19] This self-similarity arises iteratively through the function's construction. At each stage n, the approximations c_n to c are defined such that on the remaining intervals of length $3^{-n}, c_n consists of affine-scaled versions of the previous stage c_{n-1}, with horizontal compression by $1/3 and vertical scaling by $1/2 on the left and right subintervals, while being constant on the excised middle thirds. As n \to \infty, the limit function c inherits this recursive scaling, mirroring the ternary removal process used to build the Cantor set.^[19] The self-similar decomposition of the Cantor function is intimately tied to the structure of the Cantor set C, the support where c actually increases. The scaling factors—$1/3 in the domain and $1/2 in the range—directly correspond to the iterative ternary construction of C, where each step replaces one interval with two subintervals scaled by $1/3. This parallelism ensures that c maps the zero-measure Cantor set C (of Lebesgue measure zero) onto the full interval [0,1], preserving the function's monotonicity while concentrating all variation on C.^[19] Visually, the graph of the Cantor function resembles a staircase with infinitely many flat steps (corresponding to the constant intervals) and fractal-like risers confined to the Cantor set, earning it the moniker "devil's staircase".^[1] This appearance underscores its continuous yet singular nature, with no steep rises but an unending cascade of minute increases. The self-similar structure also elucidates a key dimensional anomaly: the Cantor set C has Hausdorff dimension \log 2 / \log 3 \approx 0.6309, computed from its self-similar construction satisfying $2 = 3^d where d is the dimension. Yet c maps this low-dimensional set onto the unit interval of dimension 1, illustrating how the function distorts dimensions without altering topological properties like compactness and connectedness in the image. This mismatch highlights the function's role in embedding fractal sets into higher-dimensional spaces while maintaining measure-theoretic peculiarities.^[19]

Functional equations

The Cantor function c: [0,1] \to [0,1], also known as the devil's staircase, satisfies functional equations that reflect its self-similar nature, derived from the iterative removal of middle thirds in the construction of the Cantor set.^[1] These equations allow for recursive definitions and computations of the function values. A fundamental relation is given by

c\left(\frac{x}{3}\right) = \frac{1}{2} c(x)

for x \in [0,1], and

c\left(\frac{x+2}{3}\right) = \frac{1}{2} + \frac{1}{2} c(x)

for x \in [0,1]. In piecewise form, the function obeys

c(x) = \begin{cases} \frac{1}{2} c(3x) & \text{if } 0 \leq x \leq \frac{1}{3}, \\ \frac{1}{2} & \text{if } \frac{1}{3} < x < \frac{2}{3}, \\ \frac{1}{2} + \frac{1}{2} c(3x - 2) & \text{if } \frac{2}{3} \leq x \leq 1. \end{cases}

This formulation arises from the ternary expansion of x, where c(x) is obtained by interpreting the digits 0 and 2 as 0 and 1 in binary, after removing the middle-third intervals where the function is constant. Iteratively applying these scalings corresponds to shifting the ternary digits, leading to an infinite composition that converges uniformly to c(x).^[19] The Cantor function is the unique continuous solution to these equations satisfying the boundary conditions c(0) = 0, c(1) = 1, and constancy on the removed middle-third intervals. This uniqueness follows from viewing the equations as a contraction mapping on the space of continuous non-decreasing functions from [0,1] to [0,1], with the Banach fixed-point theorem ensuring a unique fixed point.^[3] These functional equations enable efficient recursive evaluation of c(x) without computing the full ternary expansion, by repeatedly applying the piecewise rules until reaching a constant interval or sufficient precision, which is particularly useful for numerical approximations.^[3]

Generalizations and Extensions

Variations on Cantor sets

Asymmetric Cantor sets generalize the standard construction by removing open intervals of unequal lengths \alpha and \beta from the middle of each remaining closed interval at every stage, where \alpha + \beta < 1 and typically \alpha \neq \beta to introduce asymmetry. This process yields a compact, perfect, totally disconnected set C_{\alpha,\beta} of Lebesgue measure zero, analogous to the ternary Cantor set but with unbalanced ratios that affect the distribution of points. The corresponding Cantor-like function c_{\alpha,\beta} is constructed iteratively: it remains constant on the removed intervals and increases proportionally according to the relative "weights" \alpha and \beta on the surviving segments, ensuring continuity and monotonicity. More formally, in a parameterized framework using sequences of bases q = (q_j) and digit counts n = (n_j), the generalized devil's staircase D_{q,n} maps C_{q,n} homeomorphically onto [0,1] via expansions in base q'_j = n_j(q_j - 1) + 1, preserving the constant-on-gaps structure.^[17] These functions retain key properties of the classical Cantor function when the support has measure zero, including being singular continuous (derivative zero almost everywhere yet strictly increasing) and nowhere differentiable on the set itself. The Hausdorff dimension of C_{\alpha,\beta} is \log 2 / \log \left(2 / (1 - (\alpha + \beta))\right) in symmetric cases where the total removal proportion is r = \alpha + \beta and subintervals are equally split. For instance, taking q_j as the (j+1)-th prime and n_j = 2 produces asymmetric sets with Hausdorff dimension 1, and the associated D_{q,n} exhibits similar non-differentiability on C_{q,n}. The standard Cantor function arises as the symmetric limit with \alpha = \beta = 1/3.^[17] Fat Cantor sets, such as the Smith–Volterra–Cantor set (SVC set), modify the removal process to excise smaller central portions—initially the open middle interval of length $1/4 from [0,1], then middle intervals of length $1/4 \cdot 1/8 from each of the two remaining segments, and so on—resulting in a nowhere dense, uncountable set of positive Lebesgue measure, specifically m(\mathrm{SVC}) = 1/2. The associated function f_{\mathrm{SVC}} is defined as the normalized Lebesgue measure on the set: f_{\mathrm{SVC}}(x) = 2 \cdot m(\mathrm{SVC} \cap [0,x]), which is continuous, strictly increasing, and constant on the complementary open intervals. Unlike the classical case, f_{\mathrm{SVC}} is absolutely continuous because its support has positive measure, with derivative f_{\mathrm{SVC}}'(x) = 2 almost everywhere on SVC and 0 on the complement; the integral of the derivative recovers the full variation of 1. Local growth analysis shows f_{\mathrm{SVC}} belongs to Hölder classes with exponent $1/2 at endpoints of construction intervals, reflecting the binary-like scaling in removals. If the fat set construction yields full measure (e.g., by removing negligible portions), the function becomes the identity, fully absolutely continuous with derivative 1 everywhere.^[20] Parameterized families of devil's staircases extend the concept to broader classes of Cantor-like supports arising from iterated function systems (IFS) or piecewise expanding interval maps, where the function serves as the cumulative distribution function (CDF) of an invariant probability measure \mu supported on a measure-zero Cantor set. For an IFS with contraction ratios r_i < 1, the unique invariant measure \mu satisfies \mu = \sum_i r_i \mu \circ \phi_i^{-1}, and its CDF F(x) = \mu([0,x]) forms a devil's staircase: constant on gaps and increasing only on the attractor, yielding a singular continuous distribution when \mu is singular to Lebesgue (as in the classical case). These functions are singular if the support has Lebesgue measure zero, with properties like zero derivative almost everywhere and homeomorphism onto [0,1].^[7] A prominent example outside base expansions is the Minkowski question-mark function ?(x), defined for x \in [0,1] via continued fraction convergents: if x = [0; a_1, a_2, \dots], then ?(x) = 2^{-(a_1 + \cdots + a_{n-1})} (1 + \sum_{k=1}^{n-1} 2^{-(a_1 + \cdots + a_k)}) in the limit, mapping rationals to dyadics and quadratics to other quadratics. This function, supported on the irrationals in a Farey tree structure akin to a Cantor set of measure zero, is a singular continuous "slippery devil's staircase": strictly increasing, continuous, with derivative zero almost everywhere. It preserves the non-differentiability and measure-preserving aspects relative to its invariant measure on the quadratic irrationals.^[21] Across these variations, the functions maintain the core staircase profile—flat on removed intervals and rising on the Cantor-like support—while adapting singularity: singular for measure-zero supports, absolutely continuous for positive-measure ones, with parameterized constructions highlighting self-similarity and invariance under the generating maps.^[7]

Multidimensional analogs

One natural extension of the Cantor function to higher dimensions is the product construction, where the function c: [0,1]^n \to [0,1]^n is defined componentwise as c(x_1, \dots, x_n) = (c(x_1), \dots, c(x_n)), with c denoting the standard one-dimensional Cantor function.^[22] This map sends the n-dimensional Cantor dust, the product of n copies of the ternary Cantor set, onto the unit cube [0,1]^n (or equivalently, the n-torus T^n under periodic identification).^[22] The resulting function is continuous and surjective, inheriting the monotonicity of its one-dimensional counterpart in each coordinate while concentrating its variation on the zero-measure Cantor dust.^[22] Analogs of the Cantor function also exist on other planar fractals, such as the Sierpiński carpet, where singular functions are constructed to be constant on the removed open squares during the iterative removal process and strictly increasing along paths in the remaining set.^[22] These functions maintain continuity and map the carpet—a compact set of Hausdorff dimension \log 8 / \log 3 \approx 1.8928—onto intervals or higher-dimensional domains while exhibiting devil's staircase-like behavior, with derivative zero almost everywhere.^[22] Similar constructions apply to diffusions and harmonic functions restricted to the carpet, preserving self-similar structure through scaled iterations.^[23] Vector-valued versions generalize this further, defining monotone maps from the Cantor dust in \mathbb{R}^n to the unit cube [0,1]^m (with m \geq n) that preserve self-similarity by respecting the iterated function system scalings of the domain.^[22] These maps are componentwise non-decreasing, continuous, and surjective, often pulling back smooth functions from the codomain to induce operators on the fractal domain.^[22] Such multidimensional analogs find applications in dynamical systems as models for strange attractors, where the self-similar mappings capture the geometry of invariant sets under iterated transformations.^[24] In harmonic analysis on fractals, they facilitate the study of Fourier bases and spectral measures supported on Cantor dust or carpets, enabling the decomposition of functions into orthogonal components adapted to the fractal geometry.^[25] Regarding measure aspects, these functions preserve Lebesgue measure in the codomain through their surjectivity but concentrate the image of the domain's Hausdorff measure onto sets of positive Lebesgue measure, rendering them singular with respect to Lebesgue measure on the ambient space while vanishing on the complement of the fractal.^[22] For instance, the induced measures on the torus via the product map support non-trivial cyclic cocycles that integrate wedge products of pulled-back forms, highlighting their role in noncommutative geometry despite the domain's zero Lebesgue measure.^[22]

References

[1]
Cantor Function -- from Wolfram MathWorld
The Cantor function F(x) is the continuous but not absolutely continuous function on [0,1] which may be defined as follows. First, express x in ternary.
[2]
Cantor function - PlanetMath.org
Mar 22, 2013 · We define the Cantor function (or the Cantor ternary function) as. f(x)=N∑n=1bn2n. ⁢ This function can be easily checked to be continuous and ...
[3]
[PDF] The Cantor function
The Cantor function G was defined in Cantor's paper [Can] dated November 1883, the first known appearance of this function. In [Can] Georg Cantor was ...Missing: original | Show results with:original
[4]
[PDF] THE CANTOR SET
We demonstrate a surjective function f : C → [0, 1]. As a result, we have that #C ≥ #[0, 1], i.e., that the cardinality of the Cantor set is at least ...
[5]
https://heil.math.gatech.edu/6337/spring11/section1.9.pdf
[6]
[PDF] 1.9 The Cantor–Lebesgue Function - Christopher Heil
We will construct an important function in this section through an iterative procedure that is related to the construction of the Cantor set as given in.Missing: source | Show results with:source
[7]
[PDF] The Cantor set and the Devil's staircase - Manuela Girotti
In these notes we will prove a few properties of the Cantor set and we will construct a pathological function 3 : [0,1] → [0,1] (the “Devil's staircase”) ...
[8]
The Cantor function - ScienceDirect
The Cantor function G was defined in Cantor's paper [10] dated November 1883, the first known appearance of this function. In [10], Georg Cantor was working ...Missing: original | Show results with:original
[9]
[PDF] A Note on the History of the Cantor Set and Cantor Function
Cantor addressed this issue in a letter [18] dated November. 1883, in which he defines the Cantor set, just as it was defined in the paper [14] of. 1883 ...
[10]
[PDF] A Lebesgue Measurable Set that is not Borel - metaphor
Mar 24, 2021 · We start with Cantor's function (also known as Devil's staircase if you prefer to be a ... monotonicity and surjective by continuity (in-.
[11]
[PDF] 7.4 Absolutely Continuous & Singular Func- tions - LSU Math
Apr 7, 2010 · We will construct a singular function f, called the Cantor function, on [0, 1]. Each number x ∈ [0, 1] can be expressed in a ternary.
[12]
[PDF] Lectures in Analysis - Purdue Math
Prove that the Cantor function is monotone on [0,1] with derivative zero almost ... almost everywhere, f = F0 almost everywhere, finishing the proof of ...
[13]
[PDF] Companion to Real Analysis - Portland State University
Mar 8, 2010 · Cantor function.) The Lebesgue singular function is increasing ... with derivative zero, almost everywhere so that ψ(1) − ψ(0) = 1 6=0 ...<|control11|><|separator|>
[14]
[PDF] Shape Analysis, Lebesgue Integration and Absolute Continuity ...
Jul 7, 2018 · ... Cantor function is not absolutely continuous on [0, 1]. Proof: Let f be the Cantor function and assume it is absolutely continuous on [0, 1].Missing: lack | Show results with:lack
[15]
[PDF] FUNCTIONS OF BOUNDED VARIATION 1. Introduction In this paper ...
Therefor the Cantor ternary function is continuous. D. Theorem 4.1. The Cantor ternary function is not absolutely continuous. Proof. Let = 1/2. Consider the ...Missing: lack | Show results with:lack
[16]
[PDF] Intégrale, Longueur, aire - Internet Archive
Intégrale, Longueur, Aire. 2e ...
[17]
[PDF] Section 2.7. The Cantor Set and the Cantor-Lebesgue Function
Oct 6, 2020 · In this section, we define the Cantor set which gives us an example of an uncountable set of measure zero. We use the Cantor-Lebesgue Function ...Missing: preservation | Show results with:preservation
[18]
[PDF] on the fractal properties of generalized cantor sets and devil's ... - ORBi
Its Hausdorff dimension (see Definition 2.1) is well-known to be α0 = log 2/ log 3. Similarly, the Devil's staircase (also called the. Cantor function), D - a ...
[19]
Absolutely Continuous Functions
Note that the Cantor function does not satisfy the (N) property since it sends a set of Lebesgue measure zero, the Cantor set D, into the full interval [0,1].Missing: lack | Show results with:lack
[20]
[PDF] An introduction to measure theory Terence Tao
also known as the Devil's staircase function. The construction of this function is detailed in the exercise below. Exercise 1.6.47 (Cantor function). Define ...
[21]
Characterization of the Local Growth of Two Cantor-Type Functions
This article characterizes the local growth of the Cantor's singular function by means of its fractional velocity.
[22]
Minkowski's Question Mark Function -- from Wolfram MathWorld
Minkowski's question mark function is the function y=?(x) defined by ... Devil's Staircase, Farey Sequence, Minkowski-Bower Constant. Explore with ...
[23]
[PDF] arXiv:2209.03537v2 [math.KT] 16 Sep 2022
Sep 16, 2022 · Abstract. In this paper, we generalize the Cantor function to 2-dimensional cubes and construct a cyclic 2-cocycle on the Cantor dust.
[24]
Singular time changes of diffusions on Sierpinski carpets
In this study we construct self-similar diffusions on the Sierpinski carpet that are reversible with respect to the Hausdorff measure.
[25]
Multi-dimensional Cantor sets in classical and quantum mechanics
The results further show that in four dimensions the phase space dynamics is Peano-like and resembles an Anosov diffeomorphism of a compact manifold which is ...Missing: analogs | Show results with:analogs
[26]
[PDF] Harmonic analysis and the geometry of fractals
Cantor set) behave like flat surfaces. Izabella Laba. Harmonic analysis and the geometry of fractals. Page 8. Measures, randomness, Fourier decay. Restriction ...