集合论(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,<)的高度。

相关推荐
weixin_30777913几秒前
使用C#实现从Hive的CREATE TABLE语句中提取分区字段名和数据类型
开发语言·数据仓库·hive·c#
Xiaok10189 分钟前
解决 Hugging Face SentenceTransformer 下载失败的完整指南:ProxyError、SSLError与手动下载方案
开发语言·神经网络·php
ゞ 正在缓冲99%…10 分钟前
leetcode76.最小覆盖子串
java·算法·leetcode·字符串·双指针·滑动窗口
绿草在线11 分钟前
Mock.js虚拟接口
开发语言·javascript·ecmascript
xuanjiong11 分钟前
纯个人整理,蓝桥杯使用的算法模板day2(0-1背包问题),手打个人理解注释,超全面,且均已验证成功(附带详细手写“模拟流程图”,全网首个
算法·蓝桥杯·动态规划
go_bai21 分钟前
Linux环境基础开发工具——(2)vim
linux·开发语言·经验分享·笔记·vim·学习方法
小郝 小郝23 分钟前
【C语言】strstr查找字符串函数
c语言·开发语言
yinhezhanshen28 分钟前
理解rust里面的copy和clone
开发语言·后端·rust
惊鸿.Jh30 分钟前
【滑动窗口】3254. 长度为 K 的子数组的能量值 I
数据结构·算法·leetcode
明灯L31 分钟前
《函数基础与内存机制深度剖析:从 return 语句到各类经典编程题详解》
经验分享·python·算法·链表·经典例题