2025-11-10T02:32:08.382632

Plastic metric spaces and groups

Banakh, Mazurenko, Zavarzina

A metric space is plastic if all its non-expansive bijections are isometries. We prove three main results: (1) every countable dense subspace of a normed space is not plastic, (2) every $k$-crowded separable metric space contains a plastic dense subspace, and (3) every strictly convex separable metric group contains a plastic dense subgroup.

academic

プラスチック計量空間と群

基本情報

論文ID: 2510.10537
タイトル: Plastic metric spaces and groups
著者: Taras Banakh, Oles Mazurenko, Olesia Zavarzina
分類: math.GN (一般位相幾何学), math.FA (関数解析学), math.GR (群論)
発表日: 2024年10月12日
論文リンク: https://arxiv.org/abs/2510.10537

要旨

本論文はプラスチック計量空間と群の性質を研究する。計量空間がプラスチックであるとは、その全ての非拡大全単射が等距写像である場合をいう。本論文は3つの主要な結果を証明する：(1)賦範空間の各可算稠密部分空間はプラスチックではない、(2)各k-混雑可分計量空間はプラスチック稠密部分空間を含む、(3)各狭義凸可分計量群はプラスチック稠密部分群を含む。

研究背景と動機

問題の定義

計量空間のプラスチック概念は非拡大写像と等距写像の関係に関わる。写像 $f: X \to X$ が $d(f(x), f(y)) \leq d(x, y)$ を満たす場合、非拡大であるという； $d(f(x), f(y)) \geq d(x, y)$ を満たす場合、非収縮であるという。写像が非拡大かつ非収縮の両方を満たす場合、それは等距写像である。

研究の重要性

理論的意義: プラスチック概念は計量幾何学、関数解析学、群論を結びつけ、計量空間の幾何構造の理解に新たな視点を提供する
幾何学的洞察: プラスチック性質は計量空間の剛性の程度を反映し、空間の内在的な幾何的特性を明らかにする
応用価値: Banach空間理論、最適化理論、不動点理論において潜在的な応用を有する

既存研究の限界

一般計量空間に対して、プラスチック部分集合の簡潔な特性付けが欠けている
実数直線のプラスチック部分集合の完全な分類は未解決である
Banach空間の単位球のプラスチック性問題は未解決のままである

研究の動機

本研究は2024年9月にウクライナのチェルノフツィで開催された第5回Hans Hahn国際会議での問題討論に由来し、計量空間と群のプラスチック性質を系統的に研究することを目的とする。

核心的貢献

賦範空間における稠密部分空間の非プラスチック定理の確立: 賦範空間の各可算稠密部分空間がプラスチックではないことを証明した
k-混雑空間におけるプラスチック稠密部分空間の構成: 各k-混雑可分計量空間がプラスチック稠密部分空間を含むことを証明した
狭義凸計量群のプラスチック剛性結果の確立: 各狭義凸可分計量群がプラスチック剛性稠密部分群を含むことを証明した
計量区間理論の発展: 計量区間と凸区間の関連理論を確立し、主要結果に技術的支援を提供した

方法の詳細説明

主要定義

定義1 (プラスチック計量空間): 計量空間 $(X,d)$ がプラスチックであるとは、 $X$ の各非拡大全単射が非収縮である場合をいう。

定義2 (k-混雑空間): 計量空間 $X$ がk-混雑であるとは、 $X$ の各非空開部分集合が非可算コンパクト集合を含む場合をいう。

定義3 (狭義凸計量空間): 計量空間 $(X,d)$ が狭義凸であるとは、任意の点 $x,y \in X$ と正実数 $\alpha, \beta$ が $\alpha + \beta = d(x,y)$ を満たすとき、 $d(x,z) = \alpha$ かつ $d(z,y) = \beta$ を満たす唯一の点 $z \in X$ が存在する場合をいう。

方法の枠組み

定理1の証明戦略

Lipschitz可算稠密同質(LCDH)空間理論を利用する：

補題を確立する：可算計量空間の完備化がLCDHであり収縮全単射を許容する場合、その空間は収縮全単射を許容する
Dijkstraの結果を適用する：全てのBanach空間はLCDHである
収縮全単射 $y \mapsto \frac{1}{2}y$ を構成して証明を完成させる

定理2の構成方法

超限帰納法を用いてプラスチック稠密部分空間を構成する：

基本設定: k-混雑性質を利用し、各開集合 $B_n$ が非可算コンパクト集合 $K_n$ を含む
帰納的構成: 序数 $\alpha < c$ に対して、部分集合 $X_\alpha$ と $V_\alpha$ を特定の条件を満たすように構成する
場合分けの議論:
- $\alpha \in \Omega_0$ の場合、 $X_\alpha$ が各Cantor集合と交わることを確保する
- $\alpha \in \Omega_1$ の場合、非拡大写像の振る舞いを制御する
稠密性の検証: Cantor集合の性質を利用して構成空間の稠密性を証明する