Русская Википедия:Теорема Фробениуса
Шаблон:О Теоре́ма Фробе́ниуса — одна из теорем общей алгебры. Теорема утверждает, что при некоторых естественных предположениях (конечномерность, см. ниже) всякое тело (в частности, поле), расширяющее поле вещественных чисел <math>\mathbb R</math>:
- либо изоморфно исходному полю <math>\mathbb R</math>;
- либо изоморфно полю комплексных чисел <math>\mathbb C</math>;
- либо изоморфно телу кватернионов <math>\mathbb H</math>.
Иными словами, невозможно задать 4 арифметических действия над столбцами (любой высоты, большей 1) из вещественных чисел так, чтобы они удовлетворяли обычным требованиям ассоциативности, коммутативности, обратимости и билинейности, то есть аксиомам поля, и единственным исключением из этого запрета являются комплексные числа — столбцы из двух вещественных чисел.
В случае же ослабления требований путём отказа от коммутативности умножения мы получаем ещё одно исключение, которым являются кватернионы (столбцы из четырёх вещественных чисел).
Поскольку словом «число» обычно называют элемент поля (или хотя бы тела), частным случаем теоремы является тот факт, что трехмерных чисел не бывает, как не бывает и пяти- или же более -мерных.
8-мерные октонионы Кэли исключением из теоремы не являются, поскольку умножение для них не ассоциативно.
Эта теорема была доказана Ф. Г. Фробениусом в 1877 году.
Формулировка
Пусть <math>\mathbb L</math> — тело, содержащее в качестве подтела тело <math>\mathbb R</math> вещественных чисел, причём выполняются два условия:
- любой элемент <math>x \in \mathbb L</math> коммутирует по умножению с вещественными числами: <math>xa=ax</math>, <math>a \in \mathbb R</math>;
- <math>\mathbb L</math> является конечномерным векторным пространством над полем <math>\mathbb R</math>.
Другими словами, <math>\mathbb L</math> является конечномерной алгеброй с делением[1] над полем вещественных чисел.
Теорема Фробениуса утверждает, что всякое такое тело <math>\mathbb L</math>:
- либо изоморфно полю <math>\mathbb R</math> вещественных чисел,
- либо изоморфно полю <math>\mathbb C</math> комплексных чисел,
- либо изоморфно телу <math>\mathbb H</math> кватернионов.
Отметим, что теорема Фробениуса относится только к конечномерным расширениям <math>\mathbb R</math>. Например, она не охватывает поле гипервещественных чисел нестандартного анализа, которое тоже является расширением <math>\mathbb R</math>, но не конечномерным. Другой пример — алгебра рациональных функций.
Следствия и замечания
- Эта теорема тесно связана с теоремой Гурвица о нормированных вещественных алгебрах. Нормированные алгебры с делением — только <math>\mathbb R, \mathbb C, \mathbb H</math> и (неассоциативная) алгебра чисел Кэли.
- При расширении системы комплексных чисел мы неизбежно теряем какие-либо арифметические свойства: коммутативность (кватернионы), ассоциативность (алгебра Кэли) и т. п.
- Не существует аналога системы кватернионов с двумя (а не тремя) мнимыми единицами.
- Поля <math>\mathbb R</math> и <math>\mathbb C</math> являются единственными конечномерными вещественными ассоциативными и коммутативными алгебрами без делителей нуля.
- Тело кватернионов <math>\mathbb H</math> является единственной конечномерной вещественной ассоциативной, но некоммутативной алгеброй без делителей нуля.
- Алгебра Кэли является единственной конечномерной вещественной альтернативной неассоциативной алгеброй без делителей нуля.
Три последних утверждения образуют так называемую обобщённую теорему Фробениуса.
Алгебры с делением над полем комплексных чисел
Алгебра размерности n над полем <math>\mathbb C</math> комплексных чисел является алгеброй размерности 2n над <math>\mathbb R</math>. Тело кватернионов <math>\mathbb H</math> не является алгеброй над полем <math>\mathbb C</math>, так как центром <math>\mathbb H</math> является одномерное вещественное пространство. Поэтому единственной конечномерной алгеброй с делением над <math>\mathbb C</math> является алгебра <math>\mathbb C</math>.
Гипотеза Фробениуса
В теореме есть условие ассоциативности. Что будет, если отказаться от этого условия? Гипотеза Фробениуса утверждает, что и без условия ассоциативности при n, отличном от 1, 2, 4, 8, в вещественном линейном пространстве Rn нельзя определить структуру алгебры с делением. Гипотеза Фробениуса доказана в 60-х гг. XX века.
Если при n>1 в пространстве Rn определено билинейное умножение без делителей нуля, то на сфере Sn-1 существует n-1 линейно независимых векторных полей[2]. Из результатов, полученных Адамсом о количестве Шаблон:Не переведено 5, следует, что это возможно только для сфер S1, S3, S7. Это доказывает гипотезу Фробениуса.
См. также
Литература
Шаблон:Числа Шаблон:Алгебра над кольцом
Примечания
- ↑ Алгебра с делением не содержит делителей нуля. Для конечномерной алгебры над полем верно и обратное утверждение. Поэтому в разных источниках при формулировке теоремы и следствий может быть использован как термин «алгебра с делением», так и «алгебра без делителей нуля».
- ↑ Шаблон:Книга
