Aquí está la respuesta a la generalización de la forma de su pregunta en el caso de conjuntos acotados. Como resulta que, en el supuesto de convexidad es innecesario.
La proposición. Deje $A\subseteq\Bbb R^2$ ser un conjunto acotado, tal que para cada par de puntos distintos $x,y\in A$ hay un punto de $z\in A$, de tal manera que $x,y,z$ son los vértices de un triángulo equilátero. A continuación, $A$ es uno de los siguientes:
- conjunto vacío,
- un conjunto que contiene un solo punto,
- el conjunto de vértices de algunos triángulo equilátero.
Prueba. Deje $A$ ser un conjunto que satisface la hipótesis de la proposición. Supongamos $A$ contiene más de un punto. Vamos a mostrar que, a continuación, $A$ debe ser el conjunto de vértices de algunos triángulo equilátero.
En primer lugar, vamos a probar la proposición en el caso que $A$ es cerrado. (Al final vamos a mostrar que el caso general sigue fácilmente de esto.) Así, supongamos $A$ es cerrado, es decir, $A$ contiene toda su límite de puntos. A continuación, $A$ es compacto, por lo que existen puntos de $a,b\in A$ tal que $$d(a,b)=\operatorname{diam}A=\sup\lbrace d(x,y)|\text{ }x,y\in A\rbrace,$$
donde $d$ es la métrica en $\Bbb R^2$ $\operatorname{diam}$ es sinónimo de diámetro.
Deje $c$ ser un punto tal que $a,b,c$ son los vértices de un triángulo equilátero. Esta existe por la hipótesis. Deje $r=d(a,b)$ y deje $S=\overline{K}(a,r)\cap\overline{K}(b,r)\cap\overline{K}(c,r)$ donde $\overline{K}(x,r)$ denota la bola cerrada centrada en $x$ radio $r$. A continuación,$A\subseteq S$, porque de lo contrario tendríamos $\operatorname{diam} A>r$ que no es el caso. Por el camino, $S$ es un triángulo de Reuleaux:
Ya sabemos que $A$ contiene los vértices de este triángulo de Reuleaux. Vamos a demostrar que esto es todo lo que $A$ contiene. Vamos primero a definir algunos puntos más. Deje $a'$ ser el reflejo de $a$ a través de la línea a través de$b$$c$. Definir $b'$ $c'$ de forma análoga. (Como reflejos de $b$ $c$ a través de las líneas frente a ellos.) Vamos $$S_{a}:=S\setminus(\overline{K}(b',r)\cup\overline{K}(c',r))\\S_{b}:=S\setminus(\overline{K}(c',r)\cup\overline{K}(a',r))\\S_{c}:=S\setminus(\overline{K}(a',r)\cup\overline{K}(b',r))$$ Now, note that every point of $S\setminus\lbrace a,b,c\rbrace$ is contained in at least one of the sets $S_a,S_b,S_c$. So, to complete the proof in the case where $$ is closed, it suffices to show that $A\cap S_a=\emptyset,A\cap S_b=\emptyset$ and $A\cap S_c=\emptyset$, lo que vamos a hacer ahora.
En realidad, sólo podemos probar el caso de $S_a$. Los otros dos puede ser demostrado por una completamente simétrica argumento, así que les dejamos para el lector. Deje $x\in S_a$. Deje $u(x)$ ser el punto en que se forma un triángulo equilátero, junto con $a$$x$, por lo que el triángulo $a,x,u(x)$ está orientado hacia la derecha (es decir, negativamente). Deje $v(x)$ ser otro de los puntos que forman un triángulo equilátero con $a$$x$, es decir, $a,x,v(x)$ está orientado hacia la izquierda (positivamente). Esto define dos funciones $u:S_a\to\Bbb R^2$, $v:S_a\to\Bbb R^2$. Por definición, $u$ es una rotación alrededor del punto de $a$$-\frac{\pi}{3}$, e $v$ es la rotación alrededor del punto de $a$$\frac{\pi}3$.
Mediante la explotación de esta geometría, ahora uno puede ver fácilmente que $u$ gira el conjunto $S_a$ fuera de $S$, es decir,$u(S_a)\subseteq \Bbb R^2\setminus S$, y para $v$ el mismo es: $v(S_a)\subseteq \Bbb R^2\setminus S$. Pero esto significa que para cada una de las $x\in S_a$ el único vértices que se podría formar un triángulo equilátero con $x$ $a$ son de fuera de $S$, por lo tanto no $A$. Pero, a continuación, $x$ no puede ser un elemento de $A$. Aquí está una foto que muestra a $S_a$ (medio), y sus dos rotaciones (el triángulo de Reuleaux alrededor de $S_a$$S$, y la de dos rotaciones se encuentran fuera de $S$):
Esto completa la prueba de que el caso cerrado.
En el caso general de los acotados (no necesariamente cerrado) $A$, con al menos dos puntos, procedemos de la siguiente manera. Deje $\overline{A}$ es el cierre de $A$. Desde $\Bbb R^2$ es tan agradable (es decir, primero contables) de espacio, esto significa que $$\overline{A}=\lbrace x\in\Bbb R^2|\text{ there is a sequence } (x_n)_n\text{ with terms in } A\text{, such that } \lim_{n\to\infty}x_n=x\rbrace.$$ Now, clearly $A\subseteq\overline{A}$. Furthermore, $\overline{A}$ also satisfies the hypotheses of the proposition. To see this, let $x,y\in\overline{A}$. Then there are sequences $(x_n)_n$ and $(y_n)_n$ in $A$, such that $\lim_{n\to\infty}x_n=x$, $\lim_{n\to\infty}x_n=x$. But since $x_n,y_n\en Un$ for each $n$, we can associate a point $z_n\en$ to each pair $x_n,y_n\en A$ such that $x_n,y_n,z_n$ are the vertices of an equilateral triangle. Because $\overline{A}$ is compact, we can choose a subsequence of $(z_n)_n$ that converges to a point $z\in\overline{A}$. By continuity of the metric, $x,y,z$ again form an equilateral triangle. So, $\overline{A}$ indeed satisfies the hypotheses of the proposition and is therefore the set of vertices of some equilateral triangle. From this it easily follows that $\overline{A}=A$, which concludes the proof. $\square$
Esto demuestra, entre otras cosas, que no hay ninguna función continua $f:[0,1]\to\Bbb R$, cuya gráfica contiene para cada par de puntos de un tercio de los puntos que forman un triángulo equilátero con ellos. Resulta aún más: tampoco hay tal función discontinua $f:[0,1]\to\Bbb R$. Por qué? Supongamos que hay. A continuación, debe ser limitada, ya que, de lo contrario su gráfica contendría dos puntos de $x,y$ tal que $d(x,y)>100$. No habrá un tercer punto en la gráfica cuya primera coordenada se encuentran fuera de $[0,1]$, que no es el caso. Pero para delimitada conjuntos, la proposición se aplica. Lo mismo se aplica para cualquier función de $f:B\to\Bbb R$ donde $B\subseteq\Bbb R$ es un conjunto acotado.
La situación podría ser más interesante con funciones de $f:\Bbb R\to\Bbb R$, sin embargo. Pero en este caso, de nuevo, no hay tal delimitada la función. (El mismo argumento como en el párrafo anterior.) Podría ser posible construir algo sin límites y, probablemente, horriblemente discontinuo, a pesar de que, pero no he pensado mucho sobre eso.