<p>Two subsets <i>A</i>,&#xa0;<i>B</i> of the plane are betweenness isomorphic if there is a bijection <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2514_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(f:A\rightarrow B\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>:</mo> <mi>A</mi> <mo stretchy="false">→</mo> <mi>B</mi> </mrow> </math></EquationSource> </InlineEquation> such that, for every <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2514_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\(x,y,z\in A\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>,</mo> <mi>z</mi> <mo>∈</mo> <mi>A</mi> </mrow> </math></EquationSource> </InlineEquation>, the point <i>f</i>(<i>z</i>) lies on the line segment connecting <i>f</i>(<i>x</i>) and <i>f</i>(<i>y</i>) if and only if <i>z</i> lies on the line segment connecting <i>x</i> and <i>y</i>. In general, it is quite difficult to tell whether two given subsets of the plane are betweenness isomorphic. We concentrate on the case when the sets <i>A</i>,&#xa0;<i>B</i> belong to the family <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2514_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\( {\mathcal {A}}_c\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">A</mi> <mi>c</mi> </msub> </math></EquationSource> </InlineEquation> of unions of pairs of concentric circles in the plane. We prove that <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2514_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(A, B \in {\mathcal {A}}_c\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>,</mo> <mi>B</mi> <mo>∈</mo> <msub> <mi mathvariant="script">A</mi> <mi>c</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> are betweenness isomorphic if and only if they are similar. In particular, there are continuum many betweenness isomorphism classes in <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2514_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {A}}_c\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">A</mi> <mi>c</mi> </msub> </math></EquationSource> </InlineEquation>, and each of these classes consists exactly of all scaled translations of an arbitrary representative of the class. Furthermore, we show that every betweenness isomorphism between sets <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2514_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(A,B\in {\mathcal {A}}_c\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>,</mo> <mi>B</mi> <mo>∈</mo> <msub> <mi mathvariant="script">A</mi> <mi>c</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> is exactly the restriction of a scaled isometry of the plane.</p>

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

The Betweenness Relation Distinguishes Non-Similar Pairs of Concentric Circles

  • Martin Doležal,
  • Jan Kolář,
  • Janusz Morawiec

摘要

Two subsets AB of the plane are betweenness isomorphic if there is a bijection \(f:A\rightarrow B\) f : A B such that, for every \(x,y,z\in A\) x , y , z A , the point f(z) lies on the line segment connecting f(x) and f(y) if and only if z lies on the line segment connecting x and y. In general, it is quite difficult to tell whether two given subsets of the plane are betweenness isomorphic. We concentrate on the case when the sets AB belong to the family \( {\mathcal {A}}_c\) A c of unions of pairs of concentric circles in the plane. We prove that \(A, B \in {\mathcal {A}}_c\) A , B A c are betweenness isomorphic if and only if they are similar. In particular, there are continuum many betweenness isomorphism classes in \({\mathcal {A}}_c\) A c , and each of these classes consists exactly of all scaled translations of an arbitrary representative of the class. Furthermore, we show that every betweenness isomorphism between sets \(A,B\in {\mathcal {A}}_c\) A , B A c is exactly the restriction of a scaled isometry of the plane.