[論文レビュー] 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 内のヒルベルト領域がノルム付きベクトル空間に準等長であるならば、その領域は凸多面体の内部であることを証明する。準等長性の境界と境界線分の挙動に基づく幾何的議論を用いて、滑らかまたは曲がった境界をとるような領域はあり得ないことを示し、従来の等長性やリプシッツ同値性に関する結果を、準等長性の設定へと一般化する。

ABSTRACT

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

研究の動機と目的

• ノルム付きベクトル空間に準等長なヒルベルト領域の幾何的構造を特定すること。
• リプシッツ同値性に関する結果（例えば多面体の場合）の逆が、弱い準等長性条件下でも成り立つかどうかを調査すること。
• 既知の等長ヒルベルト幾何学の結果（例えば単体の場合）を、より広い準等長空間のクラスへと拡張すること。
• 特にアフィン線分に関連して、ヒルベルト領域の境界構造を準等長性の制約下で特徴づけること。

提案手法

• 距離をヒルベルト領域内の距離と標的ベクトル空間内のノルムに関連付けるために、$(A,B)$-準等長性の定義の使用。
• カールソンとノスコフの定理（ヒルベルト幾何における準測地線の放射に関する）を応用し、境界点付近での距離の増加を制御すること。
• 点 $x \neq y$ に対して $[x,y] \not\subseteq \partial\mathcal{C}$ を満たす有限集合 $X \subseteq \partial\mathcal{C}$ の構成と、ノルム空間の幾何を用いたその濃度の上限評価。
• 定理 2.2 を用いて 2 次元に還元すること。この定理は、内部点を通るすべての平面断面が多面体であるとき、その凸集合は多面体であることを示す。
• 背理法による証明：有限個の点 $Y$ に接続されていない境界点 $x_0$ が存在すると仮定し、$\mathcal{E}$ 内で $Z = Y \cup \{x_0\}$ を構成することで、$Y$ の最大性に矛盾を引き起こす。
• 角度パラメータ化と線分分解を用いて、境界が有限個のアフィン線分から成ることを示し、2 次元では閉包 $\overline{\mathcal{C}}$ が凸多角形であることを導く。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト領域がノルム付きベクトル空間に準等長である条件は何か？
• RQ2 準等長性が成り立つ場合、等長でないとしても、その領域が凸多面体であると示唆されるか？
• RQ3 準等長ヒルベルト計量を持つヒルベルト領域の境界が非多角形である可能性はあるか？
• RQ4 共通の境界線分上に存在しない点同士のペアとして、最大で何個の境界点をとれるか？
• RQ5 準等長定数 $A$ は、領域の境界の幾何にどのように制約を加えるか？

主な発見

• ノルム付きベクトル空間に準等長なヒルベルト領域は、凸多面体の内部でなければならない。
• 互いに非共線的な線分 $[x,y] \not\subseteq \partial\mathcal{C}$ を持つ境界点の集合 $X$ の最大濃度は、$N = N(A, \|\cdot\|)$ で抑えられ、これはノルム $\|v\| \leq 2A$ の球内に、互いに距離 $\geq 1/(2A)$ を保つ点の最大数に等しい。
• 2 次元では、境界 $\partial\mathcal{C}$ は有限個のアフィン線分から成り、$\overline{\mathcal{C}}$ が凸多角形であることを示す。
• 証明は定理 2.2 を用いて問題を 2 次元に還元し、平面断面による凸多面体の特徴づけを応用する。
• 背理法により、任意の境界点は最大集合 $Y$ のある点と接続される線分上に存在しなければならず、これにより境界が多角形的であることが強制される。
• この結果は、定理 1.3（多面体に基づくヒルベルト領域がユークリッド空間とリプシッツ同値であること）を、準等長性の設定へと一般化する。