[论文解读] Existence of an invariant measure on a hypergroup

Yury Chapovsky|arXiv (Cornell University)|Dec 28, 2012

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

一句话总结

本文证明了在任意局部紧致超群上存在左（因而也是右）不变测度，解决了超群理论中长期存在的一个空白。通过在单位元的紧邻域上进行极限构造，并利用超群的代数与拓扑结构，作者证明了该测度在整个超群空间上具有全支集。

ABSTRACT

We prove existence of an invariant measure on a hypergroup.

研究动机与目标

• 解决关于一般局部紧致超群上是否存在左不变测度这一开放问题。
• 将不变测度理论从特殊情形（如紧致、离散或阿贝尔超群）推广至更一般情形。
• 构造一个在左平移下不变且在超群上具有全支集的Radon测度。
• 提供一个普遍存在的存在性结果，为超群上的进一步调和分析奠定基础。

提出的方法

• 构造一个由函数 $g \in \mathscr{K}_+^*(U)$ 索引的正线性泛函网 $\chi_g$，其中 $U$ 是单位元的紧邻域。
• 利用超群的卷积与对偶性质，将 $\chi_g(f) = \lim_{U} \chi_g(f)$ 定义为 $\mathbb{R}^+$ 中的柯西网，确保其收敛性。
• 基于卷积的支集性质以及 $\mathscr{M}_b$ 上的弱拓扑，对 $\chi_g(f)$ 的行为进行统一控制。
• 证明极限泛函 $\chi(f) = \lim \chi_g(f)$ 是 $\mathscr{K}(K)$ 上的有界线性泛函（对任意紧致 $K \subset Q$），因此构成一个Radon测度。
• 通过涉及 $\epsilon$-网与范数控制的估计，验证左不变性：在极限下有 $\langle \varepsilon_s * f, \chi \rangle = \chi(f)$。
• 通过引理4中给出的下界 $a_f > 0$，证明支集为整个超群 $Q$，即 $\chi(f) > 0$ 对所有 $f \in \mathscr{K}_+^*$ 成立。

实验结果

研究问题

• RQ1 每个局部紧致超群是否都存在一个左不变的Radon测度？
• RQ2 在不假设阿贝尔性或离散性的情况下，能否证明不变测度的存在性？
• RQ3 是否能通过在单位元的紧邻域上取极限过程来构造此类测度？
• RQ4 该不变测度是否必然在整个超群上具有全支集？
• RQ5 能否通过拓扑与测度论估计，统一验证所有测试函数下的不变性？

主要发现

• 通过在单位元的紧邻域上进行极限构造，本文证明了在任意局部紧致超群 $Q$ 上存在左不变测度 $\chi$。
• 该测度 $\chi$ 是Radon测度，因为极限泛函 $\chi(f) = \lim \chi_g(f)$ 在每个紧致 $K \subset Q$ 上的 $\mathscr{K}(K)$ 上有界且线性。
• 该测度满足对所有 $f \in \mathscr{K}_+^*$ 有 $\langle \varepsilon_s * f, \chi \rangle = \chi(f)$，从而确认其左不变性。
• 由于引理4保证了 $a_f > 0$，对所有 $f \in \mathscr{K}_+^*$ 有 $\chi(f) > 0$，因此 $\chi$ 的支集为整个超群 $Q$。
• 该构造依赖于涉及 $\epsilon$-网与弱拓扑的统一估计，确保了网 $\chi_g(f)$ 收敛至一个良定义的极限。
• 该结果将此前在紧致、离散或阿贝尔情形下的不变测度存在性定理推广至全部局部紧致超群类。