arXiv reaDer
リプシッツターンのあるLTB曲線はほぼ規則的です
LTB curves with Lipschitz turn are par-regular
デジタル化プロセス中にトポロジを維持することは、最初に重要な要件です。この目的のために、デジタル幾何学では、形状の境界がほぼ規則的であると想定するのが古典的です。準規則性は、正のリーチを持つこと、またはリプシッツ導関数を使用した曲線のクラスC1,1に属することと同等であることが証明されました。最近、鈍角のポリゴン、局所的にターンバウンドされたカーブを含む、より大きなクラスを使用することを提案しました。このテクニカルレポートの目的は、曲率の概念、つまり積分曲率のみを使用して、局所的に曲がりくねった曲線のクラス内の準規則曲線のクラスを定義することです。より正確に言うと、以前の記事で、パーレギュラー曲線が局所的にターンバウンドであることをすでに証明しました。ちなみに、この証明は、準規則曲線のターンがそれらの長さのリプシッツ関数であることを示すために私たちを導きます。この後者の特性を検証する曲線のクラスを、リプシッツターンの曲線と呼びます。このテクニカルレポートでは、逆の主張を証明します。リプシッツターンを伴う局所的なターンバウンド曲線は、ほぼ規則的です。同等性は定理3.1で述べられており、逆の主張はLemma3.2で証明されています。セクション1では、パーレギュラリティの定義と、同等にリーチがポジティブなセットの定義を思い出します。セクション2では、局所的にターンバウンドする曲線とリプシッツターンを持つ曲線の概念を示します。この後者のセクション全体を通して、いくつかの中間ステップ(Lemmas 2.3および2.11)は、関連する概念の導入直後に証明されます。最後のセクション(セクション3)は、概念の同等性の証明に専念しています。
Preserving the topology during a digitization process is a requirement of first importance. To this end, it is classical in Digital Geometry to assume the shape borders to be par-regular. Par-regularity was proved to be equivalent to having positive reach or to belong to the class C 1,1 of curves with Lipschitz derivative. Recently, we proposed to use a larger class that encompasses polygons with obtuse angles, the locally turn-bounded curves. The aim of this technical report is to define the class of par-regular curves inside the class of locally turn-bounded curves using only the notion of turn, that is of integral curvature. To be more precise, in a previous article, we have already proved that par-regular curves are locally turn-bounded. Incidentally this proof lead us to show that the turn of par-regular curves is a Lipschitz function of their length. We call the class of curves verifying this latter property the curves with Lipschitz turn. In this technical report, we prove the converse assertion : locally turn-bounded curves with Lipschitz turn are par-regular. The equivalence is stated in Theorem 3.1 and the converse assertion is proved in Lemma 3.2. In section 1, we recall the definition of par-regularity and equivalently of sets with positive reach. In section 2, we present the notions of curves locally turn-bounded and of curves with Lipschitz turn. Throughout this latter section, some of intermediate steps (Lemmas 2.3 and 2.11) are proved just after the introduction of their related notions. The last section (section 3) is dedicated to the proof of the equivalence of the notions.
updated: Wed Dec 15 2021 10:10:07 GMT+0000 (UTC)
published: Wed Dec 15 2021 10:10:07 GMT+0000 (UTC)
参考文献 (このサイトで利用可能なもの) / References (only if available on this site)
被参照文献 (このサイトで利用可能なものを新しい順に) / Citations (only if available on this site, in order of most recent)
Amazon.co.jpアソシエイト