[論文レビュー] A note and a short survey on supporting lines of compact convex sets in the plane

Gábor Czédli, László L. Stachó|arXiv (Cornell University)|Dec 5, 2016

Point processes and geometric inequalities参考文献 23被引用数 3

ひとこと要約

本稿は、平面内のコン pact な凸集合の接線が境界に沿って連続的かつゆっくりとスライド・ターン可能であることを、2 つの厳密で初等的な証明により示している。これにより、接線の空間の可微分性と連続的パラメータ化が確立される。主な貢献は定理 3.1 であり、接線が凸形状の周囲を滑らかに移動できるという直感的な考えを形式化したもので、幾何的位相幾何学および凸幾何学への応用を持つ。

ABSTRACT

After surveying some known properties of compact convex sets in the plane, we give a two rigorous proofs of the general feeling that supporting lines can be slide-turned slowly and continuously. Targeting a wide readership, our treatment is elementary on purpose.

研究の動機と目的

• 平面内のコン pact な凸集合の接線が境界に沿って連続的かつゆっくりとスライド・ターン可能であることを、広く信じられているが十分に裏付けられていない幾何的直感を厳密に証明すること。
• 定理 3.1 の2 つの初等的かつアクセス可能な証明を提供し、将来的な研究における広範な適用可能性と参照可能性を確保すること。
• 接線空間 Sli(H) が可微分なジョードン曲線をなすことを確立し、連続的パラメータ化を可能にすること。
• 補題 3.2 を用いて定理 3.1 の有用性を示し、2 つの互いに交わらないコン pact な凸集合の間で、完全なサイクルの共通接線が存在することを示すこと。

提案手法

• 最初の証明では、境界 ∂H を単位速度曲線で連続的にパラメータ化し、各点に対し一意な接線（方向付き）を対応づける。この写像が連続的かつ可微分的であることを示す。
• 2 番目の証明では、境界 ∂H から接線空間 Sli(H) へのホメオモルフィズム f を構成し、それが局所的にリプシッツ連続であることを証明することで、滑らかさと可微分性を保証する。
• 証明は、幾何的連続性、既知の結果により確立された ∂H の可微分性、および R^4 内の角度距離とユークリッド距離を用いた方向と点の位置の変動を制御する手法に依存する。
• 双対点 P* と方向射影の使用といった補助的構成により、接線間の距離を制御し、リプシッツ推定が可能になる。
• Sli(H) のパラメータ化は、スケーリングされた単位円 L·C_unit 上の閉曲線 h(t) を用いて達成され、時間 t ∈ L·C_unit の間に完全に 360° 回転する。
• 距離関数 dist(ℓ(t), H₂) の連続性を用いて、2 番目の凸集合 H₂ が移動する接線 ℓ(t) に対して左/右の位置関係がどのように変化するかを追跡する。

実験結果

リサーチクエスチョン

• RQ1 凸集合の周囲を接線を連続的にスライド・ターンできるという直感的な考えは、厳密に証明できるか？
• RQ2 平面内のコン pact な凸集合のすべての接線の空間は、可微分なジョードン曲線か？
• RQ3 接触点と方向が両方とも滑らかに変化するように、接線を連続的にパラメータ化できるか？
• RQ4 1 つの凸集合 H₁ の周囲を接線を完全に連続的に回転させる間に、2 番目の互いに交わらないコン pact な凸集合 H₂ の相対的位置関係はどのように変化するか？
• RQ5 連続性と可微分性から、2 つの互いに交わらないコン pact な凸集合の間で完全なサイクルの共通接線が存在することが導かれるか？

主な発見

• 定理 3.1 は、平面内のコン pact な凸集合 H の接線空間 Sli(H) が可微分なジョードン曲線をなすことを確立し、連続的かつ滑らかなパラメータ化を可能にする。
• 本稿は、定理 3.1 の2 つの異なる初等的証明を提供しており、両方とも接線が H の境界に沿ってゆっくりかつ連続的にスライド・ターン可能であることを示している。
• 各境界点からその接線に写像する写像 f: ∂H → Sli(H) が局所的にリプシッツ連続であることが示され、局所的な滑らかさが保証される。
• 補題 3.2 は、2 つの互いに交わらないコン pact な凸集合 H₁ と H₂ に対して、完全なサイクルの共通接線が存在することを証明しており、線が H₂ を右から左へ、再び右へと移行する。
• 距離関数 dist(ℓ(t), H₂) は時間 t に関して連続的であり、H₂ が移動する接線 ℓ(t) に対して左/右の位置関係が変化する瞬間が明確に定義され、孤立した時刻に発生することが保証される。
• 証明により、接線が H₁ の周囲を完全に回転させると、正確に 4 本の共通接線が得られ、それらは互いに交わらない 4 つの遷移点 t₁ から t₄ に対応することが確認された。