## A metric space with its transfinite asymptotic dimension ω +1

Yan Wu ∗ Jingming Zhu ∗∗ ∗

Abstract. We construct a metric space whose transfinite asymptotic dimension and complementary-finite asymptotic dimension are both ω +1, where ω is the smallest infinite ordinal number. Therefore, we prove that the omega conjecture is not true.

Keywords Asymptotic dimension, Transfinite asymptotic dimension, Complementary-finite asymptotic dimension;

1

## 1 Introduction

In coarse geometry, asymptotic dimension of a metric space is an important concept which was defined by Gromov for studying asymptotic invariants of discrete groups [1]. This dimension can be considered as an asymptotic analogue of the Lebesgue covering dimension. T. Radul defined the trasfinite asymptotic dimension (trasdim) which can be viewed as a transfinite extension for asymptotic dimension and gave examples of metric spaces with trasdim= ω and with trasdim= ∞ , where ω is the smallest infinite ordinal number (see [2]). But whether there is a metric space X with ω &lt; trasdim( X &lt; ) ∞ is still unknown so far. M. Satkiewicz stated 'omega conjecture'(see [3]). That is, ω ≤ trasdim( X &lt; ) ∞ implies trasdim( X ) = ω . In this paper, we prove that the 'omega conjecture' is not true by constructing a metric space X ω +1 with trasdim( X ω +1 ) = ω +1.

In the paper [4], we introduced another approach to classify the metric spaces with infinite asymptotic dimension, which is called complementary-finite asymptotic dimension (coasdim), and gave metric spaces X k with coasdim( X k ) = ω + k and trasdim( X k ) = ω , where k ∈ N . The metric space X ω +1 constructed in this paper is the first metric space Y with trasdim( Y ) &gt; ω and trasdim( Y ) =coasdim( Y ).

The paper is organized as follows: In Section 2, we recall some definitions and properties of transfinite asymptotic dimension. In Section 3, we introduce a concrete metric space X ω +1 and prove that transfinite asymptotic dimension and complementary-finite asymptotic dimension of X ω +1 are both ω +1.

## 2 Preliminaries

Our terminology concerning the asymptotic dimension follows from [5] and for undefined terminology we refer to [2]. Let ( X,d ) be a metric space and U, V ⊆ X , let

$$\text{diam } U = \sup \{ d ( x, y ) | x, y \in U \} \text{ and } d ( U, V ) = \inf \{ d ( x, y ) | x \in U, y \in V \}.$$

Let R &gt; 0 and U be a family of subsets of X . U is said to be R -bounded if

$$\text{diam} \, \mathcal { U } \stackrel { \triangle } { = } \sup \{ \text{diam} \, U \ | \ U \in \mathcal { U } \} \leq R.$$

∗ College of Mathematics Physics and Information Engineering, Jiaxing University, Jiaxing , 314001, P.R.China. ∗ E-mail: yanwu@mail.zjxu.edu.cn ∗ ∗ E-mail: jingmingzhu@mail.zjxu.edu.cn

1 This research was supported by the National Natural Science Foundation of China under Grant (No.11871342,11301224,11326104,11401256,11501249)

In this case, U is said to be uniformly bounded . Let r &gt; 0, a family U is said to be r -disjoint if

$$d ( U, V ) \geq r \quad \text{for every } U, V \in \mathcal { U } \text{ with } U \neq V.$$

/negationslash

In this paper, we denote ⋃ { U | U ∈ U} by ⋃ U and denote { U | U ∈ U 1 or U ∈ U } 2 by U 1 ∪ U 2 .

Definition 2.1. A metric space X is said to have finite asymptotic dimension if there is an n ∈ N , such that for every r &gt; 0, there exists a sequence of uniformly bounded families {U } i n i =0 of subsets of X such that the family ⋃ n i =0 U i covers X and each U i is r -disjoint for i = 0 1 , , · · · , n . In this case, we say that the asymptotic dimension of X less than or equal to n , which is denoted by asdim X ≤ n . We say that asdim X = n if asdim X ≤ n and asdim X ≤ n -1 is not true.

- T. Radul generalized asymptotic dimension of a metric space X to transfinite asymptotic dimension which is denoted by trasdim( X ) (see [2]). Let Fin N denote the collection of all finite, nonempty subsets of N and let M ⊆ Fin N . For σ ∈ { ∅ } ⋃ Fin N , let

