# Unit Ball

• Jan 28th 2010, 07:55 AM
Showcase_22
Unit Ball
Quote:

Prove that the set $\displaystyle G=\{(x_1,x_2) \ : |x_1|^{\frac{1}{3}}+|x_2|^{\frac{1}{3}} \leq 1 \}$ is not a unit ball in any metric induced by a norm on $\displaystyle \mathbb{R}^2$.
I think this has something to do with convexity. The shape of this is like a star and is convex. Is this a necessary condition for a ball?
• Jan 28th 2010, 02:22 PM
Drexel28
Quote:

Originally Posted by Showcase_22
I think this has something to do with convexity. The shape of this is like a star and is convex. Is this a necessary condition for a ball?

Forget the open ball for a second. What characteristic of a norm would be violated by this picture?
• Jan 28th 2010, 10:41 PM
Showcase_22
$\displaystyle ||\lambda x||=|\lambda x_1|^{\frac{1}{3}}+|\lambda x_2||^{\frac{1}{3}} \neq \lambda |||x||$

So it could never be a norm!

Returning to the idea of convexity, does convexity have any relation to a set being an open ball or not?

Thankyou!
• Jan 29th 2010, 07:00 AM
Drexel28
Quote:

Originally Posted by Showcase_22
$\displaystyle ||\lambda x||=|\lambda x_1|^{\frac{1}{3}}+|\lambda x_2||^{\frac{1}{3}} \neq \lambda |||x||$

So it could never be a norm!

Returning to the idea of convexity, does convexity have any relation to a set being an open ball or not?

Thankyou!

What does convexity mean in this sense? Do you mean that the ball has "dips" in it?
• Jan 29th 2010, 07:04 AM
Showcase_22
Yes.

I was talking to one of my friends today and he said that open ball $\displaystyle \Rightarrow$ Convexity. No other properties link the two.

Is this true? It's just that it would be very helpful if there was a stronger statement that could be used!
• Jan 29th 2010, 07:07 AM
Drexel28
Quote:

Originally Posted by Showcase_22
Yes.

I was talking to one of my friends today and he said that open ball $\displaystyle \Rightarrow$ Convexity. No other properties link the two.

Is this true? It's just that it would be very helpful if there was a stronger statement that could be used!

My point is that the way you defined convexity can only be determined (visually since that is how you are describing it) in $\displaystyle \mathbb{R}^2,\mathbb{R}^3$. If I asked you a similar question for the Banach space $\displaystyle \mathcal{C}\left[X,\mathbb{C}\right]$ where $\displaystyle X$ is some arbitrary metric (or even topological) space I doubt you could graph it and tell me whether or not it's "convex"