数学分析(4)复习提纲(全部版)

《数学分析(4)复习提纲(全部版)》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、数学分析（4）复习提纲第一部分实数理论§1实数的完备性公理一、实数的定义在集合内定义加法运算和乘法运算，并定义顺序关系，满足下面三条公理，则称为实数域或实数空间。（1）域公理：（2）全序公理：（3）连续性公理（Dedekind分割原理）：设的两个子集，满足：1°2°3°则或中有最大元而中无最小元，或中无最大元而中有最小元。评注域公理和全序公理都是我们熟悉的，连续性公理也称完备性公理有许多等价形式（比如确界原理），它是区别于有理数域的根本标志，它对实数的描述没有借助其它概念而非常易于接受，故大多数教科把它作为实数理论起步的公理。二、实数的连续性（完备性）公理实数

2、的连续性（完备性公理）有许多等价形式，它们在使用起来方便程度不同，这些公理是本章学习的重点。主要有如下几个公理：确界原理：单调有界定理：区间套定理：有限覆盖定理：（Heine-Borel）17聚点定理：(Weierstrass)致密性定理：(Bolzano-Weierstrass)柯西收敛准则：(Cauchy)习题1证明Dedekind分割原理与确界原理的等价性。习题2用区间套定理证明有限覆盖定理。习题3用有限覆盖定理证明聚点定理。评注以上定理哪些能够推广到欧氏空间？如何叙述？§2闭区间上连续函数的性质有界性定理：上册P168；下册P102,Th16.8；下册

3、P312,Th23.4最值定理：上册P169；下册下册P102,Th16.8介值定理与零点存在定理：上册P169；下册P103,Th16.10一致连续性定理（Cantor定理）：上册P171；下册P103,Th16.9；下册P312,Th23.7习题4用有限覆盖定理证明有界性定理习题5用致密性定理证明一致连续性定理§3数列的上(下)极限三种等价定义：（1）确界定义；（2）聚点定义；（3）定义评注确界定义易于理解；聚点定义易于计算；定义易于理论证明习题6用区间套定理证明有界数列最大（小）聚点的存在性。（P173）习题7证明上面三种定义的等价性。第二部分级数理论§

4、1数项级数前言级数理论是极限理论的直接延伸，但又有自身独特的问题、特点和研究方法17。上（下）极限是研究级数的一个有力工具。对于数项级数，可看作有限个数求和的推广，自然要考虑如何定义其和，两个级数的和与积，结合律、交换律是否还成立等问题。级数的收敛性与无穷积分有着极大的相似性，学习时要注意二者的比较。一、Cauchy收敛准则几个概念部分和？收敛？发散？绝对收敛？条件收敛？收敛的必要条件收敛评注此结论由两边取极限即得证，也可由下面的Cauchy收敛准则得到。要注意此性质与无穷积分有较大差别。对于收敛的无穷积分即使也不能推出（参见反常积分）Cauchy收敛准则收敛

5、有思考正面叙述级数发散的Cauchy准则。加括号对于收敛的级数可以任意加括号，新的级数仍收敛且其和不变。也就是说收敛的级数满足结合律。评注只要认识到加括号后级数的部分和是原级数部分和的子列即可得到这一结论。我们常常利用这一点证明一个级数的发散性，即先证明加括号的发散，从而推出原级数（去括号的）也发散。二、正项级数正项级数的特点是部分和数列是单调递增的，由此得：基本结论正项级数收敛其部分和有上界。比较判别法：比较判别法的极限形式：评注对于比较判别法，主要考虑充分大以后（）与17的大小关系，因此极限形式更方便。如果，要认识到，当充分大时，与是“等价”的，即大小“差

6、不多”，确切地说当时，存在正常数和使，由此。如果或，它们的“大小”关系如何？根式判别法设，当时，收敛；当时，发散。比式判别法，则收敛；，则发散。习题1证明上面根式判别法习题2证明（）推论：评注由习题2知，用比式判别法能判别的，用根式判别法一定能判别，但反之不然。也就是说根式判别法比比式判别法更有效。换言之，凡根式法无能为力时，比式法一定也无能为力。但是，它们在判别发散时，却没有谁比谁有优势可言，都是用一般项不趋于零来推断的。这一点要特别注意，我们在讨论幂级数的收敛半径时就要用到此结论。习题3考虑级数，说明根式法比比式法更有效。评注无论是比式判别法还是根式判别法

7、，其实质都与等比级数比较的，对于级数必然失效。（这种级数的通项比等比级数的通项收敛于零的速度要慢）。如果与级数比较还可以得到更细致的一些判别法，拉贝判别法就是其中之一。积分判别法：拉贝判别法的极限形式：习题4[P17，11（1）]用拉贝法判别级数的收敛性，并说明比式法与根式法都无效。17三、一般项级数评注对一般项级数（有无穷多个正项，且有无穷多个负项），一般首先要考虑绝对收敛性（即是否收敛），如果是绝对收敛，当然原级也收敛，如果是用根式或比式判别法得到发散，则必发散（这在前面的评注中已经说过了）。Leibniz判别法：Able引理：，是两数组，单调，，则，其中

8、对于形如的级数，设单调，把Able引理