I was reading the proof of Isodiametric inequality in the book by Evans and Gariepy. As a remark they said that the set, say A, is not necessarily contained in a ball of diameter diamA. I thought every set has to be contained in a ball of radius the diam of the set. Can some one explain this to me?
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
1
1
|
|||||||||||||||||
|
|
8
|
I don't know what the isodiametric inequality is, but I think I can answer your question. It's true that any set A is contained in a ball of radius diam(A). In fact, by the definition of diameter, any ball of radius diam(A) centered at a point of A must contain A. But A need not be contained in a ball of diameter diam(A). For example, take A to be an equilateral triangle in the plane, with side-length 1. The diameter of this set is 1, but it is not contained in any ball of diameter 1. If it were, one of the sides of the ball would have to pass through the center of the ball (so that the ball contains to two endpoints), but then the other vertex is not in the ball. |
||||||||
|
You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.
|
5
|
Regarding the question of the worst case: Jung's Theorem states that every set of diameter $d$ in $n$-dimensional Euclidean space is contained in a ball of radius $\le d \sqrt{\frac{n}{2n+2}}$, and that this is best possible. Equality is attained by the regular $n$-dimensional simplex. |
|||
|
|
|
1
|
Consider an equilateral triangle of edge length 1.
|
|||
|
|
1
|
As people have said, obviously in general you don't have A contained in the ball of diameter diamA, more clearly r=diam A/2. What you can have immediately is A contained in the ball of of radius diam A, i.e. r= diamA. In the proof of Evans - Gariepy, they use Steiner symmetry lemma, meaning that for any set A Lebesgue measurable, you take any line d. You try to make the set to be symmetric w.r.t. the line d but keep the same volume (this can be make by using Fubini's theorem). It's not so hard to show that, by doing that procedure, the volume remains the same while diamA decreases (philosophically it's correct since make somethings more round, more nice will decrease the diameter). After using Steiner symmetry lemma for the n axis e_1,...,e_n, you will have the new object, name A' that is symmetric w.r.t. e_1,...,e_n and |A|=|A'| while diamA' \le diamA. Notice that A' need not to be the sphere, it can have some diamond shape for example. But, the nice thing is A' \subset B(0,diamA'/2). So, we get the result. |
||
|
|
|
0
|
For a really nice survey of the isodiametric problem for polygons, and a lot of cool examples and calculations see a recent paper of Mike Mossinghoff http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.2301 "Isodiametric Problems for Polygons" |
||
|
|
