Теорема де Брёйна — Эрдёша (теория графов)

Теорема де Брёйна — Эрдёша — классическая теорема теории графов доказанная Палом Эрдёшем и Николаасом де Брёйном.

Формулировка

Хроматическое число бесконечного графа, если это число конечно, равно наибольшему хроматическому числу среди всех его конечных подграфов.

Замечания
Эквивалентная формулировка: любой -критический граф конечен.
Теорема применяется для расширения задачи четырёх красок и теоремы Дилуорса для конечных графов и множеств с частичным порядком до бесконечных вариантов, сведения задачи Нельсона — Эрдёша — Хадвигера о хроматическом числе плоскости к задачам на конечных графах.
В частности, из теоремы Брёйна — Эрдёша и теоремы о четырёх красках следует, что любой бесконечный планарный граф допускает раскраску в четыре цвета.
Теорему можно обобщить от конечного числа цветов к множеству цветов, кардинальное число которого является .

Доказательства
Теорема де Брёйна — Эрдёша имеет несколько различных доказательств, каждое использует аксиому выбора.
Исходное доказательство де Брёйна использовало трансфинитную индукцию.

Готтшальк дал следующее очень короткое доказательство, основанное на теореме о компактности Тихонова в топологии. Предположим, что для заданного бесконечного графа  любой конечный подграф является -раскрашиваемым, и пусть  — пространство всех назначений  цветов вершинам графа  (независимо от того, является ли данная раскраска правильной). Тогда  можно рассматривать как произведение топологических пространств , которое по теореме Тихонова компактно. Для каждого конечного подграфа  графа , пусть  — подмножество , состоящее из назначений цветов, дающих правильную раскраску . Тогда система множеств  является семейством замкнутых множеств со , так что из-за компактности система имеет непустое пересечение. Любой член этого пересечения является правильной раскраской  .

Другое доказательство, использующее лемму Цорна, дал , а также привёл в тезисах диссертации 1951 . Если  — бесконечный граф, в котором любой конечный подграф является -раскрашиваемым, тогда по лемме Цорна он является подграфом максимального графа  с тем же свойством (граф, к которому нельзя добавить  рёбра без того, чтобы некоторый конечный подграф не потребует более  цветов). Бинарное отношение несмежности в  является отношением эквивалентности и классы эквивалентности этого отношения дают -раскраску графа . Однако это доказательство труднее обобщить, чем доказательство по лемме о компактности.

Теорему можно доказать с помощью ультрафильтров или нестандартного анализа. Нэш-Вилльямс дал доказательство для графов со счётным числом вершин, основываясь на лемме Кёнига о бесконечном дереве.

Зависимость от выбора
Все доказательства теоремы де Брёйна — Эрдёша используют аксиому выбора.
Существуют модели математики, в которых не являются верными как аксиома выбора, так и теорема де Брёйна — Эрдёша.

Например, пусть  — бесконечный граф, в котором вершинами являются все вещественные числа. В  соединим любые два вещественных чисел  и  ребром, если значение  является рациональным числом. Эквивалентно, в этом графе, рёбра существуют между всеми вещественными числами  и всеми вещественными числами вида , где q — любое рациональное число. Таким образом, если две вершины в  отличаются на чётный целый множитель квадратного корня из двух плюс рациональное число, для них можно использовать один цвет и точки можно считать эквивалентными. Граф, образованный стягиванием класса эквивалентности в одну вершину, является бесконечным паросочетанием и может быть легко раскрашен в два цвета, используя аксиому выбора. Таким образом, любой конечный подграф графа  требует два цвета. Однако в , в которой каждое множество вещественных чисел измеримо по Лебегу,  требует бесконечно много цветов, поскольку в этом случае каждый класс цвета должен быть измеримым множеством, и можно показать, что любое измеримое множество вещественных чисел, не содержащее рёбер из , должно иметь меру ноль. Таким образом, в модели Соловея, (неограниченное) хроматическое число всего графа  много больше хроматического числа его конечных подграфов (максимум два).

Можно показать, что теорема де Брёйна — Эрдёша для счётных графов эквивалентна (в теории ) лемме Кёнига о бесконечном дереве.

Приложения

Одно из приложений теоремы де Брёйна — Эрдёша — это задачи Нельсона — Эрдёша — Хадвигера о хроматическом числе графа единичных расстояний евклидовой плоскости. Граф плоскости имеет несчётное число вершин, по одной на каждую точку плоскости. Две вершины связаны ребром, когда евклидово расстояние между соответствующими двумя точками в точности равно единице. Бесконечный граф имеет конечные подграфы, такие как веретено Мозера, которые требуют четыре цвета, и известна раскраска в семь цветов, основанная на шестиугольной мозаике плоскости. Таким образом, хроматическое число плоскости должно принадлежать множеству {4,5,6,7}, но какое из этих четырёх чисел является действительно хроматическим числом, неизвестно. Теорема де Брёйна — Эрдёша показывает, что для этой задачи существует конечный граф единичных расстояний с тем же хроматическим числом, что и вся плоскость целиком, так что если хроматическое число больше четырёх, то этот факт может быть доказан конечными вычислениями.

