三元數(shù)函數(shù)與解析

白爍星 韓江燕

【摘要】本文從復(fù)數(shù)理論出發(fā)，通過推廣函數(shù)、解析等數(shù)學(xué)概念，逐步建立了三元數(shù)函數(shù)與解析的理論.

【關(guān)鍵詞】數(shù)平面;數(shù)空間;平面解析;空間解析;泛解析;半解析;冪級(jí)數(shù)

【中圖分類號(hào)】O153.5 泛代數(shù)

一、引 言

三元數(shù)、多元數(shù)的研究始于曲阜師大《中學(xué)數(shù)學(xué)雜志》發(fā)表的《超越復(fù)數(shù)的三元數(shù)》《復(fù)數(shù)的多元數(shù)》，后東北師大《數(shù)學(xué)學(xué)習(xí)與研究》發(fā)表了《代數(shù)基本定理在高維數(shù)空間之證明》，多項(xiàng)式函數(shù)首先得到了深刻的研究.然而數(shù)空間里是否存在優(yōu)美和諧的函數(shù)與解析理論呢？本文從復(fù)數(shù)理論出發(fā)，通過推廣函數(shù)、解析等數(shù)學(xué)概念，嘗試給出了一個(gè)有趣的解答.

二、三元數(shù)基礎(chǔ)知識(shí)

1.三元數(shù)的代數(shù)運(yùn)算與三維數(shù)空間

形如a+bi+cj（a，b，c∈R）的數(shù)叫作三元數(shù)，三元數(shù)通常用一個(gè)字母p來表示，即

p=a+bi+cj，全體三元數(shù)構(gòu)成的集合叫作三元數(shù)集，用字母A3來表示，定義：（1）i2=j2=-1（2）i·j=0，則有：（a0+a1i+a2j）±（b0+b1i+b2j）=（a0±b0）+（a1±b1）i+（a2±b2）j，

（a0+a1i+a2j）×（b0+b1i+b2j）=（a0b0-a1b1-a2b2）+（a0b1+b0a1）i+（a0b2+b0a2）j.

說明 （1）三元數(shù)的加法滿足交換律、結(jié)合律，乘法滿足交換律及對(duì)加法的分配律;

（2）除法是乘法的逆運(yùn)算，兩個(gè)三元數(shù)作除法運(yùn)算，可依三元數(shù)相等的定義及乘法公式求得.

建立了空間直角坐標(biāo)系來表示三元數(shù)的空間叫作三維數(shù)空間，簡(jiǎn)稱數(shù)空間，仍用A3來表示.于是：

實(shí)數(shù)一一對(duì)應(yīng)實(shí)軸上的點(diǎn);

復(fù)數(shù)z=a+bi一一對(duì)應(yīng)復(fù)平面內(nèi)點(diǎn)z（a，b）;

三元數(shù)p=a+bi+cj一一對(duì)應(yīng)數(shù)空間內(nèi)點(diǎn)p（a，b，c）.

2.三元數(shù)的幾何表示與重要性質(zhì)

三維數(shù)空間內(nèi)的點(diǎn)p可以表示三元數(shù)，由于三元數(shù)集A3與三維數(shù)空間內(nèi)所有以原點(diǎn)O為起點(diǎn)的向量OP所組成的集合一一對(duì)應(yīng)（實(shí)數(shù)0與零向量對(duì)應(yīng)），所以三元數(shù)也可以用起點(diǎn)在原點(diǎn)的向量來表示.p=a+bi+cj稱為三元數(shù)的代數(shù)形式，p=rcosθ+sinθicosφ+jsinφ稱為三元數(shù)的三角形式.

（1）三元數(shù)的模 與三元數(shù)p=a+bi+cj對(duì)應(yīng)的向量OP的模（即有向線段OP的長度）r叫作三元數(shù)p=a+bi+cj的模（或絕對(duì)值），記作p或a+bi+cj，易知p=a+bi+cj=a2+b2+c2.

三元數(shù)模的幾何意義是：三元數(shù)p在數(shù)空間內(nèi)對(duì)應(yīng)的點(diǎn)p到原點(diǎn)的距離.

（2）三元數(shù)的輻角與傾角 數(shù)空間可看作復(fù)平面繞x軸旋轉(zhuǎn)而成，x軸與空間點(diǎn)p可唯一確定一個(gè)平面，該平面與復(fù)平面的夾角φ稱三元數(shù)p=a+bi+cj的傾角，φ=arctancb，平面xOp稱傾角為φ的數(shù)平面，特別地，復(fù)平面是傾角為0的數(shù)平面，無數(shù)個(gè)數(shù)平面形成了數(shù)空間.當(dāng)點(diǎn)p落在x軸上時(shí)，傾角φ值不定，也就是說：實(shí)數(shù)的傾角φ值不定.

以x軸的正半軸為始邊，向量OP所在的射線（起點(diǎn)是O）為終邊的角θ叫作三元數(shù)p=a+bi+cj的輻角，記作Argp.

（3）輻角的主值 在區(qū)間0，2π內(nèi)的輻角θ的值叫作輻角的主值，記作argp，即0≤argp<2π.非0三元數(shù)的輻角有無限多個(gè)值，但輻角的主值只有一個(gè)，三元數(shù)0的輻角不定.

說明 （1）三元數(shù)的代數(shù)形式是唯一的，但三角形式不唯一;

（2）復(fù)平面是傾角為0的數(shù)平面;

（3）在復(fù)平面上成立的結(jié)論，在其他傾角的數(shù)平面上也成立;

（4）代數(shù)形式p=a+bi+cj與相對(duì)應(yīng)的三角形式p=rcosθ+sinθicosφ+jsinφ的互化公式：

a=rcosθ，b=rsinθcosφ，c=rsinθsinφ，具體依下列規(guī)則進(jìn)行

先求r：r=a2+b2+c2，再求θ：由點(diǎn)p0（a，b）的所在象限及rcosθ=a共同確定（一般取最小正角），最后求φ：一般地，取φ=arctancb，-π2<φ≤π2，b=0，c≠0時(shí)，φ=π2;b=c=0時(shí)，φ值不定.

從更高的觀點(diǎn)來看，可以觀察到數(shù)學(xué)在更高層次上的統(tǒng)一，復(fù)數(shù)的代數(shù)形式與極坐標(biāo)的統(tǒng)一，三元數(shù)的代數(shù)形式與球坐標(biāo)的統(tǒng)一，極坐標(biāo)是球坐標(biāo)的特例，復(fù)數(shù)是三元數(shù)的特例.

三元數(shù)的加法滿足平行四邊形法則，減法滿足三角形法則.復(fù)數(shù)是實(shí)數(shù)的擴(kuò)充，三元數(shù)是復(fù)數(shù)的擴(kuò)充，要特別注意三元數(shù)與復(fù)數(shù)及實(shí)數(shù)的聯(lián)系與區(qū)別.

（1）實(shí)數(shù)與數(shù)軸上的點(diǎn)一一對(duì)應(yīng)，復(fù)數(shù)與復(fù)平面內(nèi)的點(diǎn)、復(fù)平面內(nèi)以原點(diǎn)為起點(diǎn)的向量一一對(duì)應(yīng)，三元數(shù)與數(shù)空間內(nèi)的點(diǎn)、數(shù)空間內(nèi)以原點(diǎn)為起點(diǎn)的向量一一對(duì)應(yīng).

