第一章
基数
我们把有限集和可列集统称为可数集或至多可列集,可列集也称为可数无限集。
定理1.8 设A是无限集且基数为a,若B是至多可列集,则AB的基数仍为a。
定理1.9 集合A是无限集的充要条件是A与某真子集对等。
定理1.10 [0,1]={x:0x
1}不是可数集。
我们称(0,1]的基数为连续基数,记为c,实数集的基数为c。
定理1.11 设有集合列{},,若
每个的基数都是连续基数则其并集
的基数也是连续基数。
定理1.12 若A是非空集合,则A与其幂集(A)不对等。集合A的基数小于其幂集
(A)的基数。
中的距离·极限点
:x={
,
,...
}的全体,是实数域上的n维向量空间。称
为n维欧氏空间。
定义1.17 设x={,
,...
}
,令
=(
+
+...+
)
,称
为x的模或长度。
d(x,y)=|x-y|为距离
定义1.22 设E,x
,若存在E中的互异点列
,使得
=0,则称为E的极限点,E的极限点全体记为
,成为E的导集。
定理1.15
定理1.16 中任一有界无限点集E至少有一个极限点。
内点、外点、(边)界点、聚点、孤立点
开核(全体内点组成的集合)、导集(全体聚点组成的集合)、边界(全体界点组成的集合)
开集、闭集
定理 对于任何E,开核是开集,导集和闭包是闭集
定理 任意多个开集之并仍是开集,有限多个开集之交仍是开集。
定理 任意多个闭集之交仍是闭集,有限多个闭集之并仍是闭集。
海涅-弗雷尔有限覆盖定理https://baike.baidu.com/item/有限覆盖定理/7821484?fr=aladdin
紧集:设M是度量空间X中一个集合,是X中任一族覆盖了M的开集,如果此刻从
中选出有限个开集仍然覆盖M,则称M为X的紧集。
定理 设M是中的紧集,则M是中的有界闭集。
自密集:当集合中的每个点都是这个集的聚点时(没有孤立点)称为自密集
完备集(完全集):没有孤立点的闭集
构成区间:设G为直线上的开集,如果开区间(a,b)在G内,且端点不在G内,则称这个区间为G的构成区间
开集构造定理:直线上任一个非空开集可以表示成有限个或可数个互不相交的构成区间的和集
康托尔三分集
稠密
疏朗集