Proposition 11
Tag 07BQ, permanent. Cite it as [Bourbaki, Tag 07BQ].
Topological Vector Spaces, II, p. 11, § 2. Convex sets
Let be a family of convex cones in E; the convex cone generated by the union of the is identical with the set of points , where J is any finite subset of I and for all .
In fact, it is obvious that C, the set of such points, is a convex cone containing the union of the , and that it is contained in any convex cone which contains this union.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.