（2）兩個(gè)實(shí)數(shù)可以比較大小，有關(guān)不等式的一些性質(zhì)僅限于實(shí)數(shù)集中成立.

（3）三元數(shù)的模是實(shí)數(shù)及復(fù)數(shù)絕對(duì)值的擴(kuò)充，實(shí)數(shù)與復(fù)數(shù)的絕對(duì)值是三元數(shù)模的特例，因此三元數(shù)模的所有性質(zhì)對(duì)實(shí)數(shù)絕對(duì)值都成立，而實(shí)數(shù)絕對(duì)值的一些性質(zhì)對(duì)三元數(shù)模則不一定成立.

p=1，在p為實(shí)數(shù)時(shí)表示兩個(gè)點(diǎn)±1，在p為復(fù)數(shù)時(shí)表示單位圓，在p為三元數(shù)時(shí)表示單位球面.

（4）實(shí)數(shù)集對(duì)加、減、乘、除、乘方運(yùn)算封閉，復(fù)數(shù)集與三元數(shù)集對(duì)加、減、乘、除、乘方、開方運(yùn)算封閉.

（5）一般地，一元n次代數(shù)方程在復(fù)數(shù)集中有且僅有n個(gè)根，在三元數(shù)集中可以有多于n個(gè)的根，甚至有無窮多個(gè)根存在.

3.三元數(shù)三角形式的運(yùn)算

（1）在傾角為φ的數(shù)平面上，設(shè)pn=rn[cosθn+sinθn（icosφ+jsinφ）]，n=1，2，3，則有

p1.p2.p3=r1.r2.r3[cos（θ1+θ2+θ3）+sin（θ1+θ2+θ3）·（icosφ+jsinφ）]，顯然，同在一個(gè)數(shù)平面上的三個(gè)數(shù)相乘，其乘積的模為模的乘積，復(fù)數(shù)乘法是其特例.

三元數(shù)的三角形式可用來直觀描述一個(gè)星體在軌道傾角為φ的平面上繞中心天體的運(yùn)行情況：p=rcosωt+sinωticosφ+jsinφ，r為該星體運(yùn)行的圓形軌道的半徑.

如軌道為橢圓，公式可改寫為：p=acosωt+bsinωt（icosφ+jsinφ）.

若軌道還需旋轉(zhuǎn)一個(gè)角度θ，公式可再改寫為：

p=[acosωt+bsinωt（icosφ+jsinφ）][cosθ+sinθ（icosφ+jsinφ）].

其中a，b表示星體運(yùn)行的橢圓軌道的長半軸與短半軸，t表示時(shí)間，ω表示星體運(yùn)行的角速度， T=2πω表示該星體繞中心天體運(yùn)行的周期.cosθ+sinθ（icosφ+jsinφ）是三維數(shù)空間里的旋轉(zhuǎn)算子，該算子還可推廣至更高維數(shù)空間.

（2）三元數(shù)的乘方 三元數(shù)的n（n∈N）次冪的模等于這個(gè)三元數(shù)的模的n次冪，它的輻角等于這個(gè)三元數(shù)的輻角的n倍，而傾角不變.rcosθ+sinθ（icosφ+jsinφ）n=rncosnθ+sinnθ（icosφ+jsinφ）.

特別地，當(dāng)φ=0時(shí)得：r（cosθ+isinθ）n=rn（cosnθ+isinnθ）.

此即復(fù)平面上的Movire定理，在這里成了三元數(shù)乘方的一個(gè)特例.

（3）三元數(shù)的開方 三元數(shù)的n（n∈N）次方根是

nrcosθ+2kπn+sinθ+2kπn（icosφ+jsinφ）

，（k=0，1，…，n-1）.

注意：①一般地（指p不為實(shí)數(shù)時(shí)），三元數(shù)總有固定的傾角φ，這時(shí)三元數(shù)的n次方根是n個(gè)三元數(shù)，它們的模等于這個(gè)三元數(shù)的模的n次算術(shù)根，它們的輻角分別等于這個(gè)三元數(shù)的輻角與2π的0，1，2，…，n-1倍的和的n分之一，而傾角φ不變.

②p為實(shí)數(shù)時(shí)，傾角φ值不定，需解參數(shù)方程：

x=nrcosθ+2kπn，y=nrsinθ+2kπncosφ，z=nrsinθ+2kπn·sinφ），（k=0，1，…，n-1）.

易知-1的平方根是icosφ+jsinφ，它的幾何意義是數(shù)空間中以原點(diǎn)為圓心，垂直于復(fù)平面，在平面yOz上的單位圓，其與復(fù)平面的交點(diǎn)恰好是i與-i兩個(gè)點(diǎn)，-1在復(fù)平面上有且僅有兩個(gè)根，在數(shù)空間中卻有整整一個(gè)圓的根存在.這是給出定義i2=j2=-1，i·j=0時(shí)所完全不曾預(yù)料的事情！

需要指出的是：求一個(gè)三元數(shù)的n次方根，當(dāng)n=2時(shí)，勉強(qiáng)可利用定義解代數(shù)方程求得，當(dāng)n較大時(shí)用三元數(shù)的三角形式求解較為簡(jiǎn)單.

三元數(shù)開方的幾何意義

一般地，三元數(shù)（指p不為實(shí)數(shù)時(shí)）p=r[cosθ+sinθ（icosφ+jsinφ）]開n次方的n個(gè)根在數(shù)空間內(nèi)所對(duì)應(yīng)的n個(gè)點(diǎn)均勻地分布在以原點(diǎn)為圓心，nr為半徑，與復(fù)平面的傾角為φ的數(shù)空間中的一個(gè)圓上.

當(dāng)然，當(dāng)p為實(shí)數(shù)時(shí)，其n次方根的幾何意義依然可利用三元數(shù)的求方根公式進(jìn)行討論，讀者不妨自行一試.

4.三元數(shù)的重要定義、定理與推論

4.1模律定理 兩個(gè)三元數(shù)a=a0+a1i+a2j，a0≠0，|a|=r1，x=x0+x1i+x2j，a為常量，x為變量，x=r2≠0，其積p=ax的模r，當(dāng)且僅當(dāng)a2x1-a1x2=0，即兩個(gè)三元數(shù)在同一個(gè)數(shù)平面上時(shí)，三元數(shù)積的模等于兩個(gè)三元數(shù)的模的積，得到最大值rmax=r1.r2;當(dāng)且僅當(dāng)x20a21+a22=0且a1x1+a2x2=0時(shí)，得到最小值rmin=a0r2.

依高等幾何知識(shí)，a0≠0，p=ax，本質(zhì)上表示一個(gè)仿射變換，球面x=r2≠0通過可逆線性變換繞球心（原點(diǎn)）旋轉(zhuǎn)、伸縮后被映射成一個(gè)橢球面，模律定理恰好揭示出了橢球面的最長半軸與最短半軸.特別地，如果a=a0+a1i+a2j=a0，此時(shí)得到一個(gè)半徑r=a0r2的球面，球面的半徑是常量，當(dāng)然最大值與最小值相等.

