Bourbaki

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 Rn\mathbf{R}^n is continuous in X.

We can suppose that X is not empty. Then there exist, in X, n+1n + 1 affinely independent points aia_i (0≤i≤n0 \leq i \leq n) and the convex envelope of these points, S, contains the open non-empty set formed of the points ∑i=0nλiai\sum_{i=0}^n \lambda_i a_i with 0<λi<10 < \lambda_i < 1 for all ii and ∑i=0nλi=1\sum_{i=0}^n \lambda_i = 1. By II, p. 17, prop. 20, ff 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.

Cites

Transcribed from the printed volume. Not translated.