<p>We show some results related to the classical Banach–Tarski paradox in the setting of finite-dimensional normed spaces over a non-Archimedean valued field <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1781_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {K}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">K</mi> </math></EquationSource> </InlineEquation>. For instance, all balls and spheres in <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1781_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {K}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">K</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>, and the whole space <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1781_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {K}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">K</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> (for <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1781_Article_IEq4.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>) are paradoxical with respect to certain groups of isometries of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1781_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {K}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">K</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>. If <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1781_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {K}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">K</mi> </math></EquationSource> </InlineEquation> is locally compact (e.g., <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1781_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {K}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">K</mi> </math></EquationSource> </InlineEquation> is the field <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1781_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Q}_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">Q</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation> of <i>p</i>-adic numbers for any prime number <i>p</i>), any two bounded subsets of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1781_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {K}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">K</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> with nonempty interiors are equidecomposable (and paradoxical) with respect to a certain group of isometries of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1781_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {K}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">K</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> (for <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1781_Article_IEq4.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>).</p>

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

The Banach–Tarski paradox for some subsets of finite-dimensional normed spaces over non-Archimedean valued fields

  • Kamil Orzechowski

摘要

We show some results related to the classical Banach–Tarski paradox in the setting of finite-dimensional normed spaces over a non-Archimedean valued field \(\mathbb {K}\) K . For instance, all balls and spheres in \(\mathbb {K}^n\) K n , and the whole space \(\mathbb {K}^n\) K n (for \(n\ge 2\) n 2 ) are paradoxical with respect to certain groups of isometries of \(\mathbb {K}^n\) K n . If \(\mathbb {K}\) K is locally compact (e.g., \(\mathbb {K}\) K is the field \(\mathbb {Q}_p\) Q p of p-adic numbers for any prime number p), any two bounded subsets of \(\mathbb {K}^n\) K n with nonempty interiors are equidecomposable (and paradoxical) with respect to a certain group of isometries of \(\mathbb {K}^n\) K n (for \(n\ge 2\) n 2 ).