Proposition 8
Tag 09IU, permanent. Cite it as [Bourbaki, Tag 09IU].
Integration, VIII, p. 14, § 2. Linear representations of groups
The linear representation of in is continuous and isometric.
Let . When tends to in , tends to in , hence in . Since the are isometric, Prop. 8 is obtained by applying Remark 2 of No. 1.
For the case that is not assumed continuous, cf. §4, Exer. 13.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.