Editing Convex set (section)

=== Convex hulls of Minkowski sums ===
Minkowski addition behaves well with respect to the operation of taking convex hulls, as shown by the following proposition:

Let {{math|''S''<sub>1</sub>, ''S''<sub>2</sub>}} be subsets of a real vector-space, the [[convex hull]] of their Minkowski sum is the Minkowski sum of their convex hulls
<math display=block>\operatorname{Conv}(S_1+S_2)=\operatorname{Conv}(S_1)+\operatorname{Conv}(S_2).</math>

This result holds more generally for each finite collection of non-empty sets:
<math display=block>\text{Conv}\left ( \sum_n S_n \right ) = \sum_n \text{Conv} \left (S_n \right).</math>

In mathematical terminology, the [[operation (mathematics)|operation]]s of Minkowski summation and of forming [[convex hull]]s are [[commutativity|commuting]] operations.<ref>Theorem&nbsp;3 (pages&nbsp;562–563): {{cite journal|first1=M.|last1=Krein|author-link1=Mark Krein|first2=V.|last2=Šmulian|year=1940|title=On regularly convex sets in the space conjugate to a Banach space|journal=Annals of Mathematics |series=Second Series| volume=41 |issue=3 |pages=556–583|jstor=1968735|doi=10.2307/1968735}}</ref><ref name="Schneider">For the commutativity of [[Minkowski addition]] and [[convex hull|convexification]], see Theorem&nbsp;1.1.2 (pages&nbsp;2–3) in Schneider; this reference discusses much of the literature on the [[convex hull]]s of [[Minkowski addition|Minkowski]] [[sumset]]s in its "Chapter&nbsp;3 Minkowski addition" (pages&nbsp;126–196): {{cite book|last=Schneider|first=Rolf|title=Convex bodies: The Brunn–Minkowski theory|series=Encyclopedia of mathematics and its applications|volume=44|publisher=Cambridge&nbsp;University Press|location=Cambridge|year=1993|pages=xiv+490|isbn=0-521-35220-7|mr=1216521|url=https://archive.org/details/convexbodiesbrun0000schn}}</ref>