集合论(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)

相关推荐
火柴盒zhang1 分钟前
websheet之 编辑器
开发语言·前端·javascript·编辑器·spreadsheet·websheet
景天科技苑9 分钟前
【Rust】Rust中的枚举与模式匹配,原理解析与应用实战
开发语言·后端·rust·match·enum·枚举与模式匹配·rust枚举与模式匹配
知来者逆10 分钟前
计算机视觉——速度与精度的完美结合的实时目标检测算法RF-DETR详解
图像处理·人工智能·深度学习·算法·目标检测·计算机视觉·rf-detr
阿让啊14 分钟前
C语言中操作字节的某一位
c语言·开发语言·数据结构·单片机·算法
এ᭄画画的北北15 分钟前
力扣-160.相交链表
算法·leetcode·链表
椰羊~王小美19 分钟前
LeetCode -- Flora -- edit 2025-04-25
java·开发语言
孞㐑¥1 小时前
C++11介绍
开发语言·c++·经验分享·笔记
旦莫1 小时前
Python 教程:我们可以给 Python 文件起中文名吗?
开发语言·python
爱研究的小陈1 小时前
Day 3:数学基础回顾——线性代数与概率论在AI中的核心作用
算法
渭雨轻尘_学习计算机ing1 小时前
二叉树的最大宽度计算
算法·面试