A functional characterization of certain mixed volumes

A function over the convex coneK{inn}, of convex bodiesK in Euclideann-space (where addition is vector addition, positive scalar multiplication is dilatation), which is linear overK{inn}, increasing with respect to set inclusion, and zero at point bodies must be a mixed volumeV(K; đ, p−1;σ ₁, …,σ _n−p). Heređ, takenp−1 times, is inK{inn} andσ ₁, …,σ _n−pare pairwise orthogonal unit segments spanning the orthogonal complement of the affine hull ofđ.