給定三元數(shù)a=a0+a1i+a2j，|a|=r，一一對(duì)應(yīng)一個(gè)矩陣A，該矩陣的行列式 A=a0r2稱為數(shù)a的基本值，限制a的基本值A(chǔ)≠0，A≠0a0≠0仿射變換成為可逆線性變換，商x=pa唯一可求.特別地，在復(fù)域中，復(fù)數(shù)a=a0+a1i的基本值A(chǔ)=a20+a21≠0r≠0a≠0，基本值的通項(xiàng)公式為A=an-20r2.初等數(shù)學(xué)中一般規(guī)定0不作除數(shù)正是A≠0的特例.（A=a0-a1-a2

a1a00

a20a0=a0（a20+a21+a22）=a0r2）

4.2.推論（零因子定理） 兩個(gè)三元數(shù)a=a0+a1i+a2j，x=x0+x1i+x2j，|a|=r1≠0，x=r2≠0，當(dāng)且僅當(dāng)x0=a0=0，且a1x1+a2x2=0時(shí)，其乘積p=ax=0.

4.3.除法定理 已知p=ax，p=p0+p1i+p2j，a=a0+a1i+a2j，求x=x0+x1i+x2j=pa.將p=ax乘出，依三元數(shù)相等的定義，得三元一次方程組，當(dāng)a0≠0時(shí)，方程有唯一解：

x0=p0a0+p1a1+p2a2a20+a21+a22，

x1=a0（p1a0-p0a1）+a2（p1a2-p2a1）a0（a20+a21+a22），

x2=a0（p2a0-p0a2）+a1（p2a1-p1a2）a0（a20+a21+a22）.

當(dāng)p1a2-p2a1=0，即p與a在同一個(gè)數(shù)平面上時(shí)，方程組有形式簡(jiǎn)單的解：

x0=p0a0+p1a1+p2a2a20+a21+a22，x1=p1a0-p0a1a20+a21+a22，

x2=p2a0-p0a2a20+a21+a22.

如果p2=a2=0，數(shù)平面的傾角為0，即得出復(fù)域內(nèi)結(jié)果，顯然復(fù)數(shù)除法是三元數(shù)除法的特例.

再來研究a0=0，a≠0時(shí)的情形.將p=ax乘出，得三元一次方程組a0x0-a1x1-a2x2=p0，

a1x0+a0x1=p1，

a2x0+a0x2=p2. （1）

（2）

（3）

方程組系數(shù)矩陣的行列式A=a0-a1-a2

a1a00

a20a0=a0（a20+a21+a22）=a0r2=0a0=0.

當(dāng)a1≠0，a2≠0且p1a2-p2a1=0時(shí)，得解：x0=p1a1=p2a2，a1x1+a2x2+p0=0，當(dāng)p1a2-p2a1≠0時(shí)無解.

當(dāng)a1≠0，a2=0且p2=0時(shí)，得解： x0=p1a1，x1=-p0a1，x2∈R，當(dāng)p2≠0時(shí)無解.

當(dāng)a2≠0，a1=0且p1=0時(shí)，得解： x0=p2a2，x2=-p0a2，x1∈R，當(dāng)p1≠0時(shí)無解.

若在復(fù)域內(nèi)考慮p2=0，a2=0，當(dāng)a1≠0時(shí)得解：x0=p1a1，x1=-p0a1，x2=0，此時(shí)得出了唯一解，復(fù)域內(nèi)情形為三元數(shù)除法的特例.

注意到在p1a2-p2a1=0商有唯一解的公式中取a0=0，將x1=-p0a1a21+a22，x2=-p0a2a21+a22代入商有直線解的公式a1x1+a2x2+p0=0，將x0=p1a1=p2a2代入x0=p1a1+p2a2a21+a22仍成立，可去間斷點(diǎn)必在連續(xù)直線上.在三元數(shù)函數(shù)論中，為了研究問題的方便，定義可去間斷點(diǎn)為三元數(shù)商的主值，與商一樣仍用x=pa來表示，以實(shí)現(xiàn)商的單值連續(xù)，x=pa在商多值時(shí)一般專指商的主值，復(fù)域內(nèi)情形為其特例，以后不再一一說明.

利用數(shù)平面的概念，上述結(jié)果可簡(jiǎn)述為：

（1）a0≠0時(shí)，方程組有唯一解，商唯一可求.

（2）a0=0，a≠0時(shí)，如果p與a在同一個(gè)數(shù)平面上，方程組有一條直線的解，商的主值唯一可求，復(fù)域內(nèi)解為其特例.

（3）a0=0，a≠0時(shí)，如果p與a不在同一個(gè)數(shù)平面上，方程組無解，商為空集.

最后來研究a=a0+a1i+a2j=0時(shí)的情形，此時(shí)a0=a1=a2=0，如果p≠0，此時(shí)沒有任何三元數(shù)x滿足p=ax，所以解集是空集;如果p=0，此時(shí)任意一個(gè)三元數(shù)x均滿足p=ax，所以解集為A3，意即所有的三元數(shù)均為所求.

綜上所述，三元數(shù)的乘除法比加減法要更為微妙，從函數(shù)的觀點(diǎn)來看，三元數(shù)乘法得到的積是單值函數(shù)，三元數(shù)除法得到的商卻可以一值、多值（主值唯一）、甚至無解.其實(shí)即使在復(fù)域內(nèi)考慮，乘除法也并不完全可逆，0就是個(gè)例外，初等數(shù)學(xué)中一般規(guī)定0不作除數(shù)，以保證除法運(yùn)算所得到的商總是單值.在三元數(shù)函數(shù)論中，從更一般的觀點(diǎn)來看，三元數(shù)除法等價(jià)于三元一次方程組的求解，任意兩個(gè)三元數(shù)總可作除法，除法運(yùn)算即解方程組的過程總可以進(jìn)行，只是除法運(yùn)算的結(jié)果（商）可能單值、多值或無解罷了.

4.4推論（倒數(shù)定理） p=ax，p=1時(shí)，x稱為a的倒數(shù)，代入p=1，a=a0+a1i+a2j，得：

（1）a0≠0時(shí)，倒數(shù)x=x0+x1i+x2j=1a唯一可求.x0=a0a20+a21+a22，x1=-a1a20+a21+a22，x2=-a2a20+a21+a22.

（2）a0=0，a1≠0，a2≠0時(shí)，得解：x0=p1a1=p2a2=0，a1x1+a2x2+1=0，方程組有一條直線的解.

（3）a0=0，a1≠0，a2=0時(shí)，得解：x0=p1a1=0，x1=-1a1，x2∈R，方程組有一條直線的解.

（4）a0=0，a2≠0，a1=0時(shí)，得解：x0=p2a2=0，x2=-1a2，x1∈R，方程組有一條直線的解.

（5）任何數(shù)乘以0都不等于1，所以0沒有倒數(shù)，反之，任何非0三元數(shù)總有至少一個(gè)倒數(shù).

在復(fù)變函數(shù)論中，倒數(shù)函數(shù)y=1x將一個(gè)圓單值連續(xù)映照為另一個(gè)模為倒數(shù)的圓，在三元數(shù)函數(shù)論中，多值商取主值x0=0，x1=-a1a21+a22，x2=-a2a21+a22后倒數(shù)函數(shù)y=1x將一個(gè)球面單值連續(xù)映照為另一個(gè)模為倒數(shù)的球面，復(fù)數(shù)倒數(shù)是三元數(shù)倒數(shù)的特例.

