A survey on fractal dimension for fractal structures

This paper provides a new model to compute the fractal dimension of a subset on a generalized-fractal space. Recall that fractal structures are a perfect place where a new definition of fractal dimension can be given, so we perform a suitable discretization of the Hausdorff theory of fractal dimension. We also find some connections between our definition and the classical ones and also with fractal dimensions I & II (see M.A. Sánchez-Granero and M. Fernández-Martínez (2010) [16]). Therefore, we generalize them and obtain an easy method in order to calculate the fractal dimension of strict self-similar sets which are not required to verify the open set condition.

Fractal dimension constitutes the main tool to test for fractal patterns in Euclidean contexts. For this purpose, it is always used the box dimension, since it is easy to calculate, though the Hausdorff dimension, which is the oldest and also the most accurate fractal dimension, presents the best analytical properties. Additionally, fractal structures provide an appropriate topological context where new models of fractal dimension for a fractal structure could be developed in order to generalize the classical models of fractal dimension. In this survey, we gather different definitions and counterexamples regarding these new models of fractal dimension in order to show the reader how they behave mathematically with respect to the classical models, and also to point out which features of such models can be exploited to powerful effect in applications.

In this paper, we use fractal structures to study a new approach to the Hausdorff dimension from both continuous and discrete points of view. We show that it is possible to generalize the Hausdorff dimension in the context of Euclidean spaces equipped with their natural fractal structure. To do this, we provide three definitions of fractal dimension for a fractal structure and study their relationships and mathematical properties. One of these definitions is in terms of finite coverings by elements of the fractal structure. We prove that this dimension is equal to the Hausdorff dimension for compact subsets of Euclidean spaces. This may be the key for the creation of new algorithms to calculate the Hausdorff dimension of these kinds of space.

The main goal of this paper is to provide a generalized definition of fractal dimension for any space equipped with a fractal structure. This novel theory generalizes the classical box-counting dimension theory on the more general context of GF-spaces. In this way, if we select the so-called natural fractal structure on any Euclidean space, then the box-counting dimension becomes just a particular case. This idea allows to consider a wide range of fractal structures to calculate the effective fractal dimension for any subset of this space. Unlike it happens with the classical theory of fractal dimension, the new definitions we provide may be calculated in contexts where the box-counting one can have no sense or cannot be calculated. Nevertheless, the new models can be computed for any space admitting a fractal structure, just as easy as the box-counting dimension in empirical applications.

Hausdorff dimension, which is the oldest and also the most accurate model for fractal dimension, constitutes the main reference for any fractal dimension definition that could be provided. In fact, its definition is quite general, and is based on a measure, which makes the Hausdorff model pretty desirable from a theoretical point of view. On the other hand, it turns out that fractal structures provide a perfect context where a new definition of fractal dimension could be proposed. Further, it has been already shown that both Hausdorff and box dimensions can be generalized by some definitions of fractal dimension formulated in terms of fractal structures. Given this, and being mirrored in some of the properties satisfied by Hausdorff dimension, in this paper we explore which ones are satisfied by the fractal dimension definitions for a fractal structure, that are explored along this work.

SIAM Journal on Computing, 2008

Self-similar fractals arise as the unique attractors of iterated function systems (IFSs) consisting of finitely many contracting similarities satisfying an open set condition. Each point x in such a fractal F arising from an IFS S is naturally regarded as the "outcome" of an infinite coding sequence T (which need not be unique) over the alphabet Σ k = {0,. .. , k − 1}, where k is the number of contracting similarities in S. A classical theorem of Moran (1946) and Falconer (1989) states that the Hausdorff and packing dimensions of a self-similar fractal coincide with its similarity dimension, which depends only on the contraction ratios of the similarities. The theory of computing has recently been used to provide a meaningful notion of the dimensions of individual points in Euclidean space. In this paper, we use (and extend) this theory to analyze the dimensions of individual points in fractals that are computably self-similar, meaning that they are unique attractors of IFSs that are computable and satisfy the open set condition. Our main theorem states that, if F ⊆ R n is any computably self-similar fractal and S is any IFS testifying to this fact, then the dimension identities dim(x) = sdim(F) dim π S (T)

Journal of Mathematical Analysis and Applications, 1992

131) have considered a class of real functions whose graphs are, in general, fractal sets in R2. In this paper we give sufficient conditions for the fractal and Hausdorff dimensions to be equal for a certain subclass of fractal functions. The sets we consider are examples of self-affine fractals generated using iterated function systems (i.f.s.). Falconer [S] has shown that for almost all such sets the fractal and Hausdorff dimensions are equal and he gives a formula for the common dimension, due originally to Moran [S]. These results, however, give no information about individual fractal functions, In this paper we extend Moran's original method and show that if certain conditions on the i.f.s. are satisfied, then the two dimensions are equal. Kono [ 111 and Bedford [ 121 considered special cases of the subclass of fractal functions that we will introduce. Bedford and Urbanski [13] use a nonlinear setting to present conditions for the equality of Hausdorff and fractal dimension. However, their criteria are based on measure-theoretic characterizations and the use of the concept of generalized pressure. Our criterion on the other hand is based on the underlying geometry of the attractor and is easier to verify. We will show this on two specific examples which are more general than the self-ahine functions presented in [13].

Transactions of the American Mathematical Society, 2014

We investigate several aspects of the Assouad dimension and the lower dimension, which together form a natural ‘dimension pair’. In particular, we compute these dimensions for certain classes of self-affine sets and quasi-self-similar sets and study their relationships with other notions of dimension, such as the Hausdorff dimension for example. We also investigate some basic properties of these dimensions including their behaviour regarding unions and products and their set theoretic complexity.

Proceedings of the American Mathematical Society, 1992

For self-similar sets with nonoverlapping pieces, Hausdorff dimension and measure are easily determined. We express "absence of overlap" in terms of discontinuous action of a family of similitudes, thus improving the usual "open set condition".

Proceedings of the American Mathematical Society, 1992

For self-similar sets with nonoverlapping pieces, Hausdorff dimension and measure are easily determined. We express "absence of overlap" in terms of discontinuous action of a family of similitudes, thus improving the usual "open set condition".