有限点だけで位相を粗くする距離化と共通下界の条件
Finite-Point Metrizable Coarsenings: Compatible Gauges, Simplicial Metrics, and Hausdorff Lower Bounds
この論文をやさしく読む
ひとことで言うと
距離で表せる位相を有限個の点だけで弱める方法を、連続なゲージ関数の組で特徴付けます。
何に役立つ？
位相を組み合わせたときにHausdorff性や距離化可能性が保たれる条件を理解する研究です。
この研究の面白いところ
標準単体への写像から具体的な距離を作り、二つの位相の共通下位にHausdorffな位相が存在する条件をゲージの最小値で記述します。
どこまで分かった？
例外点は有限個で2点以上、出発点は距離化可能空間です。族が下向き有向または束になる条件がコンパクト性と一致するという結論もこの設定についてです。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
(X,τ)を距離化可能な空間とし、F={a₁,…,aₖ}⊆X、2≤k<∞とする。XのうちF以外の部分でτと一致するすべての距離化可能な位相σ⊆τを、sᵢ⁻¹(0)={aᵢ}を満たす連続ゲージsᵢ:X→[0,1]の適合系によって表現する。i≠jに対する条件inf_X max{sᵢ,sⱼ}>0は、指定されたゲージ位相がハウスドルフであることとも、距離化可能であることとも同値である。 標準単体への正規化した積写像によって、明示的な距離が得られる。その三角不等式は、単体上の余裕量に関する不等式から導かれる。補助として用いる有界な適合距離が完備であれば、この距離も完備となる。 2つの適合系について、座標ごとの最小値が位相の共通部分を記述する。これが適合系になることと、2つの粗い位相が共通のハウスドルフな下界を持つことは同値である。その場合、共通部分は距離化可能で、両者の最大下界となる。そうでなければ、すべての共通の下位位相は非ハウスドルフである。 閉離散集合を使った構成により、任意の非コンパクトな距離化可能空間と、2点以上を含む任意の有限例外集合について、このような共通ハウスドルフ下界を持たない対が得られる。したがって、これらの例外集合に対し、この位相の族が下向き有向であること、あるいは束であることは、(X,τ)がコンパクトであることと同値となる。その場合、この族はτだけからなる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $(X,\tau)$ be metrizable and let $F=\{a_1,\ldots,a_k\}\subseteq X$, where $2\le k<\infty$. We represent all metrizable topologies $\sigma\subseteq\tau$ agreeing with $\tau$ on $X\setminus F$ by compatible systems of continuous gauges $s_i:X\to[0,1]$ with $s_i^{-1}(0)=\{a_i\}$. The condition $\inf_X\max\{s_i,s_j\}>0$ for $i\ne j$ is equivalent to both Hausdorffness and metrizability of the prescribed gauge topology. A normalized product map into the standard simplex gives an explicit metric; its triangle inequality follows from a simplex slack inequality. This metric is complete whenever the auxiliary bounded compatible metric is complete. For two compatible systems, their coordinatewise minimum describes the intersection topology. It is compatible exactly when the two coarsenings have a common Hausdorff lower bound; in that case the intersection is metrizable and is their meet. Otherwise every common lower topology is non-Hausdorff. A closed-discrete construction produces such an obstructed pair for every noncompact metrizable space and every finite exceptional set with at least two points. Consequently, for these exceptional sets, the family is downward directed, or is a lattice, if and only if $(X,\tau)$ is compact, in which case it consists only of $\tau$.
著者のコメント
13 pages. Comments welcome
arXiv ID: 2609.20514 ／ 要約の誤りについて