Veblen 函数：修订间差异

←上一编辑下一编辑→

可视化wikitext

2025年7月4日 (五) 15:54的版本

Veblen函数（别名： $φ$ 函数）是一个 $O r d \to O r d$ 的序数函数，由美国数学家 Oswald Veblen 定义。

定义

二元 Veblen 函数

Veblen 函数的定义基于序数函数的不动点。

二元 Veblen 函数 $φ (α, β) (α, β \in O r d)$ 的定义如下：

$φ (0, β) = φ (β) = ω^{β}$
$φ (α + 1, β)$ 是函数 $x \mapsto φ (α, x)$ 的第 $1 + β$ 个不动点。
对于极限序数 $α$ , $φ (α, β)$ 为所有 $x \mapsto φ (γ, x) (γ < α)$ 的第 $1 + β$ 个公共不动点。

其基本列定义如下：

$(φ (α_{1}, β_{1}) + φ (α_{2}, β_{2}) + \dots + φ (α_{k}, β_{k})) [n] = φ (α_{1}, β_{1}) + φ (α_{2}, β_{2}) + \dots + φ (α_{k}, β_{k}) [n]$
$φ (0, 0) = 1$
$φ (0, β + 1) [n] = φ (0, β) \cdot n$
对于极限序数 $β$ , $φ (α, β) [n] = φ (α, β [n])$
$φ (α + 1, 0) [0] = 0$
$φ (α + 1, 0) [n + 1] = φ (α, φ (α + 1, 0) [n])$
$φ (α + 1, β + 1) [0] = φ (α + 1, β) + 1$
$φ (α + 1, β + 1) [n + 1] = φ (α, φ (α + 1, β + 1) [n])$
对于极限序数 $α$ , $φ (α, 0) [n] = φ (α [n], 0)$
对于极限序数 $α$ , $φ (α, β + 1) [n] = φ (α [n], φ (α, β) + 1)$

有限元 Veblen 函数

我们使用一些缩写："#"表示任意序列，"Z"表示由若干个0构成序列，这两个记号均可以表示空序列。

对于表达式 $φ (α_{n}, α_{n - 1}, \dots, α_{1}, β)$ ，记 $k$ 为使 $α_{k} \neq 0$ 的最小正整数，令 $# = α_{n}, \dots, α_{k + 1}$ , $Z = α_{k - 1}, \dots, α_{1}$ ，则该表达式可记为 $φ (#, α_{k}, Z, β)$ 。

有限元 Veblen 函数的基本列定义如下：

