Example 2
Tag 07IR, permanent. Cite it as [Bourbaki, Tag 07IR].
Topological Vector Spaces, II, p. 54, § 7. Extremal points and extremal generators
In the normed space of bounded sequences of real numbers (I, p. 4) the extremal points of the unit ball are the points such that for all . For, suppose that we had for all and for one index . We can then write
where (resp. ) is the point all of whose coordinates are equal to the coordinate of with the same index, except in the case of index where the coordinate is equal to 1 (resp. ). This shows that is not extremal, since we have and . Conversely, if for all , then is extremal, for the relation with and implies .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.