Table of Contents
Fetching ...

On approximate preservation of orthogonality and its application to isometries

Kalidas Mandal, Jayanta Manna, Kallol Paul, Debmalya Sain

TL;DR

This work investigates when approximate preservation of Birkhoff–James orthogonality by linear operators implies isometric structure, introducing $\epsilon$-orthogonality and the Property P. It develops a detailed polyhedral space framework in which preserving $\epsilon$-orthogonality yields a correspondence between extreme supporting functionals and a facet-to-facet structure, often forcing the operator to be a scalar multiple of an isometry and refining the Blanco-Koldobsky-Turnšek characterization for specific spaces. The main results show that, in particular, the sets $\mathcal{A}_f$ are well behaved (nonempty, open, convex), and preservation induces a unique $g$ for each $f$, leading to a global structural constraint when the counts of extreme points match. Notably, Property P holds for two-dimensional spaces with unit spheres as regular $2n$-gons and for $\ell_\infty^n$, while it fails for $\ell_p$ spaces with $1\le p<\infty$, highlighting which geometries yield isometric rigidity under approximate orthogonality preservation. These findings sharpen isometry characterizations in certain Banach spaces and delineate when approximate orthogonality preservation enforces strong geometric constraints.

Abstract

Motivated by the famous Blanco-Koldobsky-Turnšek characterization of isometries, we study the \textit{approximate preservation of Birkhoff-James orthogonality by a linear operator between Banach spaces}. In particular, we investigate various geometric and analytic properties related to such preservation on finite-dimensional polyhedral Banach spaces. As an application of the results obtained here, we present refinements of the Blanco-Koldobsky-Turnšek characterization of isometries on certain Banach spaces.

On approximate preservation of orthogonality and its application to isometries

TL;DR

This work investigates when approximate preservation of Birkhoff–James orthogonality by linear operators implies isometric structure, introducing -orthogonality and the Property P. It develops a detailed polyhedral space framework in which preserving -orthogonality yields a correspondence between extreme supporting functionals and a facet-to-facet structure, often forcing the operator to be a scalar multiple of an isometry and refining the Blanco-Koldobsky-Turnšek characterization for specific spaces. The main results show that, in particular, the sets are well behaved (nonempty, open, convex), and preservation induces a unique for each , leading to a global structural constraint when the counts of extreme points match. Notably, Property P holds for two-dimensional spaces with unit spheres as regular -gons and for , while it fails for spaces with , highlighting which geometries yield isometric rigidity under approximate orthogonality preservation. These findings sharpen isometry characterizations in certain Banach spaces and delineate when approximate orthogonality preservation enforces strong geometric constraints.

Abstract

Motivated by the famous Blanco-Koldobsky-Turnšek characterization of isometries, we study the \textit{approximate preservation of Birkhoff-James orthogonality by a linear operator between Banach spaces}. In particular, we investigate various geometric and analytic properties related to such preservation on finite-dimensional polyhedral Banach spaces. As an application of the results obtained here, we present refinements of the Blanco-Koldobsky-Turnšek characterization of isometries on certain Banach spaces.
Paper Structure (2 sections, 22 theorems, 62 equations)

This paper contains 2 sections, 22 theorems, 62 equations.

Table of Contents

  1. Introduction.
  2. Main Results

Key Result

Theorem 1.3

CSW17 Let $\mathbb {X}$ be a Banach space and let $x,y\in \mathbb{X}.$ Let $\epsilon\in[0,1).$ Then $x$ is $\epsilon$-approximate Birkhoff-James orthogonal to $y$ if and only if there exists $f\in J(x)$ such that $|f(y)|\leq \epsilon \|y\|.$

Theorems & Definitions (47)

  • Definition 1.1
  • Definition 1.2
  • Theorem 1.3
  • Proposition 2.1
  • proof
  • Theorem 2.2
  • proof
  • Theorem 2.3
  • proof
  • Example 2.4
  • ...and 37 more