Crofton formulas in hypermetric projective Finsler spaces (Q5946022)

The main result is a version of the Crofton formulas in integral geometry for the \(k\)-dimensional Holmes-Thompson area of \(k\)-dimensional compact convex sets \(K\) in \(n\)-dimensional hypermetric projective Finsler spaces, i.e. \(\text{vol}_k(K) = \int_{A(n,n-k)} \sharp (E \cap K) d\eta_{n-k}(E)\) , \(k\in {1,\dots,n-1}\). (\( d\eta_{n-k}\) is a measure on the Borel sets of the space \(A(n,n-k)\) of \((n-k)\)-dimensional affine subspaces \(E\) in \(\mathbb{R}^n\).) For areas of codimension one, the hypermetric assumption can be omitted. This extends a result of \textit{R. Alexander} (\(k=1\)) [Metrics on \(\mathbb{R}^n\) which possess a Crofton formula, Am. Math. Soc. Not. 26 (1979)], which is related to Hilbert's Fourth Problem.