热门问题
时间线
聊天
视角

超运算

二元運算序列 来自维基百科,自由的百科全书

Remove ads
Remove ads

超运算序列数学中一种二元运算序列,前三分别为加法乘法,一般来说,除了序列中第一项的加法运算之外,序列中每一项的运算都是重复的前一项的运算(例如乘法是重复的加法:,幂是重复的乘法:)。这些运算通称为超运算(或称为hyper运算符)。序列中的第n项称为超-n运算n级的超运算,其符号为[n]。英文则由鲁宾·古德斯坦英语Reuben Goodstein命名,当n≥4时,由n希腊语前缀加上后缀-ation组成(例如超-4运算称为tetration超-5运算称为pentation英语pentation)。[1]n≥3 时,使用高德纳箭号表示法可将超-n运算的符号表示为(n-2)个箭头。

超运算可通过递归进行定义,对于所有正整数a,正整数b和正整数n

除这一最常见的定义之外,超运算还有其他的变体。(见下文

Remove ads

定义

超运算序列是定义在自然数上的一个序列,记为。前三项为加法(n=1)、乘法(n=2)和(n=3)。高阶超运算的参数与幂运算相似,[2]即a称为底数,b称为指数(或称超指数[3]),而n则称为阶数。

高德纳箭号表示法可以将超运算定义为

注意到,对于序列的前三项有:

通过这样的递归能够定义出高阶运算,从而输入很小的数就可以产生非常大的数。

其实,某一超运算就是一种基于低一阶超运算而进行数的复合的方法。我们可以以加法、乘法与幂的概念为例来说明。加法运算就是将指定次数的1加到原本的数上从而得到最终的结果(如2+3是将1三次加到2上),乘法运算就是将指定次数的某数通加(如就是3个2相加),幂运算则是将指定次数的某数通乘(如就是3个2相乘)。

Remove ads

实例

下表列出了前七个超运算:

更多信息 , ...
Remove ads

历史

1914年,阿尔伯特·贝内特(Albert Bennett)最早提出了超运算,他发展出了一套交换超运算(见下文)的理论。[4]12年之后,威廉·阿克曼定义了函数[5],和超运算序列已经有了某种程度上的相似。最早的使用三个自变量的阿克曼函数使用了同样的递归法则,但有两点与现在的超运算不同。一是它定义了时为加法、时为乘法、时为幂运算,二是由其对初始条件的定义能得到,最后的运算结果与超运算不同。[6][7][8]

1947年,鲁宾·古德斯坦[1]提出现在所使用的超运算序列,只是那时他使用记号来表示,而非今天的。在1947年的论文中,古德斯坦还引进了幂运算之后超运算的英文名称,即tetration、pentation、hexation等。

符号表示

下表列出了曾用来表示超运算的各种符号表示法:

更多信息 , 使用(对于 ...
Remove ads

从a开始的变体形式

1928年,威廉·阿克曼提出了一个三自变量的函数,后来发展为现有的两个自变量的阿克曼函数。初始的阿克曼函数与现在的超运算之间的区别更大,因为他当时使用了初始条件:对所有,有。另外他还将指定为加法、为乘法、为幂。因而,幂运算及更高阶的运算就有了完全不同的结果。

更多信息 , ...

路莎·彼得(Rózsa Péter)还曾用作初始条件,但无法形成一个超运算等级。

Remove ads

从0开始的变体形式

1984年,C.W.克莱恩肖(C. W. Clenshaw)和F.W.J.奥立弗(F. W. J. Olver)开始讨论如何使用超运算以防止计算机浮点数溢出。[15]此后,很多人[16][17][18]都开始对于超运算在浮点数表示中的应用产生兴趣。在探讨超-4运算时,克莱恩肖等人曾令作为初始条件,这就产生了又一个超运算等级。

更多信息 , ...
Remove ads

交换超运算

1914年阿尔伯特·贝内特提出了超运算,很可能是关于超运算最早的尝试。交换超运算通过以下递归法则定义:

由于a和b的对称性,意味着所有的超运算都是可交换的。但由于序列并不包括幂运算,因此也就不能成为一个超运算等级。

更多信息 , ...
Remove ads

均衡超运算

均衡超运算于1991年首先由克莱门特·弗拉皮耶(Clément Frappier)提出[19],这种超运算是基于函数的,因而与斯坦豪斯-莫泽表示法(Steinhaus-Moser notation)有关。均衡超运算的递归法则是

更多信息 , ...
Remove ads

低级超运算

还有一种变化形式的特点是从左到右的顺序进行求值,即:

令(通过°或下标),有初始条件,且对所有

这样所产生的一个问题是,在4阶时它就与通常的定义不同:。出现这一问题的原因在于加法和乘法运算有一种称为结合律的对称性,但这在幂运算上并不成立。由于通过这种超运算所得到的结果在3阶以上都比普通的超运算更小,因而把这种超运算称为低级超运算。

更多信息 , ...
Remove ads

其他变体

Thumb
超运算等级推广至实数的可能结果,当的n为实数时。目前实数阶的超运算未有相关理论能够计算,但仍可以以近似的方式得出结果。[20]

在取不同的初始条件或不同的递归法则时,就会产生不同的运算。一些数学家扩展出了超运算的许多变体。

通常,超运算等级(hyperoperation hierarchy)是一个以集合索引集、基于集合二元运算。对于,有:

  • (加法)
  • (乘法)
  • (幂)

如果不满足最后一个条件的话,就能将交换超运算包括在内。当然,也可以明确地定义每一个超运算,但这就超出了我们讨论的范围。大多数的变体形式只包含了对于后继函数(即加法)的定义,而乘法则由递归法则来进行定义。由于这属于对超运算等级的定义,而非等级本身的性质,很难给出形式上的定义。

对于超运算,除了古德斯坦给出的定义外,还有很多其他可能性。如果对采用不同的初始条件,则产生的超运算在比幂运算更高阶时就会有不同的结果。现今的超运算定义的条件包括对所有,而在其他形式中也有的情况。

关于超运算的一个未解决问题是超运算等级是否能推广到[21]:5甚至,以及是否能成为一个拟群

Remove ads

使用超运算的记数系统

鲁宾·古德斯坦英语Reuben Goodstein使用超运算序列定义了一套能表达非负整数的记数系统[1]

参考文献

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads