## convex hull of finite set is compact [closed]

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

In a Banach space, is the convex hull of finite set compact?

-

17
The convex hull of a set of $n$ points is the image of the $n$-simplex in $\mathbb R^n$ under a continuous function, so yes. – Mariano Suárez-Alvarez Apr 26 2010 at 5:46

4
Mariano: do you want to write this as an answer (community wiki if you wish) so I can vote it up? I think it's slightly more to the point than Pete's answer (no offence, Pete!) which works fine but I think is slightly over-elaborate. To be fair, the same idea underlies both. – Yemon Choi Apr 26 2010 at 8:05

4
I am also not keen on questions which give little to no indication of (a) why the questioner wants to know (b) what they've tried doing (c) what level they are at. – Yemon Choi Apr 26 2010 at 8:06

1
@Yemon: I agree so much that I deleted my answer. – Pete L. Clark Apr 26 2010 at 16:58

## 5 Answers

Suppose $X$ is your Banach space and let $\{x_1,\dots,x_n\}$ be a finite subset of $X$. Let $$S=\{(t_1,\dots,t_n)\in\mathbb R^n:t_1,\dots,t_n\geq0,\,t_1+\cdots+t_n=1\}$$ be the standard simplex in $\mathbb R^n$. The map $$\phi:(t_1,\dots,t_n)\in S\mapsto t_1x_1+\cdots+t_nx_n\in X$$ is evindently continuous and its image is $\mathrm{conv}\{x_1,\dots,x_n\}$. Since $S$ is compact, so is $\mathrm{conv}\{x_1,\dots,x_n\}$.

-
Just to make perfectly clear what is used in the proof: $\phi$ is continuous because $X$ is a topological vector space and $S$ is compact as $X$ is a separated space. – Torsten Ekedahl Apr 26 2010 at 15:46

2
$S$ is compact because it is closed and bounded in $\mathbb R^n$, rather! :) – Mariano Suárez-Alvarez Apr 26 2010 at 15:48
Sorry, misread I thought $S$ was the image. – Torsten Ekedahl Apr 26 2010 at 16:48

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Of course yes: the n points lie in the finite-dimentional linear subspace generated by themselves (remember that any norm, when restricted to a finite-dimensional linear subspace, gives rise to the same topology on that space).

-

Actually, the convex hull of a sequence of points $(x_n)$ is (relatively) compact when $x_n\rightarrow 0$, and this easily gives a positive answer to your question (but is somewhat overkill). In fact, a closed convex set K in a Banach space is compact if and only if it's contained in the closed convex hull of a sequence $(x_n)$ with $x_n\rightarrow 0$. See, for example, Lindenstrauss and Tazfriri, vol I, Proposition 1.e.2.

-

Actually, the statement in the question holds for all topological vector spaces, not just Banach spaces. The generalisation here does not apply so widely. I think you need local convexity. – George Lowther Nov 4 2011 at 12:21

Just apply Induction for finite dim spaces with Dim (n points).

-

Sorry, but I did not answer the question as well as another one, ever. I do not understand why this "Just apply Induction for finite dim spaces with Dim (n points)." appeared as my answer... Oleg Reinov

-

You should contact the moderators if there is an identity problem. – S. Carnahan♦ Nov 5 2011 at 1:46
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 21, "mathjax_display_tex": 2, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9401573538780212, "perplexity_flag": "middle"}