Search arXivSearch

arXiv · 2606.18727

Norming Approximate Orthogonality in Normed Linear Spaces

Abstract

We introduce and study the notion of \emph{norming approximate orthogonality}, a two-parameter generalization of Birkhoff--James orthogonality in normed linear spaces. For $δ, \varepsilon \in [0,1)$ with $\varepsilon < (1-δ)^2$, we say $x \nperp y$ in $X$ if there exists $f \in X^*$ with $|f(x)| \geq (1-δ)\|f\|\|x\|$ and $|f(y)| \leq \frac{\varepsilon}{1-δ}\|f\|\|y\|$, simultaneously relaxing both the norming condition on $x$ and the vanishing condition on $y$. It is proved that \[ x\nperp y \iff \|x+λy\|\geq (1-δ)\|x\|-\frac{\varepsilon}{1-δ}\|λy\|~\qquad \forall ~\text{scalars}~λ. \] This framework interpolates between two notions of approximate orthogonality in normed linear spaces due to Chmieliński and Dragomir, and recovers three existing notions of orthogonality in extreme cases: exact Birkhoff--James orthogonality at $δ= \varepsilon = 0$, the approximate orthogonality of Chmieliński at $δ= 0$, and the approximate orthogonality of Dragomir at $\varepsilon = 0$. A two-parameter proximity result generalizing Chmlieński's characterization of $\perp_B^\varepsilon$ is established. The forward and converse implications are governed by the distinct thresholds $\frac{\varepsilon}{(1-δ)^2}$ and $\frac{\varepsilon}{1-δ}$, which collapse to $\varepsilon$ of Chmieliński precisely when $δ=0$, and the strictness of this gap is confirmed by counterexamples in $\ell_\infty^2$. A dual formulation of norming approximate orthogonality is established with a complete equivalence in the reflexive case. We apply our results to (vector-valued) continuous function spaces, which extends some earlier results and recovers few operator theoretical results with alternative proofs using measure theoretic techniques.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Saikat Roy. 2026-09-17. Norming Approximate Orthogonality in Normed Linear Spaces. https://arxiv.org/abs/2606.18727

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Complex Geometric Approach to the Discrete Gabor Transform and Localization Operators on the Flat Torus

In a recent paper, the discrete Gabor transform was connected to a Gabor transform with a time frequency domain given by the flat torus. We show that the corresponding Bargmann-Fock spaces can be expressed as theta functions (or equivalently line bundles on Abelian varieties). We give applications of this viewpoint to frame results for the discrete Gabor transform. In particular, we get necessary conditions which hold in higher dimensions and can expand the known results in the one dimensional case, the primary tool being the theorem of the square. We also give an application to asymptotics of restriction operators which arises via the asymptotic behavior of Bergman kernels and Toeplitz operators for high tensor powers of line bundles and find that time frequency restriction operators on the flat torus will exhibit "plunge" behaviors similar to those of time frequency restriction operators in other contexts.

math.FA

On a minimal Andô dilation for a pair of strict contractions

The isometric dilation of a pair of commuting contractions due to Andô is not minimal. We modify Andô's dilation and construct a minimal isometric dilation on $\mathcal H \oplus_2 \ell_2(\mathcal H \oplus_2 \mathcal H)$ for a commuting pair of strict contractions on a Hilbert space $\mathcal H$. In the same spirit, we construct under certain conditions a minimal Andô dilation for a commuting pair of strict Banach space contractions. Further, we show that an Andô dilation is possible even for a more general pair of commuting contractions $(T_1,T_2)$ on a normed space $\mathbb X$ provided that the function $A_{T_i}: \mathbb X \rightarrow \mathbb R$ given by $A_{T_i}(x)=(\|x\|^2-\|T_ix\|^2)^{\frac{1}{2}}$ defines a norm on $\mathbb X$ for $i=1,2$.

math.FA

Some properties of Fourier quasicrystals and measures on a strip

We extend certain results of the theory of Fourier quasicrystals on the real line to the case of a horizontal strip of finite width. For measures in a strip we use a natural generalization of the usual Fourier transform for measures on the line. We consider positive or translation bounded measures $μ$ on a strip whose Fourier transform is a pure point measure $\hatμ=\sum_{γ\inΓ}b_γδ_γ$ (as usual, $δ_γ$ is the unit mass at the point $γ$). We prove that the measure $ν=\sum_{γ\inΓ}|b_γ|^2δ_γ$ has the exponential growth. Moreover, if for some $η>0$ the points of $Γ$ in every interval of length $η$ are linearly independent over integers, then the measure $\hatμ$ also has the exponential growth.

math.FA