4.5乘除轉(zhuǎn)化定理 一般地，pa，a0≠0，當(dāng)且僅當(dāng)p1a2-p2a1=0時(shí)，pa=p×1a， p除以一個(gè)三元數(shù)等于乘以這個(gè)三元數(shù)的倒數(shù).實(shí)際上，當(dāng)p1a2-p2a1=0，a0=0，a≠0商為多值時(shí)乘除轉(zhuǎn)化定理仍成立，此時(shí)只需左邊商取多值或主值而右邊a的倒數(shù)也取多值或主值乘出即可.

利用數(shù)平面的概念， 乘除轉(zhuǎn)化定理可簡(jiǎn)述為：

一般地，a≠0，當(dāng)且僅當(dāng)p與a在同一個(gè)數(shù)平面上時(shí)pa=p×1a，p除以一個(gè)三元數(shù)等于乘以這個(gè)三元數(shù)的倒數(shù)，復(fù)域內(nèi)情形為其特例.

4.6結(jié)合律定理 三個(gè)三元數(shù)相乘p=p1p2p3，當(dāng)且僅當(dāng)p2為實(shí)數(shù)或者p1，p3在同一個(gè)數(shù)平面上時(shí)，結(jié)合律成立，由于實(shí)軸是所有數(shù)平面的公共軸，任意數(shù)平面均包含實(shí)數(shù)，所以至少有一個(gè)數(shù)是實(shí)數(shù)的三個(gè)數(shù)相乘，其乘積滿足結(jié)合律.

4.7代數(shù)學(xué)基本定理 三維數(shù)空間里一般系數(shù)的一元n次代數(shù)方程a0xn+a1xn-1+…+an-1x+an=0至少有一解（a0=a00+a01i+a02j，a00≠0）.

4.8推論（實(shí)系數(shù)代數(shù)學(xué)基本定理）如果實(shí)系數(shù)一元n次代數(shù)方程a0xn+a1xn-1+…+an-1x+an=0（a0≠0）在復(fù)平面上有u個(gè)實(shí)根x1，x2，…， xu，t對(duì)虛根r1（cosθ1±isinθ1），…，rt（cosθt±isinθt），那么該方程在數(shù)空間里有且僅有u個(gè)實(shí)根x1，x2，…，xu和t個(gè)圓的非實(shí)數(shù)根（pm=x+yi+zj，x=rmcosθm，y2+z2=rmsinθm2，m=1，…，t），u+2t=n.

4.9推論（實(shí)根定理）如果實(shí)系數(shù)一元n次代數(shù)方程a0xn+a1xn-1+…+an-1x+an=0（a0≠0）在復(fù)平面上有且僅有n個(gè)實(shí)根x1，...，xn，那么其在數(shù)空間里也有且僅有n個(gè)實(shí)根x1，...，xn

4.10推論（虛根定理）如果實(shí)系數(shù)一元n次代數(shù)方程a0xn+a1xn-1+...+an-1x+an=0（a0≠0）在復(fù)平面上有且僅有n2對(duì)虛根r1（cosθ1±isinθ1），…，rn2cosθn2±isinθn2，那么其在數(shù)空間里有且僅有n2個(gè)圓的非實(shí)數(shù)根 （pm=x+yi+zj，x=rmcosθm，y2+z2=rmsinθm2，m=1，…，n2）.

三、三元數(shù)函數(shù)

通過引入定義：（1）i2=j2=-1，（2）ij=0，現(xiàn)在已能對(duì)兩個(gè)三元數(shù)作加、減、乘、除等四則運(yùn)算，對(duì)單個(gè)三元數(shù)可進(jìn)行乘方、開方，還可以解出數(shù)空間里形如ax=b，axn=b（n∈N，n≥2）的二項(xiàng)方程.

這都屬于初等數(shù)學(xué)中代數(shù)運(yùn)算的范疇，下面利用冪級(jí)數(shù)理論對(duì)三元數(shù)函數(shù)進(jìn)行推廣.

1.指數(shù)函數(shù)

定義：ep=1+p1！+…+pnn！+…（p∈A3，n∈N） （1）

先研究p=（icosφ+jsinφ）θ的指數(shù)函數(shù)，將p代入（1）并整理得

ep=（1-θ22！+θ44！-…）+（icosφ+jsinφ）（θ-θ33！+θ55！-…）=cosθ+（icosφ+jsinφ）sinθ （2）

可以給出嚴(yán)格的證明，ep=1+p1！+…+pnn！+…（p∈A3，n∈N）在整個(gè)數(shù)空間內(nèi)是收斂的.

令φ=0，在（2）中即可得到eiθ=cosθ+isinθ.

此即著名的Euler公式，這里可以從三元數(shù)理論中導(dǎo)出，從而是三元數(shù)理論中的特例.

當(dāng)p=a+bi+cj=rcosθ+sinθ（icosφ+jsinφ）時(shí)，代入（1）得

ep=ercosθersinθ（icosφ+jsinφ）

=ercosθcos（rsinθ）+（icosφ+jsinφ）sin（rsinθ）（3）

此即求任一三元數(shù)指數(shù)函數(shù)的公式，三元數(shù)還有指數(shù)形式p=reT3θ=re（icosφ+jsinφ）θ.

2.三角函數(shù)與雙曲函數(shù)

三元數(shù)p=rcosθ+sinθicosφ+jsinφ=r（cosθ+T3sinθ），T3=icosφ+jsinφ確定了三元數(shù)p所在的數(shù)平面在數(shù)空間中的位置，稱為三元數(shù)p的代數(shù)傾角，簡(jiǎn)稱傾角，相應(yīng)φ特指三元數(shù)p的幾何傾角.

cosp=1-p22！+p44！-…=eT3p+e-T3p2（p∈A3）

sinp=p-p33！+p55！-…（p∈A3）=eT3p-e-T3p2T3（p∈A3）

tanp=sinpcosp，cotp=cospsinp，secp=1cosp，cscp=1sinp

coshp=ep+e-p2，sinhp=ep-e-p2，tanhp=sinhpcoshp，cothp=coshpsinhp，sechp=1coshp，cschp=1sinhp.

3.對(duì)數(shù)函數(shù)

q=lnp，則eq=p，p≠0，因eq=0無解，將p以指數(shù)形式寫出：p=reT3θ=re（icosφ+jsinφ）θ，并記q=u+vi+wj，于是p=re（icosφ+jsinφ）θ=eu+vi+wj=euevi+wj，u=lnr，vi+wj=（icosφ+jsinφ）（θ+2kπ）（k∈Z），

所以： q=lnp=lnr+（icosφ+jsinφ）Argp=lnr+T3Argp=lnp+T32kπ（lnp=lnr+T3Argp），由于指數(shù)函數(shù)在傾角為φ的數(shù)平面上有周期2π（icosφ+jsinφ）=2πT3（復(fù)平面傾角為0，周期為2πi），其反函數(shù)對(duì)數(shù)函數(shù)是多值函數(shù).

