基础集合论 第一章 集合与集合的运算
序，集合与集合的运算
- 序
- 第一章 集合与集合的运算
- 1 概述
- 2 集合
- 2.1 集合和两个基本关系
- 2.2 外延公理
- 公理一：外延公理
- 外延公理的逆命题
- 2.3 空集公理
- 公理二：空集公理
- 2.4 等价于符号
- 注
序
最近看了北京师范大学1998年出版的 《基础集合论》，还是很受益的，但是由于书籍排版不清晰，有一些词汇已经过时，目前也没有新版，因此我准备把本书的主要内容整理出来，分享给大家。
编写本文的动力主要还是来自我很久以来的一个愿景：我一直觉得所有的数学知识是相互联系的，我们可以通过从基础到复杂的推导一步一步建立起数学王国的整体框架。虽然根据哥德尔不完全性定理，这一愿景是不可能的。但是，对知识之间的联系的梳理和总结是非常有意义的。
本书遵循ZF公理系统介绍了抽象集合论的基本内容，主要研究集合与集合之间的关系。
第一章 集合与集合的运算
1 概述
略。
2 集合
2.1 集合和两个基本关系
什么是集合？在集合论中，我们把“集合”当做不定义1 的一种对象。
在集合论中，有一种“属于”（记为“ ∈ \in ∈”）关系。我们用：
- a ∈ A a \in A a∈A 表示：集合 a a a 属于集合 A A A 。或者说：集合 a a a 是集合 A A A 的元素。或者说：集合 A A A 包含 a a a 。
- a ̸ ∈ A a \not \in A a̸∈A 表示：集合 a a a 不属于集合 A A A 。或者说：集合 a a a 不是集合 A A A 的元素。或者说：集合 A A A 不包含 a a a 。
在集合论中，集合的元素也是集合。这就是说，当我们看到 a ∈ A a \in A a∈A 时，我们就知道其中的 a a a 和 A A A 都是集合。这与一些其他的数学课程的规定不同，这么定义的原因是：
- 集合论只研究集合与集合之间的关系，不考虑集合以外的对象。
- 这并不妨碍把集合论的结果应用于其他分支（在允许应用的情况下）。
我们规定：对于任意两个集合 A , B , A,B, A,B, 或者 A ∈ B , A \in B, A∈B, 或者 A ̸ ∈ B A \not \in B A̸∈B 。两者有且只有一个成立。
在集合论中，还有一种 “等于”（记为“ = = =”）关系。我们用：
- A = B A = B A=B 表示： A A A 与 B B B 是同一个集合。或者说： A A A 与 B B B 是同一个集合的两个符号。或者说： A A A 与 B B B 可以在任意一个语句中相互替换。
- A ̸ = B A \not = B A̸=B 表示： A A A 与 B B B 不是同一个集合。或者说： A A A 与 B B B 不是同一个集合的两个符号。或者说： A A A 与 B B B 不可以在任意一个语句中相互替换。
因此，若 a ∈ A a \in A a∈A 且 a = b , a = b, a=b, 则我们可得出： b ∈ A b \in A b∈A 。
我们同样规定：对于任意两个集合 A , B , A,B, A,B, 或者 A = B , A = B, A=B, 或者 A ̸ = B A \not = B A̸=B 。两者有且只有一个成立。
由上可知，“属于” 与 “等于” 是集合与集合之间的两种关系。它们是集合论中的两个基本关系。
2.2 外延公理
以下是关于“属于” 与 “等于” 这两个基本关系的公理：
公理一：外延公理
对于任意两个集合 A , B , A,B, A,B, 如果：
对于任意一个集合 x , x ∈ A x, x \in A x,x∈A 当且仅当2 x ∈ B x \in B x∈B 。
则： A = B A = B A=B 。
这就是说，如果两个集合有完全一样的元素，则它们是同一个集合。
按照“等于”关系的用法，外延公理的逆命题显然成立：
外延公理的逆命题
对于任意两个集合 A , B , A,B, A,B, 如果 A = B A = B A=B ，则：
对于任意一个集合 x , x ∈ A x, x \in A x,x∈A 当且仅当 x ∈ B x \in B x∈B 。
因此，对于任意两个集合 A , B , A,B, A,B, A ≠ B A \neq B A̸=B 当且仅当：
或者存在一个 x , x, x, x ∈ A x \in A x∈A 但是 x ̸ ∈ B x \not \in B x̸∈B ； 或者存在一个 y , y ∈ B y, y \in B y,y∈B 但是 y ̸ ∈ A y \not \in A y̸∈A 。
2.3 空集公理
集合论中至少应该存在一个集合才会有研究意义。另外，是否存在不包含任何元素的集合呢？为了解决这两个问题，就有了空集公理：
公理二：空集公理
存在一个不包含任何元素的集合，也就是说，存在一个集合 A A A ，使得对于任意一个 x , x ̸ ∈ A x, x \not \in A x,x̸∈A 。
我们可以推出，空集公理里的集合 A A A 是唯一的：
- 对于任意两个集合 A , B , A, B, A,B, 若 A , B A, B A,B 都不包含任何元素，则对于任意一个 x , x ̸ ∈ A x, x \not \in A x,x̸∈A 且 x ̸ ∈ B x \not \in B x̸∈B 。于是以下两个命题也是成立的：
(1) 对于任意一个 x , x, x, 若 x ∈ A x \in A x∈A 则 x ∈ B x \in B x∈B 。
(2) 对于任意一个 y , y, y, 若 y ∈ B y \in B y∈B 则 y ∈ A y \in A y∈A 。 - 按照外延公理， A = B A = B A=B 。
不包含任何元素的集合叫空集，记为 ∅ \varnothing ∅ 。
2.4 等价于符号
为了简化表示，我们定义符号“等价于”（记为“ ⇔ \Leftrightarrow ⇔”）：
A ⇔ B A \Leftrightarrow B A⇔B 表示： A A A 等价于 B B B。或者说： A A A 和 B B B 等价。或者说： A A A 当且仅当 B B B 。
因此，我们可以说：
- a ∈ A ⇔ a a \in A \Leftrightarrow a a∈A⇔a 属于集合 A ⇔ a A \Leftrightarrow a A⇔a 是集合 A A A 的元素 ⇔ \Leftrightarrow ⇔ 集合 A A A 包含 a a a 。
- a ̸ ∈ A ⇔ a a \not \in A \Leftrightarrow a a̸∈A⇔a 不属于集合 A A A ⇔ a \Leftrightarrow a ⇔a 不是集合 A A A 的元素 ⇔ \Leftrightarrow ⇔ 集合 A A A 不包含 a a a 。
- A = B ⇔ A A = B \Leftrightarrow A A=B⇔A 与 B B B 是同一个集合 ⇔ A \Leftrightarrow A ⇔A 与 B B B 是同一个集合的两个符号 ⇔ A \Leftrightarrow A ⇔A 与 B B B 可以在任意一个语句中相互替换。
- A ̸ = B ⇔ A A \not = B \Leftrightarrow A A̸=B⇔A 与 B B B 不是同一个集合 ⇔ A \Leftrightarrow A ⇔A 与 B B B 不是同一个集合的两个符号 ⇔ \Leftrightarrow ⇔ 存在一个语句，使得 A A A 与 B B B 不可以相互替换。
注
“不定义”表示：不说明这个概念是什么。虽然我们不定义这些概念，但是我们可以描述这些概念的用法。 ↩︎
“ A A A 当且仅当 B B B” 表示：当 B B B 成立时， A A A 就会成立；且只有当 B B B 成立时， A A A 才有可能会成立。 ↩︎
基础集合论 第一章 集合与集合的运算相关推荐
- 前端基础知识第一章---HTML
前言 ❤️ 天空黑暗到一定程度,星辰就会熠熠生辉 ❤️ 前端基础知识第一章---HTML 一.HTML 简介 (1)网页 1.1 什么是网页 1.2 什么是 HTML (2)常用浏览器 2.1 常用的 ...
- pc都是微型计算机判断,(计算机应用基础统考)第一章 计算机基础知识
1.第一章计算机基础知识第一章计算机基础知识考试内容 l 计算机的发展过程.分类.应用范 围及特点:信息的基本概念 l 计算机系统的基本组成及各部件的 主要功能,数据存储的概念 l 数据在计算机中的表 ...
- 微型计算机基础 教案,第一章微型计算机基础知识新080902电子教案（153页）-原创力文档...
第一章 微型计算机基础知识;第一章? 微型计算机基础知识;§1.1 计算机中数的表示方法;1.1.1 进位计数制及各计数制间的转换;二进制数的特点; 十进制--符合人们的习惯二进制--便于物理实现十六 ...
- 从硬盘上把数据传回到计算机称为什么,计算机基础知识 第一章 习题三
计算机基础知识第一章习题三 一.填空题 1. 高级语言不能直接被计算机识别并执行,必须翻译成机器语言,翻译的方式有两种:一种是编译方式,另一种是方式. 2. 计算机中存储数据的最小单位是:存储容量的基 ...
- 电大计算机基础光盘电脑安装,电大《计算机应用技术基础》第一章 计算机的硬件安装...
<电大<计算机应用技术基础>第一章 计算机的硬件安装>由会员分享,可在线阅读,更多相关<电大<计算机应用技术基础>第一章 计算机的硬件安装(28页珍藏版)&g ...
- 大学计算机基础试题第一章,大学计算机基础试题第一章
大学计算机基础试题第一章 第一章 一.必答题 [1]. 与信息技术中的感测.存储.通信等技术相比,计算技术主要用于扩展人的_C_______器官的功能. A. 感觉 B. 神经网络 C. 思维 D. ...
- excel工具栏隐藏了怎么办_Office2016基础教程第一章:认识Excel #excel #职场 #办公技巧...
今日详讲Excel基础 教程 第一章:认识Excel 1. 版本兼容性 2. Excel2016的独特之处 3. 安装Excel2016 4. 启动Excel2016 5. 退出Excel2016 6 ...
- 计算机基础应用win7,计算机应用基础WIN7第一章.ppt
计算机应用基础WIN7第一章.ppt (20页) 本资源提供全文预览,点击全文预览即可全文预览,如果喜欢文档就下载吧,查找使用更方便哦! 9.9 积分 计算机应用基础 Windows7+Office2 ...
- 村田噪声抑制基础教程-第一章 需要EMI静噪滤波器的原因
1-1. 简介 EMI静噪滤波器 (EMIFIL®) 是为电子设备提供电磁噪声抑制的电子元件,配合屏蔽罩和其他保护装置一起使用.这种滤波器仅从通过连线传导的电流中提取并移除引起电磁噪声的元件.第1章说 ...
最新文章
- elasticsearch查询
- leetcode 264. Ugly Number II
- OrderAnalyticsController.initializeCachedDB - jdbc
- kstools工具是什么牌子_2020年平衡车推荐，电动平衡车哪个牌子好？老司机教你如何选购电动平衡车...
- 可临摹素材，分层可编辑一步一步教你，肯定能把表单做好
- 【汇编优化】之ARM32与AARCH64指令集优化总结
- 年度研发项目情况项目目标文档
- 发生服务器错误 显示预览,我的电脑为何在做asp的时候按F12键不能预览!预览就出错!错误代码500说服务器或者DNS错误...
- [代码]POJ 2409 Let it Bead
- prepared statement mysql_MySQL之 Statement实现及PreparedStatement实现
- 二类查询（中兴笔试）
- SWOT分析法 (SWOT Analysis)
- 禁用计算机f1-f12,win10系统禁用f1-f12快捷键的操作方法
- 深度理解 RGMII （包含Linux和realtek）
- 软件测试用例覆盖率怎么算,如何计算增量测试覆盖率
- Pr：子剪辑子序列嵌套编组
- html为知笔记模板,为知笔记使用技巧：如何建立模板
- 下一代数据架构Data Fabric到底是什么？
- 大学四年自学走来，这些私藏的实用工具/学习网站我贡献出来了
- zurb是什么网站_Zurb的Tribute库的Vue.js包装器，用于本机@mentions