stringtranslate.com

Принцип «ячейки»

Голуби в норах. Здесь в m = 9 лунках находится n = 10 голубей . Поскольку 10 больше 9, принцип ячейки гласит, что по крайней мере в одной яме находится более одного голубя. (В верхнем левом отверстии изображены 2 голубя.)

В математике принцип «ячейки» гласит, что если n предметов помещены в m контейнеров, причем n > m , то хотя бы один контейнер должен содержать более одного предмета. [1] Например, из трёх перчаток (ни одна из которых не двусторонняя/двусторонняя) как минимум две должны быть правшами или как минимум две должны быть левшами, потому что существует три объекта, но только две категории ручности, которые можно определить. их в. Это, казалось бы, очевидное утверждение, своего рода счетный аргумент , можно использовать для демонстрации, возможно, неожиданных результатов. Например, учитывая, что население Лондона превышает максимальное количество волос, которое может быть на голове человека, принцип требует, чтобы в Лондоне было как минимум два человека, у которых на голове одинаковое количество волос.

Хотя принцип ящика появляется еще в 1624 году в книге, приписываемой Жану Лерешону , [2] его обычно называют принципом ящика Дирихле или принципом ящика Дирихле после трактовки этого принципа в 1834 году Питером Густавом Леженом Дирихле под названием Schubfachprinzip («ящик ящика»). принцип» или «принцип полки»). [3]

Этот принцип имеет несколько обобщений и может быть сформулирован по-разному. В более количественной версии: для натуральных чисел k и m , если n = km + 1 объекты распределены по m наборам, принцип «ячейки» утверждает, что по крайней мере один из наборов будет содержать не менее k + 1 объектов. [4] Для произвольных n и m это обобщается до , где и обозначают функции пола и потолка соответственно.

Хотя наиболее простое применение этого принципа относится к конечным множествам (таким как голуби и коробки), он также используется с бесконечными множествами , которые невозможно привести во взаимно однозначное соответствие . Для этого требуется формальное утверждение принципа «ячейки»: «не существует инъективной функции , кодовая область которой меньше ее области определения ». Продвинутые математические доказательства, такие как лемма Зигеля, основаны на этой более общей концепции.

Этимология

Почтовые ящики в Стэнфордском университете

Дирихле публиковал свои работы как на французском, так и на немецком языке, используя либо немецкий Шубфах , либо французский тируар . Строгое первоначальное значение этих терминов соответствует английскому ящику , то есть ящику с открытым верхом, который можно вдвигать и выдвигать из шкафа, в котором он находится . (Дирихле писал о распределении жемчуга по ящикам.) Эти термины трансформировались в «ячейку» в смысле небольшого открытого пространства в столе, шкафу или стене для хранения писем или бумаг , метафорически укоренившихся в конструкциях, в которых содержатся голуби.

Поскольку мебель с ячейками обычно используется для хранения или сортировки вещей по многим категориям (например, писем в почтовом отделении или ключей от номера в отеле), ячейка для перевода может быть лучшим воспроизведением оригинального «ящика» Дирихле. Понимание термина «голубятня» , относящегося к некоторым особенностям мебели, угасает – особенно среди тех, кто не говорит по-английски как на родном языке, а является лингва- франка в научном мире – в пользу более наглядной интерпретации, буквально включающей голубей и норы. Наводящая на размышления (хотя и не вводящая в заблуждение) интерпретация «голубятни» как « голубятни » недавно вернулась к немецкому обратному переводу «принципа голубятни» как «Taubenschlagprinzip » . [5]

Помимо оригинальных терминов « Schubfachprinzip » на немецком языке [6] и « Principe des tiroirs » на французском языке, [7] до сих пор используются другие дословные переводы на арабском языке ( «مبدأ برج الحمام» ), болгарскомпринцип на чекмеджетата »), Китайский抽屉原理»), датскийSkuffeprincippet »), голландскийladenprincipe »), венгерскийskatulyaelv »), итальянскийprincipio dei cassetti »), японский引き出し論法»), персидскийاصل) . لانه کبوتری ), польскомzasada szufladkowa »), португальскомPrincípio das Gavetas »), шведскомLådprincipen »), турецкомçekmece ilkesi ») и вьетнамскомnguyên lý hộp »).

Примеры

Выбор носков

Предположим, в ящике лежит смесь черных и синих носков, каждый из которых можно носить на любой ноге. Вы, не глядя, достаёте из ящика несколько носков. Какое минимальное количество вытянутых носков необходимо, чтобы гарантировать наличие пары одного цвета? По принципу «ячейки» ( m = 2 носка, по одной ячейке каждого цвета) ответ — три ( n = 3 предмета). Либо у вас есть три одного цвета, либо у вас есть два одного цвета и один другого.

