В комбинаторике при́нцип Дирихле́ — утверждение, сформулированное немецким математиком Дирихле в 1834 году, устанавливающее связь между объектами («кроликами») и контейнерами («клетками») при выполнении определённых условий.
В английском и некоторых других языках утверждение известно как «принцип голубей и ящиков» (англ. Pigeonhole principle), когда объектами являются голуби, а контейнерами — ящики. В немецком оно называется «принцип ящиков» (нем. Schubfachprinzip).
Принцип Дирихле нередко применяется при доказательстве теорем, особенно в дискретной математике; в частности, в теории диофантовых приближений при анализе систем линейных неравенств.
Наиболее распространена следующая формулировка этого принципа:
Если кролики рассажены в клетки, причём число кроликов больше числа клеток, то хотя бы в одной из клеток находится более одного кролика.
Варианты более общих формулировок[1]:
Возможны также несколько формулировок для частных случаев:
Если число клеток больше, чем число кроликов, то как минимум одна клетка пуста.
Пусть задана функция на конечных множествах A и B, причём , где . Тогда некоторое своё значение функция примет по крайней мере n+1 раз.
Принцип Дирихле можно доказать методом от противного. Пусть имеется N клеток и (N+1) кролик. Предположим, что в каждой клетке не более одного кролика.
Тогда общее число кроликов . Мы получили противоречие.
Теорема 1. При любом выборе пяти точек внутри единичного квадрата найдётся пара точек, удалённых одна от другой менее чем на
Доказательство. Теорема на первый взгляд кажется сложной и не очевидной, но с помощью принципа Дирихле доказывается без труда[2]. Разделим квадрат на 4 четверти, как показано на рисунке. По крайней мере две из пяти выбранных точек попадут в одну четверть, а тогда расстояние между ними будет меньше, чем диагональ четверти, равная Конец доказательства.
Теорема 2. Для любого положительного иррационального числа существует бесконечно много дробей , отличающихся от менее, чем на (это одна из версий теоремы Дирихле о диофантовых приближениях)[3] [4].
Доказательство. Для произвольного натурального числа составим набор из значения:
Все эти числа принадлежат интервалу от 0 до 1. Распределим их в ящиков: в первый ящик поместим числа от 0 до во второй — от до и т. д. Но поскольку этих чисел больше, чем число ящиков, то по принципу Дирихле в одном из ящиков будет не менее двух разностей: и
Значения разностей по построению отличаются менее чем на Полагая получим:
В силу произвольности числа близость дроби к числу можно сделать сколь угодно малой, поэтому количество дробей бесконечно. Конец доказательства.
Дополнительные примеры см. в статье Китайская теорема об остатках и в книге Н. Б. Алфутовой и А. В. Устинова[5].
Существует обобщение данного принципа на случай бесконечных множеств: не существует инъекции более мощного множества в менее мощное. Пример: если несчётное множество голубей содержится в счётном множестве ящиков, тогда хотя бы в одном из ящиков содержится несчётное множество голубей.
Ряд современных обобщений принципа Дирихле приведены в статье Теория Рамсея.
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .