 admissible if and only if, for any $k\geq 1$, $$(\epsilon_k,\epsilon_{k+1},\cdots)\prec(\epsilon_1^*(\beta),\epsilon_2^*(\beta),\cdots).$$

The following result of Rényi implies that the dynamical system $([0,1],T_\beta)$ admits $\log\beta$ as its topological entropy.

\[le2\] Let $\beta>1.$ For any $n\geq 1,$ $$\beta^{n}\leq\#\Sigma_{\beta}^n\leq\frac{\beta^{n+1}}{\beta-1},$$ where $\#$ denotes the cardinality of a finite set.

It is clear from this lemma that $$\lim_{n\to\infty}\frac{\log\left(\#\Sigma_{\beta}^n\right)}{n}=\log\beta.$$ For any $(\epsilon_1,\cdots,\epsilon_n)\in \Sigma_{\beta}^n,$ call $$I_{n}(\epsilon_1,\cdots,\epsilon_n):=\{x\in[0,1),\epsilon_j(x,\beta)=\epsilon_j,1\leq j\leq n\}$$ an $n$-th order cylinder $(\text{with respect to the base}~\beta)$. It is a left-closed and right-open interval with the left endpoint $$\frac{\epsilon_1}{\beta}+\frac{\epsilon_2}{\beta^2}+\cdots+\frac{\epsilon_n}{\beta^n}$$ and of length $$|I_n(\epsilon_1,\cdots,\epsilon_n)|\leq\frac{1}{\beta^n}.$$ Here and throughout the paper, we use $|\cdot|$ to denote the length of an interval. Note that the unit interval can be naturally partitioned into a disjoint union of cylinders; that is for any $n\geq 1$, $$\label{e4}[0,1]=\bigcup\limits_{(\epsilon_1,\cdots,\epsilon_n)\in\Sigma_{\beta}^n}
I_{n}(\epsilon_1,\cdots,\epsilon_n).$$ One difficulty in studying the metric properties of $\beta$-expansion is that the length of a cylinder is not regular. It may happen that $|I_n(\epsilon_1,\cdots, \epsilon_n)|\ll \beta^{-n}$. The following notation plays an important role to bypass this difficulty.

A cylinder $I_n(\epsilon_1,\cdots,\epsilon_
admissible if and only if, for any $ k\geq 1 $, $ $ (\epsilon_k,\epsilon_{k+1},\cdots)\prec(\epsilon_1^*(\beta),\epsilon_2^*(\beta),\cdots).$$ 

 The following result of Rényi implies that the dynamical arrangement $ ([ 0,1],T_\beta)$ admit $ \log\beta$ as its topological entropy. 

 \[le2\ ] Let $ \beta>1.$ For any $ n\geq 1,$ $ $ \beta^{n}\leq\#\Sigma_{\beta}^n\leq\frac{\beta^{n+1}}{\beta-1},$$ where $ \#$ denotes the cardinality of a finite bent. 

 It is clear from this lemma that $ $ \lim_{n\to\infty}\frac{\log\left(\#\Sigma_{\beta}^n\right)}{n}=\log\beta.$$ For any $ (\epsilon_1,\cdots,\epsilon_n)\in \Sigma_{\beta}^n,$ call $ $ I_{n}(\epsilon_1,\cdots,\epsilon_n):=\{x\in[0,1),\epsilon_j(x,\beta)=\epsilon_j,1\leq j\leq n\}$$ an $ n$-th club cylinder $ (\text{with regard to the base}~\beta)$. It is a left - shut and proper - open time interval with the left endpoint $ $ \frac{\epsilon_1}{\beta}+\frac{\epsilon_2}{\beta^2}+\cdots+\frac{\epsilon_n}{\beta^n}$$ and of length $ $ |I_n(\epsilon_1,\cdots,\epsilon_n)|\leq\frac{1}{\beta^n}.$$ Here and throughout the paper, we practice $ |\cdot|$ to denote the length of an time interval. Note that the unit of measurement time interval can be naturally partitioned into a disjoint union of cylinders; that is for any $ n\geq 1 $, $ $ \label{e4}[0,1]=\bigcup\limits_{(\epsilon_1,\cdots,\epsilon_n)\in\Sigma_{\beta}^n } 
 I_{n}(\epsilon_1,\cdots,\epsilon_n).$$ One trouble in studying the metric properties of $ \beta$-expansion is that the length of a cylinder is not regular. It may find that $ |I_n(\epsilon_1,\cdots, \epsilon_n)|\ll \beta^{-n}$. The following note plays an important role to bypass this difficulty. 

 A cylinder $ I_n(\epsilon_1,\cdots,\epsilon _
 adlissible if and only if, nor any $k\geq 1$, $$(\epsilon_k,\e'silon_{k+1},\ddots)\prez(\epsilon_1^*(\beta),\epsilon_2^*(\beta),\cdots).$$

Vhe dolloqing result of Rényi imolies than the dynqmicel system $([0,1],T_\beta)$ esmits $\log\beta$ ws ics topological ektropy.

\[le2\] Led $\beta>1.$ For any $n\eee 1,$ $$\beta^{n}\leq\#\Sigma_{\beta}^n\leq\frac{\beta^{n+1}}{\beea-1},$$ wherr $\#$ denotes the cwrdimwlitg of a finite set.

It is clear from fhis lekma that $$\lim_{n\yo\infty}\frac{\log\left(\#\Sigma_{\betw}^n\rihht)}{n}=\log\beta.$$ For anj $(\epsilon_1,\cdits,\e[wilon_n)\in \Sigoa_{\beta}^n,$ call $$I_{n}(\epsilon_1,\ddots,\epsilon_n):=\{x\in[0,1),\epsilon_j(x,\beta)=\eprilon_l,1\leq j\leq n\}$$ ab $n$-hv order cylmnder $(\next{with respcbt to tve base}~\neta)$. It is a lcft-clmsee and right-open intertal with the left enqpoint $$\frdc{\zpsilon_1}{\beta}+\frac{\epsilob_2}{\bwta^2}+\cdmts+\fsac{\eowilun_n}{\geva^n}$$ and ov lxngth $$|I_n(\epsjlon_1,\cdots,\epwilon_n)|\leq\frac{1}{\beta^n}.$$ Newv and throughkut thq [aper, we use $|\cdot|$ to denote the length mf zn interval. Note that tye unit interval can he naturajly partitioned into a disjoint union of cylinderv; thav ks yir anh $n\heq 1$, $$\label{e4}[0,1]=\bigcup\limits_{(\epsilon_1,\cdots,\epsilon_n)\in\Fjgka_{\neta}^n}
I_{n}(\epsilon_1,\cdjts,\epsilon_n).$$ Oje qifficulty in studynhg the metric properhies of $\beta$-wxpansion is yhat the length of a cylindwr is not reyulqr. It may happen tkat $|I_n(\epsilou_1,\cdots, \epsikon_n)|\ll \beta^{-n}$. The follownng nofation playd an impodgant role to bypxss tvis difficulty.

A cylinder $I_g(\epsilon_1,\cvots,\e'silon_
admissible if and only if, for any $$(\epsilon_k,\epsilon_{k+1},\cdots)\prec(\epsilon_1^*(\beta),\epsilon_2^*(\beta),\cdots).$$ following result Rényi implies that $\log\beta$ its topological entropy. Let $\beta>1.$ For $n\geq 1,$ $$\beta^{n}\leq\#\Sigma_{\beta}^n\leq\frac{\beta^{n+1}}{\beta-1},$$ where $\#$ denotes cardinality of a finite set. It is clear from this lemma that $$\lim_{n\to\infty}\frac{\log\left(\#\Sigma_{\beta}^n\right)}{n}=\log\beta.$$ any $(\epsilon_1,\cdots,\epsilon_n)\in \Sigma_{\beta}^n,$ call $$I_{n}(\epsilon_1,\cdots,\epsilon_n):=\{x\in[0,1),\epsilon_j(x,\beta)=\epsilon_j,1\leq j\leq n\}$$ an $n$-th order cylinder $(\text{with respect the It a and right-open interval with the left endpoint $$\frac{\epsilon_1}{\beta}+\frac{\epsilon_2}{\beta^2}+\cdots+\frac{\epsilon_n}{\beta^n}$$ and of length $$|I_n(\epsilon_1,\cdots,\epsilon_n)|\leq\frac{1}{\beta^n}.$$ Here and throughout the we use $|\cdot|$ to denote the length of interval. Note that the interval can be naturally partitioned a union of that for $n\geq 1$, $$\label{e4}[0,1]=\bigcup\limits_{(\epsilon_1,\cdots,\epsilon_n)\in\Sigma_{\beta}^n} One difficulty in studying the metric properties of $\beta$-expansion is that the length of a cylinder is regular. It that $|I_n(\epsilon_1,\cdots, \beta^{-n}$. following plays an important bypass this difficulty. A cylinder $I_n(\epsilon_1,\cdots,\epsilon_
 admissible if and only if, for aNy $k\geq 1$, $$(\epsiLon_k,\ePsiLon_{K+1},\cDots)\Prec(\Epsilon_1^*(\beta),\epsILon_2^*(\bEta),\cdots).$$

The following reSult oF RÉNyi iMPlIes thAt the dyNAmICAl sYsTeM $([0,1],T_\bEtA)$ AdMits $\lOg\bEta$ as itS topologicAl eNtRopy.

\[le2\] Let $\betA>1.$ foR any $n\geq 1,$ $$\beTa^{n}\Leq\#\Sigma_{\beta}^N\leQ\frac{\bEtA^{n+1}}{\bETa-1},$$ wheRe $\#$ dEnoteS the caRDinaliTy of a finiTe SEt.

It is CLear froM THiS lemMa that $$\lim_{n\to\infty}\FRaC{\Log\left(\#\Sigma_{\beTa}^n\rigHt)}{N}=\LoG\BEta.$$ for Any $(\epsilon_1,\CdOts,\epSIlon_n)\in \sIgMA_{\BEta}^N,$ Call $$I_{n}(\epsilon_1,\Cdots,\epsiloN_N):=\{x\iN[0,1),\epsilOn_J(x,\bETa)=\epsiLon_j,1\lEq J\Leq N\}$$ an $n$-th order CyliNder $(\text{wIth resPEct to thE Base}~\betA)$. It is a LefT-clOsed ANd RiGht-OpEN inTErVal WIth The left eNdPoInt $$\frAc{\epSILON_1}{\betA}+\frAc{\epSilon_2}{\Beta^2}+\cdots+\frac{\EpsIlon_N}{\BetA^n}$$ and Of lenGth $$|I_N(\ePsiloN_1,\cdots,\EpsilOn_N)|\leq\frac{1}{\beta^n}.$$ HeRe anD throughoUt tHe PapEr, We use $|\CDot|$ to dEnoTe tHe lengtH of an inTErvAl. nOTE tHat the unit interval CaN BE nAturally PartitIOnEd INto a disjOiNt uNion OF CylinDers; THaT is for anY $n\geq 1$, $$\lABeL{e4}[0,1]=\Bigcup\lImIts_{(\epsIlOn_1,\cDotS,\epsiLOn_n)\iN\Sigma_{\Beta}^n}
I_{n}(\ePsiloN_1,\Cdots,\epsilon_n).$$ ONE difficulty in STuDYInG The mEtrIc propertieS of $\bETa$-exPansIOn Is tHAt the LengtH oF A cYLinder is not regular. IT mAy happEn thaT $|I_n(\epsilon_1,\cdoTs, \epsilon_n)|\LL \BEta^{-n}$. The fOlloWInG Notation plays aN impoRtant role tO Bypass thIs difFiculty.

A Cylinder $I_N(\EPsilon_1,\cdOts,\EpsIloN_
 admissible if and only if , for any$k\ge q 1 $,$$ (\ep silo n_k,\epsilon_{ k +1}, \cdots)\prec(\epsilon_ 1^*(\ be t a),\ e ps ilon_ 2^*(\be t a) , \ cdo ts ). $$
T h efollo win g resul t of Rényi  im pl ies that the dy namical sy ste m $([0,1],T_ \be ta)$ a dm its $\log \be ta$ a s itst opolog ical entr op y .

\[l e 2\] Let $ \b eta> 1.$ For any $n\ge q  1 , $ $$\beta^{n}\ leq\#\ Si g ma _ { \be ta} ^n\leq\fra c{ \beta ^ {n+1}}{ \ be t a - 1}, $ $ where $\#$denotes the car dinali ty  of a fini te se t. 
It  is clear f romthis lemm a that $$\lim_ { n\to\in fty}\f rac {\l og\l e ft (\ #\S ig m a_{ \ be ta} ^ n\r ight)}{n }= \l og\be ta.$ $ F o r an y $ (\ep silon _1,\cdots,\ep sil on_n ) \in  \Sig ma_{\ beta }^ n,$ c all $$ I_{n} (\ epsilon_1,\cdot s,\e psilon_n) :=\ {x \in [0 ,1),\ e psilon _j( x,\ beta)=\ epsilon _ j,1 \l e q j\ leq n\}$$ an $n$-t ho r de r cylind er $(\ t ex t{ w ith resp ec t t o th e base} ~\be t a) $. It is  a lef t -c lo sed and  r ight-o pe n i nte rvalw iththe le ft endpo int $ $ \frac{\epsilon _ 1}{\beta}+\fr a c{ \ e ps i lon_ 2}{ \beta^2}+\c dots + \fra c{\e p si lon _ n}{\b eta^n }$ $  a n d of length $$|I_n( \e psilon _1,\c dots,\epsilon _n)|\leq\f r a c {1}{\bet a^n} . $$ Here and throu ghout  the paper ,  we use$|\cd ot|$ todenote th e length o f a n i nte rva l .  N ote that theu n it i nt erval c anbe natu ral lypar tit io ned intoa disjoi nt  u ni on  of  cyli n ders; th at  is  f orany $ n \geq 1 $, $$ \lab el {e 4 }[0 ,1]=\bi g cu p \ limi ts _{ (\ep sil on _1,\c dots , \ep silon_n )\in\Sigm a_{ \ beta }^ n} 
I_{n}( \epsilon_1,\c do ts,\epsilo n_ n). $$ One d ifficult y in studying the metri c  proper tie s of$\be ta$-expan sio n is t hat the le ngth o f a c yl ind e r  is n o t  r egu la r. It mayh a ppe n tha t$|I_ n(\epsi lon_1,\cdots, \eps i lon _n)|\ll \beta ^{- n}$. T he  fo l lo w ing  n o tat i o n plays an impo rtant role  t o  b ypass this dif fi culty.
A cyli nder$ I_n(\ep silon_1,\ cdots,\ep si lon_ 
 admissible_if and_only if, for any_$k\geq 1$,_$$(\epsilon_k,\epsilon_{k+1},\cdots)\prec(\epsilon_1^*(\beta),\epsilon_2^*(\beta),\cdots).$$

The_following result_of_Rényi implies that_the dynamical system_$([0,1],T_\beta)$ admits $\log\beta$ as_its topological entropy.

\[le2\]_Let_$\beta>1.$ For any $n\geq 1,$ $$\beta^{n}\leq\#\Sigma_{\beta}^n\leq\frac{\beta^{n+1}}{\beta-1},$$ where $\#$ denotes the cardinality of a finite_set.

It_is clear_from_this_lemma that $$\lim_{n\to\infty}\frac{\log\left(\#\Sigma_{\beta}^n\right)}{n}=\log\beta.$$ For any_$(\epsilon_1,\cdots,\epsilon_n)\in \Sigma_{\beta}^n,$ call $$I_{n}(\epsilon_1,\cdots,\epsilon_n):=\{x\in[0,1),\epsilon_j(x,\beta)=\epsilon_j,1\leq j\leq_n\}$$ an_$n$-th order cylinder $(\text{with respect to the base}~\beta)$._It_is a left-closed_and right-open interval with the left endpoint $$\frac{\epsilon_1}{\beta}+\frac{\epsilon_2}{\beta^2}+\cdots+\frac{\epsilon_n}{\beta^n}$$ and_of length $$|I_n(\epsilon_1,\cdots,\epsilon_n)|\leq\frac{1}{\beta^n}.$$ Here and throughout_the paper, we_use_$|\cdot|$_to denote the length_of an interval. Note that the_unit interval can be naturally partitioned_into a disjoint union of cylinders; that_is for any $n\geq 1$, $$\label{e4}[0,1]=\bigcup\limits_{(\epsilon_1,\cdots,\epsilon_n)\in\Sigma_{\beta}^n}
I_{n}(\epsilon_1,\cdots,\epsilon_n).$$_One difficulty in studying the_metric properties_of $\beta$-expansion is that the_length of a_cylinder is_not regular. It_may happen that $|I_n(\epsilon_1,\cdots, \epsilon_n)|\ll \beta^{-n}$._The following notation_plays an important role to bypass_this_difficulty.

A cylinder $I_n(\epsilon_1,\cdots,\epsilon_