現(xiàn)在研究映射p=eq，q=u+vi+wj，平面u=u0被映射成球面r=eu0，設(shè)vi+wj=ρ（icosφ+jsinφ），ρ=±v2+w2，v=ρcosφ，w=ρsinφ，φ∈-π2，π2，ρ依次取-π，π，±π，±3π，±3π，±5π，…，映射p=eq將自變量數(shù)空間內(nèi)的中心圓柱體、無窮多的半圓環(huán)柱體依次映射成了函數(shù)數(shù)空間（不含原點(diǎn)），復(fù)變函數(shù)論中w=ez=ex+yi將直線x=x0映射成圓r=ex0，自變量復(fù)平面帶形區(qū)域y依次取-π，π，±π，±3π，±3π，±5π，…被映射成了函數(shù)復(fù)平面（不含原點(diǎn)），復(fù)域內(nèi)結(jié)論是三元數(shù)函數(shù)論中的特例，實(shí)質(zhì)表述了數(shù)空間中一個(gè)剖面的情形.

4.反三角函數(shù)和反雙曲函數(shù)

注意到對(duì)數(shù)函數(shù)、三角函數(shù)、雙曲函數(shù)其實(shí)均來源于指數(shù)函數(shù)，而指數(shù)函數(shù)實(shí)質(zhì)為在整個(gè)數(shù)空間收斂的實(shí)系數(shù)的冪級(jí)數(shù)，任取一個(gè)數(shù)平面來研究，當(dāng)自變量在傾角為φ的數(shù)平面上取值時(shí)，函數(shù)值亦在該數(shù)平面上變動(dòng)，有

arcsinp=-（icosφ+jsinφ）ln[（icosφ+jsinφ）p+1-p2].

arccosp=-（icosφ+jsinφ）ln（p+p2-1）.

arctanp=12（icosφ+jsinφ）ln1+（icosφ+jsinφ）p1-（icosφ+jsinφ）p=12（icosφ+jsinφ）lnicosφ+jsinφ-picosφ+jsinφ+p.

arccotp=12（icosφ+jsinφ）ln1-（icosφ+jsinφ）p1+（icosφ+jsinφ）p=12（icosφ+jsinφ）lnicosφ+jsinφ+picosφ+jsinφ-p.

arcsinhp=ln（p+p2+1），arccoshp=ln（p+p2-1），arctanhp=12ln1+p1-p，arccothp=12lnp+1p-1.

5.冪函數(shù)

pa=ealnp，p≠0，其中a與p是三元數(shù)，三元數(shù)基礎(chǔ)理論中已討論過a=n和a=1n（n∈N）的情形，分別為p的乘方與開方，一般p的開方根函數(shù)就已是多值函數(shù)，在新的定義下得出的結(jié)論與以前的結(jié)果并無不同.當(dāng)a取一般的三元數(shù)時(shí)出現(xiàn)了新的情況，盡管三元數(shù)的冪函數(shù)也是通過指數(shù)函數(shù)來定義，但由于a與p不一定在同一個(gè)數(shù)平面上，所以當(dāng)自變量在傾角為φ的數(shù)平面上變動(dòng)時(shí)，函數(shù)值不一定仍在這個(gè)數(shù)平面上變動(dòng).

6.多項(xiàng)式和有理函數(shù)

f（p）=a0+a1（p-p0）+…+an（p-p0）n（an，p∈A3，n∈N），h（p）=f（p）g（p），其中f（p），g（p）均為多項(xiàng)式.多項(xiàng)式是有理函數(shù)的特例.顯然，在整個(gè)三維數(shù)空間A3內(nèi)多項(xiàng)式處處收斂.

7.整函數(shù)與分式函數(shù)

在三維數(shù)空間A3內(nèi)，可表示成處處收斂的冪級(jí)數(shù)的和的三元數(shù)函數(shù)稱為整函數(shù)，多項(xiàng)式是最簡(jiǎn)單的整函數(shù)，非多項(xiàng)式的整函數(shù)（無窮高次多項(xiàng)式）稱為超越整函數(shù)，指數(shù)函數(shù)與三角函數(shù)都是超越整函數(shù).易知有界整函數(shù)是常數(shù).

f（p）=a0+a1（p-p0）+…+an（p-p0）n+…（an，p∈A3，n∈N），limn→∞n|an|=0，h（p）=f（p）g（p）（其中f（p），g（p）均為整函數(shù)）稱為分式函數(shù).在復(fù)變函數(shù)論中研究了收斂的實(shí)系數(shù)、復(fù)系數(shù)的冪級(jí)數(shù)，在三元數(shù)函數(shù)論中，還需進(jìn)一步去研究收斂的一般三元數(shù)系數(shù)的冪級(jí)數(shù).

借助將三維數(shù)空間看作由傾角為0的數(shù)平面（復(fù)平面）繞實(shí)軸（或x軸）旋轉(zhuǎn)而成的幾何解釋，立即可以理解下列以0點(diǎn)為中心的冪級(jí)數(shù)的收斂性：

Sn=a+ap+…+apn-1+…=a1-p（a∈R，p∈A3，p<1，n∈N）

ep=1+p1！+…+pnn！+…，cosp=1-p22！+p44！-…， sinp=p-p33！+p55！-…（p∈A3，n∈N）

由于第一個(gè)冪級(jí)數(shù)在復(fù)平面上的單位圓內(nèi)收斂，而單位圓繞x軸在三維數(shù)空間里旋轉(zhuǎn)得到單位球面，所以級(jí)數(shù)在三維數(shù)空間里的單位球內(nèi)收斂，其他幾個(gè)冪級(jí)數(shù)由于在整個(gè)復(fù)平面內(nèi)收斂，所以它們?cè)谡麄€(gè)三維數(shù)空間里亦收斂.

8.一般的三元數(shù)函數(shù)

f（p）=P（x，y，z）+Q（x，y，z）i+R（x，y，z）j，p=x+yi+zj，其中P（x，y，z），Q（x，y，z），R（x，y，z）均為x，y，z的三元實(shí)函數(shù)，從本質(zhì)上講，復(fù)變函數(shù)理論就是一對(duì)二元實(shí)函數(shù)的理論，而三元數(shù)函數(shù)論就是三個(gè)三元實(shí)函數(shù)的理論.

四、三元數(shù)函數(shù)的解析理論

定義4.1 設(shè)f（p）為定義在區(qū)域D內(nèi)的單值函數(shù)，f（p）=P（x，y，z）+Q（x，y，z）i+R（x，y，z）j，自變量p=x+yi+zj，將f（p）沿傾角為φ的數(shù)平面pφ作正交分解：f（p）=f1+f2，f1=P+（Qcosφ+Rsinφ）（icosφ+jsinφ），f2=（Qsinφ-Rcosφ）（isinφ-jcosφ），當(dāng)Qsinφ-Rcosφ=0時(shí)，自變量與函數(shù)值在同一個(gè)數(shù)平面pφ上變化，原式化為f（p）=u（x，ρ）+v（x，ρ）（icosφ+jsinφ），如果函數(shù)f（p）在p0處沿?cái)?shù)平面pφ可微，則稱函數(shù)f（p）在p0處可導(dǎo).此時(shí)φ為常量，有

Qsinφ-Rcosφ=0，P（x，y，z）=u（x，ρ），Q（x，y，z）=v（x，ρ）cosφ，R（x，y，z）=v（x，ρ）sinφ，y=ρcosφ，z=ρsinφ.