Дрожание рук

Если n человек могут пожать друг другу руки (где n > 1 ), принцип «ячейки» показывает, что всегда найдется пара людей, которые пожмут руки такому же количеству людей. В этом применении принципа «дыра», к которой отнесен человек, представляет собой количество рук, которые человек пожимает. Поскольку каждый человек пожимает руки некоторому количеству людей от 0 до n − 1 , существует n возможных отверстий. С другой стороны, либо отверстие «0», либо отверстие « n − 1» , либо оба должны быть пустыми, поскольку невозможно (если n > 1 ), чтобы какой-то человек пожимал руку всем остальным, в то время как другой человек пожимает руки. ни с кем. В результате n человек помещаются не более чем в n − 1 непустые дырки, поэтому принцип применим.

Этот пример рукопожатия эквивалентен утверждению, что в любом графе с более чем одной вершиной есть хотя бы одна пара вершин, имеющих одну и ту же степень . [8] В этом можно убедиться, связав каждого человека с вершиной, а каждое ребро — с рукопожатием.

Подсчет волос

Можно продемонстрировать, что в Лондоне должно быть как минимум два человека с одинаковым количеством волос на голове следующим образом. [9] [10] Поскольку типичная человеческая голова имеет в среднем около 150 000 волос, разумно предположить (в качестве верхней границы), что ни у кого на голове нет более 1 000 000 волос ( m = 1 миллион отверстий). В Лондоне проживает более 1 000 000 человек ( n превышает 1 миллион единиц). Если присвоить ячейку каждому количеству волос на голове человека и распределить людей по ячейкам в соответствии с количеством волос на голове, то в одну и ту же ячейку по 1 000 001-му назначению должно быть по крайней мере два человека (поскольку у них есть одинаковое количество волос на голове или n > m ). Если предположить, что в Лондоне проживает 9,002 миллиона человек, [11] из этого следует, что по крайней мере десять лондонцев имеют одинаковое количество волос, поскольку девять лондонцев в каждой из 1 миллиона ячеек составляют только 9 миллионов человек.

Для среднего случая ( m = 150 000 ) с ограничением: наименьшее количество перекрытий, в каждую ячейку будет назначен не более одного человека, а в ту же ячейку, что и кто-то другой, будет назначен 150 001-й человек. В отсутствие этого ограничения ячейки могут быть пустыми, поскольку «столкновение» происходит до 150 001-го человека. Этот принцип просто доказывает существование совпадения; здесь ничего не говорится о количестве перекрытий (которое подпадает под тему распределения вероятностей ).

На английском языке есть мимолетный сатирический намек на эту версию принципа в « Истории афинского общества» , предшествующей « Дополнению к афинскому оракулу: сборнику оставшихся вопросов и ответов в старых афинских Меркуриях» (напечатано для Эндрю Белл, Лондон, 1710 г.). [12] Кажется, возникает вопрос , были ли в мире два человека, у которых на голове было бы одинаковое количество волос? был воспитан в Афинском Меркурии до 1704 года. [13] [14]

Возможно, первая письменная ссылка на принцип «ячейки» появляется в коротком предложении из работы французского иезуита Жана Лерешона 1622 года «Выбор предложений» : [2] «Необходимо, чтобы у двух мужчин было одинаковое количество волос, écus или других вещей, как друг друга». [15] Полный принцип был изложен два года спустя с дополнительными примерами в другой книге, которую часто приписывают Лерешону, но, возможно, она была написана одним из его учеников. [2]

Проблема дня рождения

Задача о днях рождения состоит в том, какова вероятность того, что для группы из n случайно выбранных людей у ​​какой-то пары из них день рождения окажется в один и тот же день? Сама проблема в основном связана с нелогичными вероятностями, но мы также можем сказать по принципу ячейки, что если в комнате 367 человек, то есть по крайней мере одна пара людей, у которых со 100% вероятностью один и тот же день рождения, поскольку есть на выбор всего 366 возможных дней рождения (включая 29 февраля, если таковое имеется).

Командный турнир

Представьте себе семь человек, которые хотят сыграть в турнире команд ( n = 7 позиций) с ограничением на выбор только четырех команд ( m = 4 лунки). Принцип группировки говорит нам, что они не могут все играть за разные команды; должна быть хотя бы одна команда, в которую входят хотя бы два из семи игроков:

Сумма подмножества

