Rotational Crofton formulae with a fixed subspace

The classical Crofton formula explains how intrinsic volumes of a convex body K in n-dimensional Euclidean space can be obtained from integrating a measurement function at sections of K with invariantly moved affine flats. Motivated by stereological applications, we present variants of Crofton's formula, where the flats are constrained to contain a fixed linear subspace L, but are otherwise invariantly rotated. This main result generalizes a known rotational Crofton formula, which only covers the case dim⁡L=0. The proof combines a suitable Blaschke–Petkantschin formula with the classical Crofton formula. We also argue that our main result is best possible, in the sense that one cannot estimate intrinsic volumes of a set, based on lower-dimensional sections, other than those given by our result. Finally, we provide a proof for a well-established variant: an integral relation for vertical sections. Our formula is stated for intrinsic volumes of a given set, complementing the classical approach for Hausdorff measures.