Algebra Chapter 0：集合与映射（未完待续捏）

0.1 导言

德国数学家George Cantor为19世纪近代集合理论的确立奠定了基础，集合与映射是现代数学理论的基础语言。本文是弱蒻在备考清华大学求真书院复习过程中整理出的笔记，主要参考了国内一些主流教材，以及柯斯特利金和范德瓦尔登等人的著作，内容包含最基本的集合与映射知识。

0.2 集合

在中学数学学习中，我们已经遇到过很多种对象的集合。

0.2.1 集合的基本概念

某些确定对象的全体称为一个集合(set)，这些对象称为该集合的元素(element)。

这里我们暂不介绍ZF 公理化集合论 (Zermelo-Fraenkel axiomatic set theory)，主要是因为中学牲谔谔太忙捏(好吧是我懒回来再补

想要详细了解的友友可以去读wwl的《代数学方法》，里面有一些有(困)趣(难)的内容

考完试我有时间会进行补充唔这是他滴主页https://wwli.asia/index.php/zh/

集合的描述方法，通常使用两种：

对于简单可列出的有限集合，可以通过列举的方式将其列出，如： 可以用来表示从 1 到  的自然数集。

另一种是基于概括原则(axiom schema of comprehension)的描述方法，它指出如果性质  是关于集合的性质，采用记号   来表示  满足性质  ，那么存在这样  的全体构成一个集合，我们记作： 。

如： 表示二维平面上以原点为圆心半径为2的圆周上点集。

一些常见的记号：

 表示自然数全体构成的集合(这里包含0)

 表示整数全体构成的集合

 表示有理数全体构成的集合（救命我强迫症这个"表"为什么不对齐

 表示实数全体构成的集合

 表示复数全体构成的集合

几何直观上讲，我们把不包含任何元素的集合称为空集，记作  

0.2.2 集合的关系运算

集合与元素的关系运算

如果  是集合  中的元素，可称  属于 ，也说 ，用记号  表示对上命题的否定。

集合间的关系运算

若对于  中每一个元素，都是  中的元素，称  是  的子集(subset)。

记作 

若两个集合包含的元素全同，称它们相等。

记作 

设  是一个非空集，对每个 ，令  为一集合，我们称  为一个集合族(family of sets)，称  为指标集(index set)。

要去上课力）