Let Λ be a finite set and V⊂CΛ a compact convex subset. Then V is polynomially convex. In fact, let W be the polynomially convex envelope of V. Let us prove that W⊂V, which will imply the assertion. Let x∈CΛ−V. There exists a real hyperplane H in CΛ which strictly separates x and V (EVT, II, p. 41, Prop. 4). Let fR be an R-linear form on CΛ and α∈R such that H is the set of y∈CΛ satisfying fR(y)=α. Let f be a linear form on CΛ such that fR=R(f). We therefore have
R(f(x))> supy∈VR(f(y)).
For every t∈R and y∈V, let us set ft(y)=t+f(y). We have ∣ft∣−R(ft)→0 in C(CΛ,R) endowed with the topology of compact convergence when t→+∞. For t sufficiently large, it follows that ∣ft(x)∣> supy∈V∣ft(y)∣ since V is compact. Thus x∈CΛ− W since ft is a polynomial function.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.