《超变函数论》探讨

《《超变函数论》探讨》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、《超变函数论》探讨于涤尘（长安大学，陕西西安710054）内容提要：本文是在总结前人关于超复数研究的材料后，以全新的视角：首先建立第四运算，再由第四运算的逆运算引出空数j，从而把复数域拓广到超复数域，本文节选作者研究成果中的三部分，即超复数的代数运算、超复数解析条件、超复数与场论的关系。关键词：第四运算；空数j；超复数；解析条件；场论0序言数域的扩展课题并不是新课题。在十九世纪初期，对所谓超复数的研究就曾风云一时。当时的代表人物是匈牙利的伯依阿依及英国的汉弥登，他们给出了复数理论的纯算术基础，即由实数对来建立复数[1]。当时的数学界已经有许多可贵的理由要求数域再继续

2、扩展下去。为此数学家们就希图沿着伯依阿依之路利用三个实数的数组或四个实数的数组等等去建立更为广义的新数域。他们总结了截至于复数域的一切数域的十个共性，也称为数域的十个条件即：1、对于任意两个数，它们的和是唯一确定的。2、对于任意两个数，它们的积是唯一确定的。3、存在一个数零它具有性质：对于任意α，均有a+0=a。4、对于每一个数a，均存在负数x，适合等式a+x=0。5、加法适合交换律：a+b=b+a。6、加法适合结合律：（a+b）+c=a+(b+c)。7、乘法适合交换律：a·b=b·a。8、乘法适合结合律：(a·b)·c=a·(b·c)。9、乘法对加法适合分配律：a

3、（b+c）=ab+ac。10、对于每一a以及每一b≠0，存在唯一的数x，满足等式bx=a。围绕这十个条件，他们想求出超复数的乘法运算，使得超复数作为一个域，从而得到更广义的数域。但结果得出的仍然是通常的复数。在这个研究过程中，他们得出一个重要的结论，即如果不改变上面的域的1——10的条件，欲建立一个广义的数域是不可能的。也就是说，新的数域必须放弃1——10中的某项或某几项才行。2828-28伯依阿依和汉弥登之路到了一个突破口上。但后来人们仅仅看到了他们失败的一面，而没有看到他们揭示的突破口——新数域的生命力建立在必须放弃以往全体数域的1——10条件中的一项或数项；反

4、而出现了“复数占有完善而特殊的地位”的顶峰论，也称为复数域封闭论[2]。1第四运算与超数的代数运算依笔者的看法，数域的扩展必须与运算类的扩充联系起来，这才是唯一正确的研究路线。1.1第四运算与空数j数域的拓广必须与运算类的扩充紧密联系起来。为此，我们应该对人类截止到目前所具有的三大类运算加以考察，从中找出其规律性的东西。第一运算（加法）的一般式是a+b=c；其特殊式是a+a=c,即两个相同的数相加。如果人们把自己的思维停滞在这里，而不升华到第二运算（乘法）的话，数学也就僵化了。人类终究做到了这一点。他们在两个相同的数相加时，把自己的思维升华成a+a=2a，新的运算产

5、生了。同样，人们又没有停滞在第二运算那里。当两个相同数相乘时，人类思维又升华到第三运算，即a·a=a2。把这一思维推演下去，当相同的数连续乘方，即{[(a)]……}(n个a连续的乘方),人们的思维是停滞于第三运算那里？还是再次升华到更高一级的运算？显然人类应该具有这样更高一级运算——第四运算，可记为a={[(a)]……}=a称为拐方运算（由于使用了一个拐角符号L,可读作a的拐角n）。其一般形式是，其中b为任意复数。这其中的规律就如下表所示。运算类的扩展：类别转化第一运算第二运算第三运算第四运算┄┄一般式a+b=c特殊式a+a=c2a=c一般式ab=c特殊式aa=ca

6、2=c一般式ab=c特殊式aa=ca=c一般式a=c┄┄2828-28由此表可见运算类是无穷无尽的，只是客观实践是否需要而已。第四运算确有其客观性：方程W=ZlnZ(Z=a+ib)反映了流线为对数螺旋线的不可压缩流体的流动[3]。现在我们来谈数的扩充。我们知道数的拓广是每一类运算的逆运算引发的。第四运算的逆运算在复数域内是否完全可以通行呢？显然，只要W≠0，方程=W在复数域内总是有解的。但是，当W=0呢？这可归结为有无复数Z使=W永远成立？答案是当W=0时这样的复数不存在，于是必须有一个超出复数域的新数j，使=0。特别是n=1时有jj=0。空数j出现后，在笛卡几坐标

7、系中空间任一点都对应一个新数Q=a+bi+cj，可命之为‘超数’。为研究空数j的性质，我们建立下面的几个公理。公理1：设a、b是任意数域中的数若aa=bb则a=b因对一切正整数n，方程在复数域中无解。此式又可变为=0，它同样在复数域中无解，于是需命一个新的数j，使。前已述及，有=0，所以，于是据公理1，有性质Ⅰ：又，=0，在复数域中无解，由于此式属于第四运算的逆运算（的结构），于是需命新数j，使=0，又因=0，所以=据公理1，有性质Ⅱ：，即公理2：对一切数，就其模而言，有（n为正整数）据此公理，又∵∴，于是，有性质Ⅲ：定义：模为1的数称为单位12828-28公理