How does one proof the closeness in this case?
the questions is show that is closed and convex if is.
= {x : x = + y for some y in }
To prove that is convex i did this:
Let be in , then
and
, in .
thus,
but we know that is convex so
is in
thus
is in .
but how does one prove that is closed?