2025-11-10T03:05:11.433847

Locally compact strictly convex metric groups are abelian

Banakh, Mazurenko

We show that every locally compact strictly convex metric group is abelian, thus answering one problem posed by the authors in their earlir paper. To prove this theorem we first construct the isomorphic embeddings of the real line into the strictly convex metric group using its geodesic properties and charaterization of the real line as a unique not monothetic one-parametric metrizable topological group. We proceed to show that all compact subgroups in a strictly convex metric group are trivial, which combined with the classical result of Iwasawa completes the proof of the main result.

academic

Locally compact strictly convex metric groups are abelian

基本信息

论文ID: 2510.10755
标题: Locally compact strictly convex metric groups are abelian
作者: Taras Banakh, Oles Mazurenko
分类: math.GR (Group Theory), math.FA (Functional Analysis), math.GN (General Topology)
发表时间: 2025年10月12日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.10755v1

摘要

本文证明了每个局部紧致的严格凸度量群都是阿贝尔群，从而回答了作者在先前论文中提出的一个问题。为了证明这个定理，作者首先利用严格凸度量群的测地性质以及实数线作为唯一非单调生成的单参数可度量化拓扑群的特征，构造了实数线到严格凸度量群的同构嵌入。然后证明了严格凸度量群中的所有紧致子群都是平凡的，结合Iwasawa的经典结果完成了主要结果的证明。

研究背景与动机

要解决的问题: 本文旨在确定严格凸度量群的代数结构，特别是回答"每个严格凸度量群是否都是阿贝尔群"这一问题。
问题的重要性:
- 严格凸性是Banach空间的基本几何性质，在对偶理论、优化理论、逼近理论和不动点理论中发挥核心作用
- 虽然严格凸性通常在赋范或Banach空间中定义，但它本质上是纯度量性质，可以在不涉及线性或凸结构的情况下定义
- 理解严格凸度量群的结构对于连接几何性质和代数性质具有重要意义
现有研究的局限性:
- 作者在先前的论文1中已经证明了每个严格凸度量阿贝尔群都承认唯一的实数域上的乘法运算，使其成为赋范空间
- 但是否每个严格凸度量群都必须是阿贝尔群这一问题仍然开放
研究动机: 通过解决这一问题，可以完善严格凸度量群理论，为这类特殊的度量群提供完整的结构刻画。

核心贡献

主要定理: 证明了每个局部紧致的严格凸度量群都是阿贝尔群（定理5）
结构刻画: 结合先前结果，证明了每个局部紧致的严格凸度量群都是有限维实赋范空间（推论6）
技术创新:
- 构造了实数线到严格凸度量群的同构嵌入
- 证明了严格凸度量群中所有紧致子群都是平凡的
- 建立了度量乘法、代数乘法和实数乘法之间的联系
方法论贡献: 提供了一种结合测地性质、拓扑群理论和Iwasawa定理的证明策略

方法详解

核心概念定义

严格凸度量空间 (定义1): 度量空间 $(X,d)$ 被称为严格凸的，如果对于任意点 $x,y \in X$ 和任意正实数 $a,b$ 满足 $a+b = d(x,y)$ ，交集 $B[x,a] \cap B[y,b]$ 是单点集。

度量群 (定义3): 群 $(G,+,0)$ 配备度量 $d: G \times G \to \mathbb{R}$ ，该度量满足平移不变性： $d(x+c, y+c) = d(x,y) = d(c+x, c+y)$ 。

方法架构

第一阶段：构造度量乘法和代数乘法

度量乘法的定义 (定义8): 对于每个 $x \in G$ ，设 $\gamma: [0, \|x\|] \to G$ 是唯一的等距映射，满足 $\gamma(0) = 0$ 和 $\gamma(\|x\|) = x$ 。对于 $t \in [0,1]$ ，定义 $t \ast x := \gamma(t\|x\|)$ 。
关键性质:
- $\|t \ast x - v \ast x\| = |t-v| \cdot \|x\|$ (引理9)
- $\|t \ast x\| = t\|x\|$ (推论10)
- $t \ast (v \ast x) = (tv) \ast x$ (引理11)

第二阶段：建立 $\mathbb{Z}[\frac{1}{2}]$ -模结构

唯一2-可除性: 证明了对于所有 $x \in G$ ，子群 $H_x = \langle H \ast x \rangle$ （其中 $H = \{\frac{1}{2^n} : n \in \mathbb{N} \cup \{0\}\}$ ）是唯一2-可除的（命题20）。
模结构: 每个 $H_x$ 都是 $\mathbb{Z}[\frac{1}{2}]$ -模（推论21）。

第三阶段：扩展到实数乘法

实数乘法定义: 对于 $t \in \mathbb{R}$ 和 $x \in G$ ，定义 $tx = [t] \cdot x + \{t\} \ast x$ ，其中 $[t]$ 是整数部分， $\{t\}$ 是小数部分。
同态性质: 证明了 $\cdot_x: \mathbb{R} \to G$ 是拓扑群同态（命题29）。