Example
Tag 0B0E, permanent. Cite it as [Bourbaki, Tag 0B0E].
General Topology, chapter I, § 2. Continuous functions
\* In Hilbert space consisting of sequences of real numbers such that
the neighbourhoods of a point in the strong topology on are the sets which contain an open ball centred at ; the neighbourhoods of in the weak topology on are the sets containing a set defined by a relation of the form , where the are points of and
if and . Now if , the relation implies that for ; hence the strong topology on is finer than the weak topology. On the other hand, given any finite family of points of , there are points in such that for and such that is arbitrarily large; this shows that the strong topology is strictly finer than the weak topology. \*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.