Reduced bodies in Minkowski space (Q812798)

A convex body in \(E^d\) which does not properly contain a convex body of the same width is called a reduced body. The authors extend this concept to Minkowski spaces. Let \(M^d\) be a \(d\) dimensional Minkowski space with the norm \(\| \cdot\| \). Let \(H_1\not= H_2\) be parallel hyperplanes in \(M^d\) and \(C\) a convex body in \(M^d\). The strip \(S=\text{conv}(H_1\cup H_2)\) is called a \(C\)-strip if both \(H_1\) and \(H_2\) are supporting hyperplanes of \(C\). Moreover, if \(H_1\) and \(H_2\) are perpendicular to a direction \(m\), then \(S\) is called a \(C\)-strip of direction \(m\). By the width of a strip \(S\subset M^d\) we mean the \(M^d\)-diameter of a largest ball (in the sense of norm \(\| \cdot\| \)) contained in \(S\). The notion of the width of a strip induced the notion of the width in direction \(m\) of a convex body \(C\subset M^d\), denoted by \(w(C,m)\). The minimum of \(w(C,m)\) taken over all directions is called the thickness of \(C\subset M^d\) and is denoted by \(\Delta(C)\). A convex body \(R\subset M^d\) is said to be reduced if \(\Delta(C)\subset\Delta(R)\) for any convex body \(C\) properly contained in \(R\). If a chord of a convex body \(C\subset M^d\) connects the opposite hyperplanes bounding any \(C\)-strip of thickness \(\Delta(C)\) and if its \(M^d\)-length is \(\Delta(C)\), then it is said to be a thickness chord of \(C\). A thickness chord of a convex body \(C\subset M^d\) is called extreme if it is a parallel to a segment \(e\), where \(e\in \text{cl}(\text{ex}\{x\in M^d:\| x\| \leq 1\}\)). The authors prove that through each extreme point of a reduced body \(R\subset M^d\) an \(R\)-strip of width \(\Delta(R)\) passes. Moreover, every extreme point of \(R\) is an endpoint of an extreme thickness chord of \(R\). In the last section of the paper the authors show that for each straight line in a Minkowski plane \(M^2\) there is a reduced triangle having a side parallel this line.