Corollary 2

Tag 07NL, permanent. Cite it as [Bourbaki, Tag 07NL].

Topological Vector Spaces, chapter III, § 3. Spaces of continuous linear mappings

— Let E be a semi-normed space, and F a Banach (resp. Fréchet) space. The space $\mathscr{L}_b(E; F)$ is a Banach (resp. Fréchet) space. In particular, the dual of a semi-normed space is a Banach space.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.