[Math] How to prove that the ball is convex.

convex-analysisreal-analysis

I want to conclude that $B_r(x_0)$ is convex from the fact that $B_1(0)$ is convex. So I was trying to use the answer provided here Proving that closed (and open) balls are convex

But the thing is that I don't know how to conclude, I think that they may be need that $B_1(0)$ is convex to get the result. Can someone help me to get this result please?

Thanks a lot in advance.

Best Answer

Let $C\subseteq \Bbb R^n$ be convex, let $f\colon \Bbb R^n\to\Bbb R^n$ be an affine linear map (i.e., $f(x)=Ax+b$ with an $n\times n$ matrix $A$ and $b\in\Bbb R^n$). Then $f(C)$ is convex. Indeed, if $x,y\in f(C)$, say $x=f(u), y=f(v)$, then any convex combination $tx+(1-t)y$, $0\le t\le 1$, is also in $f(C)$, namely $$\begin{align}f(tu+(1-t)v)&=A(tu+(1-t)v)+b\\&=tAu+(1-t)Av+tb+(1-t)b\\&=t(Au+b)+(1-t)(Av+b)\\&=tx+(1-t)y.\end{align}$$

Now note that $B_r(x_0)$ is obtained from $B_1(0)$ by (linearly) scaling with $r$ and translating by $x_0$.

Related Question