{"title":"关于完全非阿基米德域上Schneider的连分式映射","authors":"A. Haddley, R. Nair","doi":"10.1007/s40598-021-00190-y","DOIUrl":null,"url":null,"abstract":"<div><p>Let <span>\\({\\mathcal {M}}\\)</span> denote the maximal ideal of the ring of integers of a non-Archimedean field <i>K</i> with residue class field <i>k</i> whose invertible elements, we denote <span>\\(k^{\\times }\\)</span>, and a uniformizer we denote <span>\\(\\pi \\)</span>. In this paper, we consider the map <span>\\(T_{v}: {\\mathcal {M}} \\rightarrow {\\mathcal {M}}\\)</span> defined by </p><div><div><span>$$\\begin{aligned} T_v(x) = \\frac{\\pi ^{v(x)}}{x} - b(x), \\end{aligned}$$</span></div></div><p>where <i>b</i>(<i>x</i>) denotes the equivalence class to which <span>\\(\\frac{\\pi ^{v(x)}}{x}\\)</span> belongs in <span>\\(k^{\\times }\\)</span>. We show that <span>\\(T_v\\)</span> preserves Haar measure <span>\\(\\mu \\)</span> on the compact abelian topological group <span>\\({\\mathcal {M}}\\)</span>. Let <span>\\({\\mathcal {B}}\\)</span> denote the Haar <span>\\(\\sigma \\)</span>-algebra on <span>\\({\\mathcal {M}}\\)</span>. We show the natural extension of the dynamical system <span>\\(({\\mathcal {M}}, {\\mathcal {B}}, \\mu , T_v)\\)</span> is Bernoulli and has entropy <span>\\(\\frac{\\#( k)}{\\#( k^{\\times })}\\log (\\#( k))\\)</span>. The first of these two properties is used to study the average behaviour of the convergents arising from <span>\\(T_v\\)</span>. Here for a finite set <i>A</i> its cardinality has been denoted by <span>\\(\\# (A)\\)</span>. In the case <span>\\(K = {\\mathbb {Q}}_p\\)</span>, i.e. the field of <i>p</i>-adic numbers, the map <span>\\(T_v\\)</span> reduces to the well-studied continued fraction map due to Schneider.</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2021-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s40598-021-00190-y.pdf","citationCount":"2","resultStr":"{\"title\":\"On Schneider’s Continued Fraction Map on a Complete Non-Archimedean Field\",\"authors\":\"A. Haddley, R. Nair\",\"doi\":\"10.1007/s40598-021-00190-y\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>Let <span>\\\\({\\\\mathcal {M}}\\\\)</span> denote the maximal ideal of the ring of integers of a non-Archimedean field <i>K</i> with residue class field <i>k</i> whose invertible elements, we denote <span>\\\\(k^{\\\\times }\\\\)</span>, and a uniformizer we denote <span>\\\\(\\\\pi \\\\)</span>. In this paper, we consider the map <span>\\\\(T_{v}: {\\\\mathcal {M}} \\\\rightarrow {\\\\mathcal {M}}\\\\)</span> defined by </p><div><div><span>$$\\\\begin{aligned} T_v(x) = \\\\frac{\\\\pi ^{v(x)}}{x} - b(x), \\\\end{aligned}$$</span></div></div><p>where <i>b</i>(<i>x</i>) denotes the equivalence class to which <span>\\\\(\\\\frac{\\\\pi ^{v(x)}}{x}\\\\)</span> belongs in <span>\\\\(k^{\\\\times }\\\\)</span>. We show that <span>\\\\(T_v\\\\)</span> preserves Haar measure <span>\\\\(\\\\mu \\\\)</span> on the compact abelian topological group <span>\\\\({\\\\mathcal {M}}\\\\)</span>. Let <span>\\\\({\\\\mathcal {B}}\\\\)</span> denote the Haar <span>\\\\(\\\\sigma \\\\)</span>-algebra on <span>\\\\({\\\\mathcal {M}}\\\\)</span>. We show the natural extension of the dynamical system <span>\\\\(({\\\\mathcal {M}}, {\\\\mathcal {B}}, \\\\mu , T_v)\\\\)</span> is Bernoulli and has entropy <span>\\\\(\\\\frac{\\\\#( k)}{\\\\#( k^{\\\\times })}\\\\log (\\\\#( k))\\\\)</span>. The first of these two properties is used to study the average behaviour of the convergents arising from <span>\\\\(T_v\\\\)</span>. Here for a finite set <i>A</i> its cardinality has been denoted by <span>\\\\(\\\\# (A)\\\\)</span>. In the case <span>\\\\(K = {\\\\mathbb {Q}}_p\\\\)</span>, i.e. the field of <i>p</i>-adic numbers, the map <span>\\\\(T_v\\\\)</span> reduces to the well-studied continued fraction map due to Schneider.</p></div>\",\"PeriodicalId\":37546,\"journal\":{\"name\":\"Arnold Mathematical Journal\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-10-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://link.springer.com/content/pdf/10.1007/s40598-021-00190-y.pdf\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Arnold Mathematical Journal\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s40598-021-00190-y\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"Mathematics\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Arnold Mathematical Journal","FirstCategoryId":"1085","ListUrlMain":"https://link.springer.com/article/10.1007/s40598-021-00190-y","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"Mathematics","Score":null,"Total":0}
On Schneider’s Continued Fraction Map on a Complete Non-Archimedean Field
Let \({\mathcal {M}}\) denote the maximal ideal of the ring of integers of a non-Archimedean field K with residue class field k whose invertible elements, we denote \(k^{\times }\), and a uniformizer we denote \(\pi \). In this paper, we consider the map \(T_{v}: {\mathcal {M}} \rightarrow {\mathcal {M}}\) defined by
where b(x) denotes the equivalence class to which \(\frac{\pi ^{v(x)}}{x}\) belongs in \(k^{\times }\). We show that \(T_v\) preserves Haar measure \(\mu \) on the compact abelian topological group \({\mathcal {M}}\). Let \({\mathcal {B}}\) denote the Haar \(\sigma \)-algebra on \({\mathcal {M}}\). We show the natural extension of the dynamical system \(({\mathcal {M}}, {\mathcal {B}}, \mu , T_v)\) is Bernoulli and has entropy \(\frac{\#( k)}{\#( k^{\times })}\log (\#( k))\). The first of these two properties is used to study the average behaviour of the convergents arising from \(T_v\). Here for a finite set A its cardinality has been denoted by \(\# (A)\). In the case \(K = {\mathbb {Q}}_p\), i.e. the field of p-adic numbers, the map \(T_v\) reduces to the well-studied continued fraction map due to Schneider.
期刊介绍:
The Arnold Mathematical Journal publishes interesting and understandable results in all areas of mathematics. The name of the journal is not only a dedication to the memory of Vladimir Arnold (1937 – 2010), one of the most influential mathematicians of the 20th century, but also a declaration that the journal should serve to maintain and promote the scientific style characteristic for Arnold''s best mathematical works. Features of AMJ publications include: Popularity. The journal articles should be accessible to a very wide community of mathematicians. Not only formal definitions necessary for the understanding must be provided but also informal motivations even if the latter are well-known to the experts in the field. Interdisciplinary and multidisciplinary mathematics. AMJ publishes research expositions that connect different mathematical subjects. Connections that are useful in both ways are of particular importance. Multidisciplinary research (even if the disciplines all belong to pure mathematics) is generally hard to evaluate, for this reason, this kind of research is often under-represented in specialized mathematical journals. AMJ will try to compensate for this.Problems, objectives, work in progress. Most scholarly publications present results of a research project in their “final'' form, in which all posed questions are answered. Some open questions and conjectures may be even mentioned, but the very process of mathematical discovery remains hidden. Following Arnold, publications in AMJ will try to unhide this process and made it public by encouraging the authors to include informal discussion of their motivation, possibly unsuccessful lines of attack, experimental data and close by research directions. AMJ publishes well-motivated research problems on a regular basis. Problems do not need to be original; an old problem with a new and exciting motivation is worth re-stating. Following Arnold''s principle, a general formulation is less desirable than the simplest partial case that is still unknown.Being interesting. The most important requirement is that the article be interesting. It does not have to be limited by original research contributions of the author; however, the author''s responsibility is to carefully acknowledge the authorship of all results. Neither does the article need to consist entirely of formal and rigorous arguments. It can contain parts, in which an informal author''s understanding of the overall picture is presented; however, these parts must be clearly indicated.