$$M ^ { \sigma } = \{ \tau \in F i n \mathbb { N } \ | \ \tau \cup \sigma \in M \text{ and } \tau \cap \sigma = \varnothing \}.$$

Let M a abbreviate M { a } for a ∈ N . Define the ordinal number Ord M inductively as follows:

Ord M = 0 ⇔ M = ∅ , Ord M ≤ α ⇔ ∀ a ∈ N , Ord M &lt;α, a Ord M = α ⇔ Ord M ≤ α and Ord M &lt; α is not true , Ord M = ∞ ⇔ Ord M ≤ α is not true for every ordinal number α.

Given a metric space ( X,d ), define the following collection:

$$A ( X, d ) = \{ \sigma \in F i n { \mathbb { N } } \, | \, \text{ there are no uniformly bounded families } \mathcal { U } _ { i } \text{ for } i \in \sigma \\ & \quad \text{ such that each } \mathcal { U } _ { i } \text{ is } i \text{-disjoint and } \bigcup _ { i \in \sigma } \mathcal { U } _ { i } \text{ covers } X \}.$$

The transfinite asymptotic dimension of X is defined as trasdim X =Ord A X,d ( ).

## 3 Main result

Let A be a subset of a metric space X and /epsilon1 &gt; 0, we denote { x ∈ X d x, A | ( ) &lt; /epsilon1 } by N A /epsilon1 ( ). For the unit cube I n , facets is the subset with the i -th coordinate x i = 0 or x i = 1 for some integer i (1 ≤ i ≤ n ).

To prove the main result, we will use another version of Lebesgue theorem:

Theorem 3.1. (see [8], Theorem 4.3) Let the unit cube I n be covered by a family of closed sets { X i } 1 ≤ ≤ i n . Then some connected component of X i intersects both the corresponding opposite facets A i and B i .

Lemma 3.1. (see [4], Proposition 2.1) Given a metric space X , let l ∈ N ∪{ } 0 , then the following conditions are equivalent:

- · (1) trasdim( X ) ≤ ω + ; l
- · (2) For every k ∈ N , there exists m = m k ( ) ∈ N such that for every n ∈ N , there are uniformly bounded families U -l , U -l +1 , · · · , U m satisfying U i is k -disjoint for i = - ··· l, , 0, U j is n -disjoint for j = 1 2 , , · · · , m and ⋃ m i = -l U i covers X .

$$d ( a, b ) = \max \{ d _ { \max } ( a ^ { \prime }, b ^ { \prime } ), c \},$$

Let X 1 = R , X 2 = ( R × 2 Z ) ⋃ (2 Z × R ), X 3 = ( R × 3 Z × 3 Z ) ⋃ (3 Z × R × 3 Z ) ⋃ (3 Z × 3 Z × R ),... For a = ( a , a 1 2 , ..., a l ) ∈ X l and b = ( b 1 , b 2 , ..., b k ) ∈ X k with l ≤ k , let a ′ = ( a , ..., a , 1 l 0 , ..., 0), b ′ = ( b 1 , ..., b k , 0 , ..., 0) ∈ ⊕ R and put c = 0 if l = k and c = l +( +1) + l ... +( k -1) if l &lt; k . Define a metric d on ⊔ X n by where d max is the maximum metric in ⊕ R . Let X ω +1 = ( ⊔ X ,d n ).

Proposition 3.1. trasdim ( X ω +1 ) ≤ ω is not true.

Proof. Suppose that trasdim( X ω +1 ) ≤ ω . Then by Lemma 3.1, for every k ∈ N , there exists m = m k ( ) ∈ N such that for every n ∈ N , there exist B = B k, n ( ) &gt; 0 and B -bounded families V 0 , V 1 , · · · , V m such that V 0 is k -disjoint, V j is ( n + 4 m + 4)-disjoint for j = 1 2 , , · · · , m and ⋃ m i =0 V i covers X . Let U i = { U ∩ X m +1 ∩ [0 , B + n ] m +1 | U ∈ V } i for i = 0 1 2 , , , · · · , m .

