Московский государственный университет имени М.В.Ломоносова
Опубликован: 21.02.2007 | Доступ: свободный | Студентов: 1679 / 168 | Оценка: 4.60 / 3.50 | Длительность: 14:25:00
Специальности: Программист, Математик
Лекция 10:

Теорема Цермело

< Лекция 9 || Лекция 10: 123 || Лекция 11 >

Теорема Аддитивные группы \bbR и \bbR\hm\oplus\bbR изоморфны друг другу.

Доказательство. Рассмотрим \bbR как векторное пространство над \bbQ и выберем базис в этом пространстве. Очевидно, он бесконечен. Базис в \bbR\hm\oplus\bbR может быть составлен из двух частей, каждая из которых представляет собой базис в одном из экземпляров \bbR. Как мы увидим чуть позже ( "лекция 11" ), для любого бесконечного множества B удвоенная мощность B (мощность объединения двух непересекающихся множеств, равномощных B ) равна мощности B. Наконец, осталось заметить, что пространства над одним и тем же полем с равномощными базисами изоморфны как векторные пространства и тем более как группы.

117. Докажите, что любой базис в пространстве \mathbb{R} над полем \mathbb{Q} имеет мощность континуума. (При доказательстве пригодятся результаты "лекцию 11" .)

Мы видели, что трансфинитная индукция позволяет доказать существование базиса в любом векторном пространстве. Продолжая эту линию, можно доказать, что любые два базиса векторного пространства равномощны. (Таким образом, понятие размерности как мощности базиса корректно определено и для бесконечномерных векторных пространств.) Мы вернемся к этому позже (теорема 36).

Отметим, что существование базиса Гамеля можно использовать и quot;в мирных целях", а не только для построения экзотических примеров. Известная " третья проблема Гильберта " состояла в доказательстве того, что многогранники равного объема могут не быть равносоставлены. (Это значит, что один из них нельзя разрезать на меньшие многогранники и сложить из них другой многогранник.) Для многоугольников на плоскости ситуация иная: если два многоугольника равновелики (имеют равную площадь), то они равносоставлены.

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

Доказательство. Введем понятие псевдообъема многогранника. Как и объем, псевдообъем будет аддитивен (если многогранник разбит на части, сумма их псевдообъемов равна псевдообъему исходного многогранника); псевдообъемы равных многогранников будут равны. Отсюда следует, что псевдообъемы равносоставленных многогранников будут равны. Мы подберем псевдообъем так, чтобы у куба он равнялся нулю, а у тетраэдра нет - и доказательство будет завершено.

Псевдообъем многогранника мы определим как сумму \sum l_i
\varphi(\alpha_i), где сумма берется по всем ребрам многогранника, l_i - длина i -го ребра, \alpha_i - двугранный угол при этом ребре, а \varphi - некоторая функция. Такое определение автоматически гарантирует, что равные многогранники имеют равные псевдообъемы. Что нужно от функции \varphi, чтобы псевдообъем был аддитивен? Представим себе, что многогранник разрезается плоскостью на две части, и плоскость проходит через уже имеющееся ребро длины l. Тогда двугранный угол \alpha при этом ребре разбивается на две части \beta и \gamma. Поэтому в выражении для псевдообъема вместо слагаемого l\varphi(\alpha) появляются слагаемые l\varphi(\beta)\hm+l\varphi(\gamma), и \varphi(\alpha) должно равняться \varphi(\beta)+\varphi(\gamma). Кроме того, разрезающая плоскость может образовать новое ребро, пересекшись с какой-то гранью. Обозначим длину этого ребра за l'. Тогда в псевдообъеме появятся слагаемые l'\varphi(\alpha)\hm+l'\varphi(\pi\hm-\alpha) (два образовавшихся двугранных угла дополнительны), которые в сумме должны равняться нулю.

Теперь ясно, какими свойствами должна обладать функция \varphi. Нужно, чтобы \varphi(\beta\hm+\gamma)\hm=\varphi(\beta)\hm+\varphi(\gamma) и чтобы \varphi(\pi)\hm=0. Тогда псевдообъем будет и впрямь аддитивен. Аккуратная проверка требует точного определения понятия многогранника (что не так и просто), и мы ее проводить не будем. Наглядно аддитивность кажется очевидной, особенно если учесть, что все разрезы можно проводить плоскостями (при этом могут получиться более мелкие части, но это не страшно).

Итак, для завершения рассуждения достаточно построить функцию \varphi\colon\bbR\hm\to\bbR, для которой

  • \varphi(\beta\hm+\gamma)\hm=\varphi(\beta)\hm+\varphi(\gamma) для всех \beta,\gamma\hm\in\bbR ;
  • \varphi(\pi)\hm=0 (это свойство вместе с предыдущим гарантирует аддитивность псевдообъема);
  • \varphi(\pi/2)\hm=0 (псевдообъем куба равен нулю; это свойство, впрочем, легко следует из двух предыдущих);
  • \varphi(\theta)\hm\ne 0, где \theta - двугранный угол при ребре правильного тетраэдра.

Существенно здесь то, что отношение \theta/\pi иррационально. Проверим это. Высоты двух соседних граней, опущенные на общее ребро, образуют равнобедренный треугольник со сторонами \sqrt{3}, \sqrt{3}, 2 ; надо доказать, что углы этого треугольника несоизмеримы с \pi. Удобнее рассмотреть не \theta, а другой угол треугольника (два других угла треугольника равны); обозначим его \beta. Это угол прямоугольного треугольника со сторонами 1, \sqrt{2} и \sqrt{3}, так что (\cos \beta \hm+
i\sin\beta)=(1\hm+\sqrt{-2})/\sqrt{3}. Если бы угол \theta был соизмерим с \pi, то и \beta был бы соизмерим, поэтому некоторая степень этого комплексного числа равнялась бы единице. Можно проверить, однако, что это не так, поскольку кольцо чисел вида m\hm+n\sqrt{-2} ( m,n\hm\in \bbZ ) евклидово и разложение на множители в нем однозначно.

Дальнейшее просто: рассмотрим числа \pi и \theta. Они независимы как элементы векторного пространства \bbR над \bbQ, дополним их до базиса и рассмотрим \bbQ -линейный функционал \varphi\colon\bbR\hm\to\bbQ, равный коэффициенту при \theta в разложении по этому базису. Очевидно, все требования при этом будут выполнены.

118. Покажите, что некоторое усложнение этого рассуждения позволяет обойтись без базиса Гамеля: достаточно определять \varphi не на всех действительных числах, а только на линейных комбинациях углов, встречающихся при разрезании куба и тетраэдра на части.

< Лекция 9 || Лекция 10: 123 || Лекция 11 >