域上的代数(algebra over a field)或域代数,一般可简称为代数,是在向量空间的基础上定义了一个双线性的乘法运算而构成的代数结构。
介绍域上的代数的一般定义之前,先看几个例子。
例1:复数[编辑]
复数即形如
的数,其中
,
为实数而
为虚数单位。
可表示为实向量
,且在向量表示下的加法与标量乘法分别与两个复数的加法和一个实数与一个复数的乘法相同,因此复数集是实数域上的二维向量空间。而两个复数的乘法定义为
,结果仍为复数,且此运算对加法和标量乘法满足双线性性:设
,
和
为任意复数而
,
为任意实数,可验证:
![{\displaystyle (\mathbf {x} +\mathbf {y} )\mathbf {z} =\mathbf {x} \mathbf {z} +\mathbf {y} \mathbf {z} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/21944e734394582e1153c2578f63fa90f2015cd4)
![{\displaystyle (a\mathbf {x} )(b\mathbf {y} )=(ab)(\mathbf {x} \mathbf {y} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6068524e4d89b26a2ea210504b406c33ab9c52e)
复数的乘法满足交换律,故左右分配律等价,只需考虑其中之一。
例2:四元数[编辑]
四元数即形如
的数,其中
,
,
和
为实数而
,
和
为满足
的三个四元数单位。与复数类似,四元数集是实数域上的四维向量空间。根据四元数单位的乘法表可得两个四元数的乘积如下:
设
,
和
为任意四元数而
,
为任意实数,可验证:
![{\displaystyle \mathbf {p} (\mathbf {q} +\mathbf {r} )=\mathbf {p} \mathbf {q} +\mathbf {p} \mathbf {r} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/70a529e2e3b5fe26767cbca8400b061688cf7bcc)
![{\displaystyle (\mathbf {p} +\mathbf {q} )\mathbf {r} =\mathbf {p} \mathbf {r} +\mathbf {q} \mathbf {r} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/684f0f0fa16e9dc01bd50a9e0745a9a20d3456c8)
![{\displaystyle (a\mathbf {p} )(b\mathbf {q} )=(ab)(\mathbf {p} \mathbf {q} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1ab8f87216eb5b5789adef70b74a7a48da126c5)
四元数的乘法不满足交换律,左右分配律需分别考虑。
例3:三维向量的叉积[编辑]
两个右手系标准正交基下的三维向量
和
,其叉积为
。设
,
和
为任意三维向量而
,
为任意实数,可验证:
![{\displaystyle \mathbf {u} \times (\mathbf {v} +\mathbf {w} )=\mathbf {u} \times \mathbf {v} +\mathbf {u} \times \mathbf {w} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e842e9c8713295587e8a7365bb1c3b1015ba896)
![{\displaystyle (\mathbf {u} +\mathbf {v} )\times \mathbf {w} =\mathbf {u} \times \mathbf {w} +\mathbf {v} \times \mathbf {w} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/faa33f6053c297193f428929ae5030dafb41bbc4)
![{\displaystyle (a\mathbf {p} )\times (b\mathbf {q} )=(ab)(\mathbf {p} \times \mathbf {q} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02867dc87daf9cbf11fc3c2b9173b4f79d53428e)
与前述两例不同的是,三维向量的叉积不满足结合律,即一般来说
不成立,亦不存在单位元,即不存在向量
使得对任意向量
皆有
。带叉积的三维向量空间是一个李代数。
以上三例中,乘法运算皆满足双线性性而不一定满足交换律或结合律或存在单位元。以上三例的共同点,概括为域上的代数,定义如下:设
为域,
为
上的向量空间,其加法运算为
,标量乘法为
。定义
上的二元运算
,若
满足双线性性,即对于任意
和
满足以下条件:
- 对加法的左分配律:
![{\displaystyle \mathbf {x} \times (\mathbf {y} +\mathbf {z} )=\mathbf {x} \times \mathbf {y} +\mathbf {x} \times \mathbf {z} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/23afd748fa5e1678d48e3f137bd6cf1e754dff53)
- 对加法的右分配律:
![{\displaystyle (\mathbf {x} +\mathbf {y} )\times \mathbf {z} =\mathbf {x} \times \mathbf {z} +\mathbf {y} \times \mathbf {z} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9713a79ac2542b79fba408518d4ba2ed3f854f37)
- 与标量乘法相容:
![{\displaystyle (a\cdot \mathbf {x} )\times (b\cdot \mathbf {y} )=(ab)\cdot (\mathbf {x} \times \mathbf {y} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5f613d896ffe6b17949fadf04c71a7122c31a22)
则称
为
上的代数。
称为
的基域。运算
常称作乘法,且运算符一般可以省略,即
记作
。标量乘法
的运算符通常亦省略,但此处并不会导致混淆,因为
是标量与向量之间的运算而
是两个向量之间的运算。另须注意域上的代数与带双线性形式的向量空间区别:在代数中,
中两个元素的乘积仍是
中的元素,而
中两个元素由双线性形式得到的“乘积”是标量即
中的元素。