On Some Problems for a Simplex and a Ball in Rn

Let \(C\) be a convex body and let \(S\) be a nondegenerate simplex in \({\mathbb R}^n\). Denote by \(\tau S\) the image of \(S\) under homothety with a center of homothety in the center of gravity of \(S\) and the ratio \(\tau\). We mean by \(\xi(C;S)\) the minimal \(\tau>0\) such that \(C\) is a subset of the simplex \(\tau S\). Define \(\alpha(C;S)\) as the minimal \(\tau>0\) such that \(C\) is contained in a translate of \(\tau S\). Earlier the author has proved the equalities \(\xi(C;S)=(n+1)\max\limits_{1\leq j\leq n+1}\max\limits_{x\in C}(-\lambda_j(x))+1\) (if \(C\not\subset S\)), \(\alpha(C;S)=\sum\limits_{j=1}^{n+1} \max\limits_{x\in C} (-\lambda_j(x))+1.\)Here \(\lambda_j\) are the linear functions that are called the basic Lagrange polynomials corresponding to \(S\). The numbers \(\lambda_j(x),\ldots, \lambda_{n+1}(x)\) are the barycentric coordinates of a point \(x\in{\mathbb R}^n\). In his previous papers, the author investigated these formulae in the case when \(C\) is the \(n\)-dimensional unit cube \(Q_n=[0,1]^n\). The present paper is related to the case when \(C\) coincides with the unit Euclidean ball \(B_n=\{x: \|x\|\leq 1\},\) where \(\|x\|=\left(\sum\limits_{i=1}^n x_i^2 \right)^{1/2}.\) We establish various relations for \(\xi(B_n;S)\) and \(\alpha(B_n;S)\), as well as we give their geometric interpretation. For example, if \(\lambda_j(x)=l_{1j}x_1+\ldots+l_{nj}x_n+l_{n+1,j},\) then \(\alpha(B_n;S)=\sum\limits_{j=1}^{n+1}\left(\sum\limits_{i=1}^n l_{ij}^2\right)^{1/2}\). The minimal possible value of each characteristics \(\xi(B_n;S)\) and \(\alpha(B_n;S)\) for \(S\subset B_n\) is equal to \(n\). This value corresponds to a regular simplex inscribed into \(B_n\). Also we compare our results with those obtained in the case \(C=Q_n\).

The Geometry of L0

Suppose that we have the unit Euclidean ball in ℝn and construct new bodies using three operations — linear transformations, closure in the radial metric, and multiplicative summation defined by We prove that in dimension 3 this procedure gives all origin-symmetric convex bodies, while this is no longer true in dimensions 4 and higher. We introduce the concept of embedding of a normed space in L0 that naturally extends the corresponding properties of Lp-spaces with p ≠ 0, and show that the procedure described above gives exactly the unit balls of subspaces of L0 in every dimension. We provide Fourier analytic and geometric characterizations of spaces embedding in L0, and prove several facts confirming the place of L0 in the scale of Lp-spaces.

On parallelepipeds of minimal volume containing a convex symmetric body in ℝn

Given a convex symmetric body C ⊂ ℝn we put a(C) = |C| sup |P|−1 where the supremum extends over all parallelepipeds containing C and |A| denotes the volume of a set A ⊂ ℝn. Let an = inf {a(C): C ⊂ ℝn}. We show thatwhich slightly improves the estimate due to Dvoretzky and Rogers [6]. In every dimension n we construct a convex symmetric polytope Wn such that the unit Euclidean ball is the ellipsoid of maximal volume inscribed into Wn and the volume of every parallelepiped containing Wn is greater thanfor large n which shows ‘the limit’ to the Dvoretzky Rogers method for bounding an below. We present an alternative proof of the result of I. K. Babenko [l] that . We show that , and that a local minimum of the function C→a(C) for C ⊂ ℝn is attained only at an equiframed convex body (that is, a body such that every point of its boundary belongs to a parallelepiped of minimal volume containing the body).