существование достаточной системы линейных представлений компактных групп Ли. В этом случае инвариантное интегрирование (а значит, и среднее) устанавливается непосредственно. Построено

http://libmeta.ru/resource/mathenc/publication/p8388