In mathematics, Dieudonné's theorem, named after Jean Dieudonné, is a

theorem In mathematics, a theorem is a statement that has been proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of ...

on when the

Minkowski sum In geometry, the Minkowski sum (also known as dilation) of two sets of position vectors ''A'' and ''B'' in Euclidean space is formed by adding each vector in ''A'' to each vector in ''B'', i.e., the set : A + B = \. Analogously, the Minkowsk ...

closed set In geometry, topology, and related branches of mathematics, a closed set is a set whose complement is an open set. In a topological space, a closed set can be defined as a set which contains all its limit points. In a complete metric spac ...

s is closed.

Statement

Let

X

be a

locally convex space In functional analysis and related areas of mathematics, locally convex topological vector spaces (LCTVS) or locally convex spaces are examples of topological vector spaces (TVS) that generalize normed spaces. They can be defined as topological ...

and

A,B \subset X

nonempty closed

convex set In geometry, a subset of a Euclidean space, or more generally an affine space over the reals, is convex if, given any two points in the subset, the subset contains the whole line segment that joins them. Equivalently, a convex set or a convex ...

s. If either

A

B

locally compact In topology and related branches of mathematics, a topological space is called locally compact if, roughly speaking, each small portion of the space looks like a small portion of a compact space. More precisely, it is a topological space in which e ...

and

\operatorname(A) \cap \operatorname(B)

(where

\operatorname

gives the

recession cone In mathematics, especially convex analysis, the recession cone of a set A is a cone containing all vectors such that A ''recedes'' in that direction. That is, the set extends outward in all the directions given by the recession cone. Mathematic ...

) is a linear subspace, then

A - B

is closed.

References

Convex analysis Theorems in functional analysis {{topology-stub