Induced representation and Frobenius reciprocity

Let 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):