Любое подмножество размера шесть из множества S = {1,2,3,...,9} должно содержать два элемента, сумма которых равна 10. Ячейки будут помечены двумя подмножествами элементов {1,9}, {2 ,8}, {3,7}, {4,6} и одиночный {5}, всего пять ячеек. Когда шесть «голубей» (элементов подмножества размера шесть) помещаются в эти ячейки, каждый голубь, попадающий в ячейку, на этикетке которой он указан, по крайней мере, одна из ячеек, помеченных подмножеством из двух элементов, будет иметь два голуби в нем. [16]

Использование и применение

Этот принцип можно использовать для доказательства того, что любой алгоритм сжатия без потерь , при условии, что он уменьшает некоторые входные данные (как предполагает «сжатие»), также увеличивает некоторые другие входные данные. В противном случае набор всех входных последовательностей до заданной длины L может быть сопоставлен с (намного) меньшим набором всех последовательностей длиной меньше L без коллизий (поскольку сжатие осуществляется без потерь), что исключает принцип группировки.

Принцип «ячейки» дает верхнюю границу 2 n в задаче «нет трех рядов» для количества точек, которые можно разместить на решетке размера n × n , при этом ни одна из трех не будет коллинеарной - в данном случае 16 пешек на регулярной решетке. шахматная доска  [17]

Заметная проблема математического анализа состоит в том, чтобы для фиксированного иррационального числа a показать, что множество дробных частей плотно в [0, 1] . Оказывается, нелегко явно найти целые числа n, m такие, что где e > 0 — небольшое положительное число, а a — некоторое произвольное иррациональное число. Но если взять M такое, что по принципу «ячейки» должно быть такое, что n 1 a и n 2 a находятся в одном и том же целочисленном подразделении размера (существует только M таких подразделений между последовательными целыми числами). В частности, можно найти n 1 , n 2 такие, что

для некоторых целых чисел p, q и k из {0, 1, ..., M − 1 }. Тогда можно легко убедиться, что

Это означает, что где n = n 2 - n 1 или n = n 1 - n 2 . Это показывает, что 0 является предельной точкой {[ na ]}. Затем можно использовать этот факт для доказательства случая p в (0, 1] : найти n такое, что тогда, если доказательство завершено. В противном случае

и установив

получается

Варианты встречаются в ряде доказательств. В доказательстве леммы о накачке для регулярных языков используется версия, в которой смешиваются конечные и бесконечные множества: если бесконечно много объектов помещено в конечное число ящиков, то два объекта делят ящик. [18] В решении Фиском проблемы художественной галереи используется своего рода обратный подход: если n объектов помещены в k коробок, то существует коробка, содержащая максимум объектов. [19]

Альтернативные составы

Ниже приведены альтернативные формулировки принципа «ячейки».

  1. Если n объектов распределены по m местам и если n > m , то в какое-то место попадает как минимум два объекта. [1]
  2. (эквивалентная формулировка 1) Если n объектов распределены по n местам таким образом, что ни одно место не получает более одного объекта, то каждое место получает ровно один объект. [1]
  3. (обобщение 1) Если S и T являются множествами, а мощность S больше мощности T , то не существует инъективной функции из S в T .
  4. Если n объектов распределены по m местам и если n < m , то какое-то место не получает ни одного объекта.
  5. (эквивалентная формулировка 4) Если n объектов распределены по n местам таким образом, что ни одно место не получает ни одного объекта, то каждое место получает ровно один объект. [20]
  6. (обобщение 4) Если S и T — множества, а мощность S меньше мощности T , то не существует сюръективной функции, ведущей из S в T.

Сильная форма

Пусть q 1 , q 2 , ..., q n — целые положительные числа. Если

объекты распределены по n ящикам, то либо первый ящик содержит не менее q 1 объектов, либо второй ящик содержит не менее q 2 объектов, ..., либо n -й ящик содержит не менее q n объектов. [21]

Простая форма получается из этого, если взять q 1 = q 2 = ... = q n = 2 , что дает n + 1 объект. Взяв q 1 = q 2 = ... = q n = r , получим более количественную версию принципа, а именно:

Пусть n и r — положительные целые числа. Если n ( r - 1) + 1 объектов распределено по n ящикам, то хотя бы один из ящиков содержит r или более объектов. [22]

Это также можно сформулировать так: если k дискретных объектов должны быть распределены по n контейнерам, то хотя бы один контейнер должен содержать как минимум объекты, где - функция потолка , обозначающая наименьшее целое число, большее или равное x . Аналогично, по крайней мере один контейнер должен содержать не более объектов, где — функция пола , обозначающая наибольшее целое число, меньшее или равное x .

Обобщения принципа «ячейки»

