[論文レビュー] Characterization of segment and convexity preserving maps

Zsolt Páles|arXiv (Cornell University)|Dec 6, 2012

Mathematical Inequalities and Applications参考文献 8被引用数 6

ひとこと要約

この論文は、実線形空間間の厳密なセグメントおよび凸性を保全する写像を特徴づけ、非共線な像をもつようなこれらの写像が必ず有理関数であることを証明している—具体的には、アフィンなベクトル値関数と正の実数値アフィン関数の比として表現される。この特徴づけは、チェバの定理と関数方程式に依拠しており、厳密なセグメントの保全が有理形式を意味することを示し、高次元におけるアフィン写像の一般化である。

ABSTRACT

In this note functions that transform open segments of a linear space into open segments of another linear space are studied and characterized. Assuming that the range is non-collinear, it is proved that such a map can always be expressed as the ratio of two affine functions.

研究の動機と目的

• 実線形空間における開線分および凸集合を保全する写像を特徴づける。
• 像が非共線である場合に、非アフィン写像が線分および凸性を保全できるかどうかを特定する。
• 高次元設定における厳密なセグメントおよび逆凸性を保全する写像の完全な関数的形を確立する。
• 効果代数における混合を保全する写像の問題を解き、量子測定理論における未解決問題を解決する。

提案手法

• 初等幾何学のチェバの定理を用いて、写像変換下での線分の交差性を分析する。
• 線分の像が交わるための必要十分条件が、元の線分が交わることであるという幾何的条件から関数方程式を導出する。
• t-アフィン関数およびジェンセン-アフィン関数の理論を用いて、関数方程式の解を特徴づける。
• 関数方程式の解がアフィン関数でなければならないことを証明し、写像の有理形式に至る。
• t-アフィン関数の拡張定理を用いて定義域を拡張し、成分関数の線形性を保証する。
• 一般の場合を、像が非共線である場合に還元し、その場合に写像がアフィン関数の比であることが強制される。

実験結果

リサーチクエスチョン

• RQ1 高次元線形空間における線分を保全する写像は、アフィン写像を超えて特徴づけられるか？
• RQ2 開線分および凸集合を同時に保全する写像が満たすべき関数的形は何か？
• RQ3 チェバの定理は、線分の幾何的交差性を保全する写像を特徴づけるのにどのように役立つか？
• RQ4 どのような条件下で、厳密な線分を保全する写像は必ず有理関数、すなわち二つのアフィン関数の比であると保証されるか？
• RQ5 このような写像の特徴づけは、量子効果代数における混合を保全する自己同型に関する未解決問題を解消するか？

主な発見

• 非共線な像をもつ任意の厳密な線分を保全する写像は、アフィンなベクトル値関数と正の実数値アフィン関数の比として表現可能である。
• チェバの定理から導出された関数方程式により、写像が有理関数であり、分子および分母がともにアフィン関数でなければならないことが強制される。
• 空間X全体で定義された写像について、分母が定数（すなわちB(x) ≡ b > 0）である場合、写像はアフィン関数に簡略化される。
• 関数方程式の解は、弱い正則性仮定の下で、写像がその値が稠密な部分集合上で一意に決定されることを示唆する。
• この特徴づけは、ヒルベルト空間効果代数上の混合を保全する全単射写像が常にアフィン関数であるかどうかという問題に対して完全な答えを提供する。
• 結果として、非共線な像をもつ厳密な線分および逆凸性を保全する写像は、B(x) + b > 0 を満たす形 f(x) = (A(x) + a)/(B(x) + b) の有理写像に限り、正確に特徴づけられることが確認された。