赋范可除代数
维基百科,自由的百科全书
| 本条目過於依赖第一手来源。(2011年1月4日) |
| 各种各样的數 | ||
| 基本 | ||
|
|
||
| 延伸 | ||
|
|
||
| 其他 | ||
|
|
在数学中,一个赋范可除代数
是一个在实数域或复数域上的可除代数,它同时还是一个赋范线性空间,这里范数
满足下面的性质:
对所有的
尽管定义允许赋范可除代数是无限维的,但事实上并没有。仅有的实数域上的赋范可除代数(在同构意义下)有
这一结论被称为胡尔维兹定理。在所有以上情形中,范数由绝对值给出。注意,前三种是结合代数,而八元数是交错代数(结合性的一种弱形式)。 唯一的复数域上的赋范可除结合代数是复数域自身。 赋范可除代数是合成代数的一种特殊情况。合成代数是具有可乘的二次型的幺代数。通常的合成代数不必是可除的,相反,它可能含有零因子。实数域上的合成代数提供了三种额外的代数:分裂复数、分裂四元数和分裂八元数。




![\begin{smallmatrix} \mathbb{Z}[i] \end{smallmatrix}](http://upload.wikimedia.org/math/5/2/2/522c8c20a747acc35a997e5f1e3e2b7f.png)



![\begin{smallmatrix} \mathbb{Z}[\omega] \end{smallmatrix}](http://upload.wikimedia.org/math/2/8/0/280b4c450c08bf8046ebcc5b55220b9c.png)








