[論文レビュー] Convex sets with homothetic projections

Valeriu Soltan|ArXiv.org|Mar 16, 2009

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

ひとこと要約

この論文は、ℝⁿにおけるコンパクトまたは閉凸集合が、任意のm次元部分空間（2 ≤ m ≤ n−1、または非有界集合の場合は3 ≤ m ≤ n−1）への直交射影がすべてホモテティックであるときかつそのときに限りホモテティックであることを確立している。ホモテティ比は各射影ごとに異なることが許容される。証明は、露出点に関するストラゼヴィッチの定理の精密化に依拠し、正および負のホモテティを含む、古典的なシュスおよびハドウィガーの結果を、完全なホモテティ群へと拡張する。

ABSTRACT

Extending results of Suss and Hadwiger (proved by them for the case of convex bodies and positive ratios), we show that compact (respectively, closed) convex sets in the Euclidean space of dimension n are homothetic provided for any given integer m between 2 and n - 1 (respectively, between 3 and n - 1), the orthogonal projections of the sets on every m-dimensional plane are homothetic, where homothety ratio and its sign may depend on the projection plane. The proof uses a refined version of Straszewicz's theorem on exposed points of compact convex sets.

研究の動機と目的

• ℝⁿにおける正のホモテティに関するシュスおよびハドウィガーの定理を、負の比を含む完全なホモテティ群へと拡張すること。
• コンパクトまたは閉凸集合がホモテティックであることを保証する射影部分空間の最小次元mを特定すること。
• 非有界凸集合に対してm ≥ 3である条件の鋭さを解明し、2次元射影がホモテティックであるが集合自体がホモテティックでない反例を構成すること。
• 固定されたr次元部分空間を含むすべてのm次元平面における射影がホモテティックである場合に、元の集合がホモテティックであることを示す相対的バージョンの定理を確立すること。

提案手法

• コンパクト凸集合がその露出点の閉凸包であることを示すストラゼヴィッチの定理の精密化版を用いる。
• 凸集合の線形空間および再発錐を分析し、m次元平面への射影がホモテティックであるならば、元の集合が同じ線形空間を持つ必要があることを示す。
• 共通の線形空間に沿って分解することで、両集合が線形を含まない場合に問題を簡略化する。
• 次元 ≥ m ≥ 3 の部分空間における射影幾何を用い、固定された直線を含むすべてのm次元平面への射影がホモテティックであるならば、元の集合もホモテティックであることを示す。
• 再発錐の対称性を分析し、既知の[13]における高次元におけるホモテティに関する結果を適用することで、射影における正および負のホモテティを区別する。
• 中間の射影を通じた推移性の議論を適用する：より大きな部分空間への射影がホモテティックであるならば、それより次元が低い部分空間（例：2次元または3次元）への射影に対してもホモテティックであることが保証され、これにより定理1の適用が可能になる。

実験結果

リサーチクエスチョン

• RQ1 ℝⁿ内の2つのコンパクトまたは閉凸集合が、負のホモテティを含む場合に、m次元射影が満たすべき条件は何か？
• RQ2 非有界凸集合に対してm ≥ 3である条件は鋭いか。m = 2で十分か？
• RQ3 固定されたr次元部分空間を含むすべてのm次元平面への射影がホモテティックである場合、元の集合がホモテティックであると結論づけられるか？
• RQ4 露出点および再発錐の性質が、射影におけるホモテティ比の連続性および構造にどのように影響するか？
• RQ5 古典的なシュスおよびハドウィガーの定理は、負のホモテティ比を含む形にどの程度一般化可能か？

主な発見

• ℝⁿ内のコンパクト凸集合について、K₁とK₂がホモテティックであるための必要十分条件は、任意のm次元部分空間（2 ≤ m ≤ n−1）への直交射影がホモテティックであることであり、ホモテティ比は射影平面ごとに異なることが許容される。
• 閉（非有界を含む）凸集合についても、同様の同値性が成り立ち、m ≥ 3であることが条件となる。これにより、非有界の場合にm = 2では不十分であることが示される。
• ℝ³内の非ホモテティックな2つの放物面の例は、2次元射影が正のホモテティックであるが、集合自体はホモテティックでないことを示しており、非有界集合に対してm ≥ 3である条件が鋭いかどうかを証明する。
• K₁とK₂の線形空間は一致しなければならず、そうでなければ特定のm次元平面への射影のホモテティック性が破られる。
• 共通の線形空間に沿って集合を分解すると、問題は線形を含まない場合に帰着され、露出点理論および射影幾何が適用される。
• 相対的バージョンの定理（系1）は、固定されたr次元部分空間を含むすべてのm次元平面への射影がホモテティックであるならば、元の集合もホモテティックであることを示しており、射影族の制約付きの場合への結果の拡張を実現する。