\documentclass[11pt]{book}

\input{lectures.sty}

% version 1.0, 10.09.2010
% version 2.0, 23.09.2010, добавлена лекция 3, исправлены ошибки
% version 2.1, 26.11.2010 исправления от Саши Ананьина

\renewcommand{\version}{version 2.1,\ \   23.09.2010}

\pagestyle{fancy} \lfoot{\tiny НМУ, осень 2010, второй курс, лекции 2-3} 
\cfoot{-- \thepage \ -- } \rfoot{\tiny \sc\version}
\rhead{{\small  Миша Вербицкий}}

\begin{document}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\setcounter{chapter}{1}
\lhead{{\scriptsize  Теория меры, лекция 2}}
\chapter{Теория меры, лекция 2: \\ инвариант Дэна и третья проблема Гильберта}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\section{Третья проблема Гильберта}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\определение
Два многогранника $M, M'$ называются {\бф равносоставленными},
если они допускают триангуляции $S, S'$,
такие, что задана биекция множества симплексов $S$ в множество
симплексов $S'$, переводящая каждый симплекс в конгруэнтный ему.
\ео

\задача
Докажите, что равносоставленность есть отношение
эквивалентности. 
\ез 

\определение
Два многогранника называются {\бф равновеликими},
если они имеют одинаковый объем. Легко видеть,
что равносоставленные многогранники равновелики.
\ео

Третья проблема Гильберта формулируется так

\hfill

{\it Гаусс в двух своих письмах к Герлингу
выражает сожаление по поводу того, что некоторые
известные положения стереометрии зависят от метода исчерпывания,
т.е., говоря современным языком, от аксиомы непрерывности
(или от аксиомы Архимеда). 

Гаусс специально отмечает теорему Евклида, согласно
которой объемы треугольных пирамид, имеющих равные высоты,
относятся как площади их оснований. Аналогичная задача
планиметрии ныне полностью решена. Герлингу удалось также
доказать равенство объемов симметричных многогранников 
при помощи разбиения их на конгруэнтные части. 

Тем не менее, как мне кажется, в общем случае доказательство
упомянутой теоремы Евклида этим способом провести невозможно
и это, по-видимому, может быть подтверждено строгим доказательством
невозможности.

Такое доказательство можно было бы получить, если
бы удалось указать такие два тетраэдра с равными основаниями
и равными высотами, которые никаким способом не могут
быть разложены на конгруэнтные тетраэдры и которые
также не могут быть дополнены конгруэнтными тетраэдрами
до таких многогранников, для которыхй разложение
на конгруэнтные тетраэдры невозможно.

(цитируется по книге В. Г. Болтянского "Третья проблема Гильберта",
издательство "Наука", Москва, 1977)
}


\begin{figure}[ht]
\begin{center}
\epsfig{file=hilbert4.eps,width=0.65\linewidth}\\
David Hilbert \\ (January 23, 1862 -- February 14, 1943)
\end{center}
\end{figure}


\hfill

Немного упростив, это же самое можно изложить так

\hfill

{\бф Третья проблема Гильберта}
Постройте два равновеликих многогранника,
которые не равносоставлены.

\хфилл

В этой лекции я расскажу решение этой проблемы,
полученное Максом Дэном (Max Dehn), 
который построил такие многогранники для $\R^3$.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\section{Конечно-аддитивные меры на кольце многогранников}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Напомним, что {\бф конечно-аддитивная мера}
на кольце многогранников есть функция $\mu:\; {\goth U} \arrow \R$,
сопоставляющая каждому многограннику число, конечно-аддитивная
(то есть удовлетворяющая $\mu(A\cup B) = \mu(A) + \mu(B) - \mu(A\cap B)$)
и зануляющаяся на вырожденных многогранниках. 
Такая функция называется {\бф инвариантной}
(или инвариантной относительно движений) если $\mu(A)=\mu(B)$
для любых конгруэнтных многогранников $A$, $B$.

В лекции 1 я определил объем многогранника,
с помощью триангуляции и определителя. Мы видели, 
что он удовлетворяет перечисленным свойствам,
то есть является инвариантной, конечно-аддитивной
мерой на кольце многогранников.

Для любого гомоморфизма групп $\R \stackrel \phi \arrow \R$,
функция $A \arrow \phi(\Vol(A))$ тоже задает инвариантную
счетно-аддитивную меру. Таких гомоморфизмов весьма 
много: если задан базис $\{\xi_i\}$ в $\R$ над $\Q$,
можно написать $\phi(\xi_i)$ произвольным образом,
и продолжить полученное отображение на $\R$ по линейности.
Поэтому конечно-аддитивных мер тоже очень много.

