El conjunto Danzer es el conjunto de puntos que toca cualquier cuerpo convexo de volumen unitario. Ludwig Danzer preguntó si tal conjunto de densidad acotada es posible [1] [2] . Algunas variantes del problema siguen sin resolverse.
Una forma de formular el problema de manera más formal es considerar la tasa de crecimiento de un conjunto en un espacio euclidiano bidimensional, definido como una función que asigna números reales a puntos que están a una distancia del origen . La pregunta de Danzer es si un conjunto de Danzer puede tener una tasa de crecimiento , la tasa de crecimiento de conjuntos de puntos completamente espaciados, similar a una red de enteros (que no es un conjunto de Danzer) [2] .
Es posible construir un conjunto de Danzer con una tasa de crecimiento dentro de un coeficiente semilogarítmico . Por ejemplo, al imponer cuadrículas rectangulares, cuyas celdas tienen un volumen constante, pero diferentes proporciones , es posible lograr una tasa de crecimiento [3] . Se conocen construcciones de conjuntos de Danzer con una tasa de crecimiento ligeramente menor , pero la respuesta a la pregunta de Danzer sigue siendo desconocida [4] .
Otra versión del problema, propuesta por Timothy Gowers , pregunta si existe un conjunto de Danzer para el cual existe un límite finito en el número de puntos de intersección y cualquier cuerpo convexo de volumen unitario [5] . Esta variante fue resuelta: tal conjunto Danzer es imposible [6] .
La tercera versión del problema, que sigue sin resolverse, es el problema de la mosca muerta de Conway . Conway, John Horton recordó que cuando era niño, dormía en una habitación con papel tapiz que parecía un montón de moscas muertas, y trató de encontrar un área abultada que no contuviera moscas [7] . En la formulación de Conway, la pregunta es si existe un conjunto Danzer en el que los puntos del conjunto (moscas muertas) estén separados entre sí por una distancia limitada. Tal conjunto también tendrá necesariamente una cota superior en las distancias de cada punto del plano a la mosca muerta (para tocar todos los puntos del círculo de unidad de área), por lo que debe formar un conjunto de Delaunay , un conjunto que tiene tanto un límite inferior distinto de cero como un límite de distancia finita entre puntos. Este conjunto necesariamente tendrá una tasa de crecimiento , por lo que si existe, entonces también debe resolver la versión original del problema de Danzer. Conway ofreció un premio de $1000 por resolver el problema [8] como parte de un conjunto de problemas que también incluye el problema del gráfico de 99 vértices de Conway , el análisis del juego de monedas y la conjetura de trackle [8] .
También se pueden restringir las clases de conjuntos de puntos que pueden servir como conjuntos de Danzer de otras maneras. En particular, no pueden ser la unión de un conjunto finito de celosías [3] , no pueden formarse tomando un punto de cada mosaico de sustitución (en la misma posición para cada mosaico del mismo tipo), y no pueden generarse por corte -y-proyecto de construcción de mosaicos aperiódicos . Por lo tanto, los vértices del mosaico "Pinwheel" y el mosaico de Penrose no son conjuntos de Danzer [4] .