Completions of convex families of convex bodies (Q2435957): Difference between revisions

Let \(\Delta: \mathbb{Z}^n_+\rightrightarrows \mathbb{R}^k_+\) be a set-valued mapping which maps every integer \(m\in\mathbb{Z}^n_+\) on a compact convex body \(\Delta_m\subset\mathbb{R}^k_+\) with the following properties: 1) \(\Delta_{m_1}+ \Delta_{m_2}\subseteq \Delta_{m_1+m_2}\) for \(m_1,m_2\in \mathbb{Z}^n_+\), 2) \(\Delta_{qm}= q\Delta_m\) for \(q\geq 0\) and \(m\in\mathbb{Z}^n_+\), 3) there exists a continuous function \(\phi: \mathbb{R}^n_+\to \mathbb{R}_+\) such that \(\phi(m)\) is the volume of \(\Delta_m\). The question arises if the mapping \(\Delta\) can be extended continuously to the entire octant \(\mathbb{R}^n_+\). In the paper, the author gives a positive answer.