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

相关推荐
石小石Orz几秒前
Three.js + AI:AI 算法生成 3D 萤火虫飞舞效果~
javascript·人工智能·算法
湫ccc6 分钟前
Python简介以及解释器安装(保姆级教学)
开发语言·python
程序伍六七10 分钟前
day16
开发语言·c++
wkj00115 分钟前
php操作redis
开发语言·redis·php
极客代码20 分钟前
【Python TensorFlow】进阶指南(续篇三)
开发语言·人工智能·python·深度学习·tensorflow
土豆湿25 分钟前
拥抱极简主义前端开发:NoCss.js 引领无 CSS 编程潮流
开发语言·javascript·css
界面开发小八哥32 分钟前
更高效的Java 23开发,IntelliJ IDEA助力全面升级
java·开发语言·ide·intellij-idea·开发工具
jiao_mrswang1 小时前
leetcode-18-四数之和
算法·leetcode·职场和发展
qystca1 小时前
洛谷 B3637 最长上升子序列 C语言 记忆化搜索->‘正序‘dp
c语言·开发语言·算法
薯条不要番茄酱1 小时前
数据结构-8.Java. 七大排序算法(中篇)
java·开发语言·数据结构·后端·算法·排序算法·intellij-idea