非标准分析

Description

非标准分析 目录 第一章 引言 1.1 本书目的 1.2 内容概述 第二章 逻辑工具 2.1 狭义谓词演算 2.2 解释 2.3 超积 2.4 前束范式 2.5 有穷性原理 2.6 高阶结构及相应的语言 2.7 型符号 2.8 高阶理论的有穷性原理 2.9 扩大 2.10 扩大的例子 2.11 扩大的一般性质 2.12 注记和参考文献 第三章 微分法和积分法 3.1 非标准算术 3.2 非标准分析 3.3 收敛 3.4 连续性与微分法 3.5 积分 3.6 微分 3.7 全微分 3.8 初等微分几何 3.9 注记和参考文献 第四章 一般拓扑学 4.1 拓扑空间 4.2 序列、网、映射 4.3 度量空间 4.4 *T中的拓扑 4.5 度量空间中的函数、极限和连续性 4.6 函数序列、紧致映射 4.7 欧氏空间 4.8 注记和参考文献 第五章 实变数函数 5.1 测度与积分 5.2 函数序列 5.3 广义函数 5.4 注记和参考文献 第六章 复变函数 6.1 多项式的解析理论 6.2 解析函数 6.3 Picard定理和Julia方向 6.4 在古典函数论中的紧致性论证 6.5 注记和参考文献 第七章 线性空间 7.1 赋范空间 7.2 Hilbert空间 7.3 紧致算子的谱论 7.4 不变子空间问题 7.5 注记和参考文献 第八章 拓扑群和Lie群 8.1 拓扑群 8.2 度量群 8.3 单参数子群 8.4 群的Lie代数 8.5 注记和参考文献 第九章 选取的课题 9.1 变分 9.2 Riemann映射定理 9.3 Dirichlet原理 9.4 源和偶极子 9.5 局部扰动 9.6 边界层理论 9.7 Saint-Venant原理 9.8 注记和参考文献 第十章 关于微积分的历史 10.1 引言 10.2 Leibniz 10.3 De l'Hospital 10.4 Lagrange和d'Alembert 10.5 Cauchy 10.6 Bolzano，Weierstrass及其以后 10.7 无限小数、无限大数和无限 参考文献