定義4.2 如f2=0，將函數(shù)f（p）的定義域D依數(shù)平面分開，如果函數(shù)在傾角為φ的數(shù)平面pφ上的部分處處可微，則稱函數(shù)在D內(nèi)pφ上解析，簡(jiǎn)稱平面解析;如果函數(shù)在D內(nèi)所有數(shù)平面上處處可微，則稱函數(shù)在自變量區(qū)域D內(nèi)解析，簡(jiǎn)稱空間解析.

從定義可看出：對(duì)于三元數(shù)函數(shù)，導(dǎo)數(shù)未采用比的極限的傳統(tǒng)定義，而是利用了可微即可導(dǎo)的原理，有f（p0+Δp）-f（p0）=f′（p0）Δp+o（Δp）（Δp→0），直接把函數(shù)的微分系數(shù)定義成了函數(shù)的導(dǎo)數(shù).

不難得出函數(shù)可微或可導(dǎo)的充要條件為：

Q（x，y，z）sinφ-R（x，y，z）cosφ=0，ux=vρ，uρ=-vx（1）

在復(fù)域內(nèi)考慮，傾角φ=0，R（x，y，z）=0，z=0，y=ρ，（1）式就變成了傳統(tǒng)的C-R條件：

ux=vy，uy=-vx，復(fù)域內(nèi)結(jié)論是三元數(shù)函數(shù)論中的特例.

定義4.3 將函數(shù)f（p）沿傾角為φ的數(shù)平面pφ作正交分解，如f2≠0，f1在傾角為φ的數(shù)平面pφ上的部分處處可微，則函數(shù)在D內(nèi)可分成兩部分，f1解析，f2不解析，稱函數(shù)f（p）為半解析函數(shù).

易知函數(shù)半解析的充要條件為： f2≠0， Px=（Qcosφ+Rsinφ）ρ=Qρcosφ+Rρsinφ，Pρ=-（Qcosφ+Rsinφ）x=-Qxcosφ+Rxsinφ（2）

定義4.4 設(shè)函數(shù)f（p）為定義在區(qū)域D內(nèi)的單值連續(xù)函數(shù)，f（p）=P（x，y，z）+Q（x，y，z）i+R（x，y，z）j，如果f（p）可表示成一個(gè)收斂的三元數(shù)系數(shù)的冪級(jí)數(shù)，則稱函數(shù)f（p）為泛解析函數(shù).解析函數(shù)是泛解析函數(shù)的特例.

定理4.1 泛解析函數(shù)f（p）表示成處處收斂中心在原點(diǎn)0的冪級(jí)數(shù)的充要條件是組成函數(shù)的三個(gè)實(shí)變函數(shù)自鄰域中心點(diǎn)0分別作Taylor展開后的各項(xiàng)滿足（1），稱為泛解析Taylor條件.

f（p）=P（x，y，z）+Q（x，y，z）i+R（x，y，z）j=a0+b0i+c0j+（a1+b1i+c1j）p+…+（an+bni+cnj）pn+…（1）

P（x，y，z）=P（0，0，0）+（xx+yy+zz）P（0，0，0）+12！xx+yy+zz2P（0，0，0）+…（2）

Q（x，y，z）=Q（0，0，0）+xx+yy+zzQ（0，0，0）+12！xx+yy+zz2Q（0，0，0）+…（3）

R（x，y，z）=R（0，0，0）+xx+yy+zzR（0，0，0）+12！xx+yy+zz2R（0，0，0）+…（4）

將p=x+yi+zj代入（1）式展開，對(duì)比各式得到無窮個(gè)偏微分方程組，依次求之得an，bn，cn等.

a0=P（0，0，0），b0=Q（0，0，0），c0=R（0，0，0），a1=P（0，0，0）x=Q（0，0，0）y=R（0，0，0）z，b1=Q（0，0，0）x=-P（0，0，0）y，

c1=R（0，0，0）x=-P（0，0，0）z，Q（0，0，0）z=R（0，0，0）y=0，……

復(fù)域內(nèi)復(fù)變函數(shù)在原點(diǎn)解析的條件是三元數(shù)函數(shù)在原點(diǎn)泛解析Taylor條件的特例.在三元數(shù)函數(shù)論中，函數(shù)可表示成收斂的冪級(jí)數(shù)與函數(shù)解析并不等價(jià).

五、三元數(shù)函數(shù)的積分理論

三元數(shù)函數(shù)的積分主要是考慮沿?cái)?shù)空間內(nèi)曲線的積分，曲線應(yīng)為簡(jiǎn)單光滑或逐段光滑的有向曲線，定義∫Cf（p）dp=limn→∞Sn=limn→∞∑nk=1f（ζk）Δpk，如果C為閉曲線，積分方向又為曲線的正方向，則沿此閉曲線的積分又可記作：∮Cf（p）dp，一般地，C上的連續(xù)函數(shù)f（p）在C上可積.

定理5.1（圍道積分公式） 設(shè)三元數(shù)函數(shù)f（p）在三維數(shù)空間A3的一個(gè)單連通區(qū)域D內(nèi)空間解析，p0是D內(nèi)的任意一點(diǎn)，則

f（p0）=12π（icosφ+jsinφ）∮Cf（p）p-p0dp，其中閉路C為圍住點(diǎn)p0的簡(jiǎn)單光滑或逐段光滑的閉曲線，C在D內(nèi)傾角為φ的數(shù)平面pφ上，p0，Cpφ.

證 當(dāng)點(diǎn)p0不在實(shí)軸上時(shí)，在傾角為φ的數(shù)平面pφ上作圍道C，據(jù)Cauchy積分公式定理得證，如果點(diǎn)p0恰好位于實(shí)軸上，此時(shí)通過任意一個(gè)數(shù)平面作圍道積分后亦可證得，故定理成立.復(fù)域內(nèi)情形是φ=0時(shí)的特例.特別地，如取f（p）≡1，則有2π（icosφ+jsinφ）=∮C1p-p0dp，φ=0時(shí)即得2πi=∮C1p-p0dp.

注意：如點(diǎn)p0不在實(shí)軸上，傾角φ∈-π2，π2，此時(shí)點(diǎn)p0能且只能位于唯一的一個(gè)數(shù)平面上，只有在這個(gè)數(shù)平面上作圍道積分才能求得f（p0），若點(diǎn)p0恰在實(shí)軸上，則通過任意一個(gè)數(shù)平面作圍道積分均可求得f（p0）.

定理5.2（積分為0定理） 設(shè)f（p）是區(qū)域D內(nèi)的連續(xù)函數(shù)，如對(duì)于D內(nèi)任意一條簡(jiǎn)單光滑閉曲線C都有∮Cf（p）dp=0，f（p）=u（x，y，z）+v（x，y，z）i+w（x，y，z）j，p=x+yi+zj，則有

ux=vy=wz，uy=-vx，uz=-wx，vz=wy.

證 ∮Cf（p）dp=∮C（u+vi+wj）（dx+idy+jdz）=∮C（udx-vdy-wdz）+（vdx+udy）i+（wdx+udz）j=0.

據(jù)Green公式與Stokes公式展開后，定理得證.

