Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For $(\mathbb{R}^2,\|\cdot\|_2)$ and $(\mathbb{R}^2,\|\cdot\|_\infty)$ and any $x \in B((0,0),1,\|\cdot\|_2)$ how would you find a $\delta_x$ such that $B(x,\delta_x,\|\cdot\|_\infty) \subset B((0,0),1,\|\cdot\|_2)$ ?

share|cite|improve this question
Think about this picture and this one – t.b. Apr 7 '12 at 11:34
up vote 1 down vote accepted

Geometrically $B(x,\delta_x,\|\cdot\|_\infty)$ is a box of side length $2\delta_x$. The furthest a point in the box can be (in the Euclidean metric) from the point $x$ is at one of the corners, which is $\sqrt{2}\delta_x$ away from the midpoint. Thus we have an inclusion of balls $B(x,\delta_x,\|\cdot\|_\infty)\subseteq B(x,\sqrt{2}\delta_x,\|\cdot\|_2)$. Now the Euclidean distance from $x$ to the edge of the unit $\|\cdot\|_2$-ball is $1-\|x\|_2$, so we also have

$$B\left(x,t(1-\|x\|_2),\|\cdot\|_2\right)\subset B(O,1,\|\cdot\|_2)$$

for any $0<t<1$. Choosing such a $t$, we may set


so that we ultimately have

$$B(x,\delta_x,\|\cdot\|_\infty)\subseteq B(x,\sqrt{2}\delta_x,\|\cdot\|_2)=B\left(x,t(1-\|x\|_2),\|\cdot\|_2\right)\subset B(O,1,\|\cdot\|_2).$$

share|cite|improve this answer

Since for all $v\in\mathbb R^2$ we have $\lVert v\rVert_2\leq \sqrt 2\lVert v\rVert_{\infty}$, we have for all $x$ and $r>0$ that $B(x,\sqrt 2r,\lVert \cdot\rVert_{\infty})\subset B(x,r,\lVert \cdot\rVert_2)$, so we just need to find $r_x$ such that $B(x,r_x,\lVert \cdot\rVert_2)\subset B((0,0),1,\lVert\cdot\rVert_2)$ (then we will take $\delta_x=\sqrt 2r_x$). Check that $r_x=\frac{1-\lVert x}2$ works.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.