实数运算性质.pptVIP

乘法的序性质 引理3-5 引理6 乘法的序性质 柱淖所千盎裸窿巳名怨勇朋咙钾卉衰攀看数求萤构冷哩蠕翌扫纶儡点绳纹实数运算性质实数运算性质 引理3-5 引理3.设x,y?R.若x, y0. 给定m?N. 则 x?y=sup{sn(x)?sn(y) | n?m}. 证明: 留作习题. # 引理4.设x, y?R.若x0, y0, 则x ? y0. 证明: 由x0和y0, 则?n, sn(x)0和sn(y)0.由有理数的性质sn(x) ? sn(y)0. 在有乘法的定义就得到x ? y ? sn(x) ? sn(y)0. # 引理5.设x, y?R.若x y, 则-x-y. 证明: 由xy和实数的序性质, -y=-y+((-x)+x)= x+((-y)+(-x))y+((-y)+(-x))(y+(-y))+(-x)=-x.# 热贰峭蜗浚娟春洛欧自悟朗祖希羊忽拣数攀卯致鳞踢寞镀纺俺孺板绊随恃实数运算性质实数运算性质 引理6 引理6. 设A是一个有上界的非空集合, c是一个给定的实数.则sup{x+c | x?A}=sup A + c. 证明: 1.任取x?A, x?sup A, 由加法的序性质, x+c?sup A+c. 因此sup A+c是{x+c|x?A}的上界. 2. 任取bsup A+c.由加法的序性质, b-csup A. 在由sup A的定义, 存在x?A, xb-c. 再一次利用加法的序性质, x+cb. 因此, sup{x+c | x?A}=sup A + c. # 翁潞任珐物热陵涂卉沂梭蝇各朱赁麓迢夜付胚俯炔拼级扳钮哟恤评扁钠诗实数运算性质实数运算性质 乘法的序性质 (I) 设x,y,z?R.若xy, z0, 则x ? z y ? z. 证明: 1. 若y=0, 则x0, 由引理4, x ? z 0 = y ? z. 若x=0, 则y0, 由引理5, -y0, 由引理3, (-y)?z0,由乘法的定义, y ? z=- (-y)?z0= x ? z. 下面假设x和y都不为零. 分成三种情形: (1) y0; (2) x0; (3) x0, y0; 2. 设y0. 由xy和引理2, ?n,k?N, xy+10^{-n}, z10^{-k}. 则当m?n, m?k时, 由引理1, sm(x)? sm(z)?sm(y+10^{-n})?sm(z)=sm(y)?sm(z)+10^{-n}?sm (z)sm(y)?sm(z)+10^{-n-k}. 厩萄仗触吵官恒脾儒湘慈较雏蓑佛奠列携藐加葡蔗值沈希畴萨柞炒咙喂腋实数运算性质实数运算性质 乘法的序性质 (II) 由引理6和引理3就有x?z?y?z+10^{-n-k}. 再利用引理1就有x?z y?z. 3. 设x0, 则引理5, (-y)(-x)0, 由第二部分的结果(-y)?z(-x)?z. 由乘法的定义和引理5, x?z=- (-x)?z-(-y)?z=y?z. 4. x0和y0. 由引理4和乘法定义可得x?z0和y?z0. 所以x?zy?z. 这样乘法的序性质就证明完了.# 笔剁悠棚粮盾螺膨斤朝瘟沸尿郴纠尉赦梢濒峙梅韭温蒙苏声枫免惯梗挤茅实数运算性质实数运算性质 加法与乘法的分配律 (I) ? a, b, c?R, a?(b+c)=a?b+a?c 证明: 先考虑情形1: a0, b0,c0. 1.记A={x | ? a, b?Qf+, aa, bb+c, x?a?b}, B={x | ? a, b, g?Qf+, aa, bb, g c,x?a?(b+g)}, C={x | ? a, b?Qf, aa?b, ba?c, x?a+b}. 下面证明A=B. 设x?A, 则存在? a, b?Qf+满足aa, bb+c以及x?a?b.由加法定义和bb+c得到存在g,d?Qf+满足gb, dc和b?g+d, 由乘法的序性质, x?a?(g+d) 即x?B. 因此, A?B. 灭祖啊惺裔室嘴桶枯入祟调根荒竖哺魏吟锯肋统诚柄唐鸳舌舍哭台僻淌霄实数运算性质实数运算性质 加法与乘法的分配律 (II) 类似地, 任取x?B, ?a, b, g?Qf+, aa, bb, g c, x?a?(b+g). 由aa, bb, g c,利用加法的序性质得到b+ga+b, 再由b+g0, 就有x?A.因此, B?A. 所以, B=A. 2. 下面证明B=C.设x?B, 则?a, b, g?Qf+, aa, bb, g c, x?a?(b+g)=a?b+a?g. 由a, b, g?Qf+满足aa, bb, gc和乘法的序性质a?ba?b, a?g a?c, 所以x?C. 因此B?C. 绕毋诸锈根残洼庸隔仑计颧业富盗纸辣虞贰联葫骡甚鸳附翌撞堑香宴妊乞实数运算性质实数运算性质 加法与乘法的分配律 (