Порождающее множество группы
- 1 year ago
- 0
- 0
Множество Данцера — множество точек, которое касается любого выпуклого тела единичного объёма. Людвиг Данцер задал вопрос, возможно ли такое множество ограниченной плотности . Некоторые варианты задачи остаются нерешёнными.
Один из путей более формальной формулировки задачи — рассматривать скорость роста множества в -мерном евклидовом пространстве, определяемым как функция, отображающая вещественные числа в точки , находящиеся на расстоянии от начала координат . Вопрос Данцера — может ли множество Данцера иметь скорость роста , скорость роста вполне разнесённых множеств точек, подобных целочисленной решётки (которая не является множеством Данцера) .
Можно построить множество Данцера со скоростью роста в пределах полулогарифмического коэффициента . Например, при наложении прямоугольных сеток, ячейки которых имеют постоянный объём, но различные , можно достичь скорости роста . Построения множеств Данцера известны с чуть меньшей скоростью роста , но ответ на вопрос Данцера остаётся неизвестным .
Другой вариант задачи, предложенный Тимоти Гауэрсом , спрашивает, существует ли множество Данцера , для которого существует конечная граница на число точек пересечения и любого выпуклого тела единичного объёма . Этот вариант был решён — такое множество Данцера невозможно .
Третьим вариантом задачи, остающимся нерешённым, является задача Конвея о мёртвых мухах . Конвей, Джон Хортон вспоминал, что будучи ребёнком, он спал в комнате с обоями, на которых цветы напоминали кучу мёртвых мух, и он пытался найти выпуклую область, не содержащую мух . В формулировке Конвея вопрос состоит в том, существует ли множество Данцера, в котором точки множества (мёртвые мухи) отделены друг от друга на ограниченное расстояние . Такое множество также обязательно будет иметь верхнюю границу расстояний от каждой точки плоскости до мёртвой мухи (чтобы коснуться всех точек окружности единичной площади), так что оно должно образовать множество Делоне , множество, имеющее как ненулевую нижнюю границу, так и конечную границу расстояний между точками. Это множество обязательно будет иметь скорость роста , так что если оно существует, то оно должно решать и оригинальную версию задачи Данцера. Конвей предложил приз в $1000 за решение задачи , как часть набора задач, в который входят также задача Конвея о 99-вершинном графе , анализ и гипотеза о трекле .
Можно также ограничить классы множеств точек, которые могут служить множествами Данцера другими способами. В частности, они не могут быть объединением конечного множества решёток , не могут быть образованными выбором точки из каждой плитки подстановки (в той же позиции для каждой плитки того же типа) и не могут быть сгенерированы методом вырежь-и-спроецируй построения апериодичных мозаик . Поэтому вершины мозаики «Вертушка» и мозаики Пенроуза не являются множествами Данцера .