Лемма Шпернера

Лемма Шпернера — комбинаторный аналог теоремы Брауэра о неподвижной точке, один из основных результатов комбинаторной топологии. Утверждает, что при любой Шпернеровской раскраске вершин в триангуляции n-мерного симплекса найдётся ячейка триангуляции, вершины которой покрашены во все цвета. Первый результат подобного типа был доказан Эмануэлем Шпернером (англ.).

Одномерный случайПравить

 

 

Двумерный случай

В одномерном случае, лемма Шпернера может рассматриваться как дискретный аналог теоремы Больцано — Коши. Она утверждает, что если большой отрезок разбит на подотрезки и в вершинах отрезков расставлены единицы и двойки, то при условии, что в вершинах большого отрезка стоят разные значения, существует отрезок подразбиения, в вершинах которого стоят разные значения.

Двумерный случайПравить

Этот вариант является самым распространённым. Формулируется он следующим образом:

Дан треугольник, вершины которого помечены цифрами 0, 1 и 2, и его триангуляция. Вершины триангуляции пометили теми же значениями таким образом, чтобы любая вершина на стороне исходного треугольника была бы помечена одной из пометок вершин этой стороны. Тогда обязательно существует треугольник разбиения, помеченный цифрами 0, 1, 2.

Многомерный случайПравить

В общем случае лемма касается триангуляции n-мерного симплекса

$\mathcal{A}=A_1{A}_2\dots <!--\; \dots \; -->A_{n+1}.$${\mathcal {A}}=A_{1}A_{2}\ldots A_{{n+1}}.$ 

Рассмотрим его триангуляцию T, являющуюся разбиением $\mathcal{A}$$\mathcal{A}$  на меньшие n-мерные симплексы. Обозначим функцию цвета вершины как $f:<!--\; :\; -->S\to <!--\; \to \; -->\left\{1,2,3,\dots <!--\; \dots \; -->,n,n+1\right\}$$f\colon S\rightarrow \left\{1,2,3,\dots ,n,n+1\right\}$ , где S обозначает множество вершин триангуляции T. Раскраска называется Шпернеровской, если выполнены следующие правила:

1. Вершины большого симплекса покрашены в разные цвета, то есть: f(A_i) = i for 1 ≤ i ≤ n+1.
2. Те вершины T, что лежат в одной k-мерной грани большого симплекса

$A_{i_1}{A}_{i_2}\dots <!--\; \dots \; -->A_{i_k}$$A_{{i_{1}}}A_{{i_{2}}}\ldots A_{{i_{k}}}$ 

покрашены в цвета образующих её вершин

$f(A_{i_1}),f(A_{i_2}),\dots <!--\; \dots \; -->,f(A_{i_k}).$$f(A_{{i_{1}}}),f(A_{{i_{2}}}),\ldots ,f(A_{{i_{k}}}).$ 

В случае, если раскраска оказалась Шпернеровской, существует симплекс триангуляции T, вершины которого покрашены во все цвета.

ДоказательствоПравить

В то время, как одномерный случай очевиден, мы докажем двумерный случай, предварительно обобщив утверждение. Доказательство многомерного случая получается аналогичным образом по индукции.

Рассмотрим граф G, построенный по триангуляции T следующим образом:

Вершинами G будут треугольники T и область за пределами большого треугольника. Две вершины соединим ребром, если соответствующие им области имеют общий отрезок, вершины которого покрашены в 1 и 2. На стороне, соединяющей две вершины большого треугольника, покрашенные в 1 и 2, есть нечётное число отрезков с вершинами 1 и 2, а значит степень вершины, соответствующей внешней области нечётна. Так как в графе должно быть чётное число вершин нечётной степени, то существует нечётное число (а значит хотя бы одна) вершин нечётной степени, соответствующих треугольникам T.

Легко проверить, что возможные степени вершин, соответствующих треугольникам, это 0, 1 или 2, и 1 соответствует треугольнику, вершины которого покрашены во все три цвета.

В многомерном случае нужно точно так же доказывать существование нечётного числа симплексов разбиения, вершины которых раскрашены во все цвета.

ПриложенияПравить

• На основе леммы Шпернера строится одно из доказательств теоремы Брауэра о неподвижной точке
• Теорема о разрезании квадрата на равновеликие треугольники

ЛитератураПравить

• Шашкин Ю. А. Неподвижные точки. — Москва: Наука, 1989. — 80 с. — (Популярные лекции по математике). — ISBN 5-02-013922-X.

См. такжеПравить

• Теорема Брауэра о неподвижной точке
• Теорема Какутани о неподвижной точке
• Теорема Борсука — Улама

СсылкиПравить

• Доказательство леммы (англ.), Cut-the-knot.
• Е. Епифанов, Пиратская доля, Элементы.ру, 2014. (пример применения леммы Шпернера)
• О. Р. Мусин Лемма Шпернера: приложения и обобщения. Летняя школа «Современная математика», 2015, г. Дубна.