在復(fù)域內(nèi)此定理即成為Morera定理， Morera定理是此定理的特例.但在三維數(shù)空間，一般地，積分為0與函數(shù)解析并不等價(jià).單連通區(qū)域D內(nèi)沿閉路積分為0的連續(xù)函數(shù)的積分完全由它的上下限決定，而與所沿的路徑無關(guān)，固定一點(diǎn)p0，另一點(diǎn)p在D內(nèi)變動(dòng)，則變上限積分所確定的函數(shù)F（p）=∫pp0f（ζ）dζ與路徑無關(guān)，因而是p的一個(gè)單值函數(shù).

六、三元數(shù)函數(shù)的級(jí)數(shù)理論

1.三元數(shù)項(xiàng)級(jí)數(shù)與三元數(shù)函數(shù)項(xiàng)級(jí)數(shù)

定理6.1.1 給定一個(gè)三元數(shù)序列pn，其中pn=an+bni+cnj，n∈N，p0=a+bi+cj，則limn→∞pn=p0，當(dāng)且僅當(dāng)limn→∞an=a，limn→∞bn=b，limn→∞cn=c（各系數(shù)均為實(shí)數(shù)）.

定理6.1.2 三元數(shù)項(xiàng)級(jí)數(shù)∑∞n=1pn（pn=an+bni+cnj）收斂的充要條件是實(shí)數(shù)項(xiàng)級(jí)數(shù)∑∞n=1an，∑∞n=1bn，∑∞n=1cn同時(shí)收斂.

定理6.1.3 三元數(shù)項(xiàng)級(jí)數(shù)∑∞n=1pn收斂的必要條件是limn→∞pn=0.

定理6.1.4 絕對(duì)收斂的三元數(shù)項(xiàng)級(jí)數(shù)其本身一定收斂.

定理6.1.5 若三元數(shù)函數(shù)均定義在集合D上，并且有不等式fn（p）≤Mn，n∈N，正項(xiàng)級(jí)數(shù)∑∞n=1Mn收斂，則函數(shù)項(xiàng)級(jí)數(shù)∑∞n=1fn（p）在D上一致收斂.

定理6.1.6 若fn（p）在區(qū)域D內(nèi)連續(xù)，級(jí)數(shù)∑∞n=1fn（p）在D內(nèi)一致收斂于和函數(shù)s（p），則s（p）在D內(nèi)處處連續(xù).

定理6.1.7 若fn（p）均在光滑或逐段光滑的曲線C上連續(xù)，級(jí)數(shù)∑∞n=1fn（p）在C上一致收斂于函數(shù)s（p），則s（p）在C上可積，并且有∫Cs（p）dp=∑∞n=1∫Cfn（p）dp.

定理6.1.8若fn（p）均在區(qū)域D內(nèi)解析，并且∑∞n=1fn（p）在D內(nèi)一致收斂于和函數(shù)s（p），則s（p）在D內(nèi)解析，并且有s′（p）=∑∞n=1f′n（p），p∈D.

2. 冪級(jí)數(shù)

實(shí)系數(shù)處處收斂的冪級(jí)數(shù)在所有的數(shù)平面上解析，屬于空間解析，非實(shí)數(shù)的復(fù)系數(shù)的處處收斂的冪級(jí)數(shù)僅在復(fù)平面上解析，屬于平面解析，當(dāng)然還存在一般三元數(shù)系數(shù)的處處收斂的冪級(jí)數(shù)，屬于泛解析.

定理6.2 給定冪級(jí)數(shù)（1），如果極限limn→∞n|an|=ρ，limn→∞n|an0|=ρ0，則當(dāng)p<1ρ=R時(shí)，級(jí)數(shù)收斂;當(dāng)p>1ρ0=R0時(shí)，級(jí)數(shù)發(fā)散.∑∞n=0anpn=a0+a1p+a2p2+…+anpn+…（n∈N，p∈A3） （1）.

證 據(jù)三元數(shù)的模律定理an0·pn≤anpn≤an.pn，由于p<1ρ=R時(shí)，ρp<1，級(jí)數(shù)（1）的各項(xiàng)取絕對(duì)值后所構(gòu)成的冪級(jí)數(shù)（2）收斂，所以級(jí)數(shù)（1）也收斂;當(dāng)p>1ρ0=R0時(shí)，ρ0p>1，1

∑∞n=0an·pn=a0+a1·p+a2·p2+…+an·pn+…（n∈N，p∈A3） （2）.

在三元數(shù)理論中，一般地，anpn≠anpn0·pnpn0，所以僅根據(jù)冪級(jí)數(shù)在p0（≠0）點(diǎn)收斂，并不能判定級(jí)數(shù)在以原點(diǎn)為中心、p0為半徑的球內(nèi)收斂，此時(shí)仍需根據(jù)定理6.2來判定級(jí)數(shù)的收斂區(qū)域.當(dāng)然也可能級(jí)數(shù)的一般項(xiàng)只有l(wèi)imn→∞n|an|=ρ成立，此時(shí)一般就只能判定級(jí)數(shù)在p<1ρ=R時(shí)收斂.

3.Laurent級(jí)數(shù)

定義6.3 在球帶區(qū)域D內(nèi)（R1

∑+∞n=-∞an（p-p0）n（1），令ζ=1p-p0把（1）分成兩部分∑+∞n=0an（p-p0）n+∑+∞n=1a-nζn，前一級(jí)數(shù)p-p0R1時(shí)收斂，如恰好R1

七、四個(gè)定義、兩個(gè)猜想與結(jié)論

定義7.1 如果泛解析三元數(shù)函數(shù)f（p）在p點(diǎn)的值不存在，則稱p為函數(shù)f（p）的奇點(diǎn).

定義7.2 如果在點(diǎn)p的某一空心鄰域內(nèi)f（p）有界，則稱p為函數(shù)的可去奇點(diǎn).

定義7.3 如果在點(diǎn)p的某一空心鄰域內(nèi)當(dāng)自變量趨于點(diǎn)p時(shí)，f（p）趨于無窮，則稱p為函數(shù)的極點(diǎn).

定義7.4 如果在點(diǎn)p的某一空心鄰域內(nèi)f（p）可趨于任意三元數(shù)（包括無窮），則稱p為函數(shù)的本性奇點(diǎn).

猜想7.1（單位球猜想） 對(duì)于三維數(shù)空間內(nèi)任一邊界不止一點(diǎn)的單連通區(qū)域，必存在收斂的冪級(jí)數(shù)將其一對(duì)一映照到單位球內(nèi)部.

猜想7.2（例外值猜想） 超越整函數(shù)f（p）至多有一個(gè)點(diǎn)或半個(gè)圓的例外值（點(diǎn)是半個(gè)圓半徑趨于0時(shí)的極限），否則方程f（p）=q在三維數(shù)空間總有無窮多個(gè)根.

f（p）=a0+a1p+…+anpn+…（an，p，q∈A3，m，n∈N），limn→∞n|an|=0，an=an0+an1i+an2j，n≥m時(shí)，an0≠0.

在復(fù)變函數(shù)論中，單連通域內(nèi)連續(xù)函數(shù)沿閉路積分為0與函數(shù)解析等價(jià)，函數(shù)在圓盤區(qū)域內(nèi)或圓環(huán)區(qū)域內(nèi)存在處處收斂的冪級(jí)數(shù)表示與函數(shù)解析等價(jià)，然而在三元數(shù)函數(shù)論中，函數(shù)存在冪級(jí)數(shù)表示不一定解析，解析只是函數(shù)存在冪級(jí)數(shù)表示的特例.Weierstrass通過冪級(jí)數(shù)來構(gòu)建函數(shù)論的方法某種意義上更為基本，這種形而上學(xué)的形式化定義既適用于結(jié)合代數(shù)，也適用于非結(jié)合代數(shù)，即使在傳統(tǒng)解析與積分理論不再成立的地方，冪級(jí)數(shù)理論仍然適用.

