красота (математика)
Nov. 20th, 2002 04:55 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
avvaБуквально в последние дни, очень понравились:
1. Красивый объект: группа Григорчука. Это определённая подгруппа группы автоморфизмов бесконечного двоичного дерева. Мне про неё рассказали сегодня. Очень красивая штука. Довольно элементарно и элегантно доказывается, что это 2-группа (каждый элемент имеет порядок степень двойки), при этом сама она бесконечна; т.е. является простым и красивым контрпримером к одной из гипотез Бернсайда: той, что гласит, что каждая конечно порождённая группа, в которой все элементы имеют конечный порядок, сама конечна.
2. Красивое доказательство: доказательство Шелаха того факта, что функция роста чисел ван дер Вардена - примитивная рекурсивная. Ссылка на статью Шелаха есть на той же странице. Очень простое полностью комбинаторное док-во, которое заодно доказывает новым способом само существование чисел ван дер Вардена, не используя обычную для этого двойную индукцию.
3. Красивый подход: статья Патнэма с альтернативным док-вом теоремы о неполноте Гёделя, придуманном Крипке. Доказательство полностью алгебраическое, использует нестандартные модели арифметики Пеано, причём довольно элементарным образом. Саму нестандартную модель можно при желании построить с помощью ультрафильтров, избежав таким образом использования теоремы о компактности и сделав всё доказательство ещё более алгебраическим по духу. В свежем Notre Dame Journal of Formal Logic. Вообще-то я ещё не уверен окончательно в том, что понял все подробности; надо перечитать. Но очень красиво.
1. Красивый объект: группа Григорчука. Это определённая подгруппа группы автоморфизмов бесконечного двоичного дерева. Мне про неё рассказали сегодня. Очень красивая штука. Довольно элементарно и элегантно доказывается, что это 2-группа (каждый элемент имеет порядок степень двойки), при этом сама она бесконечна; т.е. является простым и красивым контрпримером к одной из гипотез Бернсайда: той, что гласит, что каждая конечно порождённая группа, в которой все элементы имеют конечный порядок, сама конечна.
2. Красивое доказательство: доказательство Шелаха того факта, что функция роста чисел ван дер Вардена - примитивная рекурсивная. Ссылка на статью Шелаха есть на той же странице. Очень простое полностью комбинаторное док-во, которое заодно доказывает новым способом само существование чисел ван дер Вардена, не используя обычную для этого двойную индукцию.
3. Красивый подход: статья Патнэма с альтернативным док-вом теоремы о неполноте Гёделя, придуманном Крипке. Доказательство полностью алгебраическое, использует нестандартные модели арифметики Пеано, причём довольно элементарным образом. Саму нестандартную модель можно при желании построить с помощью ультрафильтров, избежав таким образом использования теоремы о компактности и сделав всё доказательство ещё более алгебраическим по духу. В свежем Notre Dame Journal of Formal Logic. Вообще-то я ещё не уверен окончательно в том, что понял все подробности; надо перечитать. Но очень красиво.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2002-11-19 07:26 pm (UTC)no subject
Date: 2002-11-19 07:34 pm (UTC)Krammer, Daan. Braid groups are linear. Ann. of Math. (2) 155 (2002), no. 1, 131--156. MR 1 888 796
Krammer, Daan. The braid group $B\sb 4$ is linear. Invent. Math. 142 (2000), no. 3, 451--486. MR 2001k:20078
no subject
Date: 2002-11-19 07:40 pm (UTC)За механикой еле успеваю следить, а тут уж - тем более...
no subject
Date: 2002-11-19 07:43 pm (UTC)