Averaging Inner Products identifies a structural feature of compact Lie groups and their representations. In concrete terms, it formalizes the statement that let be a compact Lie group, let be a finite-dimensional complex :G GL(V)1 on such that, for every and all , ((h)v,(h)w)V=(v,w)V..