[论文解读] Hilbert domains quasi-isometric to normed vector spaces

Bruno Colbois, Patrick Verovic|ArXiv.org|Apr 10, 2008

Holomorphic and Operator Theory参考文献 13被引用 4

一句话总结

该论文证明，若R^m中的Hilbert区域与赋范向量空间拟等距，则其必为凸多面体的内部。通过拟等距界与基于边界线段行为的几何论证，作者表明此类区域不可能具有光滑或弯曲边界，将先前关于等距与Lipschitz等价的结果推广至拟等距情形。

ABSTRACT

We prove that a Hilbert domain which is quasi-isometric to a normed vector space is actually a convex polytope.

研究动机与目标

• 确定与赋范向量空间拟等距的Hilbert区域的几何结构。
• 研究Lipschitz等价结果（如多面体情形）的逆命题在更弱的拟等距条件下是否成立。
• 将已知的等距Hilbert几何结果（如单纯形情形）推广至更广泛的拟等距空间类。
• 在拟等距约束下，表征Hilbert区域边界的结构，特别是其与仿射线段的关系。

提出的方法

• 使用$(A,B)$-拟等距定义，将Hilbert区域中的距离与目标向量空间中的范数关联起来。
• 应用Karlsson与Noskov关于Hilbert几何中拟测地线射线的定理，以控制边界点附近的距离增长。
• 构造一个有限集$X \subseteq \partial\mathcal{C}$，满足对$x \neq y$有$[x,y] \not\subseteq \partial\mathcal{C}$，并利用赋范空间几何方法界定其势的上界。
• 利用定理2.2将问题约化至二维情形，该定理指出：一个凸集是多面体当且仅当其通过内点的所有平面截面均为多面体。
• 反证法：假设存在一个边界点$x_0$，其不与有限集$Y$中的任一点通过完整线段相连，构造更大的集合$Z = Y \cup \{x_0\}$在$\mathcal{E}$中，与$Y$的极大性矛盾。
• 利用角度参数化与线段分解，证明边界由有限条仿射线段构成，从而在二维情形下推出闭包为凸多边形。

实验结果

研究问题

• RQ1 在何种条件下，Hilbert区域与赋范向量空间拟等距？
• RQ2 拟等距性质是否意味着该区域必为凸多面体，即使其并非等距？
• RQ3 具有拟等距Hilbert度量的Hilbert区域的边界是否可能非多边形？
• RQ4 在边界线段上不共线的边界点最多有多少个（即不存在共线边界线段）？
• RQ5 拟等距常数$A$如何约束区域边界几何结构？

主要发现

• 与赋范向量空间拟等距的Hilbert区域必为凸多面体的内部。
• 满足两两非共线线段$[x,y] \not\subseteq \partial\mathcal{C}$的边界点集$X$的最大势被限定为$N = N(A, \|\cdot\|)$，即范数球$\|v\| \leq 2A$中两两距离$\geq 1/(2A)$的点的最大数目。
• 在二维情形下，边界$\partial\mathcal{C}$由有限条仿射线段构成，意味着$\overline{\mathcal{C}}$为凸多边形。
• 证明通过定理2.2将问题约化至二维情形，该定理通过其平面截面表征凸多面体。
• 反证法表明，任一边界点必位于连接至极大集$Y$中某点的线段上，从而强制边界为多边形结构。
• 该结果将定理1.3（基于多面体的Hilbert区域与欧氏空间的Lipschitz等价）推广至拟等距情形。