4
$\begingroup$

Let $H_1,H_2,\dots,H_n$ be compact and convex sets in $\mathbb{R}^n$ such that $\bigcap_{j=1}^n H_j$ has non-empty interior and for each $i=1,2,\dots,n$ there exist at least one element $x \in H_i$ such that $x \not \in \bigcup_{j\not = i} H_j$. Can $\bigcap_{j=1}^n \partial H_j$ be a single point?

$\endgroup$
  • 3
    $\begingroup$ Maybe this works, take $n$ balls $B_i$ tangent to a single point such that $B_i \subset B_j$ for $i < j$, let's say of radius $1/i$, this example doesn't satisfy the the last condition, to get this, modify the spheres by cutting them along the meridian in two half spheres, adding long cylinders of length $100i$ at the meridians and then gluing the half spheres back, so each $B_n$ looks like a big pill. $\endgroup$ – shurtados Sep 12 '13 at 22:56
8
$\begingroup$

In ${\mathbb R}^3$, try three solid cones with different heights and the same base radius, axis and vertex (the vertex being the intersection of the three boundaries).

enter image description here

$\endgroup$
  • $\begingroup$ I was just about to post a similar answer. The same construction works for all $n \ge 1$. $\endgroup$ – Tapio Rajala Sep 13 '13 at 5:20
  • 1
    $\begingroup$ @Tapio: Hum, for $n=2$, it seems to me that one creates another component in the intersection of boundaries. Also, for $n=1$, you have one convex and compact set, whose boundary must have two points. So, this example should answer $n\ge 3$, and only $n=2$ looks unsettled. $\endgroup$ – Benoît Kloeckner Sep 13 '13 at 7:46
  • $\begingroup$ @Benoît: You are right. I was not careful enough. I missed $n=n$ (among other things...). $\endgroup$ – Tapio Rajala Sep 13 '13 at 9:07
  • 1
    $\begingroup$ In the case $n = 2$ the intersection of the two boundaries seems to always contain at least two points. $\endgroup$ – Tapio Rajala Sep 13 '13 at 9:17
  • $\begingroup$ That's excellent, thanks. I still feel there is something non-generic about this but clearly I need to work out what it is. $\endgroup$ – Roc Armenter Sep 13 '13 at 14:34
5
$\begingroup$

Yes: think of three closed balls in $\mathbb{R}^3$, such that the intersection of the boundaries of the first two balls is a small circle tangent to the boundary of the third ball from inside.

$\endgroup$
  • $\begingroup$ Thanks! But sorry, it turns out I can rule out this case: I have a condition stronger than the one I posted---did not realize I would needed as strong. Will edit right. $\endgroup$ – Roc Armenter Sep 12 '13 at 22:04
2
$\begingroup$

Yes it is possible. Here is a generic example: take $n$ red points, and one blue point in $\mathbf{R}^n$ so that the convex hull of these $n+1$ points has non-empty interior. In this interior take a green point. Now let $H_i$ be the convex hull of the blue point, the green point and the $n-1$ red points remaining after removing the $i$-th, and you obtain an adequate configuration.

If you do not like colours, consider $\tilde H_i$ the half space defined by $x_i \ge 0$ and consider $H_i$ the intersection of $\tilde H_i$ with the cube consisting of points whose coordinates are between $-1$ and $0$.

$\endgroup$
  • $\begingroup$ I'm confused by the colored example. Why isn't the line segment joining the blue and green points in the intersection of the boundaries? $\endgroup$ – Andreas Blass Sep 13 '13 at 14:35
  • $\begingroup$ I don't seem to be able to make this one work. Won't all sets $\partial H_i$ share both the blue and green point? $\endgroup$ – Roc Armenter Sep 13 '13 at 14:40
  • $\begingroup$ Oh, you are both right! Please assume that you do not like colours. :) I guess we can make this work by making the blue point also red and then removing 2 points each time, but points have to be choosed adequaltely so it is much less illuminating than the example with the half planes. $\endgroup$ – Michael Le Barbier Grünewald Sep 13 '13 at 15:51

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.