Remark 2
Tag 0CDK, permanent. Cite it as [Bourbaki, Tag 0CDK].
General Topology, chapter X, § 3. Special function spaces
The set of linear (necessarily continuous) mappings of into can be identified with the set of matrices with rows and columns with coefficients in and hence can be identified with ; on , the uniformity of bounded convergence (with respect to the Euclidean metric on ), of compact convergence, and of pointwise convergence are then identified with the additive uniformity on . Take the norm of to be
and let be the canonical basis of ; if and are two linear mappings of into such that for , then we have for each pair [ and being the matrices of respectively]; and conversely, if these inequalities are satisfied, we have for every point of a cube of centre o and side in .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.