Induced representation and Frobenius reciprocityLet us take a pair of compact Lie groups.
Definition:is the space of square integrable functions
taking values in
and satisfying the covariance property:
Schematic notation:
Now we can prove Eq. (5):
The space
is a direct sum of finite-dimensional reps of
. Therefore,
can be interpreted as the multiplicity of
in
. (More precisely, the multiplicity of
in the component of
corresponding to the tensor in rep
)