Bourbaki

Exercise 4, § 6

Topological Vector Spaces, II, p. 82

Let S, T be two finite sets in Rn\mathbf{R}^n, without common points, such that their union contains at least 2n+22n + 2 points. Then there exists a hyperplane separating S from T if, and only if, for every finite set F⊂S∪TF \subset S \cup T of 2n+22n + 2 points, there exists a hyperplane separating F∩SF \cap S from F∩TF \cap T (use exerc. 3 and the method of II, p. 78, exerc. 15).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.