-
Deforming Locally Convex Curves into Curves of Constant $k$-order Width
Authors:
Laiyuan Gao,
Horst Martini,
Deyan Zhang
Abstract:
A nonlocal curvature flow is introduced to evolve locally convex curves in the plane. It is proved that this flow with any initial locally convex curve has a global solution, kee** the local convexity and the elastic energy of the evolving curve, and that, as the time goes to infinity, the curve converges to a smooth, locally convex curve of constant $k$-order width. In particular, the limiting…
▽ More
A nonlocal curvature flow is introduced to evolve locally convex curves in the plane. It is proved that this flow with any initial locally convex curve has a global solution, kee** the local convexity and the elastic energy of the evolving curve, and that, as the time goes to infinity, the curve converges to a smooth, locally convex curve of constant $k$-order width. In particular, the limiting curve is a multiple circle if and only if the initial locally convex curve is $k$-symmetric.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
On the number of antipodal or strictly antipodal pairs of points in finite subsets of $\mathbb{R}^d$, III
Authors:
E. Makai Jr.,
H. Martini,
M. H. Nguyên,
V. Soltan,
I. Talata
Abstract:
We improve our earlier upper bound on the numbers of antipodal pairs of points among $n$ points in ${\mathbb{R}}^3$, to $2n^2/5+O(n^c)$, for some $c<2$. We prove that the minimal number of antipodal pairs among $n$ points in convex position in ${\mathbb{R}}^d$, affinely spanning ${\mathbb{R}}^d$, is $n + d(d - 1)/2 - 1$. Let ${\underline{sa}}^s_d(n)$ be the minimum of the number of strictly antipo…
▽ More
We improve our earlier upper bound on the numbers of antipodal pairs of points among $n$ points in ${\mathbb{R}}^3$, to $2n^2/5+O(n^c)$, for some $c<2$. We prove that the minimal number of antipodal pairs among $n$ points in convex position in ${\mathbb{R}}^d$, affinely spanning ${\mathbb{R}}^d$, is $n + d(d - 1)/2 - 1$. Let ${\underline{sa}}^s_d(n)$ be the minimum of the number of strictly antipodal pairs of points among any $n$ points in ${\mathbb{R}}^d$, with affine hull ${\mathbb{R}}^d$, and in strictly convex position. The value of ${\underline{sa}}^s_d(n)$ was known for $d \le 3$ and any $n$. Moreover, ${\underline{sa}}^s_d(n) = \lceil n/2\rceil $ was known for $n \ge 2d$ even, and $n \ge 4d+1$ odd. We show ${\underline{sa}}^s_d(n) = 2d$ for $2d+1 \le n \le 4d-1$ odd, we determine ${\underline{sa}}^s_d(n)$ for $d=4$ and any $n$, and prove ${\underline{sa}}^s_d(2d -1) = 3(d - 1)$. The cases $d \ge 5 $ and $d+2 \le n \le 2d - 2$ remain open, but we give a lower and an upper bound on ${\underline{sa}}^s_d(n)$ for them, which are of the same order of magnitude, namely $Θ\left( (d-k)d \right) $. We present a simple example of a strictly antipodal set in ${\mathbb{R}}^d$, of cardinality const\,$\cdot 1.5874...^d$. We give simple proofs of the following statements: if $n$ segments in ${\mathbb{R}}^3$ are pairwise antipodal, or strictly antipodal, then $n \le 4$, or $n \le 3$, respectively, and these are sharp. We describe also the cases of equality.
△ Less
Submitted 2 June, 2021; v1 submitted 24 March, 2021;
originally announced March 2021.
-
Extreme problems for convex curves with given relative Chebyshev radius
Authors:
Vitor Balestro,
Horst Martini,
Yurii Nikonorov,
Yulia Nikonorova
Abstract:
The paper is devoted to some extremal problems for convex curves and polygons in the Euclidean plane referring to the relative Chebyshev radius. In particular, we determine the relative Chebyshev radius for an arbitrary triangle. Moreover, we derive the maximal possible perimeter for convex curves and convex n-gons of a given relative Chebyshev radius.
The paper is devoted to some extremal problems for convex curves and polygons in the Euclidean plane referring to the relative Chebyshev radius. In particular, we determine the relative Chebyshev radius for an arbitrary triangle. Moreover, we derive the maximal possible perimeter for convex curves and convex n-gons of a given relative Chebyshev radius.
△ Less
Submitted 13 October, 2020;
originally announced October 2020.
-
Differential geometry of spatial curves for gauges
Authors:
Vitor Balestro,
Horst Martini,
Makoto Sakaki
Abstract:
We derive Frenet-type results and invariants of spatial curves immersed in $3$-dimensional generalized Minkowski spaces, i.e., in linear spaces which satisfy all axioms of finite dimensional real Banach spaces except for the symmetry axiom. Further on, we characterize cylindrical helices and rectifying curves in such spaces, and the computation of invariants is discussed, too. Finally, we study ho…
▽ More
We derive Frenet-type results and invariants of spatial curves immersed in $3$-dimensional generalized Minkowski spaces, i.e., in linear spaces which satisfy all axioms of finite dimensional real Banach spaces except for the symmetry axiom. Further on, we characterize cylindrical helices and rectifying curves in such spaces, and the computation of invariants is discussed, too. Finally, we study how translations of unit spheres influence invariants of spatial curves.
△ Less
Submitted 5 January, 2020;
originally announced January 2020.
-
Curvature types of planar curves for gauges
Authors:
Vitor Balestro,
Horst Martini,
Makoto Sakaki
Abstract:
In this paper results from the differential geometry of curves are extended from normed planes to gauge planes which are obtained by neglecting the symmetry axiom. Based on the gauge analogue of the notion of Birkhoff orthogonality from Banach space theory, we study all curvature types of curves in gauge planes, thus generalizing their complete classification for normed planes. We show that (as in…
▽ More
In this paper results from the differential geometry of curves are extended from normed planes to gauge planes which are obtained by neglecting the symmetry axiom. Based on the gauge analogue of the notion of Birkhoff orthogonality from Banach space theory, we study all curvature types of curves in gauge planes, thus generalizing their complete classification for normed planes. We show that (as in the subcase of normed planes) there are four such types, and we call them analogously Minkowski, normal, circular, and arc-length curvature. We study relations between them and extend, based on this, also the notions of evolutes and involutes to gauge planes.
△ Less
Submitted 1 October, 2019;
originally announced October 2019.
-
Convex analysis in normed spaces and metric projections onto convex bodies
Authors:
Vitor Balestro,
Horst Martini,
Ralph Teixeira
Abstract:
We investigate metric projections and distance functions referring to convex bodies in finite-dimensional normed spaces. For this purpose we identify the vector space with its dual space by using, instead of the usual identification via the standard inner product, the Legendre transform associated with the given norm. This approach yields re-interpretations of various properties of convex function…
▽ More
We investigate metric projections and distance functions referring to convex bodies in finite-dimensional normed spaces. For this purpose we identify the vector space with its dual space by using, instead of the usual identification via the standard inner product, the Legendre transform associated with the given norm. This approach yields re-interpretations of various properties of convex functions, and new relations between such functions and geometric properties of the studied norm are also derived.
△ Less
Submitted 23 August, 2019;
originally announced August 2019.
-
Asymmetry measures for convex distance functions
Authors:
Vitor Balestro,
Horst Martini,
Ralph Teixeira
Abstract:
Gauges, or convex distance functions are, roughly speaking, norms without symmetry. In this paper we intend to quantify how asymmetric a planar gauge can be. We introduce asymmetry measures for smooth gauges and for strictly convex gauges, prove that they are invariant under isometries, and investigate lower and upper bounds for them. Identifying a gauge with a convex body containing the origin in…
▽ More
Gauges, or convex distance functions are, roughly speaking, norms without symmetry. In this paper we intend to quantify how asymmetric a planar gauge can be. We introduce asymmetry measures for smooth gauges and for strictly convex gauges, prove that they are invariant under isometries, and investigate lower and upper bounds for them. Identifying a gauge with a convex body containing the origin in its interior (the unit ball of the gauge), we also prove that all introduced asymmetry measures are continuous in the Hausdorff distance. Finally, we show that, modifying one of the constructed asymmetry measures, a certain duality principle holds.
△ Less
Submitted 24 January, 2019;
originally announced January 2019.
-
Duality of gauges and symplectic forms in vector spaces
Authors:
Vitor Balestro,
Horst Martini,
Ralph Teixeira
Abstract:
A gauge $γ$ in a vector space $X$ is a distance function given by the Minkowski functional associated to a convex body $K$ containing the origin in its interior. Thus, the outcoming concept of gauge spaces $(X, γ)$ extends that of finite dimensional real Banach spaces by simply neglecting the symmetry axiom (a viewpoint that Minkowski already had in mind). If the dimension of $X$ is even, then the…
▽ More
A gauge $γ$ in a vector space $X$ is a distance function given by the Minkowski functional associated to a convex body $K$ containing the origin in its interior. Thus, the outcoming concept of gauge spaces $(X, γ)$ extends that of finite dimensional real Banach spaces by simply neglecting the symmetry axiom (a viewpoint that Minkowski already had in mind). If the dimension of $X$ is even, then the fixation of a symplectic form yields an identification between $X$ and its dual space $X^*$ . The image of the polar body $K^{\circ}\subseteq X^*$ under this identification yields a (skew-)dual gauge on $X$. In this paper, we study geometric properties of this so-called dual gauge, such as its behavior under isometries and its relation to orthogonality. A version of the Mazur-Ulam theorem for gauges is also proved. As an application of the theory, we show that closed characteristics of the boundary of a (smooth) convex body are optimal cases of a certain isoperimetric inequality.
△ Less
Submitted 10 January, 2019;
originally announced January 2019.
-
A new geometric viewpoint on Sturm-Liouville eigenvalue problems
Authors:
Vitor Balestro,
Horst Martini,
Ralph Teixeira
Abstract:
In Euclidean plane geometry, cycloids are curves which are homothetic to their respective bi-evolutes. In smooth normed planes, cycloids can be similarly defined, and they are characterized by their radius of curvature functions being solutions to eigenvalue problems of certain Sturm-Liouville equations. In this paper, we show that, for the eigenvalue λ = 1, this equation is a previously studied H…
▽ More
In Euclidean plane geometry, cycloids are curves which are homothetic to their respective bi-evolutes. In smooth normed planes, cycloids can be similarly defined, and they are characterized by their radius of curvature functions being solutions to eigenvalue problems of certain Sturm-Liouville equations. In this paper, we show that, for the eigenvalue λ = 1, this equation is a previously studied Hill equation which is closely related to the geometry given by the norm. We also investigate which geometric properties can be derived from this equation. Moreover, we prove that if the considered norm is defined by a Radon curve, then the solutions to the Hill equation are given by trigonometric functions. Further, we give conditions under which a given Hill equation induces a planar Minkowski geometry, and we prove that in this case the geometry is Euclidean if an eigenvalue other than λ = 1 induces a reparametrization of the original unit circle.
△ Less
Submitted 9 September, 2018;
originally announced September 2018.
-
On curvature of surfaces immersed in normed spaces
Authors:
Vitor Balestro,
Horst Martini,
Ralph Teixeira
Abstract:
The normal map given by Birkhoff orthogonality yields extensions of principal, Gaussian and mean curvatures to surfaces immersed in three-dimensional spaces whose geometry is given by an arbitrary norm and which are also called Minkowski spaces. We obtain characterizations of the Minkowski Gaussian curvature in terms of surface areas, and respective generalizations of the classical theorems of Hub…
▽ More
The normal map given by Birkhoff orthogonality yields extensions of principal, Gaussian and mean curvatures to surfaces immersed in three-dimensional spaces whose geometry is given by an arbitrary norm and which are also called Minkowski spaces. We obtain characterizations of the Minkowski Gaussian curvature in terms of surface areas, and respective generalizations of the classical theorems of Huber, Willmore, Alexandrov, and Bertrand-Diguet-Puiseux are derived. A generalization of Weyl's formula for the volume of tubes and some estimates for volumes and areas in terms of curvature are obtained, and in addition we discuss also two-dimensional subcases of the results in more detail.
△ Less
Submitted 5 May, 2018;
originally announced May 2018.
-
The Rosenthal-Szasz inequality for normed planes
Authors:
Vitor Balestro,
Horst Martini
Abstract:
We aim to study the classical Rosenthal-Szasz inequality for a plane whose geometry is given by a norm. This inequality states that the bodies of constant width have the largest perimeter among all planar convex bodies of given diameter. In the case where the unit circle of the norm is given by a Radon curve, we obtain an inequality which is completely analogous to the Euclidean case. For arbitrar…
▽ More
We aim to study the classical Rosenthal-Szasz inequality for a plane whose geometry is given by a norm. This inequality states that the bodies of constant width have the largest perimeter among all planar convex bodies of given diameter. In the case where the unit circle of the norm is given by a Radon curve, we obtain an inequality which is completely analogous to the Euclidean case. For arbitrary norms we obtain an upper bound for the perimeter calculated in the anti-norm, yielding an analogous characterization of all curves of constant width. To derive these results, we use methods from the differential geometry of curves in normed planes.
△ Less
Submitted 27 May, 2018; v1 submitted 31 March, 2018;
originally announced April 2018.
-
Uniqueness of completions and related topics
Authors:
Chan He,
Horst Martini,
Senlin Wu
Abstract:
A bounded subset of a normed linear space is said to be (diametrically) complete if it cannot be enlarged without increasing the diameter. A complete super set of a bounded set $K$ having the same diameter as $K$ is called a completion of $K$. In general, a bounded set may have different completions. We study normed linear spaces having the property that there exists a nontrivial segment with a un…
▽ More
A bounded subset of a normed linear space is said to be (diametrically) complete if it cannot be enlarged without increasing the diameter. A complete super set of a bounded set $K$ having the same diameter as $K$ is called a completion of $K$. In general, a bounded set may have different completions. We study normed linear spaces having the property that there exists a nontrivial segment with a unique completion. It turns out that this property is strictly weaker than the property that each complete set is a ball, and it is strictly stronger than the property that each set of constant width is a ball. Extensions of this property are also discussed.
△ Less
Submitted 25 February, 2018;
originally announced February 2018.
-
Geometry of simplices in Minkowski spaces
Authors:
Undine Leopold,
Horst Martini
Abstract:
There are many problems and configurations in Euclidean geometry that were never extended to the framework of (normed or) finite dimensional real Banach spaces, although their original versions are inspiring for this type of generalization, and the analogous definitions for normed spaces represent a promising topic. An example is the geometry of simplices in non-Euclidean normed spaces. We present…
▽ More
There are many problems and configurations in Euclidean geometry that were never extended to the framework of (normed or) finite dimensional real Banach spaces, although their original versions are inspiring for this type of generalization, and the analogous definitions for normed spaces represent a promising topic. An example is the geometry of simplices in non-Euclidean normed spaces. We present new generalizations of well known properties of Euclidean simplices. These results refer to analogues of circumcenters, Euler lines, and Feuerbach spheres of simplices in normed spaces. Using duality, we also get natural theorems on angular bisectors as well as in- and exspheres of (dual) simplices.
△ Less
Submitted 11 October, 2017;
originally announced October 2017.
-
Some topics in differential geometry of normed spaces
Authors:
Vitor Balestro,
Horst Martini,
Ralph Teixeira
Abstract:
For a surface immersed in a three-dimensional space endowed with a norm instead of an inner product, one can define analogous concepts of curvature and metric. With these concepts in mind, various questions immediately appear. The aim of this paper is to propose and answer some of those questions. In this framework we prove several characterizations of minimal surfaces, and analogues of some globa…
▽ More
For a surface immersed in a three-dimensional space endowed with a norm instead of an inner product, one can define analogous concepts of curvature and metric. With these concepts in mind, various questions immediately appear. The aim of this paper is to propose and answer some of those questions. In this framework we prove several characterizations of minimal surfaces, and analogues of some global theorems (e.g., Hadamard-type theorems) are also derived. A result on the curvature of surfaces of constant Minkowski width is also given. Finally, we study the ambient metric induced on the surface, proving an extension of the classical Bonnet theorem.
△ Less
Submitted 2 September, 2017;
originally announced September 2017.
-
Surface immersions in normed spaces from the affine point of view
Authors:
Vitor Balestro,
Horst Martini,
Ralph Teixeira
Abstract:
The aim of this paper is to investigate the differential geometry of immersed surfaces in three-dimensional normed spaces from the viewpoint of affine differential geometry. We endow the surface with a useful Riemannian metric which is closely related to normal curvature, and from this we re-calculate the Minkowski Gaussian and mean curvatures. These curvatures are also re-obtained in terms of amb…
▽ More
The aim of this paper is to investigate the differential geometry of immersed surfaces in three-dimensional normed spaces from the viewpoint of affine differential geometry. We endow the surface with a useful Riemannian metric which is closely related to normal curvature, and from this we re-calculate the Minkowski Gaussian and mean curvatures. These curvatures are also re-obtained in terms of ambient affine distance functions, and as a consequence we characterize minimal surfaces as the solutions of a certain differential equation. We also investigate in which cases it is possible that the affine normal and the Birkhoff normal vector fields of an immersion coincide, proving that this only happens when the geometry is Euclidean.
△ Less
Submitted 2 September, 2017;
originally announced September 2017.
-
Differential geometry of immersed surfaces in three-dimensional normed spaces
Authors:
Vitor Balestro,
Horst Martini,
Ralph Teixeira
Abstract:
In this paper we study curvature types of immersed surfaces in three-dimensional (normed or) Minkowski spaces. By endowing the surface with a normal vector field, which is a transversal vector field given by the ambient Birkhoff orthogonality, we get an analogue of the Gauss map. Then we can define concepts of principal, Gaussian, and mean curvatures in terms of the eigenvalues of the differential…
▽ More
In this paper we study curvature types of immersed surfaces in three-dimensional (normed or) Minkowski spaces. By endowing the surface with a normal vector field, which is a transversal vector field given by the ambient Birkhoff orthogonality, we get an analogue of the Gauss map. Then we can define concepts of principal, Gaussian, and mean curvatures in terms of the eigenvalues of the differential of this map. Considering planar sections containing the normal field, we also define normal curvatures at each point of the surface, and with respect to each tangent direction. We investigate the relations between these curvature types. Further on we prove that, under an additional hypothesis, a compact, connected surface without boundary whose Minkowski Gaussian curvature is constant must be a Minkowski sphere.
△ Less
Submitted 2 September, 2017; v1 submitted 13 July, 2017;
originally announced July 2017.
-
On Legendre curves in normed planes
Authors:
Vitor Balestro,
Horst Martini,
Ralph Teixeira
Abstract:
Legendre curves are smooth plane curves which may have singular points, but still have a well defined smooth normal (and corresponding tangent) vector field. Because of the existence of singular points, the usual curvature concept for regular curves cannot be straightforwardly extended to these curves. However, Fukunaga, and Takahashi defined and studied functions that play the role of curvature f…
▽ More
Legendre curves are smooth plane curves which may have singular points, but still have a well defined smooth normal (and corresponding tangent) vector field. Because of the existence of singular points, the usual curvature concept for regular curves cannot be straightforwardly extended to these curves. However, Fukunaga, and Takahashi defined and studied functions that play the role of curvature functions of a Legendre curve, and whose ratio extend the curvature notion in the usual sense. Going into the same direction, our paper is devoted to the extension of the concept of circular curvature from regular to Legendre curves, but additionally referring not only to the Euclidean plane. For the first time we will extend the concept of Legendre curves to normed planes. Generalizing in such a way the results of the mentioned authors, we define new functions that play the role of circular curvature of Legendre curves, and tackle questions concerning existence, uniqueness, and invariance under isometries for them. Using these functions, we study evolutes, involutes, and pedal curves of Legendre curves for normed planes, and the notion of contact between such curves is correspondingly extended, too. We also provide new ways to calculate the Maslov index of a front in terms of our new curvature functions. It becomes clear that an inner product is not necessary in develo** the theory of Legendre curves. More precisely, only a fixed norm and the associated orthogonality (of Birkhoff type) are necessary.
△ Less
Submitted 17 April, 2017;
originally announced April 2017.
-
Concepts of curvatures in normed planes
Authors:
Vitor Balestro,
Horst Martini,
Emad Shonoda
Abstract:
The theory of classical types of curves in normed planes is not strongly developed. In particular, the knowledge on existing concepts of curvatures of planar curves is widespread and not systematized in the literature. Giving a comprehensive overview on geometric properties of and relations between all introduced curvature concepts, we try to fill this gap. Certainly, this yields a basis for furth…
▽ More
The theory of classical types of curves in normed planes is not strongly developed. In particular, the knowledge on existing concepts of curvatures of planar curves is widespread and not systematized in the literature. Giving a comprehensive overview on geometric properties of and relations between all introduced curvature concepts, we try to fill this gap. Certainly, this yields a basis for further research and also for possible extensions of the whole existing framework. In addition, we derive various new results referring in full broadness to the variety of known curvature types in normed planes. These new results involve characterizations of curves of constant curvature, new characterizations of Radon planes and the Euclidean subcase, and analogues to classical statements like the four vertex theorem and the fundamental theorem on planar curves. We also introduce a new curvature type, for which we verify corresponding properties. As applications of the little theory developed in our expository paper, we study the curvature behaviour of curves of constant width and obtain also new results on notions like evolutes, involutes, and parallel curves.
△ Less
Submitted 5 February, 2017;
originally announced February 2017.
-
Density estimates for $k$-impassable lattices of balls and general convex bodies in ${\Bbb R}^n$
Authors:
E. Makai, Jr.,
H. Martini
Abstract:
G. Fejes Tóth posed the following problem: Determine the infimum of the densities of the lattices of closed balls in $\bR^n$ such that each affine $k$-subspace $(0 \le k \le n-1)$ of $\bR^n$ intersects some ball of the lattice. We give a lower estimate for any $n,k$ like above. If, in the problem posed by G. Fejes Tóth, we replace the ball $B^n$ by a (centrally symmetric) convex body…
▽ More
G. Fejes Tóth posed the following problem: Determine the infimum of the densities of the lattices of closed balls in $\bR^n$ such that each affine $k$-subspace $(0 \le k \le n-1)$ of $\bR^n$ intersects some ball of the lattice. We give a lower estimate for any $n,k$ like above. If, in the problem posed by G. Fejes Tóth, we replace the ball $B^n$ by a (centrally symmetric) convex body $K\subset \bR^n$, we may ask for the infimum of all above infima of densities of lattices of translates of $K$ with the above property, when $K$ ranges over all (centrally symmetric) convex bodies in $\bR^n$. For these quantities we give lower estimates as well, which are sharp, or almost sharp, for certain classes of convex bodies $K$. For $k=n-1$ we give an upper estimate for the supremum of all above infima of densities, $K$ also ranging as above (i.e., a "minimax" problem). For $n=2$ our estimate is rather close to the conjecturable maximum. We point out the connection of the above questions to the following problem: Find the largest radius of a cylinder, with base an $(n-1)$-ball, that can be fitted into any lattice packing of balls (actually, here balls can be replaced by some convex bodies $K \subset \bR^n$, the axis of the cylinder may be $k$-dimensional and its basis has to be chosen suitably). Among others we complete the proof of a theorem of I. Hortobágyi from 1971. Our proofs for the lower estimates of densities for balls, and for the cylinder problem, follow quite closely a paper of J. Horváth from 1970. This paper is also an addendum to a paper of the first named author from 1978 in the sense that to some arguments given there not in a detailed manner, we give here for all of these complete proofs.
△ Less
Submitted 5 December, 2016;
originally announced December 2016.
-
New Moduli for Banach Spaces
Authors:
Grigiry Ivanov,
Horst Martini
Abstract:
Modifying the moduli of supporting convexity and supporting smoothness, we introduce new moduli for Banach spaces which occur, e.g., as lengths of catheti of right-angled triangles (defined via so-called quasi-orthogonality). These triangles have two boundary points of the unit ball of a Banach space as endpoints of their hypotenuse, and their third vertex lies in a supporting hyperplane of one of…
▽ More
Modifying the moduli of supporting convexity and supporting smoothness, we introduce new moduli for Banach spaces which occur, e.g., as lengths of catheti of right-angled triangles (defined via so-called quasi-orthogonality). These triangles have two boundary points of the unit ball of a Banach space as endpoints of their hypotenuse, and their third vertex lies in a supporting hyperplane of one of the two other vertices. Among other things it is our goal to quantify via such triangles the local deviation of the unit sphere from its supporting hyperplanes. We prove respective Day-Nordlander type results, involving generalizations of the modulus of convexity and the modulus of Banaś.
△ Less
Submitted 6 September, 2016;
originally announced September 2016.
-
Angles in normed spaces
Authors:
Vitor Balestro,
Ákos G. Horváth,
Horst Martini,
Ralph Teixeira
Abstract:
The concept of angle, angle functions, and the question how to measure angles present old and well-established mathematical topics referring to Euclidean space, and there exist also various extensions to non-Euclidean spaces of different types. In particular, it is very interesting to investigate or to combine (geometric) properties of possible concepts of angle functions and angle measures in fin…
▽ More
The concept of angle, angle functions, and the question how to measure angles present old and well-established mathematical topics referring to Euclidean space, and there exist also various extensions to non-Euclidean spaces of different types. In particular, it is very interesting to investigate or to combine (geometric) properties of possible concepts of angle functions and angle measures in finite-dimensional real Banach spaces (= Minkowski spaces). However, going into this direction one will observe that there is no monograph or survey reflecting the complete picture of the existing literature on such concepts in a satisfying manner. We try to close this gap. In this expository paper (containing also new results, and new proofs of known results) the reader will get a comprehensive overview of this field, including also further related aspects. For example, angular bisectors, their applications, and angle types which preserve certain kinds of orthogonality are discussed. The latter aspect yields, of course, an interesting link to the large variety of orthogonality types in such spaces.
△ Less
Submitted 23 July, 2016;
originally announced July 2016.
-
Angle measures, general rotations, and roulettes in normed planes
Authors:
Vitor Balestro,
Ákos G. Horváth,
Horst Martini
Abstract:
In this paper a special group of bijective maps of a normed plane, called the group of general rotations, is introduced; it contains the isometry group as a subgroup. The concept of general rotations leads to the notion of flexible motions of the plane, and to the concept of Minkowskian roulettes. As a nice consequence of this new approach to motions the validity of a strong analogue to the Euler-…
▽ More
In this paper a special group of bijective maps of a normed plane, called the group of general rotations, is introduced; it contains the isometry group as a subgroup. The concept of general rotations leads to the notion of flexible motions of the plane, and to the concept of Minkowskian roulettes. As a nice consequence of this new approach to motions the validity of a strong analogue to the Euler-Savary equations for Minkowskian roulettes is proved.
△ Less
Submitted 26 May, 2016;
originally announced May 2016.
-
Ball Convex Bodies in Minkowski Spaces
Authors:
Thomas Jahn,
Christian Richter,
Horst Martini
Abstract:
The notion of ball convexity, considered in finite dimensional real Banach spaces, is a natural and useful extension of usual convexity; one replaces intersections of half-spaces by suitable intersections of balls. A subset $S$ of a normed space is called ball convex if it coincides with its ball hull, which is obtained as intersection of all balls (of fixed radius) containing $S$. Ball convex set…
▽ More
The notion of ball convexity, considered in finite dimensional real Banach spaces, is a natural and useful extension of usual convexity; one replaces intersections of half-spaces by suitable intersections of balls. A subset $S$ of a normed space is called ball convex if it coincides with its ball hull, which is obtained as intersection of all balls (of fixed radius) containing $S$. Ball convex sets are closely related to notions like ball polytopes, complete sets, bodies of constant width, and spindle convexity. We will study geometric properties of ball convex bodies in normed spaces, for example deriving separation theorems, characterizations of strictly convex norms, and an application to complete sets. Our main results refer to minimal representations of ball convex bodies in terms of their ball exposed faces, to representations of ball hulls of sets via unions of ball hulls of finite subsets, and to ball convexity of increasing unions of ball convex bodies.
△ Less
Submitted 7 March, 2016;
originally announced March 2016.
-
Is a complete, reduced set necessarily of constant width?
Authors:
René Brandenberg,
Bernardo González Merino,
Thomas Jahn,
Horst Martini
Abstract:
Is it true that a convex body $K$ being complete and reduced with respect to some gauge body $C$ is necessarily of constant width, that is, satisfies $K-K=ρ(C-C)$ for some $ρ>0$?
We prove this implication for several cases including the following: if $K$ is a simplex and or if $K$ possesses a smooth extreme point, then the implication holds. Moreover, we derive several new results on perfect nor…
▽ More
Is it true that a convex body $K$ being complete and reduced with respect to some gauge body $C$ is necessarily of constant width, that is, satisfies $K-K=ρ(C-C)$ for some $ρ>0$?
We prove this implication for several cases including the following: if $K$ is a simplex and or if $K$ possesses a smooth extreme point, then the implication holds. Moreover, we derive several new results on perfect norms.
△ Less
Submitted 25 February, 2016; v1 submitted 24 February, 2016;
originally announced February 2016.
-
Optimal constants in normed planes
Authors:
Vitor Balestro,
Horst Martini,
Ralph Teixeira
Abstract:
We define new geometric constants for normed planes, determine their optimal values, and characterize types of planes for which these optimal values are attained. Relations of these constants to several topics, such as areas and distances from points to sides of triangles, are also investigated. We perform some calculations of new and old constants given by trigonometric functions for certain clas…
▽ More
We define new geometric constants for normed planes, determine their optimal values, and characterize types of planes for which these optimal values are attained. Relations of these constants to several topics, such as areas and distances from points to sides of triangles, are also investigated. We perform some calculations of new and old constants given by trigonometric functions for certain classes of norms, and a conjecture on vectors which are isosceles orthogonal is disproved.
△ Less
Submitted 29 December, 2017; v1 submitted 22 February, 2016;
originally announced February 2016.
-
A new construction of Radon curves and related topics
Authors:
Vitor Balestro,
Horst Martini,
Ralph Teixeira
Abstract:
We present a new construction of Radon curves which only uses convexity methods. In other words, it does not rely on an auxiliary Euclidean background metric (as in the classical works of J. Radon, W. Blaschke, G. Birkhoff, and M. M. Day), and also it does not use typical methods from plane Minkowski Geometry (as proposed by H. Martini and K. J. Swanepoel). We also discuss some properties of norme…
▽ More
We present a new construction of Radon curves which only uses convexity methods. In other words, it does not rely on an auxiliary Euclidean background metric (as in the classical works of J. Radon, W. Blaschke, G. Birkhoff, and M. M. Day), and also it does not use typical methods from plane Minkowski Geometry (as proposed by H. Martini and K. J. Swanepoel). We also discuss some properties of normed planes whose unit circle is a Radon curve and give characterizations of Radon curves only in terms of Convex Geometry.
△ Less
Submitted 21 February, 2016;
originally announced February 2016.
-
Monge points, Euler lines, and Feuerbach spheres in Minkowski spaces
Authors:
Undine Leopold,
Horst Martini
Abstract:
It is surprising, but an established fact that the field of Elementary Geometry referring to normed spaces (= Minkowski spaces) is not a systematically developed discipline. There are many natural notions and problems of elementary and classical geometry that were never investigated in this more general framework, although their Euclidean subcases are well known and this extended viewpoint is prom…
▽ More
It is surprising, but an established fact that the field of Elementary Geometry referring to normed spaces (= Minkowski spaces) is not a systematically developed discipline. There are many natural notions and problems of elementary and classical geometry that were never investigated in this more general framework, although their Euclidean subcases are well known and this extended viewpoint is promising. An example is the geometry of simplices in non-Euclidean normed spaces; not many papers in this direction exist. Inspired by this lack of natural results on Minkowskian simplices, we present a collection of new results as non-Euclidean generalizations of well-known fundamental properties of Euclidean simplices. These results refer to Minkowskian analogues of notions like Euler line, orthocentricity, Monge point, and Feuerbach sphere of a simplex in a normed space. In addition, we derive some related results on polygons (instead of triangles) in normed planes.
△ Less
Submitted 19 February, 2016;
originally announced February 2016.
-
Geometric constants for quantifying the difference between orthogonality types
Authors:
Vitor Balestro,
Horst Martini,
Ralph Teixeira
Abstract:
This paper is devoted to introduce new geometric constants that quantify the difference between Roberts orthogonality and Birkhoff orthogonality in normed planes. We start by characterizing Roberts orthogonality in two different ways: via bisectors of two points and using certain linear transformations. Each of these characterizations yields one of those geometric constants that we will study.
This paper is devoted to introduce new geometric constants that quantify the difference between Roberts orthogonality and Birkhoff orthogonality in normed planes. We start by characterizing Roberts orthogonality in two different ways: via bisectors of two points and using certain linear transformations. Each of these characterizations yields one of those geometric constants that we will study.
△ Less
Submitted 4 February, 2016;
originally announced February 2016.
-
Unique local determination of convex bodies
Authors:
E. Makai, Jr.,
H. Martini
Abstract:
Barker and Larman asked the following. Let $K' \subset {\Bbb{R}}^d$ be a convex body, whose interior contains a given convex body $K \subset {\Bbb{R}}^d$, and let, for all supporting hyperplanes $H$ of $K$, the $(d-1)$-volumes of the intersections $K' \cap H$ be given. Is $K'$ then uniquely determined? Yaskin and Zhang asked the analogous question when, for all supporting hyperplanes $H$ of $K$, t…
▽ More
Barker and Larman asked the following. Let $K' \subset {\Bbb{R}}^d$ be a convex body, whose interior contains a given convex body $K \subset {\Bbb{R}}^d$, and let, for all supporting hyperplanes $H$ of $K$, the $(d-1)$-volumes of the intersections $K' \cap H$ be given. Is $K'$ then uniquely determined? Yaskin and Zhang asked the analogous question when, for all supporting hyperplanes $H$ of $K$, the $d$-volumes of the "caps" cut off from $K'$ by $H$ are given. We give local positive answers to both of these questions, for small $C^2$-perturbations of $K$, provided the boundary of $K$ is $C^2_+$. In both cases, $(d-1)$-volumes or $d$-volumes can be replaced by $k$-dimensional quermassintegrals for $1 \le k \le d-1$ or for $1 \le k \le d$, respectively. Moreover, in the first case we can admit, rather than hyperplane sections, sections by $l$-dimensional affine planes, where $1 \le k \le l \le d-1$. In fact, here not all $l$-dimensional affine subspaces are needed, but only a small subset of them (actually, a $(d-1)$-manifold), for unique local determination of $K'$.
△ Less
Submitted 2 February, 2016;
originally announced February 2016.
-
Geometric properties of a sine function extendable to arbitrary normed planes
Authors:
Vitor Balestro,
Horst Martini,
Ralph Teixeira
Abstract:
In this paper we study a metric generalization of the sine function which can be extended to arbitrary normed planes. We derive its main properties and give also some characterizations of Radon planes. Furthermore, we prove that the existence of an angular measure which is "well-behaving" with respect to the sine is only possible in the Euclidean plane, and we also define some new constants that e…
▽ More
In this paper we study a metric generalization of the sine function which can be extended to arbitrary normed planes. We derive its main properties and give also some characterizations of Radon planes. Furthermore, we prove that the existence of an angular measure which is "well-behaving" with respect to the sine is only possible in the Euclidean plane, and we also define some new constants that estimate how non-Radon or non-Euclidean a normed plane can be. Sine preserving self-map**s are studied, and a complete description of the linear ones is given. In the last section we exhibit a version of the Law of Sines for Radon planes.
△ Less
Submitted 23 January, 2016;
originally announced January 2016.
-
Centrally symmetric convex bodies and sections having maximal quermassintegrals
Authors:
E. Makai Jr.,
H. Martini
Abstract:
Let $d \ge 2$, and let $K \subset {\Bbb{R}}^d$ be a convex body containing the origin $0$ in its interior. In a previous paper we have proved the following. The body $K$ is $0$-symmetric if and only if the following holds. For each $ω\in S^{d-1}$, we have that the $(d-1)$-volume of the intersection of $K$ and an arbitrary hyperplane, with normal $ω$, attains its maximum if the hyperplane contains…
▽ More
Let $d \ge 2$, and let $K \subset {\Bbb{R}}^d$ be a convex body containing the origin $0$ in its interior. In a previous paper we have proved the following. The body $K$ is $0$-symmetric if and only if the following holds. For each $ω\in S^{d-1}$, we have that the $(d-1)$-volume of the intersection of $K$ and an arbitrary hyperplane, with normal $ω$, attains its maximum if the hyperplane contains $0$. An analogous theorem, for $1$-dimensional sections and $1$-volumes, has been proved long ago by Hammer (\cite{H}). In this paper we deal with the ($(d-2)$-dimensional) surface area, or with lower dimensional quermassintegrals of these intersections, and prove an analogous, but local theorem, for small $C^2$-perturbations, or $C^3$-perturbations of the Euclidean unit ball, respectively.
△ Less
Submitted 6 July, 2015;
originally announced July 2015.
-
Complete sets need not be reduced in Minkowski spaces
Authors:
Horst Martini,
Senlin Wu
Abstract:
It is well known that in $n$-dimensional Euclidean space ($n\geq 2$) the classes of (diametrically) complete sets and of bodies of constant width coincide. Due to this, they both form a proper subfamily of the class of reduced bodies. For $n$-dimensional Minkowski spaces, this coincidence is no longer true if $n\geq 3$. Thus, the question occurs whether for $n\geq 3$ any complete set is reduced. A…
▽ More
It is well known that in $n$-dimensional Euclidean space ($n\geq 2$) the classes of (diametrically) complete sets and of bodies of constant width coincide. Due to this, they both form a proper subfamily of the class of reduced bodies. For $n$-dimensional Minkowski spaces, this coincidence is no longer true if $n\geq 3$. Thus, the question occurs whether for $n\geq 3$ any complete set is reduced. Answering this in the negative for $n\geq 3$, we construct $(2^{k}-1)$-dimensional ($k\geq 2$) complete sets which are not reduced.
△ Less
Submitted 25 February, 2015;
originally announced February 2015.
-
Algorithms for ball hulls and ball intersections in strictly convex normed planes
Authors:
Pedro Martín,
Horst Martini
Abstract:
Extending results of Hershberger and Suri for the Euclidean plane, we show that ball hulls and ball intersections of sets of $n$ points in strictly convex normed planes can be constructed in $O(n \log n)$ time. In addition, we confirm that, like in the Euclidean subcase, the $2$-center problem with constrained circles can be solved also for strictly convex normed planes in $O(n^2)$ time. Some idea…
▽ More
Extending results of Hershberger and Suri for the Euclidean plane, we show that ball hulls and ball intersections of sets of $n$ points in strictly convex normed planes can be constructed in $O(n \log n)$ time. In addition, we confirm that, like in the Euclidean subcase, the $2$-center problem with constrained circles can be solved also for strictly convex normed planes in $O(n^2)$ time. Some ideas for extending these results to more general types of normed planes are also presented.
△ Less
Submitted 26 November, 2014;
originally announced November 2014.
-
On a theorem of D. Ryabogin and V. Yaskin about detecting symmetry
Authors:
E. Makai, Jr.,
H. Martini,
T. Ódor
Abstract:
We give a simple deduction of a recent theorem of D. Ryabogin and V. Yaskin, about detecting symmetry of star bodies in ${\Bbb{R}}^n$ with $C^1$ radial functions --- via their conical section functions --- from an older theorem of us.
We give a simple deduction of a recent theorem of D. Ryabogin and V. Yaskin, about detecting symmetry of star bodies in ${\Bbb{R}}^n$ with $C^1$ radial functions --- via their conical section functions --- from an older theorem of us.
△ Less
Submitted 17 November, 2014;
originally announced November 2014.
-
Minsum Location Extended to Gauges and to Convex Sets
Authors:
Thomas Jahn,
Yaakov S. Kupitz,
Horst Martini,
Christian Richter
Abstract:
One of the oldest and richest problems from continuous location science is the famous Fermat-Torricelli problem, asking for the unique point in Euclidean space that has minimal distance sum to n given (non-collinear) points. Many natural and interesting generalizations of this problem were investigated, e.g., by extending it to non-Euclidean spaces and modifying the used distance functions, or by…
▽ More
One of the oldest and richest problems from continuous location science is the famous Fermat-Torricelli problem, asking for the unique point in Euclidean space that has minimal distance sum to n given (non-collinear) points. Many natural and interesting generalizations of this problem were investigated, e.g., by extending it to non-Euclidean spaces and modifying the used distance functions, or by generalizing the configuration of participating geometric objects. In the present paper, we extend the Fermat-Torricelli problem in a two-fold way: more general than for normed spaces, the unit balls of our spaces are compact convex sets having the origin as interior point (but without symmetry condition), and the n given objects can be general convex sets (instead of points). We combine these two viewpoints, and the presented sequence of new theorems follows in a comparing sense that of theorems known for normed spaces. Some of these results holding for normed spaces carry over to our more general setting, and others not. In addition, we present analogous results for related questions, like, e.g., for Heron's problem. And finally we derive a collection of results holding particularly for the Euclidean norm.
△ Less
Submitted 14 October, 2014;
originally announced October 2014.
-
The 2-center problem and ball operators in strictly convex normed planes
Authors:
Pedro Martín,
Horst Martini,
Margarita Spirova
Abstract:
We investigate the 2-center problem for arbitrary strictly convex, centrally symmetric curves instead of usual circles. In other words, we extend the 2-center problem (from the Euclidean plane) to strictly convex normed planes, since any strictly convex, centrally symmetric curve can be interpreted as (unit) circle of such a normed plane. Thus we generalize the respective algorithmical approach gi…
▽ More
We investigate the 2-center problem for arbitrary strictly convex, centrally symmetric curves instead of usual circles. In other words, we extend the 2-center problem (from the Euclidean plane) to strictly convex normed planes, since any strictly convex, centrally symmetric curve can be interpreted as (unit) circle of such a normed plane. Thus we generalize the respective algorithmical approach given by J. Hershberger for the Euclidean plane. We show that the corresponding decision problem can be solved in $O(n^2\log\, n)$ time. In addition, we prove various theorems on the notions of ball hull and ball intersection of finite sets in strictly convex normed planes, which are fundamental for the 2-center problem, but also interesting for themselves.
△ Less
Submitted 29 September, 2014;
originally announced September 2014.
-
Involutes of Polygons of Constant Width in Minkowski Planes
Authors:
Marcos Craizer,
Horst Martini
Abstract:
Consider a convex polygon P in the plane, and denote by U a homothetical copy of the vector sum of P and (-P). Then the polygon U, as unit ball, induces a norm such that, with respect to this norm, P has constant Minkowskian width. We define notions like Minkowskian curvature, evolutes and involutes for polygons of constant U-width, and we prove that many properties of the smooth case, which is al…
▽ More
Consider a convex polygon P in the plane, and denote by U a homothetical copy of the vector sum of P and (-P). Then the polygon U, as unit ball, induces a norm such that, with respect to this norm, P has constant Minkowskian width. We define notions like Minkowskian curvature, evolutes and involutes for polygons of constant U-width, and we prove that many properties of the smooth case, which is already completely studied, are preserved. The iteration of involutes generates a pair of sequences of polygons of constant width with respect to the Minkowski norm and its dual norm, respectively. We prove that these sequences are converging to symmetric polygons with the same center, which can be regarded as a central point of the polygon P.
△ Less
Submitted 2 July, 2015; v1 submitted 12 June, 2014;
originally announced June 2014.
-
Illuminating and covering convex bodies
Authors:
Horst Martini,
Christian Richter,
Margarita Spirova
Abstract:
Covering numbers of convex bodies based on homothetical copies and related illumination numbers are well-known in combinatorial geometry and, for example, related to Hadwiger's famous covering problem. Similar numbers can be defined by using proper translates instead of homothets, and even more related concepts make sense. On these lines we introduce some new covering and illumination numbers of c…
▽ More
Covering numbers of convex bodies based on homothetical copies and related illumination numbers are well-known in combinatorial geometry and, for example, related to Hadwiger's famous covering problem. Similar numbers can be defined by using proper translates instead of homothets, and even more related concepts make sense. On these lines we introduce some new covering and illumination numbers of convex bodies, present their properties and compare them with each other as well as with already known numbers. Finally, some suggestive examples illustrate that these new illumination numbers are interesting and non-trivial.
△ Less
Submitted 4 August, 2013;
originally announced August 2013.
-
Complete sets and completion of sets in Banach spaces
Authors:
Horst Martini,
Pier Luigi Papini,
Margarita Spirova
Abstract:
In this paper we study properties of complete sets and of completions of sets in Banach spaces. We consider the family of completions of a given set and its size; we also study in detail the relationships concerning diameters, radii, and centers. The results are illustrated by several examples.
In this paper we study properties of complete sets and of completions of sets in Banach spaces. We consider the family of completions of a given set and its size; we also study in detail the relationships concerning diameters, radii, and centers. The results are illustrated by several examples.
△ Less
Submitted 4 August, 2013;
originally announced August 2013.
-
Absorbing angles, Steiner minimal trees, and antipodality
Authors:
Horst Martini,
Konrad J. Swanepoel,
P. Oloff de Wet
Abstract:
We give a new proof that a star $\{op_i:i=1,...,k\}$ in a normed plane is a Steiner minimal tree of its vertices $\{o,p_1,...,p_k\}$ if and only if all angles formed by the edges at o are absorbing [Swanepoel, Networks \textbf{36} (2000), 104--113]. The proof is more conceptual and simpler than the original one.
We also find a new sufficient condition for higher-dimensional normed spaces to shar…
▽ More
We give a new proof that a star $\{op_i:i=1,...,k\}$ in a normed plane is a Steiner minimal tree of its vertices $\{o,p_1,...,p_k\}$ if and only if all angles formed by the edges at o are absorbing [Swanepoel, Networks \textbf{36} (2000), 104--113]. The proof is more conceptual and simpler than the original one.
We also find a new sufficient condition for higher-dimensional normed spaces to share this characterization. In particular, a star $\{op_i: i=1,...,k\}$ in any CL-space is a Steiner minimal tree of its vertices $\{o,p_1,...,p_k\}$ if and only if all angles are absorbing, which in turn holds if and only if all distances between the normalizations $\frac{1}{\|p_i\|}p_i$ equal 2. CL-spaces include the mixed $\ell_1$ and $\ell_\infty$ sum of finitely many copies of $R^1$.
△ Less
Submitted 25 August, 2011;
originally announced August 2011.
-
Conics in normed planes
Authors:
Ákos G. Horváth,
Horst Martini
Abstract:
We study the generalized analogues of conics for normed planes by using the following natural approach: It is well known that there are different metrical definitions of conics in the Euclidean plane. We investigate how these definitions extend to normed planes, and we show that in this more general framework these different definitions yield, in almost all cases, different classes of curves.
We study the generalized analogues of conics for normed planes by using the following natural approach: It is well known that there are different metrical definitions of conics in the Euclidean plane. We investigate how these definitions extend to normed planes, and we show that in this more general framework these different definitions yield, in almost all cases, different classes of curves.
△ Less
Submitted 15 February, 2011;
originally announced February 2011.
-
On the polygonal diameter of the interior, resp. exterior, of a simple closed polygon in the plane
Authors:
Yaakov S. Kupitz,
Horst Martini,
Micha A. Perles
Abstract:
We give a tight upper bound on the polygonal diameter of the interior, resp. exterior, of a simple $n$-gon, $n \ge 3$, in the plane as a function of $n$, and describe an $n$-gon $(n \ge 3)$ for which both upper bounds (for the interior and the exterior) are attained \emph{simultaneously}.
We give a tight upper bound on the polygonal diameter of the interior, resp. exterior, of a simple $n$-gon, $n \ge 3$, in the plane as a function of $n$, and describe an $n$-gon $(n \ge 3)$ for which both upper bounds (for the interior and the exterior) are attained \emph{simultaneously}.
△ Less
Submitted 16 December, 2010;
originally announced December 2010.
-
Bounded representation and radial projections of bisectors in normed spaces
Authors:
Á. G. Horváth,
H. Martini
Abstract:
It is well known that the description of topological and geometric properties of bisectors in normed spaces is a non-trivial subject. In this paper we introduce the concept of bounded representation of bisectors in finite dimensional real Banach spaces. This useful notion combines the concepts of bisector and shadow boundary of the unit ball, both corresponding with the same spatial direction. T…
▽ More
It is well known that the description of topological and geometric properties of bisectors in normed spaces is a non-trivial subject. In this paper we introduce the concept of bounded representation of bisectors in finite dimensional real Banach spaces. This useful notion combines the concepts of bisector and shadow boundary of the unit ball, both corresponding with the same spatial direction. The bounded representation visualizes the connection between the topology of bisectors and shadow boundaries (Lemma 1) and gives the possibility to simplify and to extend some known results on radial projections of bisectors. Our main result (Theorem 1) says that in the manifold case the topology of the closed bisector and the topology of its bounded representation are the same; they are closed, $(n-1)$-dimensional balls embedded in Euclidean $n$-space in the standard way.
△ Less
Submitted 30 January, 2010;
originally announced February 2010.
-
Ball polytopes and the Vazsonyi problem
Authors:
Yaakov S. Kupitz,
Horst Martini,
Micha A. Perles
Abstract:
Let V be a finite set of points in Euclidean d-space (d >= 2). The intersection of all unit balls B(v,1) centered at v, where v ranges over V, henceforth denoted by B(V) is the ball polytope associated with V. Note that B(V) is non-empty iff the circumradius of V is <= 1. After some preparatory discussion on spherical convexity and spindle convexity, the paper focuses on two central themes. [a]…
▽ More
Let V be a finite set of points in Euclidean d-space (d >= 2). The intersection of all unit balls B(v,1) centered at v, where v ranges over V, henceforth denoted by B(V) is the ball polytope associated with V. Note that B(V) is non-empty iff the circumradius of V is <= 1. After some preparatory discussion on spherical convexity and spindle convexity, the paper focuses on two central themes. [a] Define the boundary complex of B(V) (assuming it is non-empty, of course), i.e., define its vertices, edges and facets in dimension 3 (in dimension 2 this complex is just a circuit), and investigate its basic properties. [b] Apply results of this investigation to characterize finite sets of diameter 1 in (Euclidean) 3-space for which the diameter is attained a maximal number of times as a segment (of length 1) with both endpoints in V. A basic result for such a characterization goes back to Grunbaum, Heppes and Straszewicz, who proved independently that the diameter of V is attained at most 2|V|-2 times, thus affirming a conjecture of Vazsonyi from circa 1935. Call V extremal if its diameter is attained this maximal number (2|V|-2) of times. We extend the aforementioned basic result by showing that V is extremal iff V coincides with the set of vertices of its ball polytope B(V) and show that in this case the boundary complex of B(V) is self-dual in some strong sense. For the sake of priority we mention that, in the present form (except for a few changes in the footnotes), the paper was submitted to a journal already in February 1, 2008.
△ Less
Submitted 11 May, 2009;
originally announced May 2009.
-
The geometry of Minkowski spaces -- a survey. Part I
Authors:
Horst Martini,
Konrad J Swanepoel,
Gunter Weiss
Abstract:
We survey elementary results in Minkowski spaces (i.e. finite dimensional Banach spaces) that deserve to be collected together, and give simple proofs for some of them. We place special emphasis on planar results. Many of these results have often been rediscovered as lemmas to other results. In Part I we cover the following topics: The triangle inequality and consequences such as the monotonicit…
▽ More
We survey elementary results in Minkowski spaces (i.e. finite dimensional Banach spaces) that deserve to be collected together, and give simple proofs for some of them. We place special emphasis on planar results. Many of these results have often been rediscovered as lemmas to other results. In Part I we cover the following topics: The triangle inequality and consequences such as the monotonicity lemma, geometric characterizations of strict convexity, normality (Birkhoff orthogonality), conjugate diameters and Radon curves, equilateral triangles and the affine regular hexagon construction, equilateral sets, circles: intersection, circumscribed, characterizations, circumference and area, inscribed equilateral polygons.
△ Less
Submitted 21 August, 2007;
originally announced August 2007.
-
The Fermat-Torricelli problem in normed planes and spaces
Authors:
Horst Martini,
Konrad J Swanepoel,
Gunter Weiss
Abstract:
We investigate the Fermat-Torricelli problem in d-dimensional real normed spaces or Minkowski spaces, mainly for d=2. Our approach is to study the Fermat-Torricelli locus in a geometric way. We present many new results, as well as give an exposition of known results that are scattered in various sources, with proofs for some of them. Together, these results can be considered to be a minitheory o…
▽ More
We investigate the Fermat-Torricelli problem in d-dimensional real normed spaces or Minkowski spaces, mainly for d=2. Our approach is to study the Fermat-Torricelli locus in a geometric way. We present many new results, as well as give an exposition of known results that are scattered in various sources, with proofs for some of them. Together, these results can be considered to be a minitheory of the Fermat-Torricelli problem in Minkowski spaces and especially in Minkowski planes. This demonstrates that substantial results about locational problems valid for all norms can be found using a geometric approach.
△ Less
Submitted 17 July, 2007; v1 submitted 17 July, 2007;
originally announced July 2007.
-
Low-degree minimal spanning trees in normed spaces
Authors:
Horst Martini,
Konrad J Swanepoel
Abstract:
We give a complete proof that in any finite-dimensional normed linear space a finite set of points has a minimal spanning tree in which the maximum degree is bounded above by the strict Hadwiger number of the unit ball, i.e., the largest number of unit vectors such that the distance between any two is larger than 1.
We give a complete proof that in any finite-dimensional normed linear space a finite set of points has a minimal spanning tree in which the maximum degree is bounded above by the strict Hadwiger number of the unit ball, i.e., the largest number of unit vectors such that the distance between any two is larger than 1.
△ Less
Submitted 16 March, 2006;
originally announced March 2006.
-
Orthocentric simplices and their centers
Authors:
Allan L. Edmonds,
Mowaffaq Hajja,
Horst Martini
Abstract:
A simplex is said to be orthocentric if its altitudes intersect in a common point, called its orthocenter. In this paper it is proved that if any two of the traditional centers of an orthocentric simplex (in any dimension) coincide, then the simplex is regular. Along the way orthocentric simplices in which all facets have the same circumradius are characterized, and the possible barycentric coor…
▽ More
A simplex is said to be orthocentric if its altitudes intersect in a common point, called its orthocenter. In this paper it is proved that if any two of the traditional centers of an orthocentric simplex (in any dimension) coincide, then the simplex is regular. Along the way orthocentric simplices in which all facets have the same circumradius are characterized, and the possible barycentric coordinates of the orthocenter are described precisely. In particular these barycentric coordinates are used to parametrize the shapes of orthocentric simplices. The substantial, but widespread, literature on orthocentric simplices is briefly surveyed in order to place the new results in their proper context, and some of the previously known results are given new proofs from the present perspective.
△ Less
Submitted 3 August, 2005;
originally announced August 2005.
-
Coincidences of simplex centers and related facial structures
Authors:
Allan L. Edmonds,
Mowaffaq Hajja,
Horst Martini
Abstract:
We investigate the geometric properties of simplices in Euclidean d-dimensional space for which two or more of the analogues of the classical triangle centers (including the centroid, circumcenter, incenter, orthocenter or Monge point, and the Fermat-Torricelli point) coincide. We also investigate the geometric significance of the cevian line segments through a given center having the same lengt…
▽ More
We investigate the geometric properties of simplices in Euclidean d-dimensional space for which two or more of the analogues of the classical triangle centers (including the centroid, circumcenter, incenter, orthocenter or Monge point, and the Fermat-Torricelli point) coincide. We also investigate the geometric significance of the cevian line segments through a given center having the same length. We give a unified presentation, including known results for d=2 and d=3.
△ Less
Submitted 4 November, 2004;
originally announced November 2004.
-
Antinorms and Radon curves
Authors:
Horst Martini,
Konrad J. Swanepoel
Abstract:
In this paper we consider two notions that have been discovered and rediscovered by geometers and analysts since 1917 up to the present day: Radon curves and antinorms.
A Radon curve is a special kind of centrally symmetric closed convex curve in the plane. A Radon plane is a normed plane obtained by using a Radon curve as (the boundary of) the unit ball. Many known results in Euclidean geomet…
▽ More
In this paper we consider two notions that have been discovered and rediscovered by geometers and analysts since 1917 up to the present day: Radon curves and antinorms.
A Radon curve is a special kind of centrally symmetric closed convex curve in the plane. A Radon plane is a normed plane obtained by using a Radon curve as (the boundary of) the unit ball. Many known results in Euclidean geometry also hold for Radon planes, for example the triangle and parallelogram area formulas, certain theorems on angular bisectors, the area formula of a polygon circumscribed about a circle, certain isoperimetric inequalities, and the non-expansive property of certain non-linear projections.
These results may be further generalized to arbitrary normed planes if we formally change the statement of the result by referring in some places to the antinorm instead of the norm. The antinorm is a norm dual to the norm of an arbitrarily given normed plane, although it lives in the same plane as the original norm.
It is the purpose of this mainly expository paper to give a list of results on antinorms that generalize results true for Radon norms, and in many cases characterize Radon norms among all norms in the plane. Many of the results are old, well-known, and have often been rediscovered. However, for most of the results we give streamlined proofs. Also, some of the characterizations of Radon curves given here seem not to have appeared previously in print.
△ Less
Submitted 13 September, 2004;
originally announced September 2004.