1
$\begingroup$

I've proven that for $1 \leq p < q \leq \infty$, then $\|x\|_q \leq \|x\|_p \leq n^\frac{1}{p}\|x\|_q$. How can I use this to show that if a set $A\subseteq\mathbb{R}^n$ is open with respect to the $d_2$ metric if and only if it is open with respect to the $d_p$ metric for $1 \leq p \leq \infty$?

One idea I have is to compare two balls in $A$: $B^2_r(a) = \{x\in A|d(x,a) < r_2\}$ (for the $d_2$ metric), and $B^p_r(a) = \{y\in A|d(y,a) < r_p\}$ (for the $d_p$ metric). I'm not sure where to go from here, though; should I try to show that for $p > 2, B^2_r(a) \subseteq B^p_r(a)$ and vice-versa for $p \leq 2$? Or perhaps I should compare the radii $r_2$ and $r_p$? I'm starting to think it's not so helpful to compare two balls centered around the same point...

  • 3
    Your idea is right, and you're really almost there. Keep at it!2011-10-31
  • 3
    Maybe you could think about how the definition of "open set" relates to balls.2011-10-31
  • 0
    I played around with the inequalities for a while. Since $\|x\|_q \leq \|x\|_p$ when $p < q$, I considered the case where $2 < p$ to find that $\|y - a\|_p \leq \|x - a\|_2 < r_2$. This seems like a good development. In the case where $p \leq 2$, this means that $\|x - a\|_2 \leq \|y - a\|_p \leq n^\frac{1}{p}\|x - a\|_2 \rightarrow \|y - a\|_p \leq n^\frac{1}{p} \|x - a\|_2 \leq n^\frac{1}{p}r^2$. I'm not sure how to deal with this one though...2011-11-01

1 Answers 1