\задача
Докажите, что мощность множества $\Q$-линейных 
гомоморфизмов $\R \stackrel \phi \arrow \R$
равна $2^\R$, то есть мощности множества
подмножеств континуума.
\ез

Тем не менее, множество конечно-аддитивных 
инвариантных мер в каких-то ситуациях поддается 
описанию. Например, если все равновеликие
многогранники равносоставлены, любую
конечно-аддитивную меру можно выразить
через объем.

\хфилл

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\предложение
Предположим, что равновеликие многогранники
в $\R^n$ равносоставлены. Тогда каждая
 конечно-аддитивная инвариантная мера $\mu$
имеет вид $A \arrow \phi(\Vol(A))$
для какого-то гомоморфизма $\R \stackrel \phi \arrow \R$.

\хфилл

{\бф Доказательство:}
Возьмем куб $A$ с объемом $\lambda$,
и положим $\phi(\lambda):= \mu(A)$.
Поскольку каждый многогранник $B$
с объемом $\lambda$ равносоставлен
с $A$, имеем $\mu(B) = \phi(\Vol(B))$.
Отображение $\phi:\; \R^{\geq 0} \arrow \R$
аддитивно, потому что $\mu$ аддитивно.
Значит, $\phi$ продолжается до гомоморфизма
из $\R$ в $\R$ (проверьте это).
\endproof

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\section{Равносоставленность многоугольников}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

В $\R^2$ равносоставленность следует из равновеликости. 
Напомню, что {\бф многоугольник} это многогранник на плоскости $\R^2$

\хфилл

\теорема
(теорема Бойяи-Гервина)\\
Равновеликие многоугольники равносоставлены.

\хфилл

{\бф Доказательство. Шаг 1:}
\begin{center}
\epsfig{file=bo-ge-shag1.eps,width=0.5\linewidth}\\
{\em\scriptsize Любой треугольник равносоставлен параллелограмму\\
с тем же основанием и одним из углов.}
\end{center}

 
\хфилл

 
{\бф  Шаг 2:}
\begin{center}
\epsfig{file=bo-ge-shag2.eps,width=0.5\linewidth}\\
{\em\scriptsize Любой параллелограмм равносоставлен прямоугольнику
с тем же основанием.}
\end{center}

\хфилл

{\бф Шаг 3:}
\begin{center}
\epsfig{file=bo-ge-shag3.eps,width=0.7\linewidth}\\
{\em\scriptsize Прямоугольник со сторонами $а >b$
равносоставлен параллелограмму\\ со сторонами $a$ и $\sqrt{ab}$.}
\end{center}

 
\хфилл


{\бф Шаг 4:} Применяя шаг 3, мы убеждаемся,
что любой прямоугольник с площадью $S=ab$ равносоставлен
параллелограмму с основанием $\sqrt S$. Применяя
шаг 2, находим прямоугольник, равносоставленный
этому параллелограмму (в частности, площади $S$)
и с основанием $\sqrt S$. Такой прямоугольник
будет квадратом. Мы получили, что любой
прямоугольник равносоставлен квадрату той же
площади.


\хфилл


{\бф Шаг 5:} Из этого вытекает, что любой треугольник
равносоставлен любому прямоугольнику той же площади.

\хфилл

{\бф Шаг 6:} Возьмем какой-то многоугольник
$M$ и триангулируем его. Каждый из полученных
треугольников $D_i$ разрежем на куски, получив
прямоугольник с основанием 1 и стороной $\Vol(D_i)$.
Составив их вместе, получим прямоугольник
со сторонами 1 и $\Vol(M)$, равносоставленный
$M$. Сделав такую же операцию с другим 
многоугольником с той же площадью, снова
получим прямоугольник со сторонами 1 и $\Vol(M)$.
Значит, они равносоставлены.
\endproof


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\section{Инвариант Дэна}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Пусть $\mu:\; {\cal U} \arrow \R$ -- 
конечно-аддитивная, инвариантная мера
на кольце многогранников. Если $\mu(A) \neq \mu(B)$,
эти многогранники очевидно не равносоставлены.
Поэтому, чтобы получить контрпример к 
третьей проблеме Гильберта, достаточно
построить конечно-аддитивную, инвариантную
меру на кольце многогранников, которая
будет различать равновеликие многогранники.

