Loading AI tools
Из Википедии, свободной энциклопедии
Множество Данцера — множество точек, которое касается любого выпуклого тела единичного объёма. Людвиг Данцер задал вопрос, возможно ли такое множество ограниченной плотности[1][2]. Некоторые варианты задачи остаются нерешёнными.
Один из путей более формальной формулировки задачи — рассматривать скорость роста множества в -мерном евклидовом пространстве, определяемым как функция, отображающая вещественные числа в точки , находящиеся на расстоянии от начала координат. Вопрос Данцера — может ли множество Данцера иметь скорость роста , скорость роста вполне разнесённых множеств точек, подобных целочисленной решётки (которая не является множеством Данцера)[2].
Можно построить множество Данцера со скоростью роста в пределах полулогарифмического коэффициента . Например, при наложении прямоугольных сеток, ячейки которых имеют постоянный объём, но различные пропорции[англ.], можно достичь скорости роста [3]. Построения множеств Данцера известны с чуть меньшей скоростью роста , но ответ на вопрос Данцера остаётся неизвестным[4].
Другой вариант задачи, предложенный Тимоти Гауэрсом, спрашивает, существует ли множество Данцера , для которого существует конечная граница на число точек пересечения и любого выпуклого тела единичного объёма[5]. Этот вариант был решён — такое множество Данцера невозможно[6].
Третьим вариантом задачи, остающимся нерешённым, является задача Конвея о мёртвых мухах. Конвей, Джон Хортон вспоминал, что будучи ребёнком, он спал в комнате с обоями, на которых цветы напоминали кучу мёртвых мух, и он пытался найти выпуклую область, не содержащую мух[7]. В формулировке Конвея вопрос состоит в том, существует ли множество Данцера, в котором точки множества (мёртвые мухи) отделены друг от друга на ограниченное расстояние. Такое множество также обязательно будет иметь верхнюю границу расстояний от каждой точки плоскости до мёртвой мухи (чтобы коснуться всех точек окружности единичной площади), так что оно должно образовать множество Делоне, множество, имеющее как ненулевую нижнюю границу, так и конечную границу расстояний между точками. Это множество обязательно будет иметь скорость роста , так что если оно существует, то оно должно решать и оригинальную версию задачи Данцера. Конвей предложил приз в $1000 за решение задачи[8], как часть набора задач, в который входят также задача Конвея о 99-вершинном графе, анализ игры с монетами[англ.] и гипотеза о трекле[8].
Можно также ограничить классы множеств точек, которые могут служить множествами Данцера другими способами. В частности, они не могут быть объединением конечного множества решёток[3], не могут быть образованными выбором точки из каждой плитки подстановки (в той же позиции для каждой плитки того же типа) и не могут быть сгенерированы методом вырежь-и-спроецируй построения апериодичных мозаик. Поэтому вершины мозаики «Вертушка» и мозаики Пенроуза не являются множествами Данцера[4].
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.