查看“︁增长层级”︁的源代码

'''增长层级(Growing Hierarchy,GH)'''是一种函数族<math>f:\rm Ord\rightarrow\mathbb{N}\rightarrow\mathbb{N}</math>，对于每个[[序数]]<math>\alpha</math>，<math>f_{\alpha}</math>是一个从自然数到自然数的函数。

不同[[增长率]]的函数能和它们建立起大致的对应关系。因此，增长层级常被用于分析函数的增长率。

常用的增长层级有4种，分别为[[快速增长层级|FGH]]、[[中速增长层级|MGH]]、[[哈代层级|HH]]和[[慢速增长层级|SGH]]。其中最常用的是FGH。

== 在大数数学中的应用 ==
我们知道，大数数学的目的是造出越来越巨大的自然数。为了这个目标，我们需要构造出增长的越来越快的大数函数。实际上，我们有以下两种办法来做到这件事情，即'''迭代'''和'''对角化'''：

* 迭代，即对于已有函数<math>\rm{f(x)}</math>,我们构造出函数<math>\rm{g(x)}</math>增长速度快于f(x).注意到迭代的方法显然不止一种。比方说，让<math>\rm{g(x)=f(f(f(\cdots (x) \cdots))),x}</math>层。这是一种迭代方法。还可以让<math>\rm{g(x)=f(x+1)}</math>等等.
* 对角化，即对于已有的ω个增长速度递增的函数，我们按照增长速度由小到大排序为<math>\rm{f_1(x),f_2(x),f_3(x),\cdots}</math>,我们构造出函数<math>\rm{g(x)=f_x(x)}</math>.注意到g(x)的增长速度快于任意的<math>\rm{f_n(x)}</math>.

因此，我们只需要从一个最初的函数出发，通过不断地迭代和对角化，就可以得到越来越快的函数.

现在让我们考察[[序数]]，会发现，序数存在以下两个性质：

* 对任意序数α，α的后继依然是一个序数且大于α.
* 对ω个递增序数构成的序列S来说，存在一个β是序数且满足β是S的上确界（上界要求大于等于内部所有元素，上确界是最小上界）。或者说，这里的S是β的一条[[基本列]].

因此，我们可以从0出发，通过不断地取后继和取上确界，我们可以得到越来越大的序数.

我们会发现，构造大数函数的方法和序数的性质之间存在某种意义的对应。那么，我们可不可以直接根据序数，生成大数函数呢？答案是可以的。我们需要完成以下三件事：

* 对序数0，它要和一个最基础的函数对应。
* 对一个[[序数#序数的后继|后继序数]]α'(α的后继)，我们需要找到α，然后把α对应的函数进行迭代，所得到的新函数就是α'对应的函数。
* 对一个[[序数#极限序数|极限序数]]β，我们需要找到β的基本列，然后把基本列所有元素对应的函数进行对角化，得到的新函数就是β对应的函数。

但注意到这里还有一个问题：一个极限序数的基本列不止一种，那么，我们如何确定应该选取哪一条基本列呢？这个时候就需要[[序数记号]]出马了。序数记号为其极限之下的每个序数指定了唯一的标准基本列。

有了序数记号之后，我们就可以放心的运用对应关系，直接把序数转换成大数函数了。把序数转换成大数函数的工具就是增长层级。根据迭代的方法不同，增长层级也有很多种，包含FGH,HH,MGH,SGH等等。

[[分类:入门]]
[[分类:分析]]