Corollary
Tag 07CG, permanent. Cite it as [Bourbaki, Tag 07CG].
Topological Vector Spaces, II, p. 19, § 2. Convex sets
Every convex function f defined over an open convex set X in is continuous in X.
We can suppose that X is not empty. Then there exist, in X, affinely independent points () and the convex envelope of these points, S, contains the open non-empty set formed of the points with for all and . By II, p. 17, prop. 20, is bounded above in S and therefore is continuous.
In a topological vector space of infinite dimensions there exist, in general, linear non-continuous forms (II, p. 80, exerc. 25) and thus convex functions that are not continuous at any point.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.