开发工具:
文件大小: 5mb
下载次数: 0
上传时间: 2019-07-04
详细说明:
本书是介绍分析不等式的基本内容, 许多是经典内容, 有需要的盆友可以参考或“<0且冰0且y<0
“0时,}!≮a等价于-a≤≤a;|z10
定理14若>0,则>0,若2>0,则≤等价于2≤
s关系0<买<3等价于关系011
实数b称为R的子第X的上界(下界),者对每一个∈X,
文件使用
试用版本创建
≤h(b≤r),集YCR称为自上界或上方有界(有下界成下
有界,若}的上界集(下界集)非空。若X有界,则-X
{-41∈}有下界,对于x的每一个J界b,-b是-X的F
界,反之亦然。既勻上界艾有下界的集合秭为有界集
定理15对于实数a>0和妇≠1,存右烈到正整数集上的函
数x>x,便得
1°
x.a5;x,∈R
3°当4>1时Tax的反函数记炸x}…>1ogax,并称为对数函数
注存和他,一的数E>1使对任意x∈R,(E)=e,这个e是超越数;
E=2.7]82818284…,函数x→x称为指数的数,有时记作ep,事京上
e-1m(1+灬)=, laser简记作logr
少→c
定到16岩ab>0且E≥0,则
当且仅当=b或x=0时等式成立
定理17设0且f()1=0,则在:b上除/的不连装
外f(r)
文件使用
试用版本创建
关于定理7参看 L. ieudonne的书集了
君文赢
I, Landa, E: GrurlIagen dEr Analysis. Leipzig 1931), or second
American edition. New York 1948.
2.Co血ε,.W.andG. Ehrlich:TgSt; cture of the Real
Number Systetm. Princeton-New York-London I9E3
3.Deon,J-; FOundations o∫醺 oder* inal!si.⊥ oado-New
or1 1960)
Calel infinitesimal. Paris 1968
§2复数系
复数域定义为所有有序实缴对〈x,y)的集合RxR,具有
奶法
(x2,瑟2)三〔x
23
和乘法
z1:1)(工
〔x1
⊥H2
1)
任意复数x(x,y)可写成2=x+;其中z=(0,1),
任意实数c等网于复数(0)。
对丁正+,z的共轭复数定义为=x-以,我们有z2
2+2,非负数x=√x21t2移为z的棋
相用记号
Re
(z+z)
可以得到
文件使用
试用版本创建
z;4z2|2=(x1+z2)!
z1+〔21242128}+222
12+2Re(z
(I)
其中2t和22为任启复数。
因为
R之s|!=(Rez)2+(「m2)2,
所以有
R比(z
2 nx
(8
由(1)和(B)推出
当且仅当(8)取等号成立时{4)取等号成立。因为且仅当2是
非负实数时(2)取等号,白此推出为使2122÷必要豆只要
3}式因而(l)式取等号成立。
当z1和22都异于零时,条件2:22>9等价于|2?|22>0,
即2>0.这有如下的几何解释:在复平面中点21和z2位干由原
点出发的同一射线
不等式4)通常称为三角不等式。下面给出的三角不等式取
等号成的命题同样是重要的
在2≠0且z2≠费的情形下,(4)取等号成立的充要务件是
tz. t=D
我价来证明
z1=(122)!之2;利三角不等式(4),得
122s
「)
文件使用
试用版本创建
类似地有
由(6)和(7)推
≥2:-
在此式中用-z2代替22得到(5)。联合(5)和三角不等式得到
我们来考粽使()成为等式的条件,即在们么时侯有
(8)
成立。
若(8)成立,则
2
1+z
+|a22+2Re(12
于是
c(1z2)=-|z1.」
l写2
由此推出Re212)≤0且
(Re(
(Re(222)
(Im(2:a2)2,
即Im(2122)=],因此2122是非正实数,即x;2≤0,反之
z1≤0,则有
2Re(z122)
2t「2+」22|2+2a
+|=22-2|214
由此椎出(8),从而;(6冫等价予2.2z≤。
文件使用
试用版本创建
当之稍都异于雯时,条件x122<等价于12z|2<卯,
即<0。这具有如下的几何解释;在复乎语中点21和22位于
过原点射同一直线上并且在炼点的两侧
利用妇纳法容易近明更一粳的不等戏
+…+2n1<|z1÷…+|=m
我们将讨论在什么条件下(9)取等号成立。假定对于1
↓■
还咩0。若
iz:1+…+}之z1+
10)
奶z1÷…{zn≤{1十E{+E4+…+|如n
z11[2↑+1-4
这等价于|21}+22≤2≤|21-1221,因此
于是x22!≥0。因20,有>0。类似地有
,对于
广F
(11)
反之,若不等式(11)立,则
二十
于
!
文件使用
试用版本创建
由上判知,在假定2≠0“【…,之下,为使等式(10)
成立必要且只要不等式(1被满足,即所的点2≠0(=1,
,都盘由原点出发的同一条射线上
§3单调函数
以下设子是定义子区间fP上的实值诼致
定义1函数∫称为在r上不减,如果对于任意不司的两点
x1,2∈I,条什
(x1-x2)(∫(x1)一f2)≥母
成立;f称为递增的,如果下面的严格不擎式成立:
1-x2)(f(x1)-∫2)0
定义2鹵数∫称为在「上不增,如架于任意不同的网点
x2∈I有
x1一)(f(x1)一f(x2)≤0:
f称为递减的,如果
x1-x2)(f(x1}-f(x2)<0
定义3如果函数f或着合定义!者适合定义2,则f
称为单调函数。
显然,岩!是不减的或递增的,则一∫是不增或递减的
因止2我们仅给出不减函数的性质它们均可转移到共单调函
数上,
L°设!和g是在!上的不减函数,则∫+9同样是不减的
2°若f是不减函数且2是菲负实数,则)是不减的
3°若f和是非负不减函数,则扌s也是不碱数
0
文件使用
试用版本创建
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台,提供交流渠道,下载内容来自于网络,除下载问题外,其它问题请自行百度。
- 本站已设置防盗链,请勿用迅雷、QQ旋风等多线程下载软件下载资源,下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载,请稍后再次尝试;或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎,请到消费记录里找到下载记录反馈给我们,经确认后退回积分.
- 如下载前有疑问,可以通过点击"提供者"的名字,查看对方的联系方式,联系对方咨询.