/ / Article

Research Article | Open Access

Volume 2020 |Article ID 8353591 | https://doi.org/10.1155/2020/8353591

JiaQing Xiao, "Assouad Dimensions and Lower Dimensions of Some Moran Sets", Journal of Mathematics, vol. 2020, Article ID 8353591, 5 pages, 2020. https://doi.org/10.1155/2020/8353591

# Assouad Dimensions and Lower Dimensions of Some Moran Sets

Revised22 Aug 2020
Accepted12 Sep 2020
Published23 Sep 2020

#### Abstract

We prove that the low dimensions of a class of Moran sets coincide with their Hausdorff dimensions and obtain a formula for the lower dimensions. Subsequently, we consider some homogeneous Cantor sets which belong to Moran sets and give the counterexamples in which their Assouad dimension is not equal to their upper box dimensions and packing dimensions under the case of not satisfying the condition of the smallest compression ratio .

#### 1. Introduction

Let us begin with the definition of the Assouad dimension and the lower dimension. For , and denotes the smallest number of open sets required for an r-cover of a bounded set E.

Definition 1. The Assouad dimension of a nonempty set is defined by There exists a constant such that, for any , and , .
If the Hausdorff dimension provides fine, but global, geometric information, then the Assouad dimension which was introduced by Assouad  provides coarse, but local, geometric information. The Assouad dimension is a fundamental notion of dimension used to study fractal objects in a wide variety of contexts. An important theme in dimension theory is that dimensions often come in pairs. The natural partner of the Assouad dimension is the lower dimension, which was introduced by Larman , where it was called the minimal dimensional number.

Definition 2. The lower dimension of F is defined by There exists a constant such that, for any , and , .

#### 2. Lower Dimensions of Some Moran Sets

Firstly, let us recall the definition of Moran sets introduced by Wen . Let be a sequence of positive integers. Define , and for any , set , , and . If , let . And if , remark for .

Definition 3. Suppose that is a compact set with . Let be a sequence of positive real vectors with and We say the collection of closed subsets of fulfills the Moran structure if it satisfies the following Moran structure conditions (MSC):(1)For is geometrically similar to , i.e., there exists a similarity such that . For convenience, we write (2)For all and are subsets of and satisfy that (3)For any and ,where denotes the diameter of A.
Suppose that F is a collection of closed subsets of J fulfilling the Moran structure, setIt is ready to see that E is a nonempty compact set. The set is called the Moran set associated with the collection F.
Let and . The elements of are called kth-level basic sets of E and the elements of F are called the basic sets of E. Suppose that the set and the sequences and are given. We denote by the class of the Moran sets satisfying the MSC. We call the Moran class associated with the triplet .

Remark 1. From the above definition, we see that if the Moran sets and , then the relative positions of kth-level basic sets of E1 and those of E2 may be different, although they satisfy the same MSC.
Under some mild conditions, Hua et al.  gave the Hausdorff packing and upper box dimensions of Moran sets. To state their result, we need some notations. Let be a Moran class. Let . Letwhere satisfies the following equation:SetWe can now present the main result of Hua et al. .

Theorem 1. (see ). Suppose that is a Moran class satisfying . Then, for any ,

Li  computed the Assouad dimension of a fairly general (and important) class of Moran fractals.

Theorem 2. (see ). Suppose that is a Moran class satisfying . Then, for any ,

The natural partner of the Assouad dimension is the lower dimension, and we prove that the low dimensions of a class of Moran sets coincide with their Hausdorff dimensions and obtain a formula for the lower dimensions.

Theorem 3. Suppose that is a Moran class satisfying and Then, for any ,

Lemma 1. There exists a probability measure supported by the Moran E such thatfor any and .

Proof. Take a sequence of probability measures supported by E such thatfor any .
More precisely, we can construct as follows.
First, we distribute the unit mass among the mth-level basic elements according to (11). Inductively, suppose that we have already distributed the mass of proportion to a kth-level basic set ; then, we distribute the mass concentrated on evenly to each of its th-level basic subsets, i.e.,for .
Repeating the above procedure, we get the desired measure.
Now, fix some ; for any and , we obtainCombining it with (11), we haveFor any , by the definitions of E,and thus by (14),This givesObserving thatone obtainsTo summarize, we obtain a sequence of probability measures supported by E and satisfy (10) for any and .
Now, Hellys theorem  enables us to extract a subsequence converging weakly to a limit measure .
To verify that fulfills the desired requirements, we fix some and . Then, by the properties of the weak convergence,Combining with (19), this impliesOn the other hand, take an small enough so that the -neighborhood of is separated from the other mth-level basic set; then, . By the properties of weak convergence, the following holds:Combining with (19) yieldsWe have for any and ,Finally, for any which is not in E, since E is a closed set, there exists an open set U containing and separated from E, and thus, , which asserts that is supported by E.

