数学分析课件 第1章 节 实数集与函数1-2数集 确界原.ppt

返回 后页 前页 §2 数集 · 确界原理 一、有界集 二、确界 三、确界的存在性定理 四、非正常确界 确界原理本质上体现了实数的完备 性，是本章学习的重点与难点. 返回 记号与术语 一、有界集 定义1 因此 S 无上界. 证 故 S 有下界. 取 L = 1, 例1 例2 证 定义3 注2 注1 由定义,下确界是最大的下界. 证 先证 sup S=1. 例2 以下确界原理也可作公理,不予证明. 虽然我们定义了上确界, 但并没有证明上确界的 存在性, 这是由于上界集是无限集, 而无限数集 不一定有最小值, 例如 (0, ?) 无最小值. 三、确界存在性定理 证法一 设 S 是有上界的非空集合.为叙述方便起 见,不妨设 S 含有非负数. 定理1.1 (确界原理) 证明分以下四步: 1.S 是有上界的集合,从而 S+ 也是有上界的集合, 是正规小数表示. 证法二 不妨设 事实上, * * * * 返回 后页 前页