Теорема де Брёйна — Эрдёша может быть использована также для расширения теоремы Дилуорса от конечного варианта к бесконечным частично упорядоченным множествам. Теорема Дилуорса утверждает, что ширина частичного порядка (наибольшее число элементов в множестве взаимно несравнимых элементов) равна минимальному числу цепочек (полностью упорядоченных подмножеств), на которые может быть разложен частичный порядок. Разложение на цепочки можно рассматривать как раскраску графа несравнимости частичного порядка (граф, имеющий вершину для каждого элемента порядка и ребро для каждой пары несравнимых элементов). Используя эту интерпретацию как раскраску, вместе с отдельным доказательством теоремы Дилуорса для конечных частично упорядоченных множеств, можно доказать, что бесконечное частично упорядоченное множество имеет конечную ширину  тогда и только тогда, когда его можно разложить на  цепочек.

Таким же образом, Теорема де Брёйна — Эрдёша расширяет проблему четырёх красок с конечных планарных графов на бесконечные планарные графы — любые графы, которые можно нарисовать без пересечений на плоскости, конечные или бесконечные, можно раскрасить четырьмя красками. Более обще, любой бесконечный граф, для которого любой конечный подграф планарен, может быть снова раскрашен в четыре цвета

Теорема де Брёйна — Эрдёша может быть использована для ответа на вопрос  относительно теоремы о промежуточном значении для хроматических чисел графов — для любых двух конечных чисел  и любого графа  с хроматическим числом , существует подграф графа  с хроматическим числом . Чтобы это увидеть, найдём конечный подграф графа  с тем же хроматическим числом, что и сам , а затем удаляем вершины одну за другой, пока не получим хроматическое число . Однако случай для бесконечных хроматических чисел более сложен — это согласуется с теорией множеств, что существует граф с  вершинами и хроматическим числом , но не имеющего подграфа c хроматическим числом .

Обобщения
Радо доказал следующую теорему, которую можно рассматривать как обобщение теоремы де Брёйна — Эрдёша. Пусть  — бесконечное множество, например, множество вершин в бесконечном графе. Для каждого элемента  множества , пусть  является конечным множеством цветов. Кроме того, для любого конечного подмножества  множества , выберем некоторую раскраску  подмножества , в которой цвет каждого элемента  пожмножества  принадлежит . Тогда существует глобальная раскраска  всех  со свойством, что любое конечное множество  имеет конечное супермножество , на котором  и  согласуются. В частности, если мы выбираем -раскраску для любого конечного подграфа бесконечного графа , тогда существует -раскраска графа , в которой каждый конечный граф имеет больший суперграф, раскраска которого согласуется с раскраской всего графа .

Если граф не имеет конечного хроматического числа, тогда из теоремы де Брёйна — Эрдёша следует, что граф должен содержать конечные подграфы для каждого возможного хроматического числа. Исследователи также исследовали другие условия на подграфы. Например, неограниченные хроматические графы должны также содержать любой конечный двудольный граф в качестве подграфа. Однако они могут иметь произвольно большой нечётный обхват.

Теорема де Брёйна — Эрдёша также применима прямо к задачам раскраски гиперграфов, где требуется, чтобы каждое гиперребро имело вершины более одного цвета. Как и для графов, гиперграф имеет k-раскраску тогда и только тогда, когда любое из его конечных подгиперграфов имеет k-раскраску. Специальный случай  Курта Гёделя утверждает, что множество утверждений первого порядка имеет модель тогда и только тогда, когда любое конечное подмножество имеет модель.

Теорему можно обобщить для случаев, когда число цветов является бесконечным кардинальным числом — если κ является , то для любого графа G и кардинального числа μ < κ, G имеет хроматическое число, не превосходящее μ, тогда и только тогда, когда его подграфы с кардинальностью меньшей κ имеют хроматическое число, не превосходящее μ . Оригинальная теорема де Брёйна — Эрдёша является частным случаем κ = ℵ0 этого обобщения, поскольку множество конечно тогда и только тогда, когда его мощность меньше ℵ0. Однако некоторые предположения, такие как строгая компактность кардинального числа множества необходимы — если обобщённая континуум-гипотеза верна, то для любого бесконечного кардинала , существует граф  мощностью (2γ)+, такой, что хроматическое число графа  больше , но любой подграфа графа , множество вершин которого имеет меньшую мощность, чем у , имеет хроматическое число, не превосходящее . Лейк описывает бесконечные графы, удовлетворяющие обобщению теоремы де Брёйна — Эрдёша, как графы, хроматическое число которых равно наибольшему хроматическому числу строго меньших подграфов.

Примечания

Литература

. См. главу II.5 "De Bruin–Erdős reduction to finite sets and results near the lower bound", стр. 39–42 и главу V.26 "De Bruin–Erdős's theorem and its history", стр. 236–241.

Раскраска графа
Бесконечные графы
Теоремы теории графов
Аксиома выбора
Пал Эрдёш