proof that the convex hull of is open if is open
Let be an open set in some topological vector space![]()
. For any sequence of positive real numbers with define
Then since addition and scalar multiplication are both open maps, each is open. Finally, the convex hull![]()
is clearly just
which is therefore open.