Theorema Dieudonnéanum

Theorema Dieudonnéanum, ex Ioanne Dieudonné appellatum, in mathematica est theorema de casu ubi summa Minkowskiana copiarum clausarum clauditur.

Propositum theorematis

Datis copiis convexis clausis non vacuis $A,B\subset X$, spatium localiter convexum, si aut $A$ aut $B$ localiter sit compactum et $\mathrm{recc}(A)\cap \mathrm{recc}(B)$ (ubi $\mathrm{recc}$ conum recessionis dat) sit subspatium lineare, tum $A-B$ clauditur.