[論文レビュー] Helly-type Theorems for Plane Convex Curves

Alexander Getmanenko|arXiv (Cornell University)|Oct 31, 2000

Algebraic Geometry and Number Theory被引用数 6

ひとこと要約

本稿は、平面の凸曲線の平行移動および相似拡大の族に関するヘリィ型定理を確立し、一般の凸曲線ではヘリィ数と平行移動／相似拡大の順序が6で有界であり、強凸曲線では4で有界であることを証明する。有界な強凸曲線に対してはヘリィ数は正確に4であり、非有界な強凸曲線に対しては3であり、点の包含関係および射影の性質に基づく初等的な幾何的議論によって示される。

ABSTRACT

Families of translates and homothets of strictly convex curves are proven to possess Helly-type properties generalizing those of a circle. Weaker results are shown for arbitrary convex curves.

研究の動機と目的

• ユークリッド平面上における凸曲線の平行移動および相似拡大の族のヘリィ数と平行移動／相似拡大の順序を特定すること。
• 古典的なヘリィ型結果（円ではヘリィ数が4）を一般の凸曲線へ一般化すること。
• ヘリィ数と順序の鋭い上限を確立し、有界および非有界な強凸曲線の間で区別すること。
• 強凸曲線に対して、平行移動の族において任意の3つの集合が共通点を有する場合、かつ族に少なくとも5つの集合が存在する場合、全族が非空な共通点を有することを証明すること。
• 強凸曲線の相似拡大の族に対して、すべての3重共通点を有するが、たかだか1つの集合を除き、すべての集合が共通点を有することを示すこと。

提案手法

• 集合Sの任意のμ点部分集合がCの平行移動／相似拡大で被覆可能であるような最小のμを用いて、平行移動順序μ_Tr(C)および相似拡大順序μ_Ht(C)を定義し、これによりS全体が被覆可能であることを示す。
• Lemma 4を用いて、順序をk + Nで有界化する。ここでkは部分集合S₀（サイズN）を被覆する相似拡大／平行移動の数である。
• 点が凸曲線上に配置された際のベクトルの共線性および射影に関する幾何的補題（Lemma 5）を用いて、配置の制約を課す。
• 点の配置を射影および凸性を用いて分析し、特に強凸曲線の場合に特定の配置を除外する。
• 被覆されない点の数に関する帰納法および場合分けを用いて、ヘリィ数の有界性を証明する。
• 極値例（例えばアフィン正六角形）を構成することで、特に有界な強凸曲線におけるヘリィ数4のタイトネスを示す。

実験結果

リサーチクエスチョン

• RQ1 平面における一般の凸曲線の平行移動族のヘリィ数は何か？
• RQ2 強凸曲線と一般の凸曲線の間で、ヘリィ数と平行移動／相似拡大の順序はどのように異なるか？
• RQ3 族に少なくとも5つの集合が存在する場合、強凸曲線の平行移動族のヘリィ数は4未満に低下可能か？
• RQ4 非有界な強凸曲線に対してヘリィ数はどのように振る舞うか？
• RQ5 相似拡大の族に対して、ヘリィ性質をどの程度弱めることができるか——例えば、3重共通点が成り立つ場合、たかだか1つの例外を除き全族が共通点を有するか？

主な発見

• 任意の凸曲線Cに対して、その平行移動族のヘリィ数は6以下であり、相似拡大順序も6以下である。
• 任意の強凸曲線Cに対して、その平行移動族のヘリィ数は4以下であり、相似拡大順序も4以下である。
• 有界な強凸曲線Cに対して、その平行移動族のヘリィ数は正確に4であり、相似拡大順序も正確に4である。
• 非有界な強凸曲線Cに対して、その平行移動族のヘリィ数は正確に3であり、平行移動順序も正確に3である。
• 強凸曲線の平行移動族において、任意の3つの集合が共通点を有する場合、かつ族に少なくとも5つの集合が存在するならば、全族が非空な共通点を有する。
• 強凸曲線の相似拡大族において、任意の3つの集合が非空な共通点を有するならば、すべての集合が共通点を有するか、たかだか1つの集合を除き共通点を有する。ヘリィ数は4以下であり、曲線が有界である場合には等号が成立する。