2
$\begingroup$

Let $T$ be a surjective, continuous linear operator between two Banach spaces $E$ and $F$. Assume that it is $B_F(y_0,4c)\subset \overline{T(B_E(0,1))}$, where $c>0$, $y_0 \in F$ ($B$ is for "ball", the line means "closure"). Using Minkowski addition, we get

$ B(0,4c) \subset \overline{T(B_E(0,1))} + \overline{T(B_E(0,1))}. $

Is $B(0,4c)$ included in the single $\overline{T(B_E(0,1))}$ too?

  • 0
    The proof goes on by proving that $B(0,4c) \subset \overline{T(B_E(0,1))} + \overline{T(B_E(0,1))}$ implies $B(0,4c) \subset 2\overline{T(B_E(0,1))}$ (applying convexity) and so $B(0,2c) \subset \overline{T(B_E(0,1))}$. But I was not interested in the final result (contained in your message), I just want to know if the inclusion holds if we consider just one $\overline{T(B_E(0,1))}$.2012-07-14

1 Answers 1

2

Yes. More generally, the following is true: if $K$ is a convex centrally symmetric subset of a normed space and $B(y,r) \subset K$, then $B(0,r) \subset K$.

Indeed, by symmetry we have $B(-y,r) \subset K$. If $z\in B(0,r)$ then both $z+y$ and $z-y$ belong to $K$. By convexity $z\in K$.

I guess the reason people usually don't bother with this argument is that the Minkowski sum approach is quicker.