非标准分析经典数学的一种延伸教程文件.pptVIP

 非标准分析 ——经典数学的一种延伸;第二次数学危机;消失的量的灵魂;　 直到19世纪20年代，一些数学家才比较关注于微积分的严格基础。波尔查诺给出了连续性的正确定义；阿贝尔指出要严格限制滥用级数展开及求和；柯西在1821年的《代数分析教程》中从定义变量出发，认识到函数不一定要有解析表达式；他抓住极限的概念，指出无穷小量和无穷大量都不是固定的量而是变量，无穷小量是以零为极限的变量；并且定义了导数和积分；狄里赫利给出了函数的现代定义。在这些工作的基础上，威尔斯特拉斯消除了其中不确切的地方，给出现在通用的极限的定义，连续的定义，并把导数、积分严格地建立在极限的基础上。 　　19世纪70年代初，威尔斯特拉斯、狄德金、康托等人独立地建立了实数理论，而且在实数理论的基础上，建立起极限论的基本定理，从而使数学分析建立在实数理论的严格基础之上。; 但古典极限理论的较为繁复，而在工程师、物理学家、化学家的语言中使用“瞬时”、“微元”这样的不够精确的概念并没有影响的结果的正确性。 ;实无穷的复活——逻辑学家的意外发现; 挪威逻辑学家Skolem最先发现描述自然数集的计数公理（如一阶Peano公理）不仅以自然数为其“标准”模型，他由此否定自然数集N，而R.robinson把skolem的思想开拓到实数域，为无穷小演算奠定了严格的逻辑基础，它兼容算术的非标准模型，因此