On orthogonal projectors induced by compact groups and Haar measures

We study the difference of two orthogonal projectors induced by compact groups of linear operators acting on a vector space. An upper bound for the difference is derived using the Haar measures of the groups. A particular attention is paid to finite groups. Some applications are given for complex matrices and unitarily invariant norms. Majorization inequalities of Fan and Hoffmann and of Causey are rediscovered.