“Area metric” and “Hausdorff metric” are not equivalent on all closed polygons, but equivalent on convex closed polygonsSuppose X is the set of all closed polygons, d Δ is the “area metric” defined by the area sum of the symmetric difference of two closed polygons, and dH is the Hausdorff metric on X. How should I prove that d Δ and d H do not generate the same topology on X? Also why do they generate the same topology on the subset of convex polygons? I tried to visualize how a typical open ball in both metrics looks but this seems rather impossible.

Question

“Area metric” and “Hausdorff metric” are not equivalent on all closed polygons, but equivalent on convex closed polygonsSuppose X is the set of all closed polygons,       d    Δ   is the “area metric” defined by the area sum of the symmetric difference of two closed polygons, and dH is the Hausdorff metric on X. How should I prove that       d    Δ   and       d    H   do not generate the same topology on X? Also why do they generate the same topology on the subset of convex polygons? I tried to visualize how a typical open ball in both metrics looks but this seems rather impossible.

Ismailatirf · Accepted Answer

Step 1I can show you a sequence       Y    n   that converges to   Y  =  [  −  1  ,  0      ]    2   in the area metric, but not in the Hausdorff metric. Near the points   (      k    n    ,  0  ),   k  =  1  ,  …  ,  n  −  1, consider a triangular spike of height 1 and area       1          n      2      , for example the triangle with vertices   (      k    n    −      1          n      2        ,  0  )  ,  (      k    n    ,  1  )  ,  (      k    n    +      1          n      2        ,  0  ). Define       Y    n   as the union of Y and these triangles. Then the distance between       Y    n   and Y in the area metric tends to zero, but the distance in the Hausdorff metric does not.For the positive result, try to consider two convex polygons and try to bound the difference of their areas in terms of the Hausdorff distance and vice versa. Even if the metrics are not equivalent, that may be an easier approach to showing the topologies are the same than considering open balls.Step 2For example, if you have two sets whose Hausdorff distance is small, you have       A    1    ⊂      B    ϵ    (      A    2    ) and vice versa. This means that       A    1              Δ            A    2    ⊂      B    ϵ    (      A    1    )  ∖      A    1    ∪      B    ϵ    (      A    2    )  ∖      A    2  , and the area of that set is bounded by   C  ϵ times the perimeter of       A    1  .On the other hand, if two convex polygons have positive Hausdorff distance, you need to show their area distance can&#039;t be arbitrarily small. I can visualise why that should be true, but I can&#039;t give you an even semi-formal proof at the moment.

Answered question

Answer & Explanation

New Questions in High school geometry