Remark
Tag 09AX, permanent. Cite it as [Bourbaki, Tag 09AX].
Integration, chapter VI, § 2. Vectorial measures . "
— It is clear that the mappings are continuous for every -topology on ( a covering of by bounded subsets). Conversely, if is assumed moreover to be barreled, then every continuous linear mapping of into equipped with an -topology transforms the unit ball of into a bounded subset of , which is therefore equicontinuous (TVS, III, §4, No. 2, Th. 1).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.