Вероятностное обобщение принципа ячеек гласит, что если n голубей случайным образом поместить в m ячеек с одинаковой вероятностью 1/ m , то по крайней мере в одной ячейке с вероятностью будет находиться более одного голубя.

где ( m ) n - падающий факториал m ( m - 1)( m - 2)...( m - n + 1) . Для n = 0 и для n = 1m > 0 ) эта вероятность равна нулю; другими словами, если голубь всего один, конфликта быть не может. Для n > m (голубей больше, чем ячеек) оно равно единице, и в этом случае оно совпадает с обычным принципом ячеек. Но даже если количество голубей не превышает количества ячеек ( nm ), из-за случайного характера распределения голубей по ячейкам часто существует значительная вероятность возникновения конфликтов. Например, если 2 голубя случайным образом распределены по 4 ячейкам, существует 25% вероятность того, что хотя бы в одной ячейке окажется более одного голубя; для 5 голубей и 10 нор эта вероятность равна 69,76%; а для 10 голубей и 20 нор — около 93,45%. Если количество отверстий остается фиксированным, вероятность образования пары всегда увеличивается, когда вы добавляете больше голубей. Эта проблема рассматривается гораздо более подробно в парадоксе дня рождения .

Дальнейшее вероятностное обобщение состоит в том, что когда вещественная случайная величина X имеет конечное среднее значение E ( X ) , тогда вероятность не равна нулю, что X больше или равна E ( X ) , и аналогично вероятность не равна нулю, что X является меньше или равно E ( X ) . Чтобы увидеть, что это подразумевает стандартный принцип «ячейки», возьмем любое фиксированное расположение n голубей в m ярок и пусть X — количество голубей в яме, выбранной равномерно и случайно. Среднее значение X равно n / m , поэтому, если голубей больше, чем нор, среднее значение больше единицы. Следовательно, X иногда не меньше 2.

Бесконечные наборы

Принцип «ячейки» можно распространить на бесконечные множества , сформулировав его в терминах кардинальных чисел : если мощность множества A больше мощности множества B , то инъекции из A в B не происходит . Однако в этой форме принцип тавтологичен , поскольку смысл утверждения о том, что мощность множества A больше мощности множества B , состоит в том, что не существует инъективного отображения из A в B. Однако добавления хотя бы одного элемента в конечное множество достаточно, чтобы гарантировать увеличение мощности.

Другой способ сформулировать принцип «ячейки» для конечных множеств аналогичен принципу, согласно которому конечные множества являются конечными по Дедекинду : пусть A и B — конечные множества. Если существует сюръекция из А в В , которая не является инъективной, то никакая сюръекция из А в В не является инъективной. На самом деле ни одна функция любого вида от A до B не является инъективной. Это неверно для бесконечных множеств: рассмотрим функцию натуральных чисел, которая переводит 1 и 2 в 1, 3 и 4 в 2, 5 и 6 в 3 и так далее.

Аналогичный принцип действует и для бесконечных множеств: если несчетное количество голубей запихнуто в счетное множество ячеек, то найдется хотя бы одна ячейка, в которую запихнуто несчетное количество голубей.

Однако этот принцип не является обобщением принципа «ящика» для конечных множеств: в целом он неверен для конечных множеств. Говоря техническим языком, это говорит о том, что если A и B — конечные множества такие, что любая сюръективная функция от A до B не является инъективной, то существует элемент b из B такой, что существует взаимно однозначное соответствие между прообразами b и A. Это совсем другое утверждение, абсурдное для больших конечных мощностей.

Квантовая механика

Якир Ахаронов и др. представил аргументы в пользу того, что квантовая механика может нарушать принцип группировки, и предложил интерферометрические эксперименты для проверки принципа группировки в квантовой механике. [23] Более поздние исследования поставили этот вывод под сомнение. [24] [25] В препринте arXiv , опубликованном в январе 2015 года , исследователи Аластер Рэй и Тед Форган из Университета Бирмингема выполнили теоретический анализ волновой функции , используя стандартный принцип «ячейки», при полете электронов с различными энергиями через интерферометр . Если бы у электронов вообще не было силы взаимодействия, каждый из них давал бы один идеально круглый пик. При высокой силе взаимодействия каждый электрон дает четыре различных пика, всего на детекторе 12 пиков; эти пики являются результатом четырех возможных взаимодействий, которые может испытать каждый электрон (только вместе, только вместе с первой другой частицей, только вместе со второй другой частицей или со всеми тремя вместе). Если бы сила взаимодействия была достаточно низкой, как это имело бы место во многих реальных экспериментах, отклонение от модели нулевого взаимодействия было бы почти незаметным и намного меньшим, чем период решетки атомов в твердых телах, таких как детекторы, используемые для наблюдения этих взаимодействий. узоры. Это сделало бы очень трудным или невозможным отличить слабую, но ненулевую силу взаимодействия от отсутствия взаимодействия вообще, и, таким образом, создало бы иллюзию трех электронов, которые не взаимодействовали, несмотря на то, что все три прошли через два пути.