新的三元數(shù)函數(shù)論也提供了很多有趣的問題，比如在三維數(shù)空間解析函數(shù)的零點(diǎn)與奇點(diǎn)就不一定孤立，像f（p）=p2+1（p∈A3）就有一個(gè)圓的零點(diǎn)p=icosφ+jsinφ，但如果固定φ值將數(shù)空間依數(shù)平面分開，則每一個(gè)數(shù)平面上函數(shù)有且僅有兩個(gè)孤立的零點(diǎn).又如在復(fù)變函數(shù)中經(jīng)常提到的在單位圓內(nèi)收斂的冪級(jí)數(shù)f（p）=11+p2=1-p2+p4-p6+…（p∈A3），一般教材都是告訴讀者因?yàn)樵趩挝粓A的圓周上出現(xiàn)了兩個(gè)極點(diǎn)i與-i，函數(shù)在這兩點(diǎn)變?yōu)闊o窮，因而導(dǎo)致了函數(shù)的收斂域只能在單位圓內(nèi)，不過如果從三元數(shù)函數(shù)論的觀點(diǎn)來看，導(dǎo)致函數(shù)收斂區(qū)域只能在單位球內(nèi)的更深刻原因其實(shí)是因?yàn)樵谌S數(shù)空間內(nèi)函數(shù)有一個(gè)整圓的奇點(diǎn)p=icosφ+jsinφ擋住了冪級(jí)數(shù)繼續(xù)延拓的進(jìn)程.

必須指出：一篇小短文遠(yuǎn)不足以闡明三元數(shù)函數(shù)論中的所有問題與研究方向，由于新的理論更多是從連續(xù)函數(shù)的性質(zhì)出發(fā)而得出了諸多更一般的結(jié)論，因而與拓?fù)鋵W(xué)和幾何學(xué)存在著天然緊密的聯(lián)系.同時(shí)出于解方程的需要，三元數(shù)函數(shù)論與非線性代數(shù)方程組、微分積分方程理論等也密不可分.在過去幾十年中，復(fù)變函數(shù)論中的一些重要結(jié)論逐漸被用拓?fù)鋵W(xué)的方法給出了更為深刻的證明，考慮到連續(xù)函數(shù)是解析函數(shù)的更一般情形，相信隨著三元數(shù)函數(shù)論與數(shù)學(xué)中其他分支聯(lián)系的日益加深，新的理論必然會(huì)隨著更多新鮮養(yǎng)分的注入而茁壯成長、日臻成熟.

最后指出，只需將三元數(shù)p=r[cosθ+sinθ（icosφ+jsinφ）]的傾角T3=icosφ+jsinφ換成高維數(shù)空間中的傾角Tn=∑nk=1ikcosφk，T∞=∑∞k=1ikcosφk（∑nk=1cos2φk=∑∞k=1cos2φk=1），球坐標(biāo)三元數(shù)理論可自然推廣至n維數(shù)空間乃至無窮維數(shù)空間而形成廣義球坐標(biāo)多元數(shù)理論.新的理論具備自我發(fā)展、自我完善的能力充分證明：好的數(shù)學(xué)對(duì)象自有其不朽的生命與靈魂.一方面Cauchy是幸運(yùn)的，因?yàn)橹挥幸环N復(fù)變函數(shù)理論，恰巧被Cauchy發(fā)現(xiàn)了;另一方面我們則更加幸運(yùn)，因?yàn)镃auchy的發(fā)現(xiàn)并非全部，在復(fù)變函數(shù)理論之上，實(shí)際還存在著更為優(yōu)美和諧的三元數(shù)函數(shù)論以及多元數(shù)函數(shù)論.科學(xué)研究需要敢于創(chuàng)新，創(chuàng)新是科學(xué)的本質(zhì)與靈魂.只有不斷突破前人勇于創(chuàng)新，科學(xué)才能不斷進(jìn)步和發(fā)展.前人的理論固然偉大，但后人的成就終將會(huì)超越前人，立德立言、求美求真，在探索科學(xué)的道路上，總有更偉大的理論在等待著后人.

八、致 謝

2006年《超越復(fù)數(shù)的三元數(shù)》在武漢湖北大學(xué)全國第六屆初數(shù)會(huì)上公開宣讀獲二等獎(jiǎng)，由于曲阜師大李吉寶教授慧眼識(shí)珠，球坐標(biāo)三元數(shù)理論2009年首先在《中學(xué)數(shù)學(xué)雜志》公開發(fā)表，2010年哈爾濱工業(yè)大學(xué)韓彥偉在獲得國家自然科學(xué)基金資助的論文《一種三元數(shù)的新定義》中首先引用了《超越復(fù)數(shù)的三元數(shù)》， 2011年北航全國大學(xué)生數(shù)學(xué)競(jìng)賽的獲獎(jiǎng)?wù)呤Y正好將球坐標(biāo)三元數(shù)編入了其參加北航第二十一屆“馮如杯”競(jìng)賽的論文《幾種三元數(shù)系的比較及其代數(shù)和分析初步》，蔣正好肯定了球坐標(biāo)三元數(shù)理論的價(jià)值，并作了進(jìn)一步的研究.人民教育出版社課程教材研究所網(wǎng)站很快全文轉(zhuǎn)載了《超越復(fù)數(shù)的三元數(shù)》《超越復(fù)數(shù)的多元數(shù)》《代數(shù)基本定理在高維數(shù)空間之證明》，新理論借助人教網(wǎng)得到了快速傳播.2012年上海浦東教育發(fā)展研究院周寧醫(yī)主任將球坐標(biāo)三元數(shù)編入了《高中數(shù)學(xué)的探究性課題》，該教輔與華東師大版高中數(shù)學(xué)教材配套使用，由上海教育出版社公開發(fā)行，自此球坐標(biāo)三元數(shù)首先在上海市進(jìn)入了中學(xué)課堂.2014年《三元數(shù)函數(shù)與解析》在合肥師范學(xué)院全國第九屆初數(shù)會(huì)上公開宣讀獲二等獎(jiǎng).華東理工大學(xué)陸元鴻教授在“數(shù)學(xué)中國”網(wǎng)站第一個(gè)承認(rèn)了白韓三元數(shù)，認(rèn)為球坐標(biāo)三元數(shù)可以看作是復(fù)數(shù)的一種推廣，并對(duì)其他可能存在的三元數(shù)進(jìn)行了一般性探討，中國海洋大學(xué)常晉德老師曾熱心提供了研究三元數(shù)的重要參考資料，河南城建學(xué)院數(shù)理學(xué)院屈鵬展教授、全國初數(shù)會(huì)常務(wù)副理事長吳康教授等多年來鼓勵(lì)、支持了新課題的研究.在此謹(jǐn)向所有曾關(guān)心、推動(dòng)了新理論研究、發(fā)展的專家學(xué)者們致以誠摯的謝意！