数学分析笔记-集合

集合

• 有限集，可数集 -> 至多可数集
• 不可数集合

可数集：可按一定规律排列的无限集合。

问题：什么样的集合是不可数集，请举出实例。

无穷集合与自然数集合之间不存在一一映射关系，则为不可数集。具体如：实数集合。

问题：证明素数具有无限个

• 稠密性：有理数集在实数集上是稠密的，即任意一个实数都可以用有理数去任意逼近。

问题：设 $n$ 为正整数，如果 $n$ 不是完全平方数，则 $\sqrt{n}$ 不是有理数。

• 查阅 Dedekind 分割理论和 Cantor 的实数模型
• 使用数学语言描述集合中的最大值和最小值

  $\exists M\in A$ 使得对 $\forall x\in A$ 均有 $M\ge x$ ，则 $M$ 为 $A$ 中的最大值

定义： 对 $\exists M\in R$ 使得对 $\forall x\in A$ 均有 $x\le M$，则 $M$ 是 $A$ 的一个上界。

注意 $M\in R$，而最大值中 $M\in A$。同理可定义下界。

• 证明上下界中必有最小最大值（上下确界）

• 求集合 $A=(0,1)$的上确界和下确界

  首先0，1 是 A 的下界和上界，然后只要证明分别是最大的下界和最小的上界，也就是大于 0 的必然不是 A 的下界，小于 1 的也必然不是 A 的上界。

• 证明 $\forall \epsilon >0,M>m-\epsilon$ 时有 $M\ge m$

  反证法，设 $M<m\Rightarrow m-M>0$ ，因为 $\epsilon$ 大于 0 的任意性，所以可以取 $\epsilon =m-M$ 代入 $M>m-\epsilon$ 中可得 $M>m-(m-M)=M$ 矛盾。