Смотрите также

Примечания

  1. ^ abc Herstein 1964, с. 90
  2. ^ abc Ритто, Бенуа; Хеффер, Альбрехт (2014). «Принцип ячейки, за два столетия до Дирихле». Математический интеллект . 36 (2): 27–29. дои : 10.1007/s00283-013-9389-1. hdl : 1854/LU-4115264 . МР  3207654. S2CID  44193229.
  3. ^ Джефф Миллер, Питер Флор, Гуннар Берг и Хулио Гонсалес Кабильон. «Принцип ячейки». В книге Джеффа Миллера (ред.) « Самые ранние известные варианты использования некоторых математических слов ». Электронный документ, получено 11 ноября 2006 г.
  4. ^ Флетчер и Пэтти 1987, с. 27
  5. ^ Циммерманн, Карл-Хайнц (2006). Дискретная математика. п. 367. ИСБН 9783833455292.
  6. Вайнтрауб, Стивен Х. (17 мая 2017 г.). Книга индукции. п. 13. ISBN 9780486811994.
  7. Джеймс, RC (31 июля 1992 г.). Математический словарь. п. 490. ИСБН 9780412990410.
  8. ^ Панди, Авинаш. «Теория графов D3 — интерактивные учебные пособия по теории графов». d3gt.com . Проверено 12 января 2021 г.
  9. ^ Риньяно, Эудженио (1923). Психология рассуждения. Перевод Холла, Уинифред А.К. Пол, Trench, Trubner & Company, Limited. п. 72. ИСБН 9780415191326.
  10. ^ Чтобы избежать ненужной путаницы, этот пример относится только к не лысым людям.
  11. ^ «Население Лондона / Власти Большого Лондона (GLA)» . data.london.gov.uk .
  12. ^ «Дополнение к Афинскому Оракулу: собрание оставшихся вопросов и ответов в Старых Афинских Меркуриях. ... К которому прилагается префикс «История Афинского общества», ... Член Афинского общества ". 1710.
  13. ^ «Афинский оракул - это полная коллекция всех ценных вопросов и ответов» . 1704.
  14. ^ «Афинский оракул: полное собрание всех ценных вопросов и ответов в старых афинских Меркуриях. ... Член Афинского общества». 1704.
  15. ^ Лерешон, Жан (1622), Selecæe Propositiones in Tota Sparsim Mathematica Pulcherrimæ , Гаспарем Бернардум, стр. 2
  16. ^ Гримальди 1994, с. 277
  17. ^ Гарднер, Мартин (октябрь 1976 г.). «Комбинаторные задачи, некоторые старые, некоторые новые и все новые, атакованные компьютером». Математические игры. Научный американец . Том. 235, нет. 4. С. 131–137. JSTOR  24950467.
  18. ^ Введение в формальные языки и автоматы , Питер Линц, стр. 115–116, Jones and Bartlett Learning, 2006.
  19. ^ Вычислительная геометрия на языке C , Кембриджские трактаты по теоретической информатике, 2-е издание, Джозеф О'Рурк, стр. 9.
  20. ^ Бруальди 2010, с. 70
  21. ^ Бруальди 2010, с. 74 Теорема 3.2.1.
  22. ^ В начальном разделе это было представлено с заменами m = n и k = r - 1 .
  23. ^ Ааронов, Якир; Коломбо, Фабрицио; Попеску, Санду; Сабадини, Ирен ; Струппа, Даниэле К.; Толлаксен, Джефф (2016). «Квантовое нарушение принципа сортировки и природа квантовых корреляций». Труды Национальной академии наук . 113 (3): 532–535. Бибкод : 2016PNAS..113..532A. дои : 10.1073/pnas.1522411112 . ПМЦ 4725468 . ПМИД  26729862. 
  24. ^ «Квантовые ячейки в конце концов не парадоксальны, говорят физики». 8 января 2015 г.
  25. ^ Рэй, Аластер; Форган, Тед (3 декабря 2014 г.). «О последствиях квантового эффекта голубя». arXiv : 1412.1333 [квант-ph].

Рекомендации

Внешние ссылки

Послушайте эту статью ( 24 минуты )
Разговорная иконка Википедии
Этот аудиофайл был создан на основе редакции этой статьи от 5 июня 2021 года и не отражает последующие изменения. ( 05.06.2021 )