Proposition 1
Tag 077X, permanent. Cite it as [Bourbaki, Tag 077X].
Topological Vector Spaces, chapter I, § 1. Topological vector spaces
— For all and every point , the mapping of in itself is continuous. Further, if , this mapping is a homeomorphism of on itself.
The second part of the proposition is a result of the fact that if , then is the inverse mapping of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.