Plastic metric spaces and groups

Basic Information

• Paper ID: 2510.10537
• Title: Plastic metric spaces and groups
• Authors: Taras Banakh, Oles Mazurenko, Olesia Zavarzina
• Classification: math.GN (General Topology), math.FA (Functional Analysis), math.GR (Group Theory)
• Publication Date: October 12, 2024
• Paper Link: https://arxiv.org/abs/2510.10537

Abstract

This paper investigates the properties of plastic metric spaces and groups. A metric space is called plastic if all of its non-expansive bijections are isometries. The article proves 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.

Research Background and Motivation

Problem Definition

The concept of plasticity in metric spaces involves the relationship between non-expansive mappings and isometries. A mapping $f: X \to X$ is called non-expansive if $d(f(x), f(y)) \leq d(x, y)$; it is called non-contractive if $d(f(x), f(y)) \geq d(x, y)$. When a mapping is both non-expansive and non-contractive, it is an isometry.

Research Significance

1. Theoretical Importance: The concept of plasticity connects metric geometry, functional analysis, and group theory, providing new perspectives for understanding the geometric structure of metric spaces
2. Geometric Insights: Plasticity properties reflect the rigidity degree of metric spaces, revealing intrinsic geometric characteristics
3. Applied Value: Potential applications in Banach space theory, optimization theory, and fixed point theory

Limitations of Existing Research

• Lack of simple characterizations of plastic subsets for general metric spaces
• Complete classification of plastic subsets of the real line remains unresolved
• The plasticity problem for unit balls in Banach spaces remains open

Research Motivation

This research stems from problem discussions at the Fifth Hans Hahn International Conference held in Chernivtsi, Ukraine in September 2024, aiming to systematically investigate plasticity properties of metric spaces and groups.

Core Contributions

1. Established non-plasticity theorem for dense subspaces in normed spaces: Proved that every countable dense subspace of a normed space is not plastic
2. Constructed plastic dense subspaces in k-crowded spaces: Proved that every k-crowded separable metric space contains a plastic dense subspace
3. Established plasticity rigidity results for strictly convex metric groups: Proved that every strictly convex separable metric group contains a plastic rigidity dense subgroup
4. Developed metric interval theory: Established related theory of metric intervals and convex intervals, providing technical support for main results

Methodology Details

Key Definitions

Definition 1 (Plastic Metric Space): A metric space $(X,d)$ is called plastic if every non-expansive bijection of $X$ is non-contractive.

Definition 2 (k-crowded Space): A metric space $X$ is called k-crowded if every non-empty open subset of $X$ contains an uncountable compact set.

Definition 3 (Strictly Convex Metric Space): A metric space $(X,d)$ is called strictly convex if for any points $x,y \in X$ and positive real numbers $\alpha, \beta$ satisfying $\alpha + \beta = d(x,y)$, there exists a unique point $z \in X$ such that $d(x,z) = \alpha$ and $d(z,y) = \beta$.

Methodological Framework

Proof Strategy for Theorem 1

Utilizing Lipschitz Countable Dense Homogeneous (LCDH) space theory:

1. Establish lemma: If the completion of a countable metric space is LCDH and admits a contractive bijection, then the space admits a contractive bijection
2. Apply Dijkstra's result: All Banach spaces are LCDH
3. Construct contractive bijection $y \mapsto \frac{1}{2}y$ to complete the proof

Construction Method for Theorem 2

Using transfinite induction to construct plastic dense subspaces:

1. Basic Setup: Utilize k-crowdedness property; each open set $B_n$ contains an uncountable compact set $K_n$
2. Inductive Construction: For ordinals $\alpha < c$, construct subsets $X_\alpha$ and $V_\alpha$ satisfying specific conditions
3. Case Analysis:
   • When $\alpha \in \Omega_0$, ensure $X_\alpha$ intersects each Cantor set
   • When $\alpha \in \Omega_1$, control the behavior of non-expansive mappings
4. Density Verification: Utilize properties of Cantor sets to prove density of the constructed space

Proof Techniques for Theorem 3

Combining algebraic structure and geometric properties:

1. Structure Utilization: Strictly convex metric abelian groups possess normed space structure
2. Metric Interval Theory: Establish isometric properties of metric intervals
3. Linear Space Decomposition: Prove each line is contained in some set $F^s_a$
4. Rigidity Analysis: Establish rigidity by analyzing behavior of non-expansive bijections on lines

Technical Innovations

1. Application of LCDH Theory: First application of Lipschitz Countable Dense Homogeneous space theory to plasticity research
2. Transfinite Inductive Construction: Skillful use of transfinite induction to construct spaces with special properties
3. Combination of Metric Convexity: Organic integration of convexity concepts from metric geometry with group-theoretic structures
4. Cantor Set Techniques: Systematic utilization of Cantor sets in constructions

