第一节 实数系.docVIP

第二章 数 列 极 限 §1 实数系的连续性 一、实数系 1．自然数、整数 2．有理数：有限小数或无限循环小数或分数 例：证明（即平方等于的正数）不是有理数。 证明：若不然，设它是有理数，则存在使得。由于，因此。不妨设互素（即没有公因数），否则约去公因数即可。于是，从而整除，因此整除，即存在使得。因此，同理知整除，从而是的公因数，矛盾于互素。 □ 3．无理数：无限不循环小数 4．实数系、实数连续统、数轴 二、最大数与最小数 定义：设，若，，，则称为的最大数，记为；若，，，则称为的最小数，记为。 若为非空有限数集，显然它有最大数和最小数。但无限时则不一定。 例2.1.1 集合没有最大数，但有最小数。 例2.1.2 证明集合没有最大数。 证明：用反证法。若不然，设为的最大数，则，从而。此时，因此，但，这与为的最大数矛盾。因此没有最大数。 □ 三、上确界与下确界 1．定义：设是非空数集。若，s.t. ，，则称是的一个上界，此时称有上界；，s.t. ，，则称是的一个下界，此时称有下界。若既有上界，又有下界，则称有界。 有界，，。 证明：设分别是的上、下界，即，。令，则。 若，，，则，从而分别是的下界和上界，因而有界。 2．定义：若数集有上界 或下界 ，则有最小的上界（或最大的下界），它称为的上确界（或下确界），记为 （或）。 等价定义： （1）（上界性）为的一个上界：，； （2） 最小性 任何小于的数不是的上界： ，，s.t. 。 同理， 1 （下界性）为的一个下界：，； 2 （最大性）任何大于的数不是的下界： ，，s.t. 。 最大数一定是上确界；最小数一定是下确界。 3．定理2.1.1 确界存在原理（实数系的连续性定理）：有上界的集合一定有上确界；有下界的集合一定有下确界。 证明思路：通过逐次比较数集中的数的整数部分和小数点后各个位数的大小得到一个数，再证明这个数就是确界。 确界具有唯一性。 定理2.1.2 非空有界数集的上（下）确界唯一。 证明：反证法。设有不同的上确界，不妨设。令，则由上确界的定义，，使得。这与是的上确界矛盾。因此的上确界唯一。 同理可证明下确界的唯一性。 □ 4．说明：（1）的连续性；（2）不具有连续性。 例2.1.3 设，证明在内没有上确界。 证明：设，，则，且 ， 。 因此当时，且。这表明：（1）不是的上确界（不是最大值）；（2），则是的上界，但是更小上界，故也不是的上确界。 结合（1）、（2）得到在内没有上确界。 □ 另法：反证。设，则。令，则。若，取，使得，只要即可，但，因此取即可，此时，这矛盾于是上确界。若，取，使得，这只需，而，因此只要即可。 Ex:pp.32-33 1. 1 3. 2 4. 8.