[論文レビュー] Angles and Polar Coordinates In Real Normed Spaces

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

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

ひとこと要約

本稿では、ヒルバート空間におけるユークリッド角を一般化するノルムに基づく公式を用いて、実ノルム空間における角の新しい定義——「シーアングル（Thy angle）」——を導入する。任意の2次元部分空間において、非ゼロベクトルのペアが一意に極座標表現を有することを示し、内積が存在しない設定においても連続的で対称的かつ幾何学的に整合性のある角構造を確立する。

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.

研究の動機と目的

• 内積が存在しない実ノルム空間において、幾何学的に意味のある角を定義すること。
• ノルムのみを用いて、ヒルバート空間におけるユークリッド角を任意の実バナッハ空間へ一般化すること。
• 新しい角の概念を用いて、任意の2次元部分空間において一意な極座標が存在することを確立すること。
• シーアングルが、連続性、対称性、スケーリング不変性といったユークリッド角の主要な性質を満たすことを証明すること。
• 非凸な単位球に関連する未解決問題に対処するため、単位球の凸包に基づく角の一般化を導入すること。

提案手法

• 正規化されたベクトルのノルムのみを用いて、対称的で同次的かつ半正定値な積 $<\vec{x}|\vec{y}>_{\spadesuit}$ を定義する。
• ノルムのみから導かれる角として、$\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)$ への減少のホメオモーティズムであることを示し、極座標パrametrizationの可能性を裏付ける。
• 非凸なノルムに対処するため、単位球の凸包を用いた一般化された角 $\angle_{\overline{\text{Thy}}}$ を導入する。
• 一般化された角が元のシーアングルの主要な性質を保ち、内積空間ではユークリッド角に還元されることを検証する。

実験結果

リサーチクエスチョン

• RQ1 内積に依存せず、ノルムに基づく一貫性のある角の定義を、実バナッハ空間において構築できるか？
• RQ2 提案された角が、対称性、連続性、スケーリング不変性といったユークリッド角の標準的性質を満たすか？
• RQ3 任意の実バナッハ空間の2次元部分空間が、この角に基づく一意な極座標でパラメータ化可能か？
• RQ4 単位球が凸でない場合、角の定義はどのように変化し、どのように是正できるか？
• RQ5 単位球の凸包に基づく一般化された角は、元のシーアングルの望ましい性質を保持するか？

主な発見

• シーアングルは、任意の実ノルム空間のすべての非ゼロベクトルに対して定義可能であり、ノルムに基づく積に対してCSB不等式が成り立つため、有効である。
• シーアングルは、すべてのユークリッド角の標準的性質——対称性、連続性、スケーリング不変性、および0とπにおける正しい値——を満たす。
• 任意の一次独立なベクトル $\vec{x}, \vec{y}$ に対して、写像 $t \mapsto \angle_{\text{Thy}}(\vec{x}, \vec{y} + t\vec{x})$ は $\mathbb{R}$ から $(0, \pi)$ への減少のホメオモーティズムである。これは2次元部分空間における極座標の存在を証明する。
• 単位球の凸包を用いて定義される一般化角 $\angle_{\overline{\text{Thy}}}$ は、元の角のすべての核心的性質を保持しており、内積空間ではユークリッド角に還元される。
• 一般化角は一般のノルム可能な空間ではすべての性質（例：(An 8)-(An 10)）を満たさないが、(An 11) を満たすため、部分的に強い性質を示す。
• この構成により、ノルムが内積によって誘導されていない場合でも、バナッハ空間における極座標の有効なフレームワークが提供される。