Lemma 2. (see [1, 2]). If is closed, then

For , we denote by - the word obtained by deleting the last letter of . For , we define by .

Lemma 3. (see , Lemma 3.1). If , there exists a constant such that for all and .

Remark 2. Some subtly different definitions of the low dimension are given as follows: There exist two constant and such that, for any , and , .
It is easy to check this definition and Definition 2 coincides.

Proof of Theorem 3. Fix and ; there exists such that and . By Lemma 1, there exists a probability measure supported by E, such thatwhere denotes the rank of , i.e., is the th-level basic set. This implies thatBy Remark 2, let R be small enough such that and Therefore,Using Lemma 3 and (28), we attainwhich implies and by Lemma 2 and Theorem 1, the proof of Theorem 3 is completed.

#### 3. Assouad Dimensions and Lower Dimensions of Homogeneous Cantor Set

Definition 4. Suppose that is the interval [0, 1] and for any , , in Definition 3. For all , , , and the left endpoint of is the left endpoint of and the right endpoint of is the right endpoint of . The set is called the homogeneous Cantor set. Write .

Theorem 4. (see ). Suppose . Then,

Theorem 5. Suppose . If , then .

Proof. Take x as the left endpoint of some basic elements of order k and ; then, is the length of basic elements of order k. It is obvious that . Notice thatHere, is the length of the basic elements of order k + 1 of the Moran set, and is the length of the interval among the basic elements of order k + 1 of the Moran set E. Take ; then,Note that when ; therefore, .

Theorem 6. Suppose . If , then .

Proof. Take x as the left endpoint of some basic elements of order k + 1 andHere, is the length of the basic elements of order k + 1 of the Moran set and is the length of the interval among the basic elements of order k + 1 of the Moran set E. Take . It is obvious thatNote that when ; therefore, .

Example 1. Take , and then , , and .

Remark 3. By Theorem 5 and Theorem 6, we give a negative answer to the conjecture in the paper [8, see Remark 1].

#### Data Availability

The data used to support the study are included within the article.

#### Conflicts of Interest

The authors declare that they have no conflicts of interest.

#### Acknowledgments

This work was supported by the Scientific Research Project of Hubei Provincial Department of Education (B2018358).

1. P. Assouad, “Plongements lipschitziens dans ,” Bulletin De La Société Mathématique De France, vol. 111, pp. 429–448, 1983. View at: Publisher Site | Google Scholar
2. D. G. Larman, “A new theory of dimension,” Proceedings of the London Mathematical Society, vol. s3-17, no. 1, pp. 178–192, 1967. View at: Publisher Site | Google Scholar
3. L. Olsen, “On the Assouad dimension of graph directed Moran fractals,” Fractals, vol. 19, no. 2, pp. 221–226, 2011. View at: Publisher Site | Google Scholar
4. J. M. Mackay, “Assouad dimension of self-affine carpets,” Conformal Geometry and Dynamics of the American Mathematical Society, vol. 15, no. 12, pp. 177–187, 2011. View at: Publisher Site | Google Scholar
5. Z. Wen, “Moran sets and Moran classes,” Chinese Science Bulletin, vol. 46, no. 22, pp. 1849–1856, 2001. View at: Publisher Site | Google Scholar
6. W. Li, W. Li, J. Miao, and L. Xi, “Assouad dimensions of Moran sets and Cantor-like sets,” Frontiers of Mathematics in China, vol. 11, no. 3, pp. 705–722, 2016. View at: Publisher Site | Google Scholar
7. J. Li, “Assouad dimensions of Moran sets,” Comptes Rendus Mathematique, vol. 351, no. 1-2, pp. 19–22, 2013. View at: Publisher Site | Google Scholar
8. S. Hua, H. Rao, Z. Wen, and J. Wu, “On the structures and dimensions of Moran sets,” Science in China Series A: Mathematics, vol. 43, no. 8, pp. 836–852, 2000. View at: Publisher Site | Google Scholar
9. K. R. Pasatharathy, Probability Measures on Metric Spaces, Academic Press, New York, NY, USA, 1967.
10. D. J. Feng, Z. Y. Wen, and J. Wu, “Dimensions of homogeneous Moran sets,” Science in China Series A, vol. 27, pp. 1–7, 1997. View at: Google Scholar

#### More related articles

We are committed to sharing findings related to COVID-19 as quickly as possible. We will be providing unlimited waivers of publication charges for accepted research articles as well as case reports and case series related to COVID-19. Review articles are excluded from this waiver policy. Sign up here as a reviewer to help fast-track new submissions.