集合论(ZFC)之 联合公理(Axiom of Union)注解

集合论(ZFC)之 联合公理(Axiom of Union)定义了集合的联合(Union)操作,其符号为 ⋃,定义如下:

给定任意集合X,存在一个集合 Y,有 Y = ⋃ X,记为

∀X∃Y∀u(u∈Y ↔ ∃z(z∈X ∧ u ∈ z))

意思是,集合Y的元素,由 集合 X 中所有集合的元素所构成。也就是说,集合X 是集合的集合,集合Y是集合X中所有集合的联合(Union)。

同时,通过外延性公理,可以证明,集合 Y = ⋃ X 的唯一性,即,给定任意集合X,存在一个集合 Y,有 Y = ⋃ X,且该集合Y是唯一的,也就是 集合X的联集(Union Set)是唯一的。如果存在两个集合X的联集,那么两者相等。

因此,可以定义两集合的联合操作为,

A ⋃ B = ⋃ {A, B} ,即 X = {A, B}

以及,

A ⋃ B ⋃ C = ( A ⋃ B ) ⋃ C = ⋃ { ( A ⋃ B ) , C } = ⋃ { ⋃ {A, B} , C }

等等。

也有,

{ a, b, c } = { a, b } ⋃ { c }

{a₁,...,aₙ} = {a₁} ⋃ ... ⋃ {aₙ}

由此可定义**对称差(Symmetric difference)**操作:

X Δ Y = ( X - Y ) ⋃ (Y - X)

相关推荐
今天_也很困2 分钟前
牛客2025年愚人节比赛
c++·算法
Joe_Wang54 分钟前
[图论]拓扑排序
数据结构·c++·算法·leetcode·图论·拓扑排序
m0_4902406710 分钟前
软件自动化测试(1):python+selenium自动化测试环境搭建
开发语言·python·selenium
2401_8582861123 分钟前
CD21.【C++ Dev】类和对象(12) 流插入运算符的重载
开发语言·c++·算法·类和对象·运算符重载
上理考研周导师35 分钟前
【虚拟仪器技术】Labview虚拟仪器技术应用教程习题参考答案[13页]
服务器·开发语言
梭七y1 小时前
【力扣hot100题】(033)合并K个升序链表
算法·leetcode·链表
郭涤生1 小时前
Chapter 5: The Standard Library (C++20)_《C++20Get the details》_notes
开发语言·c++·笔记·c++20
月亮被咬碎成星星1 小时前
LeetCode[383]赎金信
算法·leetcode
国货崛起1 小时前
国家天文台携手阿里云,发布国际首个太阳大模型“金乌”
其他
叶孤程1 小时前
Qt图形化界面为何总被“冷落“?
开发语言·c++·qt