无穷降链 - 版本历史

Phyrion：撤销Z（讨论）的修订版本2900

2026-02-28T22:12:24Z

撤销Z（讨论）的修订版本2900

←上一版本		2026年3月1日 (日) 06:12的版本
第1行：		第1行：
	~~在googology中，无穷降链是一个重要概念。一个记号没有无穷降链是其良序性的必要条件。~~		在googology中，无穷降链是一个重要概念。一个记号没有无穷降链是其良定义的必要条件。

	== 定义 ==		== 定义 ==
第6行：		第6行：
	a_1>a_2>a_3>......，即该序列集合中不存在最小的项。		a_1>a_2>a_3>......，即该序列集合中不存在最小的项。

	~~事实上，当我们要求记号没有无穷降链的时候，即保障~~[[良序]]~~词条中“任取一子集都有最小元”的条件。因此，如果记号发现了无穷降链，那么可以直接断言其不良序。~~		一个记号[[良序]]等价于其没有无穷降链。

	== 例子 ==		== 例子 ==

2026年2月28日 (六) 11:25 Z

2026-02-28T11:25:20Z

←上一版本		2026年2月28日 (六) 19:25的版本
第1行：		第1行：
	~~在googology中，无穷降链是一个重要概念。一个记号没有无穷降链是其良定义的必要条件。~~		在googology中，无穷降链是一个重要概念。一个记号没有无穷降链是其良序性的必要条件。

	== 定义 ==		== 定义 ==
第6行：		第6行：
	a_1>a_2>a_3>......，即该序列集合中不存在最小的项。		a_1>a_2>a_3>......，即该序列集合中不存在最小的项。

	~~一个记号~~[[良序]]~~等价于其没有无穷降链。~~		事实上，当我们要求记号没有无穷降链的时候，即保障[[良序]]词条中“任取一子集都有最小元”的条件。因此，如果记号发现了无穷降链，那么可以直接断言其不良序。

	== 例子 ==		== 例子 ==

2026年2月20日 (五) 10:08 Baixie01000a7

2026-02-20T10:08:54Z

←上一版本		2026年2月20日 (五) 18:08的版本
第1行：		第1行：
	在googology中，无穷降链是一个重要概念。一个记号没有无穷降链是其良定义的必要条件。		在googology中，无穷降链是一个重要概念。一个记号没有无穷降链是其良定义的必要条件。

	定义		== 定义 ==

	无穷降链指的是一个无穷序列a_1,a_2,a_3......满足：		无穷降链指的是一个无穷序列a_1,a_2,a_3......满足：

第9行：		第8行：
	一个记号[[良序]]等价于其没有无穷降链。		一个记号[[良序]]等价于其没有无穷降链。

	例子		== 例子 ==

	例如，[[元素属性\|坏根]]始终为第一项的[[PrSS]]：		例如，[[元素属性\|坏根]]始终为第一项的[[PrSS]]：

2026年2月20日 (五) 08:10 Phyrion

2026-02-20T08:10:33Z

←上一版本		2026年2月20日 (五) 16:10的版本
第1行：		第1行：
	~~在googology中，无穷降链是一个重要概念。一个记号是否良定义就取决于其是否有无穷降链。~~		在googology中，无穷降链是一个重要概念。一个记号没有无穷降链是其良定义的必要条件。

	定义		定义

2026年2月20日 (五) 08:09 Phyrion

2026-02-20T08:09:19Z

←上一版本		2026年2月20日 (五) 16:09的版本
第20行：		第20行：

	因此，我们需要知道1,2,2有多大，就需要知道1,2,1,2有多大，而要知道1,2,1,2有多大，又需要知道1,2,1,1,2有多大....以此类推，这个集合里不存在一个最小的序列能让我们知道其大小，因而我们无法知道1,2,2的实际大小。		因此，我们需要知道1,2,2有多大，就需要知道1,2,1,2有多大，而要知道1,2,1,2有多大，又需要知道1,2,1,1,2有多大....以此类推，这个集合里不存在一个最小的序列能让我们知道其大小，因而我们无法知道1,2,2的实际大小。
			[[分类:重要概念]]

2026年2月20日 (五) 08:08 Phyrion

2026-02-20T08:08:58Z

←上一版本		2026年2月20日 (五) 16:08的版本
第1行：		第1行：
	~~在googology中，无穷降链是一个重要概念。一个记号有没有良定义就取决于其是否有无穷降链。~~		在googology中，无穷降链是一个重要概念。一个记号是否良定义就取决于其是否有无穷降链。

	定义		定义

2026年2月20日 (五) 08:07 Phyrion

2026-02-20T08:07:27Z

←上一版本		2026年2月20日 (五) 16:07的版本
第2行：		第2行：

	定义		定义

			无穷降链指的是一个无穷序列a_1,a_2,a_3......满足：

			a_1>a_2>a_3>......，即该序列集合中不存在最小的项。

	一个记号[[良序]]等价于其没有无穷降链。		一个记号[[良序]]等价于其没有无穷降链。


	例子		例子

Phyrion：创建页面，内容为“在googology中，无穷降链是一个重要概念。一个记号有没有良定义就取决于其是否有无穷降链。定义一个记号良序等价于其没有无穷降链。例子例如，坏根始终为第一项的PrSS： 1,2,2展开为1,2,1,2,1,2...... 1,2,1,2展开为1,2,1,1,2,1,1,2,1,1,2... 1,2,1,1,2展开为1,2,1,1,1,2,1,1,1,2,1,1,1,2... 因此，我们需要知道1,2,2有多大，就需要知道1,2,1,2有多大…”

2026-02-20T07:16:08Z

创建页面，内容为“在googology中，无穷降链是一个重要概念。一个记号有没有良定义就取决于其是否有无穷降链。定义一个记号良序等价于其没有无穷降链。例子例如，坏根始终为第一项的PrSS： 1,2,2展开为1,2,1,2,1,2...... 1,2,1,2展开为1,2,1,1,2,1,1,2,1,1,2... 1,2,1,1,2展开为1,2,1,1,1,2,1,1,1,2,1,1,1,2... 因此，我们需要知道1,2,2有多大，就需要知道1,2,1,2有多大…”

新页面

在googology中，无穷降链是一个重要概念。一个记号有没有良定义就取决于其是否有无穷降链。

定义

一个记号[[良序]]等价于其没有无穷降链。

例子

例如，[[元素属性|坏根]]始终为第一项的[[PrSS]]：

1,2,2展开为1,2,1,2,1,2......

1,2,1,2展开为1,2,1,1,2,1,1,2,1,1,2...

1,2,1,1,2展开为1,2,1,1,1,2,1,1,1,2,1,1,1,2...

因此，我们需要知道1,2,2有多大，就需要知道1,2,1,2有多大，而要知道1,2,1,2有多大，又需要知道1,2,1,1,2有多大....以此类推，这个集合里不存在一个最小的序列能让我们知道其大小，因而我们无法知道1,2,2的实际大小。