Rådström's embedding theorem

In functional analysis, Rådström's embedding theorem is a result related to the set of compact and convex subsets of a normed vector space. It states that such sets can be isometrically embededded into a convex cone in another normed vector space.

The theorem is an important result in that it shows that this family of sets has natural linear and metric structures, which allows for simpler algebraic manipulations via the embedding. It was first proven by Hans Rådström in 1952.

An extension of Rådström's result to locally convex topological vector spaces, known as the Hörmander embedding theorem, was proven by Lars Hörmander in 1954.