The branch of geometry that relates measures and averaged geometric quantities through integral formulas and invariant measures, using group actions and probabilistic sampling to express lengths, areas, and other invariants as integrals over families of geometric objects.

Principle

Geometric quantities that are invariant under a symmetry group can be computed or represented as integrals over the group or over a parametrised family; canonical formulas (kinematic/Crofton type) reduce global measurements to averages of simple local intersections.

Demonstration

Crofton formula: the length of a planar curve can be expressed as an integral over the space of lines by averaging the number of intersections with those lines; an experimental demonstration is the Buffon needle probability that relates needle crossings to π.

Misapplication

Applying integral-geometric formulas to sets without a suitable invariant measure or to non-measurable subsets, or using averaging formulas when the assumed group action is not transitive, which yields incorrect measurements or divergent integrals.

Consequence

When applied correctly, integral geometry produces explicit formulas for expected measures, provides stereological methods to infer volumetric quantities from slices, and connects geometric invariants to representation-theoretic data of symmetry groups.

Reversal

Discrete or combinatorial geometry focuses on exact counts and combinatorial structure of finite configurations rather than averaged or measure-theoretic descriptions of geometric quantities.

Boundary

Applies where a suitable σ-finite invariant measure and a parametrised family of probes exist (Euclidean, spherical, hyperbolic settings, or homogeneous spaces); excludes purely topological invariants, non-measurable pathologies, and many fractal sets without adapted measures.

Semantic Tension

Tension arises with stochastic geometry: integral geometry emphasises deterministic integral formulas and group invariance, while stochastic approaches emphasise random processes and point processes, producing overlapping but distinct statements.

Synthesis

Integral geometry unifies symmetry, measure, and averaging: by integrating intersection counts or local probes over a symmetry group or family, one converts geometric measurement problems into computable integrals that reveal global invariants and expected values.