[论文解读] 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-仿射函数与Jensen-仿射函数的理论，表征该函数方程的解。
• 证明该函数方程的解必为仿射函数，从而导出映射的有理形式。
• 应用t-仿射函数的延拓定理，扩展定义域并确保分量函数的线性性。
• 将一般情形约化至值域非共线的情形，此时映射必为两个仿射函数的比值。

实验结果

研究问题

• RQ1 在高维线性空间中，是否可以超越仿射映射来表征保持线段的映射？
• RQ2 何种函数形式的映射必须同时保持开线段与凸集？
• RQ3 塞瓦定理如何协助表征保持线段几何共点性的映射？
• RQ4 在何种条件下，严格线段保持映射必然是有理函数，即两个仿射函数的比值？
• RQ5 该映射的表征是否解决了量子效应代数中关于混合保持自同构的开放问题？

主要发现

• 任意具有非共线值域的严格线段保持映射，均可表示为一个向量值仿射函数与一个正值实值仿射函数的比值。
• 由塞瓦定理导出的函数方程强制映射为有理形式，其中分子与分母均为仿射函数。
• 对于定义在整个空间X上的映射，若分母为常数（即B(x) ≡ b > 0），则映射退化为仿射函数。
• 函数方程的解表明，在较弱的正则性假设下，映射由其在稠密子集上的取值唯一确定。
• 该表征为希尔伯特空间效应代数上每个混合保持双射是否均为仿射映射的问题提供了完整解答。
• 结果证实，当值域非共线时，严格线段保持与逆凸性保持映射恰好是形如f(x) = (A(x) + a)/(B(x) + b)的有理映射，且满足B(x) + b > 0。