Proposition 5
Tag 09IR, permanent. Cite it as [Bourbaki, Tag 09IR].
Integration, VIII, p. 12, § 2. Linear representations of groups
Suppose that each function is bounded. Then leaves stable, and the linear representation of G in is continuous.
It is clear that leaves stable and that each of the is continuous in . On the other hand, for every , is a continuous mapping of G into and a fortiori into . Therefore the representation in is continuous (No. 1, Prop. 2).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.