Can planar set contain even many vertices of every unit equilateral triangle?

Is there a nonempty planar set that contains 0 or 2 vertices from each unit equilateral triangle?

I know that such a set cannot be measurable. In fact, my motivation is to extend a Falconer-Croft proof that works for measurable sets, see the details here. In more general, to make their proof work for other sets besides equilateral triangles, one can ask the following.

Suppose we are given two sets, S and A in the plane, such that S is finite, with a special point, s0, while neither A nor its complement is a null-set, i.e., the outer Lebesgue measure of A and Ac=R2A are both non-zero. Can we find two congruent copies of S, f1(S) and f2(S), such that f11(f1(S)A)Δf12(f2(S)A)={s0}, i.e., s0 is the only element of S that goes in to/out of A when we go from S1 to S2?


I am probably misunderstanding something. Let me suppose a non empty planar set with the property, and that point A is in the set. Pick a unit equilateral triangle having A as a vertex, and also B and C.

Then exactly one of B and C is in the set. If we pick unit equilateral triangle BCD, then D (short for Different from A) must be in the set with A. So if A is in the set, then every point with distance r (where r^2 is 3) from A is in the set.

The contradiction comes from picking arbitrary point X and stepping to it from A using steps of length r, which I leave to you.

Afterthought For your more general question, I would consider studying the following scheme, which may be in the literature: Given S, consider A-colorings of S. These are labellings of S depending on your allowed coloring scheme. For the general problem above, let red correspond to “out of A”, green to “not out of A”, and you color according to how you transform S to a domain containing A. For the problem above, you color a triplet corresponding to the appearance of vertices of a unit equilateral triangle inside or outside the set A.

Now a challenging problem is to determine what A-colorings are interesting/feasible, when you put restrictions on the set of transforms of S. You want to find two colorings which differ precisely at the point s0. You may be able to prove existence by cardinality considerations on the set of all allowed A-colorings.

Gerhard “Please Show Me What’s Wrong” Paseman, 2019.08.18.

Source : Link , Question Author : domotorp , Answer Author : Gerhard Paseman

Leave a Comment