<p>We investigate expansive homeomorphisms of a compact metric space <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(X\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>X</mi> </math></EquationSource> </InlineEquation> via the commutative <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(C(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of continuous complex-valued functions, interpreted as observables of the dynamical system. We introduce the concept of <i>expansive observables</i>, namely functions in <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(C(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> whose level sets separate distinct orbits. We show that the collection of expansive observables forms an <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\hbox {F}_\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>F</mtext> <mi>σ</mi> </msub> </math></EquationSource> </InlineEquation>-subalgebra of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(C(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Moreover, for equicontinuous or minimal distal homeomorphisms, we provide a complete characterization, proving that in this setting the only expansive observables are locally constant functions. We also establish that topologically conjugate homeomorphisms have identical algebras of expansive observables. Within this framework, we prove that the set of periodic points intersects only countably many level sets of any expansive observable. Finally, we show that no homeomorphism of the circle or of the unit interval admits a dense set of expansive observables. As an application, we obtain <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebraic proofs of some classical results in the theory of expansive dynamical systems.</p>

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

A \(C^*\)-Characterization of Expansivity

  • S. Bautista,
  • W. Jung,
  • C. A. Morales

摘要

We investigate expansive homeomorphisms of a compact metric space \(X\) X via the commutative \(C^*\) C -algebra \(C(X)\) C ( X ) of continuous complex-valued functions, interpreted as observables of the dynamical system. We introduce the concept of expansive observables, namely functions in \(C(X)\) C ( X ) whose level sets separate distinct orbits. We show that the collection of expansive observables forms an \(\hbox {F}_\sigma \) F σ -subalgebra of \(C(X)\) C ( X ) . Moreover, for equicontinuous or minimal distal homeomorphisms, we provide a complete characterization, proving that in this setting the only expansive observables are locally constant functions. We also establish that topologically conjugate homeomorphisms have identical algebras of expansive observables. Within this framework, we prove that the set of periodic points intersects only countably many level sets of any expansive observable. Finally, we show that no homeomorphism of the circle or of the unit interval admits a dense set of expansive observables. As an application, we obtain \(C^*\) C -algebraic proofs of some classical results in the theory of expansive dynamical systems.