В $\R^2$ меры, различающей
равновеликие многоугольники, не бывает, что следует
из теоремы Бойяи-Гервина.
Такая мера существует в $\R^3$, и называется
{\бф инвариантом Дэна}, в честь Макса Дэна,
студента Гильберта, построившего ее в 1900-м году.


\begin{figure}[ht]
\begin{center}
\epsfig{file=Max_Dehn.eps,width=0.45\linewidth}\\
Max Dehn\\ (November 13, 1878 -- June 27, 1952)
\end{center}
\end{figure}

Рассмотрим какой-нибудь $\Q$-линейный гомоморфизм 
$\R\stackrel \theta\arrow \R$, зануляющийся на $\pi$.
Чтобы построить такой гомоморфизм, надо выбрать базис
в $\R$ как в векторном пространстве над $\Q$
(существование такого базиса следует из леммы Цорна)
и задать $\theta$ на базисных векторах, таким образом,
что $\theta(\pi)=0$.

Существует не один инвариант Дэна, а целое семейство;
они параметризуются гомоморфизмами $\R\stackrel \theta\arrow \R$, 
где $\theta(\pi)=0$. Зафиксируем такой гомоморфизм, 
и пусть $A$ -- многогранник в $\R^3$, с ребрами
длины $d_1, ..., d_n$ и двугранными углами 
$\alpha_1, ..., \alpha_n$ в этих ребрах, измеренными
в радианах. Положим $D_\theta(A):= \sum_i d_i
\theta(\alpha_i)$.

\хфилл

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\утверждение\label{_Dehn_inva_Utverzhdenie_}
Определенный выше инвариант Дэна $D_\theta$ определяет
конечно-аддитивную, инвариантную меру на кольце 
многогранников.

\хфилл

{\бф Доказательство:} Разрежем многогранник
$A$  плоскостью $L$ на два многогранника $A_1$ и $A_2$.
Некоторые ребра $A$ окажутся целиком на $L$; в этом
случае соответствующие двугранные углы у $A_1$ и $A_2$
дают в сумме двугранный угол для $A$. Другие ребра
будут разрезаны на две части, и соответствующий двугранный 
угол в $A_1$ будет равен его аналогу у $A_2$. Значит,
эти ребра дают в инвариант Дэна $A$ вклад, который
равен сумме их вкладов в инвариант Дэна $A_1$ и $A_2$.
Наконец, для всех новых ребер, лежащих на $L$,
соответствующие двугранные углы дают в сумме $\pi$.
Значит, суммарные вклады этих ребер в $D_\theta(A_1)$ и
$D_\theta(A_2)$ сокращаются.

