Example 2
Tag 07MN, permanent. Cite it as [Bourbaki, Tag 07MN].
Topological Vector Spaces, III, p. 14, § 3. Spaces of continuous linear mappings
If is the set of compact (resp. precompact, compact convex) subsets, then the -topology is called the topology of compact (resp. precompact, compact convex) convergence and the space is also denoted by (resp. , ). (Cf. IV, p. 48, exerc. 7.)
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.