点集拓扑学第一章节集合论初步幻灯片.ppt

y 习题 §1.5 可数集，不可数集 重点:可数集合的定义和性质  难点：不可数集合的存在性 对于有限集，我们今后使用下面的定义.定义1.5.1 设X是一个集合,如果X是空集或者存在正整数使得集合X和集合{1,2,…,n}之间有一个一一映射,则称集合X是一个有限集. 定义1.5.2 不是有限集的集合称为无限集;如果存在一个从集合X到正整数集Z+的双射,则称集合X是一个可数无限集,不是可数无限集的无限集合称为不可数集.有限集和可数无限集统称为可数集. 定理1.5.1 如果C是Z+的一个无限子集,那么C是可数无限集. . 习 题 1.5 § 1.6 基 数 图1.6.1 图1.6.2 现在设 显然 并设 阅读材料（二）序关系 (3)由于 当且仅当存在 使得 当且仅当存在 使得 (存在 使得 当且仅当存在 使得 . )， (4)设 ,即 . 因此存在 ，使得 . 此时假设 ，由于 ，因此 ， 这与 矛盾，因此 因此存在 ，因此 ， 定义1.2.5 设X是一个集合,从集合X到集合X的一个 称为恒同关系，或恒同、对角线.记作 或 . 关系简称为集合X中的一个关系.集合X中的关系: 定义1.2.6 设R是集合X中的一个关系,如果 即对于任意 ,有 ,则称关系R为自反的; 如果 ,即对于任何 ,如果 ,则 则称关系R为对称的; 如果 ,即对于任何 和 不能同时成立,则称 关系R为非 对称的; 如果 ,即对于任何 ,如果 ，则 ，则称关系R是传递的. 定义1.2.7 设R是集合X中的一个等价关系.集合X 中的两个元素x,y,如果满足条 件:xRy,则称x与y是 R等价的, 或简称等价的;对于每一个 ,集合X 中的子集 称为x的R等价类或等价类,记 作 或 ,并且任何一个 都称为R等价类 的一个代表元素; (1)如果 则 , 因而 . . 由等价类组成的集合 称为集合X相对于 . 等价关系R而言的商集,记作 . 定理1.2.3 设R是非空集合X中的一个等价关系,则: (2)对于任意 或者 ，或者 证明：设 由于R是自反的，所以 ，因此 因而 . 有 (2)对于任意 ,如果 ,设 ,如图1.2.1,因此必 ,又由于R ,又由于R是传递的,所以 . 是对称的,所以 对于任何一个 有 ，由上述 以及R的传 . ，由 定义即得 .因此证明了 递性可得 同理可证 .因此 . 例1.2.1 给出平面上的一个关系 , 的意义 是指 和 到原点 的距离相等,容易验证 ～是平面 上的一个等价关系. 相对于等价关系～ 而言的商集 为 ， 即商集是由单点集 和以原点为中心的所有圆 周组成的集合. 习 题 1.2 1. 设 ， , ， ， . 试求 的值域，R的 定义域. 2. 设R是从集合X到集合Y的一个关系,证明下列条件 等价: (1) 对于任意 ， (2) 对于任意 ， ， . 限制定义为 ，证明:一个等价关系的限制 仍是等价关系. 3. 设C是X上的一个关系， ，关系C在 上的 4. 设R是集合X中的一个对称的，传递的关系.证明 R是一个等价关系当且仅当R的定义域为X. 5. 设R1，R2是集合X中的两个等价关系，证明 仍是集合X中的一个等价关系当且仅当 . 6. 实数集合R中的一个关系定义为： 证明关系R是实数集合R上的一个等价关系，并且 ，即给出实数集R关于关系R的商集. 给出 §1.3 映 射 重点：熟悉由映射所诱导的逆关系得所有性质 难点：对映射的逆关系性质的理解 定义1.3.1 设f是从集合X到集合Y的一个关系,即 ,如果对每一个 使得 果 f 满足： (1) 即对 存在 .使得xfy； 那么称关系f是从集合X到集合Y的一个映射. (2)设 ,如果对于 有xfy1和xfy2,则y1=y2. , 则称关系 f 是从集合X到集合 Y的一映 射,并且记作 换言之，设 如 定义1.3.2 设X和Y是两个集合, ,即 使得xfy的 是从集合X到集合Y的映射,对每个 唯一元素 称为x的象或值,记作f(x)，即y=f(x); （值得注意的是 可以没有原象,也可以有不止一 个原象 不必是单元素集, 有时也记作 . x是y的一个原像. 对于