第五节集势序集.pptVIP

福州大学数学与计算机学院聂建英 第五节集的势·序集 一. 集的势 目的：掌握势的定义，熟悉势的性质，了解势的比较。 重点与难点：势的比较。 1 连续势集的定义 基数的大小比较 数的进位制简介 十进制小数 相应于 对[0,1]十等分 二进制小数 相应于 对[0,1]二等分 三进制小数 相应于 对[0,1]三等分 p进制小数 相应于 对[0,1]p等分 连续势集的性质（并集） 连续势集的（有限个，可数个，连续势个）并仍为连续势集 基数的运算 半序集 1 半序集 半序集定义 例 ⑴ 是一半序集. ⑵ 是一半序集.  全序集定义 极大元,极小元 2 Zorn引理与选择公理 选择公理的说明 通俗讲，假如有无限双鞋子，则我们有一规则，从每双鞋子中取出左脚穿的鞋子，其总体构成一集合；但若是无限双袜子，由于袜子不分左右，所以就有多种选择，要承认这种成员不确定的集合存在，就要引用选择公理。数学中许多重要定理的证明都需要用到选择公理，如Lebesgue不可测集的存在，拓扑空间紧性 的Tychonoff定理等。 3.可列集的定义和性质.可列集是无限集中基数最小的一类集合者. 连续集及其性质. 掌握可列集、连续集的基本例子. 特别三进制小数,[0,1]三等分的端点有如下考虑，它有两种表示，如 0.1000000… = 0.0222222… （三进制小数） 0.2000000… = 0.1222222… 证明：回忆一下前面的 进位表示法以及Cantor集的构造立刻看到，这里用三进制小数表示(0,1)中的点，将会更方便于讨论。 我们先来看看，去掉的三等分区间中的点用三进制表示的话，有什么规律。显然，第一次删去的区间 例4 。 内的点对应的三进制数第一位必然是1，进一步观察 不难发现，只要 点在某个删去的区间内，则 的三 进制表示中，必有某一位是1。反之，如果 不是分 点，且在某位出现1，则在经过若干次删除手续后， 必然在删去的区间内，即 。因此，除了分 点外， 在 中当且仅当其三进制表示中不出现数1。 由Cantor集的作法中去掉的点为小数位出现1的点的全体，从而Cantor集P为小数位只是0,2的点的全体. 现在作对应P到[0,1]的对应如下:(严格说是P到[0,1]的二进制数之间的对应) 则显然是一一对应，则立得 。 所以 证毕。 ( ]( ] ( ] 0 1 2 n-1 n y 例如 对一般卡氏积的说明 数学三大母结构（Bourbaki学派观点）： 代数结构（运算关系）， 拓扑结构（邻近关系）， 序结构（顺序关系）（测度（长度、面积、体积）） 例：对实数集R有远近关系，四则代数运算，大小顺序，区间有长度 ⑴自反性:⑵反对称性:⑶传递性: 则称A按 成一半序集（偏序集）。 设A是一集合， 为A中的某些元素的关系 且满足: 且A按 成一半序集（偏序集）。 还满足条件: 设A是一集合， 为A中的某些元素的关系 两者必居其一,则称A按 成为全序集. 注:极大元(或极小元)未必唯一. 定义：设 是一偏序集，对于A中x, 如果满足对 即有x=y,则称x为A的极大元(或极小元)。 Zorn引理：设 是一偏序集，A中的 每个全序子集有上界，则A必有极大元。 选择公理：设 为一簇两两不交的 非空集簇，则存在一集B使得 是单元素集。 1.集合的并、交、差、补等概念，以及集合的运算律．点集的内点、聚点、孤立点、边界等基本概念. 这些概念不仅是后面学习测度理论和新积分理论的基础. 2.直线上开集、闭集的构造定理. 康托集是本章的一个重要例子. 本章主要基本知识: * * Department of Mathematics 定义：与[0,1]区间对等的集合称为连续势集， 其势记为 ， 显然： 例：1）R~ (0,1) ~ [0,1] ~ [0,1) ~ R+~ (a,b) (ab) 2）无理数集为连续势集 （无理数要比有理数多得多，同理超越数要比代数数多得多