A characterisation of Euclidean normed planes via bisectors

Javier Cabello Sánchez,Adrián Gordillo-Merino
DOI: https://doi.org/10.1017/S0004972718000758
2024-02-08
Abstract:Our main result states that whenever we have a non-Euclidean norm $\|\cdot\|$ on a two-dimensional vector space $X$, there exists some $x\neq 0$ such that for every $\lambda\neq 1, \lambda>0$, there exist $y, z\in X$ verifying that $\|y\|=\lambda\|x\|$, $z\neq 0$, and $z$ belongs to the bisectors $B(-x,x)$ and $B(-y,y)$. Throughout this paper we also state and prove some other simple but maybe useful results about the geometry of the unit sphere of strictly convex planes.
Metric Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the characterization of Euclidean norm planes. Specifically, the authors propose a method to represent non - Euclidean norm planes through bisectors. The core result of the paper shows that in a two - dimensional vector space \(X\), if there exists a non - Euclidean norm \(\|\cdot\|\), then there exists some \(x\neq0\), for every \(\lambda\neq1, \lambda > 0\), there exist \(y, z\in X\) such that \(\|y\|=\lambda\|x\|\), \(z\neq0\), and \(z\) belongs to the intersection of bisectors \(B(-x, x)\) and \(B(-y, y)\). In addition, the paper also explores the geometric structure of the unit sphere of strictly convex planes and proves some results related to these geometric properties. For example, Proposition 2.1 in the paper shows that a norm \(\|\cdot\|\) is strictly convex if and only if for every linearly independent \(x, y\in S_X\), \(B(-x, x)\cap B(-y, y)=\{0\}\). Overall, the main contribution of this paper lies in providing a new method to distinguish Euclidean norm planes from other types of norm planes, especially by using the properties of bisectors. This has important theoretical significance in geometry and functional analysis.