On the Semi-Group Property of the Perpendicular Bisector in a Normed Space

Let (<i<X</i<,<i<d</i<) be a metric linear space and <i<a</i<∈<i<X.</i< The point <i<a</i< divides the space into three sets: <i<H<sub<a</sub<</i< = {<i<x</i< ∈ <i<X</i<: <i<d</i<(...
Ausführliche Beschreibung

Let (<i<X</i<,<i<d</i<) be a metric linear space and <i<a</i<∈<i<X.</i< The point <i<a</i< divides the space into three sets: <i<H<sub<a</sub<</i< = {<i<x</i< ∈ <i<X</i<: <i<d</i<(0,<i<x</i<) < <i<d</i<(<i<x,a</i<)}, <i<M<sub<a</sub<</i< = {<i<x</i< ∈ <i<X</i<: <i<d</i<(0,<i<x</i<) = <i<d</i<(<i<x</i<,<i<a</i<)} and <i<L<sub<a</sub<</i< = {<i<x</i< ∈ <i<X</i<: <i<d</i<(0,<i<x</i<) < <i<d</i<(<i<x</i<,<i<a</i<)}. If the distance is generated by a norm, <i<H<sub<a</sub<</i< is called <i<the Leibnizian halfspace of a, M<sub<a</sub< is the perpendicular bisector of the segment</i< 0,<i<a</i< and <i<L<sub<a</sub<</i< is the remaining set <i<L<sub<a</sub< = X\</i<(<i<H<sub<a</sub<</i<∪ <i<M<sub<a</sub<</i<). It is known that the perpendicular bisector of the segment [0,<i<a</i<] is an affine subspace of <i<X</i< for all <i<a</i< ∈ <i<X</i< if, and only if, <i<X</i< is an inner product space, that is, if and only if the norm is generated by an inner product. In this case, it is also true that if <i<x,y</i< ∈ <i<L<sub<a</sub<</i< ∪ <i<M<sub<a</sub<</i<, then <i<x + y</i< ∈ <i<L<sub<a</sub<</i<∪ <i<M<sub<a</sub<</i<. Otherwise written, the set <i<L<sub<a</sub<</i<∪ <i<M</i<<sub<a</sub< is a semi-group with respect to addition. We investigate the problem: <i<for what kind of norms in X the pair</i< (<i<L<sub<a</sub<</i< ∪ <i<M<sub<a</sub<</i<,+) <i<is a semi-group for all a</i< ∈ <i<X</i<? In that case, we say that “<inline-formula<<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"<<semantics<<mrow<<mrow<<mo<(</mo<<mrow<<mi<X</mi<<mo<,</mo<<mrow<<mo<‖</mo<<mo<.</mo<<mo<‖</mo<</mrow<</mrow<<mo<)</mo<</mrow<</mrow<</semantics<</math<</inline-formula<<i<has the semi-group</i< property” or that “the norm <inline-formula<<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"<<semantics<<mrow<<mrow<<mo<‖</mo<<mo<.</mo<<mo<‖</mo<</mrow<</mrow<</semantics<</math<</inline-formula< has the semi-group property”. This is a threedimensional property, meaning that if all the three-dimensional subspaces of <i<X</i< have it, then <i<X</i< also has it. We prove that for two-dimensional spaces, (<i<L<sub<a</sub<</i<,+) is a semi-group for any norm, that <inline-formula<<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"<<semantics<<mrow<<mrow<<mo<(</mo<<mrow<<mi<X</mi<<mo<,</mo<<mrow<<mo<‖</mo<<mo<.</mo<<mo<‖</mo<</mrow<</mrow<<mo<)</mo<</mrow<</mrow<</semantics<</math<</inline-formula< has the semi-group property if, and only if, the norm is strictly convex, and, in higher dimensions, the property fails to be true even if the norm is strictly convex. Moreover, studying the <i<L<sup<p</sup<</i< norms in higher dimensions, we prove that the semi-group property holds if, and only if, <i<p = 2</i<. This fact leads us to the conjecture that in dimensions greater than three, the semi-group property holds if, and only if, <i<X</i< is an inner-product space. Ausführliche Beschreibung

Autor*in:	Gheorghiță Zbăganu [verfasserIn]

Format:	E-Artikel
Sprache:	Englisch

Erschienen:	2022

Schlagwörter:	normed space perpendicular bisector inner product

Übergeordnetes Werk:	In: Axioms - MDPI AG, 2012, 11(2022), 3, p 125
Übergeordnetes Werk:	volume:11 ; year:2022 ; number:3, p 125

Links:	Link aufrufen Link aufrufen Link aufrufen Journal toc

DOI / URN:	10.3390/axioms11030125

Katalog-ID:	DOAJ047022884