<p>We study open topological dynamical systems with countably many shrinking holes. Specifically, let <i>f</i> be a transitive homeomorphism on a compact metric space <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/40879_2025_858_IEq1_HTML.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="120" Type="Linedraw" Width="20" /> </InlineMediaObject> </InlineEquation>, and take <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_858_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{p_i\}_{i\in \mathbb {N}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msub> <mi>p</mi> <mi>i</mi> </msub> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>i</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> to be a sequence of distinct points in <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/40879_2025_858_IEq3_HTML.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="120" Type="Linedraw" Width="20" /> </InlineMediaObject> </InlineEquation> disjoint from its derived set. To each point, associate a collection <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_858_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{B_i^n\}_{n\in \mathbb {N}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msubsup> <mi>B</mi> <mi>i</mi> <mi>n</mi> </msubsup> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>n</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> of shrinking open sets, and consider when the trajectory <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_858_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{f^i(x)\}_{i\in \mathbb {N}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msup> <mi>f</mi> <mi>i</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>i</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> of a point <i>x</i> in <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/40879_2025_858_IEq6_HTML.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="120" Type="Linedraw" Width="20" /> </InlineMediaObject> </InlineEquation> first visits one of the open sets <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_858_Article_IEq7.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{B_i^n\}_{i,n\in \mathbb {N}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msubsup> <mi>B</mi> <mi>i</mi> <mi>n</mi> </msubsup> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>i</mi> <mo>,</mo> <mi>n</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>. We find that the system exhibits generic indecisiveness, that is for the typical sequence <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_858_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{p_i\}_{i\in \mathbb {N}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msub> <mi>p</mi> <mi>i</mi> </msub> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>i</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>, for each <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_858_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(i\in \mathbb {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation>, the trajectory <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_858_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{f^i(x)\}_{i\in \mathbb {N}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msup> <mi>f</mi> <mi>i</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>i</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> will first visit <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_858_Article_IEq11.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(B^n_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>B</mi> <mi>i</mi> <mi>n</mi> </msubsup> </math></EquationSource> </InlineEquation> for infinitely many values of <i>n</i>.</p>

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

Countably many competing holes in open dynamical systems

  • Marco Farotti,
  • Timothy H. Steele

摘要

We study open topological dynamical systems with countably many shrinking holes. Specifically, let f be a transitive homeomorphism on a compact metric space , and take \(\{p_i\}_{i\in \mathbb {N}}\) { p i } i N to be a sequence of distinct points in disjoint from its derived set. To each point, associate a collection \(\{B_i^n\}_{n\in \mathbb {N}}\) { B i n } n N of shrinking open sets, and consider when the trajectory \(\{f^i(x)\}_{i\in \mathbb {N}}\) { f i ( x ) } i N of a point x in first visits one of the open sets \(\{B_i^n\}_{i,n\in \mathbb {N}}\) { B i n } i , n N . We find that the system exhibits generic indecisiveness, that is for the typical sequence \(\{p_i\}_{i\in \mathbb {N}}\) { p i } i N , for each \(i\in \mathbb {N}\) i N , the trajectory \(\{f^i(x)\}_{i\in \mathbb {N}}\) { f i ( x ) } i N will first visit \(B^n_i\) B i n for infinitely many values of n.