Planar sets closed under intersection of circles - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T22:47:30Z http://mathoverflow.net/feeds/question/97005 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/97005/planar-sets-closed-under-intersection-of-circles Planar sets closed under intersection of circles Denis Serre 2012-05-15T14:47:31Z 2012-05-18T07:56:31Z <p>Let $P$ be the plane with a point at infinity. By plane, I mean the Euclidian plane, and therefore it has circles. A line is also a circle, though its center is at infinity. If $A\subset P$ has cardinal $|A|=3$, there exists a unique circle (possibly a line) containing $A$; let me denote it $\Gamma_A$.</p> <p>Let me say that a subset $X$ of $P$ is <em>circularly stable</em> if it satisfies the following property:</p> <blockquote> <p>For every subset $A,B\subset X$ with $|A|=|B|=3$ and $\Gamma_A\ne \Gamma_B$, the intersection of $\Gamma_A$ and $\Gamma_B$ is included in $X$.</p> </blockquote> <p>Every non-colinear $X$ with $|X|\le4$ is circularly stable. A line or a circle is circularly stable, and $P$ itself is so too. If $X$ has a non-void interior, then $X=P$. </p> <blockquote> <p><strong>Q</strong>: What can look like a circularly stable subset $X$ of the plane ? For instance, is it true that if $|X|\ge5$ and $X$ is circularly stable, then $X$ is dense in $P$, or $X$ is a line or a circle ?</p> </blockquote> <p><em>Motivation</em>: In classical geometry, one may wander what are the continuous maps $f:P\rightarrow P$ which transform circles or lines into circles or lines. If the guess above is true, then $f$ is completely determined by the images of $5$ non-colinear points.</p> http://mathoverflow.net/questions/97005/planar-sets-closed-under-intersection-of-circles/97010#97010 Answer by Gjergji Zaimi for Planar sets closed under intersection of circles Gjergji Zaimi 2012-05-15T15:09:05Z 2012-05-16T17:37:27Z <p>Send one of the points to infinity by a Mobius tranformation. Your set of points now has the property that the intersection of any two lines passing from pairs of points in the set is also in the set. Such configurations are either all collinear, dense in the plane, or one of these two exceptional cases:</p> <ul> <li>A point together with a collection of points in a line</li> <li>The four vertices of a parallelogram and the intersection of its diagonals.</li> </ul> <p>The first case cannot be circularly stable as soon as $|X|\geq 6$. This is because if we let $P$ be the apex and $A,B,C,D$ be collinear points in that order, then the circumcircles of $PAC$ and $PBD$ intersect in a point not in $X$. We conclude that if $|X|\geq 7$ and $X$ is circularly stable, then either $X$ is collinear or it is dense in the plane.</p> <p>To classify all circularly stable sets with $|X|=6$ that are not collinear we must be in the second case above. Let the points be $A,B,C,D$ as vertices of the parallelogram and $O$ the intersection of the diagonals. Now, the circumcircle of $ABC$ and the line $BD$ must intersect at $D$ so $ABCD$ is inscribed in a circle, i.e. is a rectangle. Now looking at the circumcircle of $ABO$ and the line $BC$ we must have $BC$ tangent to this circumcircle so $ABCD$ must be a square. It's easy to check that a square, its center and the point at infinity form a circularly stable set.</p> <p>There are no circularly stable sets with $|X|=5$ that are not collinear. If there were it would come from the first case. We have the apex $A$ and three collinear points $B,C,D$. The circumcircle of $ABD$ and the line $AC$ intersect in a different point, contradiction. On the other hand, as you mention in the OP, any set with $|X|\le 4$ is circularly stable.</p> <p>The result I used above is proved in <a href="http://www.sciencedirect.com/science/article/pii/S0925772103000750" rel="nofollow">"A dense planar point set from iterated line intersections"</a> by D. Ismailescu and R. Radoicic.</p>