第一讲实数与实函数12805.pdf
《第一讲实数与实函数12805.pdf》由会员分享,可在线阅读,更多相关《第一讲实数与实函数12805.pdf(19页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第一讲实数与实函数 1.1 实数与实函数的基本概念 一实数 实数包括有理数和无理数 有理数,就是能够表示成qp形式的数,其中 p 是整数,q 是不为零的整数如果用小数表示,有理数都可以表示成有限小数,或无限循环小数无理数,就是不能表示成qp形式的数,也就是无限不循环的小数如果将有限小数也表示成无限小数,例如:数 1 可表示为 1=;也可以表示为 l=(注:这是实无限的观点),为唯一性起见,数学上作了一个约定,就是不以零为循环节数 1 约定的表示为 l=,因此,实数就是一个可以用无限小数表示的数 二、实数的性质 1 实数集合 R 是一个阿基米德有序域 (1)在实数集合 R 上定义加法“+”和乘法
2、“”两种运算,对两种运算分别满足交换律、结合律,以及乘法关于加法的分配律;对加法,有“零元”和“负元”;对乘法有“单位元”和“逆元”;R 成为一个“域”.(2)在集合 R 上定义了一种序关系“,且满足传递性:即对 Rcba,,若 a b,b c,则 a c;三歧性:即对,Rba,关系 a b 三者必居其一,也只居其一 R 是一个全序集(3)R 中的元素满足阿基米德性:对 R 中的任意两个正数 a,b,必存在自然数 n,使得 na b.2 实数集合 R 是一个完备集 定义(距离空间)设 X 是一个集合,定义映射RXX:,满足(1)非负性:对;0,yxyxXyx (2)对称性:xyyx,;(3)三
3、角不等式:yzzxyx,;则称是点集 X 上的一个距离 如果 X 是一个线性空间,称,X是一个距离空间。在实数集 R 上定义距离yxyx,(可以验证满足定义中的三条),则,R是一个距离空间 定义 1.2 设 nx是距离空间,X中的点列,若对0,0N,当 m,n N 时,恒有mnxx,,则称 nx是 X 中的柯西列 定义 1.3 若距离空间 X 中的任意柯西列都在 X 中收敛,则称 X 是完备的距离空间 由柯西收敛准则很容易知道,作为距离空间的实数集 R 是完备的 有 6 个刻划实数集 R 完备性的且彼此等价的定理,它们分别是 (1)确界原理:设 S 是非空数集若 5 有上界则 S 必有上确界;
4、若 S 有下界,则 S 必有下确界(2)单调有界原理:单调有界点列(函数)必存在极限 (3)区间套定理:若nnba,是一个区间套,则存在唯一的实数,使得,2,1,nbann,即,2,1,nbann。(4)有限覆盖定理:设 H 是对闭区间巨,习的一个任意开覆盖,则从 H 中可选出有限个开区间来覆盖ba,(5)聚点定理:实轴上的任一有界无限点集 S 至少有一个聚点 推论(致密性定理):有界点列必有收敛子列 (6)柯西收敛准则:数列 na收敛的充要条件是数列 na是柯西列 关于上述六个定理的等价性证明可参考文献1 三、关于实数点集的一些重要概念 1 有界点集 S 是一实数点集,若0M使对Sx恒有Mx
5、,则称 S 是有界点集 2 无界点集 S 是一实数点集若对0M,Sx使得Mx,则称 S 是无界点集 3 有界函数 f(x)是定义在点集 I 上的函数,若0M使对Ix 恒有 Mxf,则称f(x)在 I 上有界 4 无界函数 f(x)是定义在点集 I 上的函数,若对0M,Ix使得 Mxf 则称 f(x)在 I 上无界、例 1.1 证明函数 xxf1在 1,0上无界 证明:对0M,1,0110Mx 使得 MMxf1故 xxf1在(0,1)上无界。5 上确界 设 E 为一个实数点集,a 为一是实常数,若满足:对Ex,恒有x(即为 E 的上界);对0,存在Ex 0,使得0 x。(即是 E 的最小的上界)
6、,则称为 E 的上确界,记作Esup 6 下确界 设 E 为一个实数点集,为一是实常数,若满足:对Ex,恒有x(即为 E 的下界);对0,存在两Ex 0,使得0 x(即是 E 的最大的下界),则称为 E 的下确界,记作Einf 注:点集 E 的上确界或下确界可以属于 E,也可以不属于 E 命题(1)Esup,则EEmax (2)Einf,则EEmin.证明显然,请读者自证 例 1.2 设 A、B 皆为非空有界集,定义数集 ByAxyxzzBA,|证明:(1)sup(A+B)=supA+SupB;(2)inf(A+B)=InfA+infB.证明:(1)由已知,A、B 非空有界,可知 A+B 也是
7、非空有界集 根据确界原理,它们的上、下确界都存在 对BAz,由定义,存在Ax 及By使得 BAyxzsupsup 即实数 supA 十 supB 是数集 A+B 的上界;又对BAz,ByAx,,使得,2supAx,BAyxBysupsup2sup 记BAyxz则BAzsupsup:由定义可得 sup(A+B)=SupA+supB (2)证明与(1)类似,从略 例 1.3 设 f 在区间 I 上有界记 ,supxfMIx,infxfmIx 证明:mMxfxfIx sup 证明:对Ixx,,有 ,Mxfm,Mxfm 则 mMxfxf 又对0,Ixx21,使得 2,221mxfMxf 可得 mMxf
8、xf21 由式,式 可知 mMxfxfIxx sup 7.聚点 定义 1.4(点集的聚点):设 E 是一个点集,是一个点,若在的任意邻域内都含有 E 的无穷多个点,则称为点集 E 的聚点 命题 设 E 是一个点集,是一个点,下列说法等价:(1)为点集 E 的聚点 (2)在的任意邻域内都含有 E 的异于的一个点 (3)在 E 中存在互异的点列 nx使得nnxlim 证明:(1)(2)显然(2)(3)取11,在1;)内,1Ex,取0,21min12x,在1;内,,.,2Ex 一 般 地,取0,1min1nnxn在n;内,,.,2,1,nExn 显 然 ExnE,且是互异的,同时显然有nnxlim
9、(3)(1)对0,0N,当 n N 时,,Uxn注意到,.,2,1,nExn,即为点集 E 的聚点 注:(1)从定义可知,有限点集必无聚点 (2)点集 E 的聚点可以属于 E,也可以不属于 E 例如,设 A 是开区间(0,1)中的所有有理点所构成的集合,则闭区间 1,0中的所有点都是 A 的聚点 定义 1.5(点列的聚点):设 nx是一个点列,是一个点,若在的任意邻域内都含有 nx的无穷多项,则称为点列 nx的聚点 注意:点集的聚点与点列的聚点不同,例如 nx=n1作为点列,它有两个聚点:-1 和 1,但是如果把它们看做点集,则它是一个仅含有两个元素的集合1,1,无聚点 把点列的最大(小)聚点
10、,叫做点列的上(下)极限,分别记作nnxlim和nnxlim 8.覆盖 设aHa|是一个开区间集,其中是一个指标集,a是开区间设 I 是一个点集,如果对Ix,总存在Ha,使得ax,称 H 覆盖了I ,或称 H 是 I 的一个开覆盖如果 H 是有限集而覆盖了 I,则称 H 是 I 的一个有限开覆盖;如果 H 是一个无限集合而覆盖了 I,则称 H 是 I 的一个无限开覆盖 前面提到的有限覆盖定理,是一个十分重要的定理它可以推广到一般的距离空间上去,这里就不多说了 例 1.4 nx是单调数列,证明:若 nx存在聚点,则必是唯一的,且是 nx的确界 证明:不妨设 nx是单调递增数列假设 A,B 都是它
11、的一个聚点,且不等不妨设BA,由聚点的定义,取02BA,在;AU,含有 nx的无穷多项,假设,0Axxnn,则20BAAAxn,又根据 nx是单调递增的,当0nn 时2BAxn,即在 U;B内至多含有 nx的有限项,与 B 是聚点矛盾 再证 nxAsup:首先证明对Axnn,事实上,假设有某一项0nx A,插人0,使Axn00由 nx的单增性,当0nn 时,Axxnn000 此与 A 为聚点矛盾与唯一性的证明类似,可以证明 A 必是最小的上界,即 nxAsup.注:此题可有一个推论:若 nx是单调数列,且有聚点,则必收敛若 nx是单调增,则nnnxxsuplim;若 nx是单调减的,则nnnx
12、xinflim.四、实函数 (1)要理解函数的定义,一定要搞清楚映射的定义,而一元实函数实际上就是一个从实数集到实数集的映射,这里不去赘述确定一个函数的基本要素是定义域和对应法则,当然函数的值域也是函数的要素之一,但它是随定义域与对应法则而定的 (2)函数的运算包括:四则运算;复合运算;极限运算;微分运算;积分运算;取大(小)运算 xgxfxgxf,min,max等这里需要特别强调的是,要注意它们的定义域,使得上述运算有意义 (3)几种具有特性的函数:有界函数(上节已给出定义);单调函数;奇、偶函数;周期函数这些函数的基本概念不再赘述 (4)初等函数与非初等函数 六类基本初等函数:常函数、幂函
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第一 实数 函数 12805
限制150内