Riemann Integral on Fractal Structures

: In this work we start developing a Riemann-type integration theory on spaces which are equipped with a fractal structure. These topological structures have a recursive nature, which allows us to guarantee a good approximation to the true value of a certain integral with respect to some measure defined on the Borel σ -algebra of the space. We give the notion of Darboux sums and lower and upper Riemann integrals of a bounded function when given a measure and a fractal structure. Furthermore, we give the notion of a Riemann-integrable function in this context and prove that each µ -measurable function is Riemann-integrable with respect to µ . Moreover, if µ is the Lebesgue measure, then the Lebesgue integral on a bounded set of R n meets the Riemann integral with respect to the Lebesgue measure in the context of measures and fractal structures. Finally, we give some examples showing that we can calculate improper integrals and integrals on fractal


Introduction
Fractal structures were introduced in [1] to study non-Archimedean quasimetrization, although it is true that they have a wide range of applications.Some of them can be found in [2] and include metrization, topological and fractal dimension, filling curves, completeness, transitive quasi-uniformities, and inverse limits of partially ordered sets.
One of the most recent applications of fractal structures is to construct a probability measure by taking advantage of their recursive nature.For some reference on this topic, we refer the reader to [3,4].The idea of this construction is defining a pre-measure on the elements of a fractal structure or some topological structures induced by it, so that, from several sufficient conditions and characterizations, we have extended that pre-measure to a probability measure on the Borel σ-algebra of the space.Indeed, the authors proved that each probability measure defined in a space with a fractal structure can be constructed by following the procedure mentioned.
On the other hand, the classical theory of Riemann-type integration starts from a bounded function on a compact rectangle of R n and a collection of almost disjoint compact sets whose union is the said rectangle, which we refer to by the name partition.From the function and the partition, the lower and upper Darboux sums are defined, and by taking the supremum and the infimum of these sums over all the possible partitions, we get the lower and upper Riemann integrals, respectively.Section 2.3 recalls, in more detail, some different basic results and notions of this theory.Talking about a partition in the environment of the calculation of Riemann-type integrals suggests considering a fractal structure so that, based on each of its levels, we can obtain the lower and upper sums.Consequently, it will make sense to talk about a Riemann integral, although the volume can be replaced by a measure that is defined in the σ-algebra of the space in which we are working.Furthermore, it makes sense to think that considering a higher level of the fractal structure can guarantee a better approximation to the true value of the integral.Thus, interest arises in studying the application of fractal structures to the development of a Riemann-type integration theory, with respect to a certain measure defined in the space, and that is the main objective of this work.For this purpose, we first give the notion of Darboux sums with respect to a measure and a fractal structure in Section 3.After that, we introduce the notion of a Riemann-integrable function with respect to a measure and a fractal structure on a certain space in Section 4 and prove a Riemann theorem in this context (see Section 5).Moreover, in Section 6 we prove that if a bounded function is Riemannintegrable, its integral does not depend on the chosen fractal structure, so we just have to refer to the measure defined on the σ-algebra of the space.It is also shown that the integral introduced coincides with the Riemann integral in R n and with the Lebesgue integral with respect to the measure.In the last section, we show some examples to illustrate this theory.Finally, it is worth highlighting that in the literature there are already other works related to the calculation of Riemann-type integrals on other types of spaces.For example, in [5][6][7][8].

Fractal Structures
Despite being introduced in [1] for a topological space, fractal structures can be defined in a set, and this will be the definition we use in this work, as has been used previously in other works.
First, recall that a cover Γ 2 is a strong refinement of another cover Γ 1 , written as The definition of a fractal structure is as follows.

Definition 1.
A fractal structure on a set X is a countable family of coverings Γ = {Γ n : n ∈ N} such that Γ n+1 ≺≺ Γ n .The cover Γ n is called the level n of the fractal structure.
A fractal structure is said to be finite if each level is a finite covering.In what follows, we introduce two simple examples of fractal structures.The first is defined in [0, 1] and its levels are given by n ] : k = 0, . . ., 2 n − 1} for each n ∈ N. Note that the previous fractal structure is finite (since it has a finite number of elements at each level).However, if we consider the Euclidean space R, it is defined as the countable family of coverings Γ = {Γ n : n ∈ N}, where In both cases, Γ is known as the natural fractal structure.
A fractal structure induces (see [1]) a transitive base of a quasi-uniformity given by {U Γ n : n ∈ N}, where If Γ is a fractal structure on a set X and A ⊆ X, the fractal structure induced on A (see [1]) is defined as

