Теорема Гурвица о нормированных алгебрах с делением

Шаблон:Другие значения термина Теорема Гурвица о нормированных алгебрах — утверждение о множестве всех возможных алгебр с единицей, допускающих при введении скалярного произведения правило «норма произведения равна произведению норм» (нормированная алгебра). Установлена немецким математиком Гурвицем в 1898 году..

Формулировка

Любая нормированная алгебра с единицей изоморфна одной из четырех алгебр: действительных чисел, комплексных чисел, кватернионов или октонионовШаблон:Sfn.

Примечание

Здесь нормированной алгеброй называется алгебра, для любых двух элементов $a$ и $b$ которой выполняется тождество $(ab,ab)=(a,a)(b,b)$, где $ab$ — произведение в алгебре, $(\cdot ,\cdot )$ — скалярное произведение.

Доказательство

Доказательство теоремы содержится в книге Шаблон:Sfn.

Литература

• Шаблон:Книга