Table of Contents
Fetching ...

On directional preservation of orthogonality and its application to isometries

Jayanta Manna, Kalidas Mandal, Kallol Paul, Debmalya Sain

TL;DR

This work analyzes the local preservation of Birkhoff-James orthogonality under bounded linear operators between normed spaces and develops a complete framework to understand when such preservation holds locally. By introducing associated cones $\mathcal{V}(x)$ built from the extreme support functionals $Ext\,J(x)$, it provides a precise local-preservation criterion: $T$ preserves BJ-orthogonality at $x$ if and only if $T(V)\subset S$ for some convex $S\subset (Tx)^{\perp_B}$ for every $V\in \mathcal{V}(x)$, with dual-space versions using $Ext\,J(x)$ and $V\in\mathcal{V}(x^*)$. A directional preservation condition is established: for $y\in x^{\perp_B}\setminus\{0\}$, preservation holds iff there exist $u,v\in x^{\perp_B}\setminus\{0\}$ with $Tu\in (Tx)^+$ and $Tv\in (Tx)^-$, and the paper derives kernel-based results and order-of-smoothness transfer in finite dimensions. These results yield refinements of the Blanco-Koldobsky-Turnšek Theorem for polyhedral spaces, including $\ell_{\infty}^{n}$ and $\ell_{1}^{n}$, and provide isometry-type criteria based on the images of extreme points, enhancing geometric understanding of BJ-orthogonality and its preservation in key normed spaces.

Abstract

We study the local preservation of Birkhoff-James orthogonality by linear operators between normed linear spaces, at a point and in a particular direction. We obtain a complete characterization of the same, which allows us to present refinements of the local preservation of orthogonality explored earlier. We also study the directional preservation of orthogonality with respect to certain special subspaces of the domain space, and apply the results towards identifying the isometries on a polyhedral normed linear space. In particular, we obtain refinements of the Blanco-Koldobsky-Turnšek Theorem for polyhedral normed linear spaces, including $ \ell_{\infty}^{n}, \ell_{1}^{n}. $

On directional preservation of orthogonality and its application to isometries

TL;DR

This work analyzes the local preservation of Birkhoff-James orthogonality under bounded linear operators between normed spaces and develops a complete framework to understand when such preservation holds locally. By introducing associated cones built from the extreme support functionals , it provides a precise local-preservation criterion: preserves BJ-orthogonality at if and only if for some convex for every , with dual-space versions using and . A directional preservation condition is established: for , preservation holds iff there exist with and , and the paper derives kernel-based results and order-of-smoothness transfer in finite dimensions. These results yield refinements of the Blanco-Koldobsky-Turnšek Theorem for polyhedral spaces, including and , and provide isometry-type criteria based on the images of extreme points, enhancing geometric understanding of BJ-orthogonality and its preservation in key normed spaces.

Abstract

We study the local preservation of Birkhoff-James orthogonality by linear operators between normed linear spaces, at a point and in a particular direction. We obtain a complete characterization of the same, which allows us to present refinements of the local preservation of orthogonality explored earlier. We also study the directional preservation of orthogonality with respect to certain special subspaces of the domain space, and apply the results towards identifying the isometries on a polyhedral normed linear space. In particular, we obtain refinements of the Blanco-Koldobsky-Turnšek Theorem for polyhedral normed linear spaces, including
Paper Structure (2 sections, 28 theorems, 51 equations)

This paper contains 2 sections, 28 theorems, 51 equations.

Table of Contents

  1. Introduction.
  2. Main Results

Key Result

Theorem 1.3

S70 Let $\mathbb{X}$ be a normed linear space. Then for $x,y\in\mathbb{X},$$x\perp_By$ if and only if there exist $\phi_1,\phi_2\in Ext~J(x)$ and $\alpha\in[0,1]$ such that $(1-\alpha)\phi_1(y)+\alpha\phi_2(y)=0.$

Theorems & Definitions (58)

  • Definition 1.1
  • Definition 1.2
  • Theorem 1.3
  • Theorem 1.4
  • Proposition 2.1
  • proof
  • Definition 2.2
  • Proposition 2.3
  • Lemma 2.4
  • proof
  • ...and 48 more