Intersection bodies in \(\mathbb{R}^4\) (Q1269465): Difference between revisions

Let \(L\) be an origin-symmetric star body in \(\mathbb{R}^n\). A body \(K\) in \(\mathbb{R}^n\) is called the intersection body of the star body \(L\) if the radial function of \(K\) at every point \(u\) from the unit sphere \(\Omega\) in \(\mathbb{R}^n\) is equal to the \((n-1)\)-dimensional volume of the section of \(L\) by the hyperplane \[ u^\perp= \{x\in\mathbb{R}^n: (x,u)=0\}. \] A body \(K\) in \(\mathbb{R}^n\) is called an intersection body if there exists a finite Borel measure \(\mu\) on \(\Omega\) such that \(\| x \|_K^{-1}=R\mu\), where \(R\mu\) is the finite Borel measure on \(\Omega\) defined by \[ \langle R\mu,f\rangle=\langle\mu,Rf\rangle=\int_\Omega Rf(\theta)d\mu (\theta) \] for every \(f\in C(\Omega)\). \((\| x\|_L\) is defined as \(\| x\|_L=\min\{a\geq 0:x\in aL\})\). The author, using a result of Lutwak which states that an origin symmetric star body \(K\) is an intersection body if and only if the function \(\| x\|_K^{-1}\) is a positive definite distribution, proves that the unit balls of the spaces \(\ell^n_q\), where \(q\) satisfies the condition \(2<q\leq\infty\) and \(n\leq 4\), are intersection bodies. On the other hand, for \(r\geq 5\) and \(q\) such that \(2<q \leq\infty\) the unit balls of \(\ell^n_q\) are not intersection bodies.