域上的代數(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)
則稱
為
上的代數。
稱為
的基域。運算
常稱作乘法,且運算符一般可以省略,即
記作
。純量乘法
的運算符通常亦省略,但此處並不會導致混淆,因為
是純量與向量之間的運算而
是兩個向量之間的運算。另須注意域上的代數與帶雙線性形式的向量空間區別:在代數中,
中兩個元素的乘積仍是
中的元素,而
中兩個元素由雙線性形式得到的「乘積」是純量即
中的元素。