Without loss of generality, we assume that n ∈ N , n &gt; 4 m +4 and B + n m +1 = p ∈ N . Then [0 , B + n ] m +1 contains ( m +1)-dimensional closed cubes V , V 1 2 , ..., V p m +1 , where V i = ∏ m +1 j =1 [( m +1) n ( ) i j , ( m +1)( n ( ) i j +1)], whose edges are contained in X m +1 for i = 1 2 , , · · · , p m +1 .

/negationslash

Then, by the definition, ˜ U i is ( n +4 m +4)-disjoint and ( B +2 m +2)-bounded subset family in [0 , B + ] n m +1 for 1 ≤ i ≤ m .

Let V = { V j } 1 ≤ ≤ j p m +1 and A i , B i be the pair of two opposite facets of [0 , B + ] n m +1 for i = 1 2 , , · · · , m +1. Let ˜ U i = { V ∈ V| V ∩ U = ∅ for some U ∈ U } i for 1 ≤ i ≤ m .

Let

$$\widetilde { U } _ { i } = N _ { m + 1 } ( \bigcup \mathcal { U } _ { i } ) \text{ and } \widetilde { U } _ { 0 } = \overline { [ 0, B + n ] ^ { m + 1 } \, \bigcup _ { 1 \leq i \leq m } \widetilde { U } _ { i } }$$

/negationslash

Then { ˜ U i } 0 ≤ ≤ i m is a closed cover of [0 , B + n ] m +1 with covering multiplicity at most m + 1. By the Theorem 3.1, ∃ at least one ˜ U i which intersects both the corresponding opposite facets A i and B i . But every connected component in ˜ U i for 1 ≤ i ≤ m is ( B +2 m +2)-bounded, so ˜ U 0 = ∅ and there is a path α : I → ˜ U 0 such that α (0) and α (1) belong to opposite facets A i and B i respectively.

/negationslash

Let W = { V ∈ V| V ∩ α I ( ) = ∅} . Then ⋃ W is a connected subset in [0 , B + ] n m +1 which intersects both the corresponding opposite facets A i and B i . But α I ( ) ⊂ ˜ U 0 implies that any V ∈ V can not intersect both α I ( ) and ⋃ U i for any 1 ≤ i ≤ m . Then ( ⋃ W ∩ ) ( ⋃ U i ) = ∅ for 1 ≤ i ≤ m . So ∃ a path β : I → [0 , B + ] n m +1 such that β I ( ) is a subset of the 1-dimensional skeleton of the V 's in W (and hence a subset of X m +1 ) and intersects both the corresponding opposite facets A i and B i . Since ⋃ W ∩ ( ⋃ U i ) = ∅ for 1 ≤ i ≤ m and β I ( ) ⊂ ⋃ W , β I ( ) ∩ ( ⋃ U i ) = ∅ for 1 ≤ i ≤ m . So β I ( ) ⊂ ( ⋃ U 0 ) ∩ X m +1 (= ⋃ V 0 ) which is a contradiction with the fact that V 0 is B -bounded and k -disjoint.

Definition 3.2. Every ordinal number γ can be represented as γ = λ γ ( ) + n γ ( ), where λ γ ( ) is the limit ordinal or 0 and n γ ( ) ∈ N ∪ { 0 } . Let X be a metric space, we define complementary-finite asymptotic dimension coasdim( X ) inductively as follows:

- · coasdim( X ) = -1 iff X = ∅ ,
- · coasdim( X ) ≤ γ iff for every r &gt; 0 there exist r -disjoint uniformly bounded families U 0 , ..., U n γ ( ) of subsets of X such that coasdim( X \ ⋃ ⋃ ( n γ ( ) i =0 U i )) &lt; λ γ ( ),
- · coasdim( X ) = γ iff coasdim( X ) ≤ γ and for every β &lt; γ , coasdim( X ) ≤ β is not true.
- · coasdim( X ) = ∞ iff for every ordinal number γ , coasdim( X ) ≤ γ is not true.

## Remark 3.1.

- · It is easy to see that for every n ∈ N ∪ { 0 } , coasdim( X ) ≤ n if and only if asdim( X ) ≤ n .
- · To simplify, we will abuse the notation a little bit. In the following, asdim( X ) &lt; ω means that asdim( X ) ≤ n for some n ∈ N .

