Remark 2
Tag 07OE, permanent. Cite it as [Bourbaki, Tag 07OE].
Topological Vector Spaces, III, p. 26, § 4. The Banach-Steinhaus theorem
Let E and F be two Banach spaces, and a sequence of continuous linear mappings from E into F such that . Then the set X of all such that is dense in E and is the intersection of a sequence of open sets in E. For, let denote the set of all such that (for k integer ). Each is open and X is the intersection of the . Since E is a Baire space, it is enough to show that each is dense in E. But, if the complement of contains a non-empty open set U, we would have for and, since is a neighbourhood of 0, we would have .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.