<p>Let <i>E</i>(<i>X</i>,&#xa0;<i>f</i>) be the Ellis semigroup of a discrete discrete dynamical system (<i>X</i>,&#xa0;<i>f</i>) where <i>X</i> is a compact countable metric space. Set <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(P(X,f): = \{ |\mathcal {O}_f(x)|: x \ \text {is a periodic point of} \ X \}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <mo stretchy="false">{</mo> <mo stretchy="false">|</mo> <msub> <mi mathvariant="script">O</mi> <mi>f</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mo>:</mo> <mi>x</mi> <mspace width="4pt" /> <mtext>is a periodic point of</mtext> <mspace width="4pt" /> <mi>X</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>, for an eventually periodic point <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(x\in X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> let <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(l_x \in \mathbb N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>l</mi> <mi>x</mi> </msub> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation> be its waiting time, and set <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(L(X,f):= \{ l \in \mathbb {N}: \exists x \in X(x \ \text {is eventually periodic and} \ l = l_x) \}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <mo stretchy="false">{</mo> <mi>l</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> <mo>:</mo> <mo>∃</mo> <mi>x</mi> <mo>∈</mo> <mi>X</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mspace width="4pt" /> <mtext>is eventually periodic and</mtext> <mspace width="4pt" /> <mi>l</mi> <mo>=</mo> <msub> <mi>l</mi> <mi>x</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>. We give two necessary and sufficient statements equivalent to the assertion “<i>E</i>(<i>X</i>,&#xa0;<i>f</i>) is a compactification of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathbb N\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">N</mi> </math></EquationSource> </InlineEquation> with the discrete topology”. And we also prove the following assertions: If each <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(x\in X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> has a finite orbit and <i>L</i>(<i>X</i>,&#xa0;<i>f</i>) and <i>P</i>(<i>X</i>,&#xa0;<i>f</i>) are finite, then <Equation ID="Equ1"> <EquationSource Format="TEX">\( |E(X,f)| \le \prod _{s\in P(X,f)}\{0,\dots , s-1\} + \max L(X,f). \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mrow> <mo stretchy="false">|</mo> <mi>E</mi> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mo>≤</mo> <munder accentunder="true"> <mo>∏</mo> <mrow> <mi>s</mi> <mo>∈</mo> <mi>P</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> </munder> <mrow> <mo stretchy="false">{</mo> <mn>0</mn> <mo>,</mo> <mo>⋯</mo> <mo>,</mo> <mi>s</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">}</mo> </mrow> <mo>+</mo> <mo movablelimits="true">max</mo> <mi>L</mi> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo>.</mo> </mrow> </math></EquationSource> </Equation>Besides, if all the periods are relative prime numbers, then <Equation ID="Equ2"> <EquationSource Format="TEX">\( |E(X,f)|= \prod _{s\in P(X,f)}\{0,\dots , s-1\}+\max L(X,f). \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mrow> <mo stretchy="false">|</mo> <mi>E</mi> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mo>=</mo> <munder accentunder="true"> <mo>∏</mo> <mrow> <mi>s</mi> <mo>∈</mo> <mi>P</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> </munder> <mrow> <mo stretchy="false">{</mo> <mn>0</mn> <mo>,</mo> <mo>⋯</mo> <mo>,</mo> <mi>s</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">}</mo> </mrow> <mo>+</mo> <mo movablelimits="true">max</mo> <mi>L</mi> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo>.</mo> </mrow> </math></EquationSource> </Equation>Two necessary conditions on a discrete dynamical system are given in order that its Ellis semigroup be countable. We also include several examples that exemplify the diversity of dynamical properties in relation to the cardinality of the Ellis semigroup.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The Ellis semigroups of discrete dynamical systems on compact countable metrizable spaces

  • S. García-Ferreira,
  • Y. Z. Rodriguez-López,
  • A. H. Tomita

摘要

Let E(Xf) be the Ellis semigroup of a discrete discrete dynamical system (Xf) where X is a compact countable metric space. Set \(P(X,f): = \{ |\mathcal {O}_f(x)|: x \ \text {is a periodic point of} \ X \}\) P ( X , f ) : = { | O f ( x ) | : x is a periodic point of X } , for an eventually periodic point \(x\in X\) x X let \(l_x \in \mathbb N\) l x N be its waiting time, and set \(L(X,f):= \{ l \in \mathbb {N}: \exists x \in X(x \ \text {is eventually periodic and} \ l = l_x) \}\) L ( X , f ) : = { l N : x X ( x is eventually periodic and l = l x ) } . We give two necessary and sufficient statements equivalent to the assertion “E(Xf) is a compactification of \(\mathbb N\) N with the discrete topology”. And we also prove the following assertions: If each \(x\in X\) x X has a finite orbit and L(Xf) and P(Xf) are finite, then \( |E(X,f)| \le \prod _{s\in P(X,f)}\{0,\dots , s-1\} + \max L(X,f). \) | E ( X , f ) | s P ( X , f ) { 0 , , s - 1 } + max L ( X , f ) . Besides, if all the periods are relative prime numbers, then \( |E(X,f)|= \prod _{s\in P(X,f)}\{0,\dots , s-1\}+\max L(X,f). \) | E ( X , f ) | = s P ( X , f ) { 0 , , s - 1 } + max L ( X , f ) . Two necessary conditions on a discrete dynamical system are given in order that its Ellis semigroup be countable. We also include several examples that exemplify the diversity of dynamical properties in relation to the cardinality of the Ellis semigroup.