Lemma 3.2. (see [4], Theorem 3.2) Let X be a metric space, if coasdim( X ) ≤ ω + k for some k ∈ N , then trasdim( X ) ≤ ω + . Especially, coasdim( k X ) = ω implies trasdim( X ) = ω .

## Proposition 3.2. trasdim ( X ω +1 ) ≤ ω +1 .

Proof. By the Lemma 3.2, it suffices to show that coasdim( X ω +1 ) ≤ ω +1. i.e., for every k &gt; 0 there exist k -disjoint uniformly bounded families U 0 , U 1 of subsets of X ω +1 such that coasdim( X ω +1 \ ⋃ ( U 0 ∪U 1 )) &lt; ω . Let n ∈ N and n ≥ 6 k , let V ( n ) 0 = { [ in -k, in + ] k | i ∈ Z } .

- · If [ n -2 k k ] = 2 m , then let

$$\mathcal { V } _ { 1 } ^ { ( n ) } = \{ [ i n + 2 j k, i n + ( 2 j + 1 ) k ] \ | \ i \in \mathbb { Z }, j = 1, 2, \dots, m - 1 \},$$

$$\mathcal { V } _ { 2 } ^ { ( n ) } = \{ [ i n + ( 2 j - 1 ) k, i n + 2 j k ] \ | \ i \in \mathbb { Z }, j = 1, 2, \dots, m - 1 \} \cup \{ [ i n + 2 m k - k, i n + 2 m k + 2 k ] \ | \ i \in \mathbb { Z } \}.$$

- · If [ n -2 k k ] = 2 m +1, then let

$$\mathcal { V } _ { 1 } ^ { ( n ) } = \{ [ i n + 2 j k, i n + ( 2 j + 1 ) k ] \ | \ i \in \mathbb { Z }, j = 1, 2, \dots, m \},$$

V ( n ) 2 = { [ in +(2 j -1) k, in +2 jk ] | i ∈ Z , j = 1 2 , , ..., m } ∪ { [ in +2 mk + k, in +2 mk +3 ] k | i ∈ Z } .

Note that V ( n ) 0 ∪ V ( n ) 1 , V ( n ) 2 are k -disjoint, 3 k -bounded and V ( n ) 0 ∪ V ( n ) 1 ∪ V ( n ) 2 covers R . Let

$$\mathcal { W } _ { 0 } ^ { ( n ) } = \{ ( \prod _ { i = 1 } ^ { n } V _ { i } ) \cap X _ { n } \ | \ V _ { i } \in \mathcal { V } _ { 0 } ^ { ( n ) } \}$$

$$\mathcal { W } _ { 1 } ^ { ( n ) } = \{ \prod _ { i = 1 } ^ { j - 1 } \{ n n _ { i } \} \times V _ { j } \times \prod _ { i = j + 1 } ^ { n } \{ n n _ { i } \} \, | \, n _ { i } \in \mathbb { Z }, V _ { j } \in V _ { 1 } ^ { ( n ) }, j = 2, 3, \cdots, n \} \cup \{ V _ { 1 } \times \prod _ { i = 2 } ^ { n } \{ n n _ { i } \} \, | \, n _ { i } \in \mathbb { Z }, V _ { 1 } \in V _ { 1 } ^ { ( n ) } \}$$

$$\mathcal { W } _ { 2 } ^ { ( n ) } = \{ \prod _ { i = 1 } ^ { j - 1 } \{ n n _ { i } \} \times V _ { j } \times \prod _ { i = j + 1 } ^ { n } \{ n n _ { i } \} \ | \ V _ { j } \in \mathcal { V } _ { 2 } ^ { ( n ) }, j = 2, 3, \cdots, n \} \cup \{ V _ { 1 } \times \prod _ { i = 2 } ^ { n } \{ n n _ { i } \} \ | \ n _ { i } \in \mathbb { Z }, V _ { 1 } \in \mathcal { V } _ { 2 } ^ { ( n ) } \}$$

It is easy to see that W ( n ) i are k -disjoint and 3 k -bounded for i = 0 1 2. Let , ,

$$\mathcal { U } _ { 0 } ^ { ( n ) } = \mathcal { W } _ { 0 } ^ { ( n ) } \bigcup \mathcal { W } _ { 1 } ^ { ( n ) }, \, \mathcal { U } _ { 1 } ^ { ( n ) } = \mathcal { W } _ { 2 } ^ { ( n ) }.$$

