集合论(ZFC)之良创关系(Well-Founded Relation)

定义在集合S中的一个二元关系(Binary Relation)记,<,有(S,<)。如果对于集合S的任意非空子集,都存在关系(<)下的最小元素,那么该关系(<)成为良创关系(Well_Founded Relation),集合S与关系(<),即(S,<),称为良创集。亦:

(s ⊂ S ∧ s ≠ ∅ → (a ∈ s → ¬(∃x∈s.(x < a)))) → Well_Founded(S)

可证,良序集(Well-Ordered Set)满足良创集的条件。即良序集为良创集。

另外,给定义一个良创集(S,<),可定义关系(<)的高度(height),同时,赋予集合S中的每个元素 x 一个序数,称该序数为对应元素 x 的关系(<)层级 ( Rank of x in < )。

那么,把这赋级规则看作是一函数 rank: S → Ordinal,其定义为

rank(x) = sup { rank(y) + 1: y < x } ( x ∈ S )

该函数 rank 是唯一存在的。其证明可通过对层级进行归纳,定义各层级集合,如

S₀ = ∅ ;

Sₙ₊₁ = {s ∈ S: ∀t(t < s → t ∈ Sₙ)};

Sₐ = ⋃ ᵢ<ₐ Sᵢ ( a 是极限序数(limit ordinal))

那么,有 S₀ ⊂ S₁ ⊂ ... ⊂ S。

令,r 为该集合的最高层级,有 Sᵣ = S。

如果 Sᵣ **≠**S,那么,(S - Sᵣ)⊂ S,而S为良创集,由此存在一个元素 a 是(S - Sᵣ)中,关系(<)下的最小元素,那么根据上述描述,a 存在于 Sᵣ₊₁ 中,与定义不符,因此,Sᵣ = S。

其中 r 为 良创集(S,<)的高度。

相关推荐
Yhame.17 分钟前
【使用层次序列构建二叉树(数据结构C)】
c语言·开发语言·数据结构
言之。23 分钟前
【Go语言】RPC 使用指南(初学者版)
开发语言·rpc·golang
雾月5541 分钟前
LeetCode 1292 元素和小于等于阈值的正方形的最大边长
java·数据结构·算法·leetcode·职场和发展
投笔丶从戎1 小时前
Kotlin Multiplatform--01:项目结构基础
android·开发语言·kotlin
杜小暑2 小时前
动态内存管理
c语言·开发语言·动态内存管理
想不明白的过度思考者2 小时前
Java从入门到“放弃”(精通)之旅——JavaSE终篇(异常)
java·开发语言
我真的不会C2 小时前
QT窗口相关控件及其属性
开发语言·qt
CodeCraft Studio2 小时前
Excel处理控件Aspose.Cells教程:使用 Python 在 Excel 中进行数据验
开发语言·python·excel
火柴盒zhang2 小时前
websheet之 编辑器
开发语言·前端·javascript·编辑器·spreadsheet·websheet
景天科技苑2 小时前
【Rust】Rust中的枚举与模式匹配,原理解析与应用实战
开发语言·后端·rust·match·enum·枚举与模式匹配·rust枚举与模式匹配