A new expression for the density of totally geodesic submanifolds in space forms, with stereological applications

Integral section formulae for totally geodesic submanifolds (planes) intersecting a compact submanifold in a space form are available from appropriate representations of the motion invariant density (measure) of these planes. Here we present a new decomposition of the invariant density of planes in space forms. We apply the new decomposition to rewrite Santaló's sectioning formula and thereby to obtain new mean values for lines meeting a convex body. In particular we extend to space forms a recently published stereological formula valid for isotropic plane sections through a fixed point of a convex body in R³.