Since V ( n ) 0 ∪V ( n ) 1 is k -disjoint and 3 k -bounded, U ( n ) 0 is k -disjoint and 3 k -bounded. For every x ∈ X n , without loss of generality, we assume that x = ( x , ..., x 1 n ) ∈ R × n Z × ... × n Z . Then x is in one of the following cases.

- · x i ∈ n Z for i = 2 3 , , · · · and x 1 ∈ [ ni -k, ni + ] for some k i ∈ Z , it is easy to see that x ∈ ⋃ W ( n ) 0 .
- · x i ∈ n Z for i = 2 3 , , · · · and x 1 ∈ V for some V ∈ V ( n ) 1 , it is easy to see that x ∈ ⋃ W ( n ) 1 .
- · x i ∈ n Z for i = 2 3 , , · · · and x 1 ∈ V for some V ∈ V ( n ) 2 , it is easy to see that x ∈ ⋃ W ( n ) 2 .

So U ( n ) 0 ∪ U ( n ) 1 covers X n . Let

$$\mathcal { U } _ { 0 } = \bigcup _ { n \geq 6 k } \mathcal { U } _ { 0 } ^ { ( n ) }, \mathcal { U } _ { 1 } = \bigcup _ { n \geq 6 k } \mathcal { U } _ { 1 } ^ { ( n ) }.$$

/negationslash

Since d X , X ( i j ) ≥ n when i, j &gt; n and i = j , then U 0 , U 1 are k -disjoint , 3 k -bounded and U 0 ∪ U 1 covers ⊔ n ≥ 6 k X n . It follows that

$$\text{coas} \dim ( X _ { \omega + 1 } \, \bigcup ( \mathcal { U } _ { 0 } \cup \mathcal { U } _ { 1 } ) ) = \text{as} \dim ( X _ { \omega + 1 } \, \bigcup \nolimits _ { n \geq 6 k } X _ { n } ) = \text{as} \dim ( \bigsqcup _ { n = 1 } ^ { 6 k - 1 } X _ { n } ) < \omega,$$

which implies coasdim( X ω +1 ) ≤ ω +1. /square

## Remark 3.2.

- · By the Proposition 3.1 and the Proposition 3.2, we can obtain that trasdim( X ω +1 ) = ω +1.
- · By the Proposition 3.1 and the Lemma 3.2, we can obtain that coasdim( X ω +1 ) ≤ ω is not true. Moreover, we obtain that coasdim( X ω +1 ) = ω +1 by the Proposition 3.2.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00434v2-figure-1380e5c6-a227-4cb8-9eae-1599836bdd9e.jpg)

## References

- [1] M. Gromov, Asymptotic invariants of infinite groups. in: Geometric Group Theory, Vol.2, Sussex, 1991, in: Lond. Math. Soc. Lect. Note Ser., vol.182, Cambridge Univ. Press, Cambridge, (1993), 1-295.
- [2] T. Radul, On transfinite extension of asymptotic dimension. Topol. Appl. 157 (2010), 2292-2296.
- [3] M. Satkiewicz, Transfinite Asymptotic Dimension. arXiv:1310.1258v1, 2013.
- [4] Yan Wu, Jingming Zhu, Classification of metric spaces with infinite asymptotic dimension. Topology and its Applications 238 (2018) 90-101.
- [5] G. Bell, A. Dranishnikov, Asymptotic dimension in Bedlewo. Topol. Proc. 38 (2011), 209-236.
- [6] P. Borst, Classification of weakly infinite-dimensional spaces. Fund. Math. 130(1988), 1-25.
- [7] R. Engelking, Theory of Dimensions: Finite and Infinite. Heldermann Verlag, 1995.
- [8] Roman N. Karasev, Covering dimension using toric varieties. Topology and its Applications 177(2013) 59-65
Yan Wu Jingming Zhu
A metric space with its transfinite asymptotic dimension omega + 1
We construct a metric space whose transfinite asymptotic dimension and
complementary-finite asymptotic dimension are both omega+1, where omega is the
smallest infinite ordinal number. Therefore, we prove that the omega conjecture
is not true.