Cтраница 3
Таким образом, алгебры кватернионов являются простыми центральными алгебрами. В § 13.1 мы покажем, что любая четырехмерная центральная простая алгебра над полем F характеристики 2 является алгеброй кватернионов. Набросок доказательства этого факта содержится в упр. [31]
Набросок доказательства более слабого утверждения содержится в упр. [32]
Если они различны, то нельзя удовлетворить обоим уравнениям одновременно, так что гладкость второго порядка может быть получена только в одном направлении. К счастью, эти два уравнения дают одно и то же множество векторов кручения, поэтому достижима общая гладкость второго порядка. Ниже дается набросок доказательства этого утверждения. Если у читателя нет желания воспроизвести самостоятельно все детали, то полезно проследить основные пункты доказательства, в котором реализован практический метод вычисления поверхностей с непрерывной кривизной, основанных на сплайнах. [33]
Теорема Амицура оставляет открытыми два вопроса: являются ли алгебры простой степени скрещенными произведениями. Ответ на первый из этих вопросов неизвестен. Цель этого упражнения - дать набросок доказательства теоремы, принадлежащей Алберту, которая дает положительный ответ на второй вопрос. [34]
Аналогичные заключения справедливы для совместного состояния конечного числа L заданных битов. Это - не тривиальное наблюдение, поскольку такое состояние не обязательно есть прямое произведение состояний ограниченных на гильбертовы пространства отдельных битов, а, вообще говоря, линейная суперпозиция таких произведений. Тем не менее, я сейчас приведу набросок доказательства существования программы, которая порождает унитарное преобразование L битов, сколь угодно близкое к любому желаемому унитарному преобразованию. Далее точный означает сколь угодно точный относительно нормы внутреннего произведения. [35]
В дальнейшем в этой главе мы рассмотрим вполне непрерывные операторы в некотором гильбертовом пространстве Я, которые отображают Я в то же самое пространство Я. Мы приведем краткий обзор наиболее важных результатов и, как отмечалось выше, дадим набросок доказательств тем, где это целесообразно. [36]
Удивительная теорема Ашбахера по существу выражает обратное утверждение: за небольшим числом исключений все простые группы, содержащие классическую инволюцию, исчерпываются группами типа Ли нечетной характеристики. Таким образом, его теорема характеризует группы типа Ли нечетной характеристики строением централизатора лишь одной инволюции. Набросок доказательства Ашбахера будет дан позднее. [37]
Предположим обратное, что каждой вершине поставлен в соответствие коэффициент таким образом, что условие сравнения по mod 3 выполняется для любой грани. Назначим цвет 1 произвольному ребру, а оставшиеся ребра окрасим следующим образом: Если неокрашенное ребро е смежно с окрашенным ребром f, то назначим ему цвет е, который соответствует цвету / и коэффициенту их общей вершины, используя при этом предложенное ранее условие движения по часовой стрелке. Условие сравнимости по mod 3 гарантирует правильность получаемой при этом раскраски, так как оно позволяет раскрашивать ребра в любом порядке без возникновения противоречий в процессе раскраски. На этом набросок доказательства заканчивается. [38]
Пространство К отличается от стандартного гладкой структурой. После краткого обсуждения понятия гладкой структуры на многообразии мы описываем алгебраические инварианты, которые используются для классификации четырехмерных топологических многообразий. Не все четырехмерные многообразия допускают гладкую структуру; мы формулируем характерные результаты о несуществовании, включая теорему Дональдсона. Наконец, объединив все изложенное, мы даем набросок доказательства существования на ( R экзотической гладкой структуры. [39]
То, что 1 влечет 3, доказывается следующим образом. Если S есть любое Лр-перечислимое множество и М - машина, Лр-перечисляющая его, то построенная выше сложная машина есть р-машина, сильно р-перечисляющая S. Следовательно, любое Лр-перечислимое множество сильно р-перечислимо. Это доказывает, что 1 влечет 3, и набросок доказательства теоремы 1 Тем самым закончен. [40]