[论文解读] The non-Archimedean analogs of the Bochner-Kolmogorov, Minlos-Sazonov and Kakutani theorems

S. V. Lüdkovsky|ArXiv.org|Oct 25, 2000

advanced mathematical theories参考文献 20被引用 5

一句话总结

本文建立了非阿基米德域上巴拿赫空间上测度的经典的博赫纳-柯尔莫哥洛夫、明洛斯-萨佐诺夫和角田定理的非阿基米德类比。它引入了特征泛函，通过这些泛函证明了测度的存在性与唯一性结果，并发展了具有密度条件的无限乘积测度理论，将经典随机分析扩展到非阿基米德设置，应用于量子力学和群表示论。

ABSTRACT

Measures on a non-Archimedean Banach space $X$ are considered with values in the real field $\bf R$ and in the non- Archimedean fields. The non-Archimedean analogs of the Bochner- Kolmogorov and Minlos-Sazonov theorems are given. Moreover, infinite products of measures are studied and the analog of the Kakutani theorem is investigated.

研究动机与目标

• 将经典的测度论定理——博赫纳-柯尔莫哥洛夫、明洛斯-萨佐诺夫和角田定理——推广到非阿基米德域上的非阿基米德巴拿赫空间。
• 为取值于实数与非阿基米德域的测度建立泛函分析框架，特别关注非阿基米德设置下的 $\sigma$-可加性与拟不变性问题。
• 通过其特征泛函与投影极限表征测度，尤其在无限乘积测度与卷积结构的背景下。
• 为在非阿基米德流形上的微分同胚群与环路群上构造拟不变测度提供基础，相关于非阿基米德量子力学与表示理论。

提出的方法

• 本文为非阿基米德巴拿赫空间上的测度定义了弱分布与特征泛函 $\theta(z) = \hat{\mu}(z)$，将经典概念推广至超度量设置。
• 通过利用 $ c_0(\alpha, \mathbf{K}) $ 空间结构，证明了非阿基米德版的明洛斯-萨佐诺夫定理，即通过特征泛函与紧算子表征测度。
• 通过在对偶空间上构造正定、连续泛函，证明了博赫纳-柯尔莫哥洛夫定理的非阿基米德类比，确保在非阿基米德背景下测度的存在性与正则性。
• 通过密度函数与卷积分析无限乘积测度，将角田定理推广，以表明乘积测度相对于参考测度的绝对连续性。
• 使用算子 $ A = A' A'' $ 的分解定理，其中 $ A' $ 为有限秩，$ A'' $ 接近单位算子，从而实现行列式的构造，并证明 $ |\det(A'')|_{\mathbf{K}} = 1 $，这对测度不变性至关重要。
• 该理论应用于 $ s $-进域与正特征域，测度取值于 $ \mathbf{R} $ 或 $ \mathbf{K}_s $，并根据值域字段的性质，在博雷尔代数或闭开代数上使用 $ \sigma $-可加性。

实验结果

研究问题

• RQ1 博赫纳-柯尔莫哥洛夫定理能否推广至非阿基米德域上的非阿基米德巴拿赫空间，以确保从正定、连续泛函存在测度？
• RQ2 如何将明洛斯-萨佐诺夫定理适配于通过紧算子与特征泛函表征非阿基米德巴拿赫空间上的测度？
• RQ3 在非阿基米德设置下，何种条件可确保无限乘积测度的绝对连续性？其如何推广经典角田定理？
• RQ4 非阿基米德域的拓扑与代数性质（如 $ \mathbf{Q}_p $、$ \mathbf{F}_p(\theta) $）如何影响测度及其特征泛函的结构？
• RQ5 算子 $ A $、$ A' $、$ A'' $ 的行列式与等距性质在非阿基米德空间上测度的构造与分类中起何种作用？

主要发现

• 确立了非阿基米德明洛斯-萨佐诺夫定理：非阿基米德巴拿赫空间对偶空间上的正定、连续泛函，当且仅当与紧算子相关联时，可唯一地由一个雷东测度实现。
• 证明了非阿基米德博赫纳-柯尔莫哥洛夫定理：非阿基米德巴拿赫空间对偶空间上的每个正定、连续泛函，均可唯一地作为某个雷东测度的特征泛函。
• 对于无限乘积测度，推广了角田型定理：乘积测度 $ \mu $ 相对于参考测度 $ \nu $ 的绝对连续性，由密度函数乘积的收敛性表征，且对拉东-尼科迪姆导数的 $ L^1 $-范数施加条件。
• 本文表明，对于非阿基米德巴拿赫空间 $ X $ 上的测度 $ \mu $，其在有限维子空间 $ L $ 上的投影 $ \mu_L $ 是良定义的且弱收敛，从而可通过极限构造特征泛函。
• 证明了若算子 $ A $ 在 $ X $ 上满足 $ A = A' A'' $，其中 $ A' $ 为有限秩且 $ A'' $ 接近单位算子，则 $ |\det(A'')|_{\mathbf{K}} = 1 $，这确保了测度保持变换下的不变性。
• 算子 $ A $ 的行列式满足 $ \det(A) = \det(A') \det(A'') $，且 $ \det(A'') \neq 0 $，同时 $ |\det(A'')|_{\mathbf{K}} = 1 $，这对在非阿基米德群上构造拟不变测度至关重要。