$φ (Z, #) = φ (#)$
$φ (#, α + 1, Z, 0) [0] = 0$
$φ (#, α + 1, Z, 0) [n + 1] = φ (#, α, φ (#, α + 1, Z, 0) [n], Z)$
$φ (#, α + 1, Z, β + 1) [0] = φ (#, α + 1, Z, β) + 1$
$φ (#, α + 1, Z, β + 1) [n + 1] = φ (#, α, φ (#, α + 1, Z, β + 1) [n], Z)$
对于极限序数 $β$ ， $φ (#, α, Z, β) [n] = φ (#, α, Z, β [n])$
对于极限序数 $α$ , $φ (#, α, Z, 0) [n] = φ (#, α [n], Z, 0)$
对于极限序数 $α$ , $φ (#, α, Z, β + 1) [n] = φ (#, α [n], φ (#, α, Z, β) + 1, Z)$

展开举例

例1.考虑表达式 $φ (1, 2, 0, 0)$ ，有 $φ (1, 2, 0, 0) [n] = φ (1, 1, φ (1, 1, \dots φ (1, 1, 0, 0) \dots, 0), 0)$

例2.考虑表达式 $φ (1, φ (2, 0, 1), 1)$ ，我们有

$\begin{aligned} φ (1, φ (2, 0, 1), 1) [n] & = φ (1, φ (2, 0, 1) [n], φ (1, φ (2, 0, 1), 0) + 1) \\ = φ (1, φ (2, 0, 1) [n], φ (2, 0, 1) + 1) \\ = φ (1, φ (1, φ (1, \dots φ (2, 0, 0) + 1 \dots, 0), 0), φ (2, 0, 1) + 1) \end{aligned}$

序数元 Veblen 函数

在有限元 Veblen 函数中，我们从右往左给每个变量标号，最右边的元素称为第0项。

若第 $β$ 项的值为 $α$ ，则称这一项为

@@ 第4行： / 第4行： @@
 === 二元 Veblen 函数 ===
-Veblen 函数的定义基于序数函数的[[不动点]].
+Veblen 函数的定义基于序数函数的[[不动点]]。
 二元 Veblen 函数<math>\varphi(\alpha,\beta)~(\alpha,\beta\in\mathrm{Ord})</math>的定义如下：
 # <math>\varphi(0,\beta)=\varphi(\beta)=\omega^\beta</math>
-# <math>\varphi(\alpha+1,\beta)</math> 是函数 <math>x\mapsto\varphi(\alpha,x)</math>的第 <math>1+\beta</math> 个不动点.
+# <math>\varphi(\alpha+1,\beta)</math> 是函数 <math>x\mapsto\varphi(\alpha,x)</math>的第 <math>1+\beta</math> 个不动点。
-# 对于[[序数#极限序数|极限序数]] <math>\alpha</math>,<math>\varphi(\alpha,\beta)</math> 为所有 <math>x\mapsto\varphi(\gamma,x)(\gamma<\alpha)</math> 的第 <math>1+\beta</math> 个公共不动点.
+# 对于[[序数#极限序数|极限序数]] <math>\alpha</math>,<math>\varphi(\alpha,\beta)</math> 为所有 <math>x\mapsto\varphi(\gamma,x)(\gamma<\alpha)</math> 的第 <math>1+\beta</math> 个公共不动点。
 其基本列定义如下：
@@ 第18行： / 第18行： @@
 # 对于极限序数 <math>\beta</math>,<math>\varphi(\alpha,\beta)[n]=\varphi(\alpha,\beta[n])</math>
 # <math>\varphi(\alpha+1,0)[0]=0</math>
+# <math>\varphi(\alpha+1,0)[n+1]=\varphi(\alpha,\varphi(\alpha+1,0)[n])</math>
 # <math>\varphi(\alpha+1,\beta+1)[0]=\varphi(\alpha+1,\beta)+1</math>
 # <math>\varphi(\alpha+1,\beta+1)[n+1]=\varphi(\alpha,\varphi(\alpha+1,\beta+1)[n])</math>
@@ 第24行： / 第25行： @@
 === 有限元 Veblen 函数 ===
+我们使用一些缩写："#"表示任意序列，"Z"表示由若干个0构成序列，这两个记号均可以表示空序列。
+对于表达式<math>\varphi(\alpha_n,\alpha_{n-1},\cdots,\alpha_1,\beta)</math>，记<math>k</math>为使<math>\alpha_k\ne 0</math>的最小正整数，令<math>\#=\alpha_n,\cdots,\alpha_{k+1}</math>,<math>Z=\alpha_{k-1},\cdots,\alpha_1</math>，则该表达式可记为<math>\varphi(\#,\alpha_k,Z,\beta)</math>。
+有限元 Veblen 函数的基本列定义如下：
+# <math>\varphi(Z,\#)=\varphi(\#)</math>
+# <math>\varphi(\#,\alpha+1,Z,0)[0]=0</math>
+# <math>\varphi(\#,\alpha+1,Z,0)[n+1]=\varphi(\#,\alpha,\varphi(\#,\alpha+1,Z,0)[n],Z)</math>
+# <math>\varphi(\#,\alpha+1,Z,\beta+1)[0]=\varphi(\#,\alpha+1,Z,\beta)+1</math>
+# <math>\varphi(\#,\alpha+1,Z,\beta+1)[n+1]=\varphi(\#,\alpha,\varphi(\#,\alpha+1,Z,\beta+1)[n],Z)</math>
+# 对于极限序数<math>\beta</math>，<math>\varphi(\#,\alpha,Z,\beta)[n]=\varphi(\#,\alpha,Z,\beta[n])</math>
+# 对于极限序数 <math>\alpha</math>,<math>\varphi(\#,\alpha,Z,0)[n]=\varphi(\#,\alpha[n],Z,0)</math>
+# 对于极限序数 <math>\alpha</math>,<math>\varphi(\#,\alpha,Z,\beta+1)[n]=\varphi(\#,\alpha[n],\varphi(\#,\alpha,Z,\beta)+1,Z)</math>
+==== 展开举例 ====
+例1.考虑表达式<math>\varphi(1,2,0,0)</math>，有<math>\varphi(1,2,0,0)[n]=\varphi(1,1,\varphi(1,1,\cdots\varphi(1,1,0,0)\cdots,0),0)</math>
+例2.考虑表达式<math>\varphi(1,\varphi(2,0,1),1)</math>，我们有
+<math>\begin{align}
+\varphi(1,\varphi(2,0,1),1)[n]
+&=\varphi(1,\varphi(2,0,1)[n],\varphi(1,\varphi(2,0,1),0)+1)\\
+&=\varphi(1,\varphi(2,0,1)[n],\varphi(2,0,1)+1)\\
+&=\varphi(1,\varphi(1,\varphi(1,\cdots\varphi(2,0,0)+1\cdots,0),0),\varphi(2,0,1)+1)\\
+\end{align}</math>
 === 序数元 Veblen 函数 ===
+在有限元 Veblen 函数中，我们从右往左给每个变量标号，最右边的元素称为第0项。
+若第<math>\beta</math>项的值为<math>\alpha</math>，则称这一项为
 [[分类:记号]]