ボレル測度
where formula_78 is an even positive Borel measure on a sphere formula_79.