Мы получили, что для любой плоскости, рассекающей
многогранник $A$ в объединение $A_1$ и $A_2$, имеем
$D_\theta(A_1)+D_\theta(A_2)=D_\theta(A)$. Вывести
из этого аддитивность инварианта Дэна весьма просто;
я оставлю это в качестве упражнения.
\endproof


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\section{Вычисление инварианта Дэна}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Легко видеть, что инвариант Дэна параллелепипеда
равен нулю. В самом деле, все углы параллелепипеда
равны $\frac \pi 2$, а $\theta(\frac \pi 2)=0$. 
Если мы найдем многогранник $M$ с нетривиальным 
инвариантом Дэна $D_\theta$, это даст решение
третьей проблемы Гильберта, потому что $D_\theta(M)\neq
0$, а $D_\theta(M')=0$ для параллелепипеда $M'$,
равновеликого $M$.

В качестве $M$ можно взять, например, правильный тетраэдр
$\Delta$. Все ребра и все двугранные углы тетраэдра равны,
что дает $D_\theta(\Delta) = 6\theta(\alpha)$,
где $\alpha$ -- двугранный угол правильного тетраэдра.
Нетрудно убедиться, что $\alpha = \arccos(1/3)$,
но чтобы найти $\theta$, удовлетворяющий
$\theta(\alpha)\neq 0$,
надо доказать, что $\frac \alpha\pi$ иррационально.
Решение этой теоретико-числовой задачи
излагаеся в листочке 1.

\begin{figure}[ht]
\begin{center}
\epsfig{file=pyramid.eps,width=0.5\linewidth}\\
{\em\scriptsize Пирамида с квадратным основанием}
\end{center}
\end{figure}

Другое решение этой проблемы неявное, но существенно
более простое. Отметим сразу, что инвариант Дэна допускает
следующее нехитрое обобщение.  Пусть $\xi:\; \R \arrow \R$
-- $\Q$-линейный гомоморфизм. Для многогранника $A$ в $\R^3$, с ребрами
длины $d_1, ..., d_n$ и двугранными углами 
$\alpha_1, ..., \alpha_n$ в этих ребрах, положим
$D_{\xi, \theta}:= \sum_i \xi(d_i) \theta(\alpha_i)$.
Легко видеть. что этот инвариант тоже аддитивен,
в силу того же самого аргумента, который доказывает
аддитивность инварианта Дэна. Пусть теперь $A_c$ -
четырехгранная симметричная пирамидка, с квадратным 
основанием и высотой $c$, причем ребро при основании
имеет длину 1. У этой пирамидки есть два вида ребер,
четыре ребра длины 1 у основания, и 4 длины $l(c)$ ,
соединяющие основание и вершину. Обозначим 
двугранные углы у этих ребер за $\alpha(c)$,
Выбрав $\xi$ таким образом, чтобы $\xi(1)=0$,
получим
\[
D_{\xi, \theta}(A_c) = 4 \xi(l(c)) \theta(\alpha(c)).
\]
Гомоморфизмы $\xi, \theta$ выберем таким образом,
чтобы $\ker(\xi) = \Q \subset \R$, а $\ker(\theta) = \Q\pi
\subset \R$. Такие гомоморфизмы существуют, что
следует из того же самого аргумента с базисом. 
Тогда $\xi(l(c)) \theta(\alpha(c))=0$ для всех $c$, только
если $l(c)$ либо $\frac{\alpha(c)}{\pi}$ всегда
рациональны. Поскольку $l(c)$ и $\alpha(c)$
 монотонно возрастают, $l(c)$ может быть рационально
только для счетного набора $c$, и то же самое
верно для $\frac{\alpha(c)}{\pi}$.
Выбрав $c$ вне этих счетных подмножеств,
мы отыщем пирамидку с нетривиальным
инвариантом Дэна $D_{\xi, \theta}$.



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\section{История третьей проблемы Гильберта}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Гильберт огласил список десяти "проблем Гильберта"
на международном математическом конгрессе в Париже, в 1900-м году.
Впоследствии Гильберт добавил еще 13 проблем, и эта версия списка
проблем Гильберта (из 23 проблем) стала канонической.

Третья проблема Гильберта была решена в 1900-м году Максом Дэном,
студентом Гильберта, в его диссертации
"Die Legendreschen S\"atze \"uber die Win\-kel\-sum\-me im Dreieck"
(Теорема Лежандра о сумме углов треугольника). 
Впоследствии Дэн стал одним из основателей топологии
и современной теории групп. 

После прихода к власти нацистов Дэна уволили
с его профессорской позиции в университете Франкфурта,
и ему пришлось в 1940-м году эмигрировать в Америку (через 
Скандинавию, Россию и Японию). В Америке он долго не мог
найти работу, и в результате попал в школу
искусств под названием Black Mountain College,
где ему собирались платить 25 долларов в месяц
(правда, потом зарплату повысили до 40). За отсутствием
студентов-математиков, Дэну пришлось читать
лекции о математической сущности орнаментов.
Дэн оставался в Black Mountain College 
до своей смерти в 1952-м году, и был
единственным профессором математики
за всю историю этого колледжа (закрывшегося
в 1956-м году).

Другим преподавателем Black Mountain College 
был известный композитор Джон Кэйдж, а также
Бакминстер Фуллер.


\begin{figure}[ht]
\begin{center}
\epsfig{file=Wallace_2.eps,width=0.5\linewidth}\\
William Wallace\\
(September 23, 1768 -- April 28, 1843)
\end{center}
\end{figure}

Теорема Бойяи-Гервина (Bolyai-Gerwien theorem)
была доказана Фаркашем Бойяи (отцом Яноша Бойяи,
одного из изобретателей неевклидовой геометрии) в 1832-м
году, и П. Гервином в 1833-м. Первым опубликовал
доказательство этой теоремы шотландский математик
Уильям Уоллес,  в 1807 году.

Много полезных сведений о третьей проблеме Гильберта и
связанных с ней более современных исследованиях можно
подчерпнуть в книге Болтянского "Третья проблема Гильберта".

\newpage

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\setcounter{chapter}{2}
\lhead{{\scriptsize  Теория меры, лекция 3}}
\chapter{Теория меры, лекция 3: \\ $G$-равносоставленные многогранники}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Задача этой лекции -- доказательство теоремы,
которая была сформулирована в лекции 1. Из ее утверждения
следует корректность определения объема многобранников.

\хфилл

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\теорема\label{_volume_tria_Lec_3_Theorem_}
Пусть $S$ - триангуляция симплекса $X$, разбивающая
$X$ в объединение симплексов $X_1, ..., X_n$.
Тогда $\Vol(X) = \sum \Vol(X_i)$.

\hfill

Я использую аргумент, концептуально повторяющий
логику Гильберта, который определял объем многоугольников
в $\R^2$, пользуясь теоремой Бойяи-Гервина о равносоставленности
равновеликих многоугольников. Аналог этой теоремы
верен и в $\R^n$, если заменить группу движений на
более удобную группу.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\section{$G$-конгруэнтность и $G$-равносоставленность}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\определение
Обозначим за $GL(n)$ группу всех линейных
автоморфизмов пространства $\R^n$. Пусть $G\subset GL(n)$ --
произвольная подгруппа. Два подмножества $M, M' \subset \R^n$
называются {\бф $G$-конгруэнтными}, если $M$ можно перевести
в $M'$ композицией $g\in G$ и параллельного переноса.
\ео

\определение
Два многогранника $M, M'$ называются {\бф $G$-равносоставленными},
если они допускают триангуляции $S, S'$,
такие, что задана биекция множества симплексов $S$ в множество
симплексов $S'$, переводящая каждый симплекс в $G$-конгруэнтный ему.
\ео

\замечание
$G$-равносоставленность есть отношение
эквивалентности, по той же причине, по которой
это верно для обычной равносоставленности. 
\еза

\замечание
Если $G=O(n)$ -- группа линейных изометрий $\R^n$,
то $G$-конгруэнтность и $G$-равносоставленность
эквивалентны обычным.
\еза

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\section{$SL^\pm(n)$-равносоставленность}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

В доказательстве теоремы \ref{_volume_tria_Lec_3_Theorem_},
нас интересует $G$-равносоставленность для группы
$G=SL^\pm(n)$, состоящей из всех матриц $A\in GL(n)$
с $\det A=\pm 1$. Из определения ясно, что эта группа сохраняет
объемы симплексов. Для такой группы верен следующий
аналог теоремы Бойяи-Гервина.

\хфилл

\теорема
Пусть $X, Y$ -- два многогранника, снабженные триангуляциями
$\{X_i\}$ и $\{ Y_i\}$, такие, что 
$\sum \Vol X_i = \sum \Vol Y_i$. Тогда $X$ и $Y$
$SL^\pm(n)$-равносоставлены.

\хфилл

{\бф Доказательство. Шаг 1:}
Назовем {\бф объемом параллелепипеда}, натянутого на 
вектора $x_1, ..., x_n$, соответствующий определитель
$|\det(x_1, ..., x_n)|$. Все параллелепипеды
одинакового объема переводятся друг  в друга
действием $SL^\pm(n)$ и параллельными переносами,
по определению $SL^\pm(n)$, значит, $SL^\pm(n)$-равносоставлены.

{\бф Шаг 2:} По той же самой причине, все симплексы
одинакового объема $SL^\pm(n)$-равносоставлены.

{\бф Шаг 3:} Каждый симплекс можно разбить в
объединение $N$ симплексов одинакового объема (проверьте).
Для $N=2$ такое разбиение приводится на картинке.

\begin{figure}[ht]
\begin{center}
\epsfig{file=izmelchen.eps,width=0.3\linewidth}\\
{\em\scriptsize Симплекс разбит в объединение двух симплексов
одинакового объема}
\end{center}
\end{figure}

{\бф Шаг 4:} Каждый куб в $\R^n$ можно разбить на
$2n\cdot (2n-2) \cdot (2n-4) \cdot ... = 2^n n!$
конгруэнтных симплексов. В самом деле, барицентрическое
разбиение (то самое, которое использовалось для
триангуляции выпуклого многобранника) обладает таким
свойством, если на каждом шаге выбирать точку в центре
грани. 

{\бф Шаг 5:} Из шага 3 вместе с шагом 4 немедленно 
следует, что куб $SL^\pm(n)$-равносоставлен тетраэдру того же объема.
Из каждого симплекса $X_i$ и $Y_i$ сделаем 
$SL^\pm(n)$-равносоставленный им параллелограмм с одинаковым
основанием, сложим эти параллелограммы штабелями,
как в доказательстве теоремы Бойяи-Гервина, и
получим, что $X$ и $Y$ $SL^\pm(n)$-равносоставлены 
одинаковым параллелограммам.
\endproof


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\subsection{$G$-равносоставленность и триангуляция
параллелограмма}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%Другим полезным понятием является
%$1$-равносоставленность, то есть равносоставленность
%относительно единичной группы. Следующая
%лемма доказана (для размерности 2) при доказательстве
%теоремы Бойяи-Гервина; ее доказательство
%в любой размерности такое же.
%
%\хфилл
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\лемма\label{_1-ravnoso_Lemma_}
%Пусть $X$ -- параллелепипед в $\R^n$.
%Тогда $X$ 1-равносоставлен прямоугольному
%параллелепипеду со сторонами, параллельными
%осям координат. 
%
%\endproof
%
%
%
%\хфилл
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\предложение\label{_pokrytie_pryamou_Predlozhenie_}
%Пусть $X$ -- параллелепипед объема $\epsilon$ в $\R^n$.
%Тогда можно покрыть $X$ прямоугольными
%параллелепипедами со сторонами, параллельными
%осям координат, и суммарным объемом не больше 
%$n!\epsilon$. 
%
%\хфилл
%
%{\бф Доказательство:} 
%Применив лемму \ref{_1-ravnoso_Lemma_},
%мы сведем предложение \ref{_pokrytie_pryamou_Predlozhenie_}
%к следующему утверждению
%
%\хфилл
%
%\лемма
%Пусть $Y$ -- прямоугольный параллелепипед
%а $\{Y_i\}$ -- его триангуляция. Тогда найдется
%измельчение $\{Z_i\}\preccurlyeq \{Y_i\}$
%такое, что каждый симплекс $Z_i$ 
%содержится в параллелепипеде
%со сторонами, параллельными осям
%координат, и объемом не больше 
%$n!\Vol Z_i$.
%
%\хфилл
%
%{\бф Доказательство:} 
%Пусть $Z_i$ -- прямоугольный симплекс
%с гранями, параллельными координатным осям.
%Построенный по прямому углу
%
%
%заменив каждый симплекс на параллелограмм
%с тем же прямым углом, получим искомое
%покрытие, а объем увеличится в $n!$
%раз, потому что таково соотношение
%объемов параллелограмма и симплекса.
%\endproof
%
%
%\хфилл

Для доказательства теоремы
\ref{_volume_tria_Lec_3_Theorem_},
нам понадобится следующая лемма.

\хфилл

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\лемма\label{_parallelo_cover_Lemma_}
Пусть $Х$ -- симплекс объема $\epsilon$ в $\R^n$.
Тогда можно покрыть $X$ прямоугольными
параллелепипедами со сторонами, параллельными
осям координат, и суммарным объемом не больше 
$n!\epsilon$. 

\хфилл

\упражнение
Докажите эту лемму.

\хфилл


Теперь мы можем доказать теорему
\ref{_volume_tria_Lec_3_Theorem_}.
Пусть $\{X_i\}$, $\{Y_i\}$ -- две триангуляции
одного многогранника, имеющие разный объем.
Из теоремы о $SL^\pm(n)$-равносоставленности,
из этого следует, что параллелепипед
$SL^\pm(n)$-равносоставлен меньшему параллелепипеду
с тем же основанием. Повторяя это разбиение
с меньшим параллелепипедом, получаем 
триангуляцию единичного куба $C$, причем
суммарный объем составляющих ее симплексов
меньше любого наперед заданного числа.
Заменив симплексы параллелепипедами,
построенными по тем же векторам,
получим покрытие $C$ параллелепипедами
с суммарным объемом меньше любого заданного
$\epsilon$. Применив лемму
\ref{_parallelo_cover_Lemma_}
мы можем с самого начала предполагать,
что эти параллелепипеды прямоугольные
и со сторонами, параллельными 
осям координат. Но это невозможно,
как следует из приведенной ниже задачи,
которая завершает доказательство
теоремы \ref{_volume_tria_Lec_3_Theorem_}.

\упражнение
Пусть $\{X_i\}$ -- покрытие единичного куба
параллелепипедами со сторонами, параллельными
осям координат. Тогда сумма объемов $X_i$ не меньше 1.


\указание
Разбив это покрытие на параллелепипеды поменьше,
получите покрытие куба $C= I^n$ вида
$\{\bigcup_i A_i(1)\}\times \{\bigcup_i A_i(2)\}\times ... 
\times \{\bigcup A_i(n)\}$
где $A_i(k)$ -- покрытие отрезка $I$. Суммарный объем
симплексов такого покрытия, очевидно, равен 1.
\еу


\end{document}
