Remark 2
Tag 07G2, permanent. Cite it as [Bourbaki, Tag 07G2].
Topological Vector Spaces, II, p. 40, § 5. Separation of convex sets
Suppose further that is a closed convex cone with vertex 0 and that is positively homogeneous. Then is the upper envelope of a family of functions which are the restrictions to of continuous linear forms in . For, let be a family of continuous affine linear functions in of which the restrictions to have as their upper envelope. Put , where , and where is a continuous linear form in . We have . On the other hand, if , we have for every ,
therefore in so that is the upper envelope of the .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.