Experimental Setup

This paper is pure mathematical theoretical research with no numerical experiments. All results are established through rigorous mathematical proofs.

Verification Methods

1. Constructive Proofs: Verify existence results through explicit construction
2. Proof by Contradiction: Used to establish impossibility results
3. Mathematical Induction: Transfinite induction employed for complex constructions

Technical Tools

• Descriptive Set Theory (Cantor set theory)
• Topology (Polish spaces, analytic spaces)
• Functional Analysis (normed space theory)
• Metric Geometry (isometry theory)

Experimental Results

Main Theorems

Theorem 1: Every countable dense subspace of a normed space is not plastic.

Theorem 2: Every k-crowded separable metric space contains a plastic dense subspace $X$ such that every non-expansive bijection of $X$ is the identity mapping.

Theorem 3: Every strictly convex separable metric group contains a plastic rigidity dense subgroup.

Auxiliary Results

Lemma 2: Let $([a,b], d)$ be a metric interval and $(Y, d_Y)$ be a metric space. Every non-expansive mapping $f: [a,b] \to Y$ satisfying $d(a,b) = d_Y(f(a), f(b))$ is an isometry.

Lemma 4: Let $([a,b], d)$ be a metric interval and $(Y, d_Y)$ be a strictly convex metric space. Two isometric mappings $f_1, f_2: [a,b] \to Y$ satisfying $f_1(a) = f_2(a)$ and $f_1(b) = f_2(b)$ are equal on $[a,b]$.

Construction Examples

Example 2: The real line contains a plastic dense σ-compact k-crowded subspace. Construct $Z = \bigcup_{n \in \mathbb{Z}}[2n, 2n+1]$ and corresponding Cantor set families to obtain a space with desired properties.

Related Work

Development of Plasticity Theory

• Naimpally, Piotrowski, Wingler (2006) established foundational plasticity theory
• Development of strong plasticity and uniform plasticity concepts
• Research history of plasticity problems for unit balls in Banach spaces

Banach Space Theory

• Study of isometric properties of non-expansive bijections on unit balls
• Development of conditional plasticity concepts
• Linear plasticity classification of ellipsoids

Connections to Metric Geometry

• Strictly convex space theory
• Structure theory of metric groups
• Rigidity properties of isometries

Conclusions and Discussion

Main Conclusions

1. Critical Role of Countability: Theorem 1 demonstrates that countability is an obstacle to plasticity, while Theorem 2 shows that uncountable constructions can achieve plasticity
2. Importance of Geometric Structure: Strict convexity provides sufficient geometric conditions for plasticity rigidity
3. Balance Between Density and Plasticity: Achieving plasticity while maintaining density requires refined construction techniques

Limitations

1. Dependence on Continuum Hypothesis: Corollary 2 holds under the continuum hypothesis; the problem of removing this assumption remains open
2. Analyticity Issues: Constructed plastic spaces are typically not analytic; existence of analytic plastic subspaces is unknown
3. Absence of Simple Characterization: Lack of simple characteristic descriptions of plastic spaces

Future Directions

The paper poses eight open problems, including:

• Is every dense subset of cardinality less than the continuum non-plastic?
• Can Martin's Axiom or Proper Forcing Axiom replace the continuum hypothesis?
• Does the real line contain a plastic dense analytic subgroup?
• Does the real plane under the $\ell^1$ norm contain a dense plastic subgroup?

In-Depth Evaluation

Strengths

1. Theoretical Depth: Combines multiple mathematical branches, establishing profound theoretical connections
2. Technical Innovation: Transfinite inductive construction and metric interval theory demonstrate sophisticated technical mastery
3. Result Completeness: Three main theorems form a complete theoretical framework
4. Problem Awareness: Presents abundant follow-up research questions

Weaknesses

1. Construction Complexity: Main constructions rely on transfinite induction, making explicit description difficult
2. Set-Theoretic Dependence: Some results depend on set-theoretic assumptions
3. Limited Applications: Primarily theoretical results with unclear practical applications

Impact

1. Theoretical Contribution: Establishes solid foundation for plasticity theory
2. Methodological Value: Construction techniques have reference value for related fields
3. Research Advancement: Open problems will promote subsequent research development

Applicable Scenarios

• Metric space geometry theory research
• Banach space structure analysis
• Topological group theory research
• Descriptive set theory applications

References

The paper cites 25 related references, covering:

• Foundational plasticity literature 15,18,19,20,24
• Banach space theory 1,6,9,13,14,17,19,24,25
• Classical topology results 7,12,21
• Set theory foundations 4,22,23

This paper achieves important progress in the theory of plastic metric spaces, establishing three fundamental theorems through rigorous mathematical proofs and laying a solid foundation for further development in this field. Despite certain technical limitations, its theoretical value and methodological innovations make it an important contribution to the field.