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

相关推荐
超浪的晨1 分钟前
Java Set 集合详解:从基础语法到实战应用,彻底掌握去重与唯一性集合
java·开发语言·后端·学习·个人开发
AI_Keymaker2 分钟前
手术台上的AlphaGo:约翰霍普金斯大学发布自主手术机器人
算法·机器人
AI_Keymaker3 分钟前
人类早期驯服野生机器人珍贵影像(不是)
算法·机器人
workflower17 分钟前
活动图描述场景
开发语言·软件工程·需求分析·软件需求·敏捷流程
梦想的初衷~19 分钟前
基于现代R语言【Tidyverse、Tidymodel】的机器学习方法
开发语言·机器学习·r语言
香蕉可乐荷包蛋22 分钟前
Python学习之路(十三)-常用函数的使用,及优化
开发语言·python·学习
惜.己30 分钟前
使用python的读取xml文件,简单的处理成元组数组
xml·开发语言·python·测试工具
今禾36 分钟前
一行代码引发的血案:new Array(5) 到底发生了什么?
前端·javascript·算法
橙几1 小时前
击败了90%的解法?Two Sum 从 O(n²) 到 O(n) 的优化之路
算法
apihz1 小时前
域名WHOIS信息查询免费API使用指南
android·开发语言·数据库·网络协议·tcp/ip