非递归化序列记号:修订间差异
来自Googology Wiki
更多操作
小无编辑摘要 |
小无编辑摘要 |
||
第24行: | 第24行: | ||
* 非递归 [[0-Y]] 与 [[非递归BMS|非递归 BMS]] 强度相同,均为[[向上投影]]的 <math>\psi_H(\varepsilon_{H+1})</math> | * 非递归 [[0-Y]] 与 [[非递归BMS|非递归 BMS]] 强度相同,均为[[向上投影]]的 <math>\psi_H(\varepsilon_{H+1})</math> | ||
* 非递归 [[Y序列|Y 序列]]的强度很高,目前仍不知道它和向上投影的关系 | * 非递归 [[Y序列|Y 序列]]的强度很高,目前仍不知道它和向上投影的关系 | ||
[[分类:个人记号]] | |||
[[分类: |
2025年8月20日 (三) 15:57的版本
本词条介绍将部分序列记号改造为非递归记号的通用办法。
定义
对于极限基本列为 、、……的,且存在坏根、好部、坏部的序列型记号,可以按照如下方法将其转换为非递归记号:
- 末项为 1,则为后继;
- 否则,在序列最前方补一个 1,随后按该记号规则找到坏根,如果坏根不是补的那个1,则按照该记号规则正常展开;
- 否则,将末项 - 1,随后在后面加一个 ω,并视为非递归展开。
举例:
非递归化的 LPrSS 中,,末项不是 1,在最前补一个 1,得到 ,找到坏根为第二项 3,于是正常展开为
非递归化的 Y 序列中,,末项不是 1,在最前补一个 1,得到 ,找到坏根为首项 1,于是变为 ,并视为非递归展开。
这类非递归记号与非递归 BMS 的理念均相同,是对该记号的极限 S,如果存在一个 X 使得 ,则令任意的 。
强度
这些非递归记号的表示能力取决于原记号的强度。如: