Published online by Cambridge University Press: 22 January 2016
The theory of integral geometry has mainly treated identities between integral invariants of submanifolds in Riemannian homogeneous spaces like as dμg(g) where M and N are submanifolds in a Riemannian homogeneous spaces of a Lie group G and I(M ∩ gN) is an integral invariant of M ∩ gN. For example Poincaré’s formula is one of typical identities in integral geometry, which is as follows. We denote by M(R2) the identity component of the group of isometries of the plane R2 with a suitable invariant measure μM(R2).