三元數

三元数（英語：Trionion）是指建立在实数域上的三维代数系統。這種代數系統無法被良好構建，因此這個代數系統並未有一個廣泛被接受的定義模式。一般而言，通常會稱三元數不存在。這是因為三元数的乘法运算不满足群的规则，也無法滿足可除代數的要求。部分文獻針對這樣的問題定義了許多種不同的模式來規避這個問題。 部分文獻會將三元數與四元數一同探討，因為四元數是在探尋三元數的過程中發現的。 雖然三维代数系統無法被良好構建，而有研究指出六维代数系統則有機會被構建，即六元數（Sextonion）。 三元数最早在哈密頓描述四元數時被提及。漢密爾頓知道複數可以解釋為平面上的點，他正在尋找一種方法來對三維空間中的點做同樣的事情，即找尋三元數，因為當時認為發現三元數能對數學、物理等領域能有一定的貢獻。然而經過了反覆嘗試，最後無法解決三元数在乘法與除法上的問題，反而是導致了四元數的發現。 一般的複數由2個單位元素組成，分別是1和i，其中i定義為 i 2 = − 1 {\displaystyle i^{2}=-1} ，而複數集則定義為 a + b i {\displaystyle a+bi} 。而複數域的乘法定義是良好的，亦即任兩個複數相乘後的結果仍為複數，同時複數能表達二維平面上的點。而將此概念擴展到三維空間的話，即加入一個單位元素j，並定義 j 2 = − 1 {\displaystyle j^{2}=-1} ，同時 i ≠ j {\displaystyle i\neq j} ，而三元數集則定義為 a + b i + c j {\displaystyle a+bi+cj} 。但在定義這種數系的乘法時會出現一個問題，當i與j相乘時會出現 i j {\displaystyle ij} 或 j i {\displaystyle ji} 項，這是一個新的元素，並未落在原有定義的 a + b i + c j {\displaystyle a+bi+cj} 中，而使得這樣的定義方式無法使其滿足群的規則。 一般而言，定義為 a + b i + c j {\displaystyle a+bi+cj} 且 i ≠ j , i 2 = j 2 = − 1 {\displaystyle i\neq j,i^{2}=j^{2}=-1} 的三元數無法存在可由以下過程證明： 令 i j = a + b i + c j {\displaystyle ij=a+bi+cj} ，且a、b、c均為實數，則 i 2 j = a i + b i 2 + c i j {\displaystyle i^{2}j=ai+bi^{2}+cij} − j = − b + a i + c ( a + b i + c j ) {\displaystyle -j=-b+ai+c(a+bi+cj)} − j = − b + a c + ( a + b c ) i + c 2 j {\displaystyle -j=-b+ac+(a+bc)i+c^{2}j} 比對兩側j的係數得到 − 1 = c 2 {\displaystyle -1=c^{2}} ，與先前c為實數的假設矛盾，因此如此定義的三元數無法存在，因為在乘法上會遇到問題，尤其是ij的情況。 各種三元數的研究均針對此點提出自己的三元數定義，例如部分文獻將第二元素和第三元素的積定義為其線性組合來使乘法結果仍在群內，部分文獻則重新定義了運算規則來使三元數能夠滿足群的規則。 例如，將三元數定義為 S = a + b i + c ϕ {\displaystyle S=a+bi+c\phi } ，並令 i 2 = − 1 {\displaystyle i^{2}=-1} 、 ϕ 2 = − 1 {\displaystyle \phi ^{2}=-1} 、 i ϕ = i + ϕ {\displaystyle i\phi =i+\phi } ，如此一來就能定義乘法： S × S ′ = a a ′ − b b ′ + ( a b ′ + a ′ b + b c ′ + b ′ c − c c ′ ) i + ( a c ′ + a ′ c + b c ′ + b ′ c ) ϕ {\displaystyle S\times S'=aa'-bb'+(ab'+a'b+bc'+b'c-cc')i+(ac'+a'c+bc'+b'c)\phi } 其中 S = a + b i + c ϕ {\displaystyle S=a+bi+c\phi } ， S ′ = a ′ + b ′ i + c ′ ϕ {\displaystyle S'=a'+b'i+c'\phi } 。然而，這樣的代數結構的乘法將不具備結合律特性，例如 i i ϕ {\displaystyle ii\phi } 的情況： ( i i ) ϕ = i 2 ϕ = − ϕ {\displaystyle (ii)\phi =i^{2}\phi =-\phi } i ( i ϕ ) = i ( i + ϕ ) = i 2 + i ϕ = − 1 + i + ϕ {\displaystyle i(i\phi )=i(i+\phi )=i^{2}+i\phi =-1+i+\phi } 此時可以看到 − ϕ ≠ − 1 + i + ϕ {\displaystyle -\phi \neq -1+i+\phi } 這代表 ( i i ) ϕ ≠ i ( i ϕ ) {\displaystyle (ii)\phi \neq i(i\phi )} 。因此這種方式定義的三元數僅遵循乘法交换律和乘法对加法的分配律。 另一種三元數的定義則是將ij定義為0。 四元數 O'Neill, Christopher, Dimensional Gate Quaternion Multiplication, Quarks & Polyhedra, 2020-12 [2022-05-28], doi:10.13140/RG.2.2.22968.57601/1, （原始内容存档于2022-06-22）  木村 真琴. 複素数と四元数 (PDF). kmakoto.sci.ibaraki.ac.jp. 2019-07-27 [2022-05-28]. （原始内容存档 (PDF)于2020-12-18）.  夏新念. 三元数及其在实数域上三维代数. 武汉化工学院学报. 2004, 26 (2): 80–82. doi:10.3969/j.issn.1674-2869.2004.02.024.  王诗杰. 三元数概要. 扬州教育学院学报. 2004, 22 (3): 10–13. doi:10.3969/j.issn.1008-6536.2004.03.003.  曹则贤. 学得浅碎不如无——四元数, 矢量分析与线性代数关系剖析. 物理. 2020, 49 (10): 680–687. doi:10.7693/wl20201004.  Joh. 七次元の外積. hooktail.sub.jp. 2006-07-15 [2022-05-28]. （原始内容存档于2022-06-11）.  王俊龙. 複数的三元数研究 (PDF). 信阳师范学院学报 (自然科学版). 2010, 23 (4): 630–631 [2022-05-28]. doi:10.3969/j.issn.1003-0972.2010.04.039. （原始内容存档 (PDF)于2022-06-21）.  Bruce W. Westbury. Sextonions and the Magic Square. Journal of the London Mathematical Society (Wiley). 2006-04, 73 (02): 455–474. doi:10.1112/s0024610706022605.  J.M. Landsberg; L. Manivel. The sextonions and E 7 1 2 {\displaystyle E_{7{\tfrac {1}{2}}}} . Advances in Mathematics. 2006, 201 (1): 143–179. ISSN 0001-8708. doi:10.1016/j.aim.2005.02.001.  Hazewinkel, Michiel; Gubareni, Nadiya; Kirichenko, Vladimir V. Algebras, rings and modules 1. Springer. 2004: 12 [2022-05-24]. ISBN 1-4020-2690-0. （原始内容存档于2022-06-11）.  三元數. 萬方數據知識服務平臺. [2022-05-28]. （原始内容存档于2022-06-22）.  眞鍋 克裕. 複素ベクトルと三元数. ブイツーソリューション. 2010-11-25. ISBN 978-4434150470.  八元數解開宇宙維度. 科學人. 2011-05-26 [2022-06-16]. （原始内容存档于2022-06-21）. 漢米爾頓嘗試了非常多年，想要發明更大的三元數(a,b,c)代數系統......漢米爾頓在尋找的是一個可以做加、減、乘、除的三維數系，其中的難處在於除法  白烁星; 韩江燕. 三元数函数与解析. 数学学习与研究. 2014年, 21期 [2022-06-16]. （原始内容存档于2022-06-22）.