[论文解读] Angles and Polar Coordinates In Real Normed Spaces

Volker Thürey|arXiv (Cornell University)|Feb 16, 2009

Advanced Numerical Analysis Techniques参考文献 7被引用 7

一句话总结

本文提出了一种在实赋范空间中定义角度的新方法——称为“Thy角”，该方法基于范数公式，推广了希尔伯特空间中的欧氏角。证明了在任意实巴拿赫空间的二维子空间中，每对非零向量均可通过此角度唯一表示为极坐标形式，从而在非内积空间中也建立了连续、对称且几何一致的角结构。

ABSTRACT

We try to create a wise definition of 'angle spaces'. Based on an idea of Ivan Singer, we introduce a new concept of an angle in real Banach spaces, which generalizes the euclidean angle in Hilbert spaces. With this angle it is shown that in every two-dimensional subspace of a real Banach space we can describe elements uniquely by polar coordinates.

研究动机与目标

• 在不存在内积的实赋范空间中定义一个具有几何意义的角度。
• 仅使用范数，将希尔伯特空间中的欧氏角推广到任意实巴拿赫空间。
• 利用新角度概念，在每个二维子空间中建立唯一极坐标的存 在性。
• 证明Thy角满足欧氏角的关键性质，如连续性、对称性和缩放不变性。
• 通过基于凸包的角推广，解决单位球非凸时的开放问题。

提出的方法

• 使用归一化向量的范数，定义一个对称、齐次且半正定的乘积 $<\vec{x}|\vec{y}>_{\spadesuit}$。
• 将“Thy角”定义为 $\angle_{\text{Thy}}(\vec{x},\vec{y}) := \arccos\left( \frac{1}{4} \left[ \left\| \frac{\vec{x}}{\|\vec{x}\|} + \frac{\vec{y}}{\|\vec{y}\|} \right\|^2 - \left\| \frac{\vec{x}}{\|\vec{x}\|} - \frac{\vec{y}}{\|\vec{y}\|} \right\|^2 \right] \right)$，该定义仅依赖于范数。
• 证明该乘积在赋范空间中满足柯西-施瓦茨-邦雅科夫斯基（CSB）不等式，从而确保反余弦函数定义良好。
• 证明映射 $t \mapsto \angle_{\text{Thy}}(\vec{x}, \vec{y} + t\vec{x})$ 是从 $\mathbb{R}$ 到 $(0, \pi)$ 的严格递减同胚，从而实现极坐标参数化。
• 引入基于单位球凸包的广义角 $\angle_{\overline{\text{Thy}}}$，以处理非凸范数的情形。
• 验证广义角保持原始Thy角的关键性质，并在内积空间中退化为欧氏角。

实验结果

研究问题

• RQ1 能否在不依赖内积的前提下，于实巴拿赫空间中构造出一致且基于范数的角度定义？
• RQ2 所提出的角是否满足欧氏角的标准几何性质，如对称性、连续性和缩放不变性？
• RQ3 实巴拿赫空间的每个二维子空间是否都能基于此角度唯一地参数化为极坐标形式？
• RQ4 当单位球非凸时，角度定义会发生什么变化？如何解决这一问题？
• RQ5 基于单位球凸包的广义角是否保持原始Thy角的优良性质？

主要发现

• Thy角在任意实赋范空间中所有非零向量上均有定义，因为该范数乘积满足CSB不等式。
• Thy角满足欧氏角的所有标准性质：对称性、连续性、缩放不变性，以及在0和π处的正确取值。
• 对于任意两个线性无关的向量 $\vec{x}, \vec{y}$，函数 $t \mapsto \angle_{\text{Thy}}(\vec{x}, \vec{y} + t\vec{x})$ 是从 $\mathbb{R}$ 到 $(0, \pi)$ 的严格递减同胚，从而证明了在二维子空间中极坐标的存 在性。
• 基于单位球凸包定义的广义角 $\angle_{\overline{\text{Thy}}}$ 保持了原始角度的所有核心性质，并在内积空间中退化为欧氏角。
• 广义角在一般赋范空间中不完全满足原始角的所有性质（如(An 8)至(An 10)），但仍满足(An 11)，表明其具有部分鲁棒性。
• 该构造为巴拿赫空间中的极坐标提供了可行框架，即使范数并非由内积诱导。