Measure Theory
Now we recall some definitions related to measure theory from [9].Let X be a set, then there are several classes of sets of X.If R is a non-empty collection of subsets of X, we say that R is a ring if it is closed under complement and finite union.Furthermore, given Q is a non-empty collection of subsets of X, it is said to be an algebra if it is a ring such that X ∈ Q.Moreover, a non-empty collection of subsets of X, A, is a σ-algebra if it is closed under complement and countable union and X ∈ A. If A is a σ-algebra on X, then the pair (X, A) is called a measurable space.
For a given topological space, (X, τ), B = σ(τ) is the Borel σ-algebra of the space, that is, it is the σ-algebra generated by the open sets of X.
A set mapping is said to be σ Definition 2 ([9], Section 7).Given a measurable space (Ω, A), a measure µ is a non-negative and σ-additive set mapping defined in A such that µ(∅) = 0.The triple (Ω, A, µ) is called a measure space.
A measure is monotonic (which means that if A, B ∈ A are such that A ⊆ B, then µ(A) ≤ µ(B)).It is also continuous from below: if (A n ) is a monotonically non-decreasing sequence of sets (which means that

Riemann Integration Theory
In this subsection, we base on [10] in order to give a generalization of the n-dimensional Riemann integration theory.
A compact interval in the n-dimensional Euclidean space R n is a product Let f be a bounded function on an interval J and let D be a partition of J.The lower and upper Darboux sums of f in D are defined, respectively, by and |D| denotes the family of all sets of the partition D. Note that if D is a refinement of D ′ , then s( f ; D) ≥ s( f ; D ′ ) and S( f ; D) ≤ S( f ; D ′ ) and, if we consider a common refinement, it can be proved that s( f , D) ≤ S( f ; D ′ ) for each pair of partitions D and D ′ .Now, we recall the definition of the lower and upper Riemann integrals of f over J.
The next theorem is sometimes referred to as Riemann's theorem (see, for example, [Th.7.1.11] [11]).Theorem 2. A function f is Riemann-integrable if and only if there exists a number L ∈ R with the following property: for each ε > 0, there exists δ > 0 such that |S( f ; D; ξ) − L| < ε for each partition D with ||D|| < δ and for each selection ξ = (x D ) D∈D for D.Moreover, if f is Riemann-integrable, then L = f .

Darboux Sums with Respect to a Measure and a Fractal Structure
In this section, we see how to define the Darboux sums from a measure defined on a space with a fractal structure.This measure plays a similar role to that played by the Lebesgue measure in the classical theory of Riemann integrals when defining Darboux sums.For that purpose, we first need to give some conditions on the fractal structure we define on the space.Definition 4. Let (X, S, µ) be a measure space and Γ be a fractal structure on X. Γ is said to be µ-disjoint if the following conditions hold: 1.
Γ n ⊆ S is countable for each n ∈ N.

2.
µ(B ∩ J) = 0 for each B, J ∈ Γ n such that B ̸ = J and each n ∈ N.
Darboux sums are defined for each level of a fractal structure in a space as follows: Definition 5. Let (X, S, µ) be a measure space, Γ = {Γ n : n ∈ N} be a µ-disjoint fractal structure, and f : X → R be a bounded function.Then, for each J ∈ Γ n , we set so that the lower and upper Darboux sums with respect to µ for each level of the fractal structure are given by respectively, when the series are absolutely convergent.
Next, we see that the first condition in Definition 4 allows us to calculate both the Darboux sums and the measure of each element used in them, while the second condition means that overlapping is not a problem.
Proof.First, we prove that On the other hand, given A ∈ Γ n and x ∈ A, since Γ * n is a covering, there exists B ∈ Γ * n such that x ∈ B and therefore Now we see that Γ is a fractal structure on X, that is, it is a countable family of coverings of X such that Γ n+1 ≺≺ Γ n for each n ∈ N.
Let n ∈ N. Given x ∈ X, there exist B ∈ Γ n and J ∈ Γ * n such that x ∈ B and x ∈ J, since Γ n and Γ * n are both coverings of X.Hence, x ∈ B ∩ J ∈ Γ n , which means that Γ n is a covering of X.
On the other hand, let Finally, let and Γ is a fractal structure.Remark 1.Let (X, S, µ) be a measure space and Γ and Γ * be two µ-disjoint fractal structures on X.Then Γ ∨ Γ * is a µ-disjoint fractal structure on X.
= 0 by the monotonicity of the measure.Lemma 1.Let (X, S, µ) be a measure space and Γ be a µ-disjoint fractal structure on X. Then:

3.
Let {A i : i ∈ N} be a countable family of different elements of Γ n .Then Let A 1 , . . ., A k ∈ Γ n be such that they are all different.Reasoning by induction on k, we prove that µ that the equality holds for a certain k ∈ N. Let us see that it also holds for k + 1: First, we have . Moreover, the induction hypothesis lets us write The fact that µ is sub-σ-additive implies that and the fact that If we join all the previous equalities, we conclude that

3.
Let {A i : i ∈ N} be a countable family of different elements of Γ n .Since where we have taken into account the previous item in the first equality.
The next proposition gathers some relationships between both Darboux sums with respect to two µ-disjoint fractal structures defined on a space.Proposition 2. Let (X, S, µ) be a measure space and Γ = {Γ n : n ∈ N} and Γ * = {Γ * n : n ∈ N} be two µ-disjoint fractal structures on X.Let f : X → R be a bounded function and n, m ∈ N. Then: Then H ⊂ J 1 ∩ J 2 and since µ is monotonic and µ(J 1 ∩ J 2 ) = 0 (because the fractal structure is µ-disjoint), we have µ(H) = 0, a contradiction.Item (a) lets us write and, by item (b), it follows that Now, by item (c), and, by the first item, it holds that Now we use item (c), so that and item (b) lets us write

3.
Let Γ = Γ ∨ Γ * and p = max{n, m}.Then Γ p ≺≺ Γ n , Γ * m .Note that Γ is µ-disjoint by Remark 1.By the previous items, we have that We can also observe the next result from the previous proposition.
Remark 2. Under the hypothesis of the previous proposition, it follows that L( f ;

Riemann Integral with Respect to a Measure and a Fractal Structure
Once we know how to define the lower and upper Darboux sums when given a bounded function, a measure µ, and a µ-disjoint fractal structure on a space X, the next step is defining the lower and upper Riemann integrals with respect to the measure and the fractal structure.Moreover, we can give some conditions so that both integrals coincide.Definition 6.Let (X, S, µ) be a measure space, Γ = {Γ n : n ∈ N} be a µ-disjoint fractal structure on X, and f : X → R be a bounded function.We define the lower and upper Riemann integrals of f with respect to µ and Γ on X as follows: 1.
Upper Riemann integral of f with respect to µ and Γ:

2.
Lower Riemann integral of f with respect to µ and Γ: f .Definition 7. Let (X, S, µ) be a measure space, Γ = {Γ n : n ∈ N} be a µ-disjoint fractal structure on X and f : X → R be a bounded function.f is said to be Riemann-integrable with respect to µ and Γ on X if X (µ,Γ) f is finite and X If f is Riemann-integrable with respect to µ and Γ on X, we define the Riemann integral of f with respect to µ and Γ on X, We denote by R(X; µ; Γ) the set of Riemann-integrable functions with respect to µ and Γ on X.
Proposition 3. Let (X, S, µ) be a measure space, Γ = {Γ n : n ∈ N} be a µ-disjoint fractal structure on X and f : X → R be a bounded function.The following statements are equivalent: 1.

2.
For each ε > 0, there exists n ∈ N such that U( f For each ε > 0, there exists n 0 ∈ N such that U( f Proof.(1 ⇔ 3) By definition of Riemann integral, we have that what is equivalent, in terms of convergence, to claim that for each ε > 0, there exists n 0 ∈ N such that U( f ; Γ n ; µ) − L( f ; Γ n ; µ) ≤ ε for each n ≥ n 0 .
Note that the third condition in the previous proposition is equivalent to = 0 and hence, by Proposition 3 again, f ∈ R(X; µ, Γ * ).

Riemann Theorem for Fractal Structures
In what follows, we prove a theorem which is analogous to the Riemann theorem in R n , but for bounded functions defined on a space with a µ-disjoint fractal structure.This is one of the main results of this work.Definition 8. Let Γ be a fractal structure on a space X such that Γ n is countable for each n ∈ N. A selection for Γ n is a collection of points ξ := (x A ) A∈Γ n such that x A ∈ A for each A ∈ Γ n .Definition 9. Let (X, S, µ) be a measure space, Γ = {Γ n : n ∈ N} be a µ-disjoint fractal structure on X and f : X → R be a bounded function.Let n ∈ N and ξ = (x A ) A∈Γ n be a selection for Γ n .The Riemann sum for f relative to Γ n , ξ and µ is denoted by S( f ; Γ n ; ξ; µ) and is defined as follows: Theorem 3 (Riemann's Theorem).Let (X, S, µ) be a measure space, Γ = {Γ n : n ∈ N} be a µ-disjoint fractal structure on X, f : X → R be a bounded function and C ∈ R. The following statements are equivalent: Given ε > 0, there exists n 0 ∈ N such that |C − S( f ; Γ n ; ξ n ; µ)| < ε for each n ≥ n 0 and each selection for Γ n , ξ n .

3.
Given ε > 0, there exists n ∈ N such that |C − S( f ; Suppose that ξ m is a selection for Γ m and m ≥ n 0 .It follows that 2 for each ξ, selection for Γ n .We distinguish two cases: Then we have that Then we have that Hence, in both cases, we can write (2 ⇔ 4) It is immediate.

Riemann Integral with Respect to a Measure
The next result allows us to claim that the Riemann integral of a bounded function with respect to a measure and a fractal structure, in fact, does not depend on the fractal structure.Proposition 4. Let (X, S, µ) be a measure space, Γ = {Γ n : n ∈ N} and Γ * = {Γ * n : n ∈ N} be two µ-disjoint fractal structures on X and f : Therefore, if a bounded function is Riemann-integrable with respect to a measure, µ, and different µ-disjoint fractal structures, then all the integrals have the same value.Therefore, it makes sense to introduce the following concept: Definition 10.Let (X, S, µ) be a measure space and f : X → R be a bounded function.f is said to be µ-Riemann-integrable if there exists a µ-disjoint fractal structure Γ on X such that f is Riemann-integrable on X with respect to µ and Γ.Moreover, if so, the integral is defined as From now on, R(X; µ) will denote the set of all bounded functions that are µ-Riemann-integrable on X.
The proof of the following result is straightforward.Lemma 2. Let Γ be a fractal structure on a set Y, X be a set and f : X → Y be a map.Then Once we know that the Riemann integral does not depend on the chosen fractal structure, we give some sufficient conditions to ensure that a function is Riemann-integrable with respect to a measure.Proposition 5. Let (X, S, µ) be a finite measure space and f : X → R be a bounded measurable function.Then f ∈ R(X; µ) and µ X f = f dµ.
Proof.Let ∆ = {∆ n : n ∈ N} be the fractal structure in R given by 2 n [: k ∈ Z} for each n ∈ N, and let Γ = f −1 (∆).Note that Γ is a fractal structure by the previous lemma and it is µ-disjoint since f is measurable, X has finite measure and A ∩ B = ∅ for each A, B ∈ Γ n with A ̸ = B and each n ∈ N. Now, we prove that f is Riemann-integrable with respect to µ and Γ.
Given n ∈ N, it follows that l n dµ = ∑ i∈Z i and X has finite measure, then f is Lebesgue integrable and f dµ = lim n→∞ l n dµ = lim n→∞ u n dµ.It follows from Proposition 3 that f is integrable with respect to µ and Γ and µ The previous result states that, for bounded functions and finite measure spaces, the Riemann integral with respect to a measure is the same as the classic Lebesgue integral with respect to that measure.An open question is if this result is still true for non-finite measure spaces.
Another interesting interpretation of the previous result is that the Lebesgue integral with respect to a measure can be calculated by choosing some simple and easy fractal structure, since the calculation of the Riemann integral with respect to that fractal structure and the measure is easier since it only involves the calculation of the Darboux sums and some limits.This is particularly true when it is easy to calculate the measure of the elements of the fractal structure.
An obvious consequence of the previous proposition is that continuous maps are Riemann-integrable with respect to any measure on the Borel σ-algebra.Corollary 2. Let (X, τ) be a topological space, µ be a finite measure on the Borel σ-algebra and f : X → R be a bounded continuous map.Then f ∈ R(X; µ).

Riemann Integrability vs. Riemann Integrability with Respect to the Lebesgue Measure
Functions that are Riemann-integrable (in the classic sense) in a rectangle in R N are also Riemann-integrable with respect to the Lebesgue measure, and both integrals coincide.
n ∈ N} be the natural fractal structure on R N induced on X.Then f is Riemann-integrable (in the classic sense) if and only if it is Riemann-integrable on X with respect to the Lebesgue measure λ and Γ.Moreover, if f is Riemann-integrable on X, both integrals coincide.
Proof.On the one hand, suppose that f is Riemann-integrable (in the classic sense).Let ε > 0.Then, by Theorem 2, there exists δ > 0 such that |S( f ; D; ξ) − X f | < ε for each partition D with ||D|| < δ and for each selection ξ = (x D ) D∈D for D.
Let n ∈ N be such that 1 2 n < δ and ξ be a selection for Γ n .Then it is clear that 1  2 n , which is less than δ.It follows from Theorem 3 that f is Riemann-integrable on X with respect to λ and Γ and (λ,Γ) X f = X f .On the other hand, suppose that f is Riemann-integrable on X with respect to λ and Γ and let ε > 0. By Proposition 3 there exists n ∈ N such that U( f ; Γ n ; λ) − L( f ; Γ n ; λ) < ε.Since Γ n is a partition, it follows from Theorem 1 that f is Riemann-integrable (in the classic sense).

Finally, by definition, it is clear that
f .Hence, if f is Riemann-integrable on X, then it is Riemann-integrable with respect to λ and Γ and it follows that and f : X → R be a Riemann-integrable function (in the classic sense), then f is λ-Riemann-integrable and both integral coincide, where λ is the Lebesgue measure.

Examples
In the previous section, we have shown (Proposition 6 and Corollary 3) that the classic Riemann integral is a particular case of the theory, since it is the Riemann integral with respect to the natural fractal structure and the Lebesgue measure.
Also, we have shown (Proposition 5) that, for bounded functions on finite measure spaces, the classic Lebesgue integral with respect to the measure is a particular case of the theory, since it coincides with the Riemann integral with respect to a certain fractal structure and the measure.In this case, the fractal structure depends on the function, while in the classic Riemann integral, we can always use the natural fractal structure for any function.
In this section, we give three examples in which an integral is calculated according to the theory that has been developed before.
In Corollary 3 it was shown that each Riemann-integrable function (in the classic sense) is Riemann-integrable with respect to the Lebesgue measure.The first is an example of a function that is not Riemann-integrable (in the classic sense), but it is Riemann-integrable with respect to the Lebesgue measure. of the fractal structure.By the results in [3,4] you can prove that a pre-measure defined in the elements of the fractal structure can be extended to the Borel σ-algebra.But if you are only interested in the calculation of integrals, you do not need to bother about how the extension is done or how to calculate the measure of other sets, since you only need the measure of the elements of the fractal structure in order to calculate integrals.This is similar to the case of the classic Riemann integral where you only need to know the measure of an interval in order to calculate integrals.Next, we present a simple example.
The next example shows that there exist Riemann-integrable functions with respect to a certain measure on fractal sets.Indeed, in the following, we work on the Cantor set in order to calculate integrals.
Let f 0 , f 2 : [0, 1] → R be the functions given by f 0 (x) = x 3 and f 2 (x) = x 3 + 2 3 .Recall that the Cantor set, C, is defined as the unique compact subset on [0, 1] such that C = f 0 (C) ∪ f 2 (C).Now let g : [0, 1] → [0, 1] be a function defined by the following rule: given x ∈ [0, 1], we write it in base 3. Next, we truncate it by the first 1 (if it is not the case, we consider the whole expression of x in base 3).In the resulting expression, we exchange twos by ones.Then we have a number in base 2 whose decimal value is g(x) for some x ∈ [0, 1].This function is known as devil's staircase (see, for example, [12]), and its graph can be seen in Figure 1.We are interested in the integration of the restriction of this function to the Cantor set.Now, let Γ be the natural fractal structure as a self similar set (see [13]), defined by the following levels: Note that g(J) = [(0.x 1 . . .x n ) 2 , (0.x 1 . . .x n 1) 2 ], where a i = 2x i for each i = 1, . . ., n, and hence M(g| C ; J) = (0.x 1 . . .x n ) 2 + 1 2 n and m(g| C ; J) = (0.x 1 . . .x n ) 2 .Let J ∈ Γ n for some n ∈ N. We define the set function µ by µ(J) = 1 2 n .
By [4], it is known that µ can be extended to a measure on the Borel σ-algebra.

Definition 3 .f
Let f be a bounded function on an interval J = [a 1 , b 1 ] × . . .× [a n , b n ] and D be a partition of J. Then the lower and upper sums of f over J are defined, respectively, case that both values coincide, we refer to that number by the name of the Riemann integral of f over J and denote it by J Two of the most well-known theorems in the classical theory of Riemann integral are the following ones: Theorem 1.A function f is Riemann-integrable if and only if for each ε > 0, there exists a partition D such that S( f ; D) − s( f ; D) < ε A selection for a partition D is a collection of points ξ = (x D ) D∈D such that x D ∈ D for each D ∈ D. The Riemann sum for a function f relative to a partition D and a selection ξ