2025-11-10T02:33:50.594490

Computable Bases

Brattka, Rauzy

In computable analysis typically topological spaces with countable bases are considered. The Theorem of Kreitz-Weihrauch implies that the subbase representation of a second-countable $T_0$ space is admissible with respect to the topology that the subbase generates. We consider generalizations of this setting to bases that are representable, but not necessarily countable. We introduce the notions of a computable presubbase and a computable prebase. We prove a generalization of the Theorem of Kreitz-Weihrauch for the presubbase representation that shows that any such representation is admissible with respect to the topology generated by compact intersections of the presubbase elements. For computable prebases we obtain representations that are admissible with respect to the topology that they generate. These concepts provide a natural way to investigate many topological spaces that have been studied in computable analysis. The benefit of this approach is that topologies can be described by their usual subbases and standard constructions for such subbases can be applied. Finally we discuss a Galois connection between presubbases and representations of $T_0$ spaces that indicates that presubbases and representations offer particular views on the same mathematical structure from different perspectives.

academic

計算可能な基

基本情報

論文ID: 2510.09850
タイトル: Computable Bases
著者: Vasco Brattka (Universität der Bundeswehr München & University of Cape Town), Emmanuel Rauzy (Université Paris-Est Créteil)
分類: math.LO (論理学)
発表日: 2025年10月14日
論文リンク: https://arxiv.org/abs/2510.09850

要約

計算可能解析では、通常、可算基を持つ位相空間を考察する。Kreitz-Weihrauch定理は、第二可算 $T_0$ 空間の部分基表現が部分基によって生成される位相に関して許容的であることを示している。本論文は、この設定を表現可能であるが必ずしも可算ではない基へと一般化する。著者らは計算可能前部分基(computable presubbase)および計算可能前基(computable prebase)の概念を導入し、前部分基表現に対するKreitz-Weihrauch定理の一般化を証明した。これは、任意のそのような表現が前部分基要素のコンパクト交集によって生成される位相に関して許容的であることを示している。計算可能前基に対しては、それらが生成する位相に関して許容的である表現が得られた。これらの概念は、計算可能解析における多くの位相空間を研究するための自然な方法を提供する。

研究背景と動機

問題背景

従来の制限: 従来の計算可能解析は主に可算基を持つ位相空間に限定されており、理論の適用範囲を制限していた
Kreitz-Weihrauch定理の制限: 古典的なKreitz-Weihrauch定理は第二可算 $T_0$ 空間にのみ適用可能であり、より一般的な位相空間を扱うことができなかった
表現理論の必要性: 異なるタイプの位相空間表現を扱うための統一的な枠組みが必要であった

研究動機

理論の完成: 計算可能解析の基礎理論をより一般的な位相空間へ拡張する
実用的応用: 実際に遭遇する非可算位相空間に対して計算可能性の枠組みを提供する
統一的視点: 前部分基の概念を通じて異なる位相構成を統一的に扱う

核心的貢献

新概念の導入: 計算可能前部分基および計算可能前基の概念を提案し、従来の可算部分基理論を一般化した
主要定理: 前部分基定理(定理7)を証明した。これはKreitz-Weihrauch定理の重要な一般化である
位相的刻画: 計算可能Kolmogorov空間と各種基の間の同値性を確立した(定理23)
閉包性質: 計算可能Kolmogorov空間が各種位相構成の下で閉じていることを証明した
Galois接続: 前部分基と表現の間の深層的なGalois接続構造を明らかにした

方法の詳細

核心概念の定義

前部分基(Presubbase)

定義5: $X$ を集合とする。 $(B_y)_{y \in Y}$ が $X$ の前部分基であるとは、 $Y$ が表現空間であり、その転置 $B^T: X \to \mathcal{O}(Y), \quad x \mapsto \{y \in Y: x \in B_y\}$ が良定義かつ単射であることをいう。

前部分基表現(Presubbase Representation)

定義6: 前部分基 $(B_y)_{y \in Y}$ が与えられたとき、前部分基表現 $\delta^B: \subseteq \mathbb{N}^\mathbb{N} \to X$ を $\delta^B(p) = x \iff \delta_{\mathcal{O}(Y)}(p) = \{y \in Y: x \in B_y\}$ で定義する。

主要な理論結果

前部分基定理

定理7: $(B_y)_{y \in Y}$ を集合 $X$ の前部分基とする。このとき $(X, \delta^B)$ は計算可能Kolmogorov空間であり、 $\delta^B$ は基集合 $X$ および各コンパクト集合 $K \subseteq Y$ に対する $\bigcap_{y \in K} B_y$ によって生成される位相 $\tau$ に関して許容的である。

計算可能Kolmogorov空間の刻画

定理23: 表現空間 $X$ に対して、以下の条件は同値である：

$X$ は計算可能Kolmogorov空間である
$X$ は計算可能前部分基を持つ
$X$ は計算可能前基を持つ
$X$ は計算可能基を持つ
$X$ は計算可能Lacombe基を持つ
$\text{id}: \mathcal{O}(X) \to \mathcal{O}(X)$ は $X$ の計算可能Lacombe基である

技術的革新点

コンパクト交集位相: 有限交集ではなくコンパクト集合の交集を用いて位相を定義する。これが重要な革新である
列化処理: 列化位相を通じて一般的な場合と可算的な場合の差異を処理する
超空間方法: Scott位相とコンパクト開位相の間の関係を利用する
転置技術: 転置写像 $B^T$ を通じて基と表現の間の関係を確立する

実験設定

本論文は純粋な理論数学論文であり、実験部分は含まれていない。すべての結果は厳密な数学的証明によって得られている。

主要な結果

理論的結果

閉包性質

系31: $X$ と $Y$ が計算可能Kolmogorov空間ならば、以下の空間も計算可能Kolmogorov空間である：

$X \times Y$ , $X \sqcup Y$ , $X \sqcap Y$ , $Y^\mathbb{N}$ および $X$ の各部分空間
$C(X,Y)$ , $\mathcal{O}(X)$ , $\mathcal{A}^+(X)$ , $\mathcal{A}^-(X)$ , $\mathcal{A}(X)$ , $\mathcal{K}^-(X)$ および $\mathcal{K}(X)$

位相的刻画

系33: 表現された $T_0$ 空間 $X$ と $Y$ に対して：

$\mathcal{O}(X \times Y) = \text{seq}(\mathcal{O}(X) \otimes \mathcal{O}(Y))$
$\mathcal{O}(X^\mathbb{N}) = \text{seq}(\bigotimes_{i \in \mathbb{N}} \mathcal{O}(X))$
$\mathcal{O}(Z) = \text{seq}(\mathcal{O}(X)|_Z)$ （部分空間 $Z \subseteq X$ に対して）
$\mathcal{O}(X \sqcap Y) = \text{seq}(\mathcal{O}(X) \wedge \mathcal{O}(Y))$