打开/关闭菜单
打开/关闭外观设置菜单
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。

OScpN:修订间差异

来自Googology Wiki
积分元素.留言 | 贡献
创建页面,内容为“含父项关系的序数序列(Ordinal Sequence containing parent-term Notation)”
 
积分元素.留言 | 贡献
无编辑摘要
 
第1行: 第1行:
含父项关系的序数序列(Ordinal Sequence containing parent-term Notation)
含父项关系的序数序列(Ordinal Sequence containing parent-term relationship Notation)作者为积分元素。
 
其表达式为二元组<math>(a_1,a_2,a_3,...a_{n-1},a_n)(c_1,c_2,c_3,...c_{n-1},c_n)</math>,其中<math>a_1,a_2,a_3,...a_{n-1},a_n</math>为大于等于<math>\omega</math>的序数。<math>a_1=\omega</math>。<math>c_1,c_2,c_3,...c_{n-1},c_n</math>为自然数,用来表示序数序列的父项关系(即另一种形式的山脉图)。
 
==== 父项的基本性质 ====
<math>a_1=\omega</math>没有父项。
 
其余<math>a_i=\omega</math>可以没有父项,也可以有父项。
 
任何大于<math>\omega</math>的项都有父项。
 
某元素<math>a_i</math>的父项必须小于等于它自身,且位置在其自身左侧。
 
我们可以用不少方式来暗示父项关系。例如:
 
===== 1.标记父项距离 =====
如:<math>(\omega,\omega+1,\omega+1)(0,1,1)</math>即代表第三项的父项为第二项,第二项的父项为第一项,第一项没有父项。0代表对应位置的元素无父项。正整数n代表对应元素的父项是它向左找到第n项对应的元素。
 
===== 2.[[PrSS]]法 =====
如:<math>(\omega,\omega+1,\omega+1)(1,2,3)</math>即代表第三项的父项为第二项,第二项的父项为第一项,第一项没有父项。1代表对应位置的元素无父项。这是如何看出来的?因为[[PrSS]](1,2,3)的父项关系正如上所述。

2026年7月22日 (三) 11:32的最新版本

含父项关系的序数序列(Ordinal Sequence containing parent-term relationship Notation)作者为积分元素。

其表达式为二元组(a1,a2,a3,...an1,an)(c1,c2,c3,...cn1,cn),其中a1,a2,a3,...an1,an为大于等于ω的序数。a1=ωc1,c2,c3,...cn1,cn为自然数,用来表示序数序列的父项关系(即另一种形式的山脉图)。

父项的基本性质

a1=ω没有父项。

其余ai=ω可以没有父项,也可以有父项。

任何大于ω的项都有父项。

某元素ai的父项必须小于等于它自身,且位置在其自身左侧。

我们可以用不少方式来暗示父项关系。例如:

1.标记父项距离

如:(ω,ω+1,ω+1)(0,1,1)即代表第三项的父项为第二项,第二项的父项为第一项,第一项没有父项。0代表对应位置的元素无父项。正整数n代表对应元素的父项是它向左找到第n项对应的元素。

2.PrSS

如:(ω,ω+1,ω+1)(1,2,3)即代表第三项的父项为第二项,第二项的父项为第一项,第一项没有父项。1代表对应位置的元素无父项。这是如何看出来的?因为PrSS(1,2,3)的父项关系正如上所述。