В геометрии , то расстояние набор из набора точек есть множество из расстояний между различными парами точек. Таким образом, это можно рассматривать как обобщение набора разностей , набора расстояний (и их отрицаний) в наборах чисел.
Некоторые проблемы и результаты в геометрии касаются наборов расстояний, обычно основанных на том принципе, что большой набор точек должен иметь большой набор расстояний (для различных определений «большого»):
Гипотеза Фальконера - это утверждение, что для набора точек в -мерном пространстве, имеющего размерность Хаусдорфа больше, чем , соответствующее множество расстояний имеет ненулевую меру Лебега . Хотя частичные результаты известны, гипотеза остается недоказанной. [1]
Теорема Ферма о суммах двух квадратов характеризует числа в наборе расстояний двумерной целочисленной решетки : они являются квадратными корнями из целых чисел, разложение на простые множители которых не содержит нечетного числа копий любого простого числа, равного 3 по модулю 4. Аналогично , три квадратная теорема Лежандра характеризует расстояние набора трехмерной целочисленной решетки, и четыре квадратная теорема Лагранжа характеризует расстояние множество целочисленных решеток в четырех и более высоких измерениях как квадратные корни из целых чисел без каких - либо дополнительных ограничений. В решетках пяти или более измерений каждое подмножество решетки с ненулевой верхней плотностью имеет набор расстояний, содержащий квадраты бесконечногоарифметическая прогрессия . [3]
Согласно теореме Эрдеша – Эннинга , каждый бесконечный набор точек на евклидовой плоскости, который не лежит на одной прямой, имеет нецелое число в своем наборе расстояний. [4]
Квадратные сетки точек имеют наборы расстояний сублинейного размера, в отличие от точек общего положения, у которых набор расстояний квадратичен по размеру. Однако, в соответствии с 2015 годом решения Эрдеша задачи различных расстояний по Ларри Гутам и Nets Katz , расстояние набор любого конечного набора точек в евклидовой плоскости лишь немного сублинейно, почти столь же большое , как данная коллекция. [5] В частности, только конечный набор точек может иметь конечный набор расстояний.
Голомба линейка является конечное множество точек на линии , таким образом, что никакие две пары точек не имеют одинаковое расстояние. Софи Пиккар утверждала, что у двух правителей Голомба нет одинаковых наборов расстояний. Утверждение неверно, но есть только один контрпример, пара шестиконечных линейок Голомба с общим набором расстояний. [6]
^ Арутюнянц, Г .; Iosevich, A. (2004), «Гипотеза Фальконера, сферические средние и дискретные аналоги», в Pach, János (ed.), Towards a Theory of Geometric Graph , Contemp. Матем., 342 , амер. Математика. Soc., Providence, RI, стр. 15–24, DOI : 10.1090 / conm / 342/06127 , MR 2065249
^ Клее, Виктор ; Вагон, Стэн (1991), «Проблема 10. Содержит ли плоскость плотное рациональное множество?», Старые и новые нерешенные проблемы плоской геометрии и теории чисел , математические описания Дольчиани, 11 , Cambridge University Press, стр. 132–135, ISBN 978-0-88385-315-3.
^ Magyar, Ákos (2008), "О дистанционных множествах больших множеств целых точек", Израиль Журнал математики , 164 : 251-263, DOI : 10.1007 / s11856-008-0028-г , МР 2391148 , S2CID 17629304
^ Эннинг, Норман Х .; Эрдеш, Пол (1945), «Интегральные расстояния» , Бюллетень Американского математического общества , 51 (8): 598–600, DOI : 10.1090 / S0002-9904-1945-08407-9.
^ Гут, Ларри; Katz, Сетки Хок (2015), "О задаче Эрдеша различных расстояний в плоскости", Анналы математики , 181 (1): 155-190, Arxiv : 1011,4105 , DOI : 10,4007 / annals.2015.181.1.2 , МР 3272924
^ Бекир, Ахмад; Голомб, Solomon W. (2007), "Там больше нет контрпримеры к теореме С. Пикара", IEEE Transactions по теории информации , 53 (8): 2864-2867, DOI : 10.1109 / TIT.2007.899468 , MR 2400501 , S2CID 16689687
^ Кулен, Джек; Лоран, Моник ; Шриджвер, Александр (2000), "Равносторонняя размерность прямолинейного пространства", Designs, коды и криптография , 21 (1): 149-164, DOI : 10.1023 / A: 1008391712305 , MR 1801196 , S2CID 9391925
^ Grigorescu, C .; Петков, Н. (октябрь 2003 г.), «Наборы расстояний для фильтров формы и распознавания форм» (PDF) , IEEE Transactions on Image Processing , 12 (10): 1274–1286, doi : 10.1109 / tip.2003.816010 , hdl : 11370 / dd4f402f-91b0-47ae-94ec-29428a2d8fb9 , PMID 18237892