距離の代数的独立性と対称性を持たない距離の近似を調べる
Algebraically independent distances and rigid metrics
この論文をやさしく読む
ひとことで言うと
点どうしの距離に代数的な関係や対称性がない距離の付け方で、元の距離をどこまで近似できるかを調べる研究です。
何に役立つ？
位相を保ちながら距離構造の性質を調整する、幾何学・位相数学の基礎になります。恒等写像以外の対称性を持たない剛な距離の存在も扱います。
この研究の面白いところ
代数的独立性を持つ距離の近似と、自己等長写像が自明になる剛な距離の近似を並行して調べます。完備性やコンパクト性などの条件に応じた集合の性質も示します。
どこまで分かった？
強零次元性、連続体以下の濃度、局所コンパクト性、3点以上など、結果ごとに条件が異なります。任意の空間で無条件にすべての性質を同時に実現できるという主張ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
異なる2点部分集合に対する距離の値が、有理数体上で代数的に独立となる距離関数を研究する。濃度が連続体以下の強零次元距離化可能空間では、位相と両立する任意の距離関数を、この性質を持つ両立する距離関数で一様に近似できることを証明する。空間が完全距離化可能なら、近似に用いる距離関数も完備となるように選べる。任意のσコンパクト距離化可能空間において、距離の値が代数的に独立な距離関数全体は、一様位相でGδ集合をなす。 また、全単射な自己等長写像が恒等写像に限られる剛的な距離関数も研究する。任意の局所コンパクトPolish空間において、剛的で固有な距離関数全体は、位相と両立する固有な距離関数全体の中でGδ集合をなす。Niemiecの定理を用い、少なくとも3点を持つコンパクト距離化可能空間では、剛的な距離関数が一様位相で稠密であることを得る。さらにコンパクトな完備化へ移ることにより、少なくとも3点を持つ任意の空間上で、位相と両立する全有界な距離関数を、剛的な距離関数で近似できることを導く。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We study metrics whose distances on distinct two-point subsets are algebraically independent over the rationals. We prove that every compatible metric on a strongly zero-dimensional metrizable space of cardinality at most continuum can be uniformly approximated by compatible metrics with this property. If the space is completely metrizable, the approximating metrics can also be chosen complete. For every $\sigma$-compact metrizable space, the metrics with algebraically independent distances form a $G_\delta$ set in the uniform topology. We also study rigid metrics, whose only bijective self-isometry is the identity. On every locally compact Polish space, rigid proper metrics form a $G_\delta$ set among proper compatible metrics. Using a theorem of Niemiec, we obtain uniform density of rigid metrics on compact metrizable spaces with at least three points. Passing to compact completions then yields rigid approximations of every totally bounded compatible metric on any space with at least three points.
著者のコメント
16 pages
arXiv ID: 2609.19773 ／ 要約の誤りについて