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

相关推荐
Eiceblue1 小时前
【免费.NET方案】CSV到PDF与DataTable的快速转换
开发语言·pdf·c#·.net
m0_555762902 小时前
Matlab 频谱分析 (Spectral Analysis)
开发语言·matlab
大千AI助手2 小时前
DTW模版匹配:弹性对齐的时间序列相似度度量算法
人工智能·算法·机器学习·数据挖掘·模版匹配·dtw模版匹配
浪裡遊3 小时前
React Hooks全面解析:从基础到高级的实用指南
开发语言·前端·javascript·react.js·node.js·ecmascript·php
lzb_kkk4 小时前
【C++】C++四种类型转换操作符详解
开发语言·c++·windows·1024程序员节
YuTaoShao4 小时前
【LeetCode 热题 100】48. 旋转图像——转置+水平翻转
java·算法·leetcode·职场和发展
好开心啊没烦恼4 小时前
Python 数据分析:numpy,说人话,说说数组维度。听故事学知识点怎么这么容易?
开发语言·人工智能·python·数据挖掘·数据分析·numpy
生态遥感监测笔记4 小时前
GEE利用已有土地利用数据选取样本点并进行分类
人工智能·算法·机器学习·分类·数据挖掘
简佐义的博客4 小时前
破解非模式物种GO/KEGG注释难题
开发语言·数据库·后端·oracle·golang