时宝，1962年10月生，辽宁北票人。1982年毕业于海军工程学院；1993年在国防科技大学获硕士学位；1997年在湖南大学获博士学位。2000年晋升为教授。2002年任海军航空工程学院应用数学研究所所长和担任博士生导师。2000年获山东省科技进步二等奖；2003年获第三届军队院校育才奖“金奖”；2004年获“全军优秀教师”称号。他一直从事Volterra反应扩散方程基础理论等方面的研究工作，已发表50余篇科学论文，其中22篇被SCI收录。出版学术专著2部，分别是“时滞动力系统与控制系统理论及其应用（海潮出版社，2004）”和“微分方程理论及其应用（国防工业出版社，2005，拟6月出版）”。

    本书在读者已有微积分学和线性代数等基础知识的基础上比较详细地介绍了泛函分析的基础理论及其应用，包括kbesgue测度与Lebesgue积分的理论基础；度量空间的基本概念；赋范线性空间和Banach空间的基本概念；Ba nach空间的基本理论；不动点定理及其应用；内积空间和Hilbert空间的基本概念和基本理论；线性算子谱理论基础；非线性算子的理论基础和Banach 空间中的微积分学；上下解方法及其应用和拓扑度理论及其应用。<br>    本书适合高等院校数学类专业（包括军事院校数学类合训专业）高年级学生和理工专业硕士／博士研究生学习和研究之用，也可供高校教师教学和科研参考。

第1章  预备知识<br>1.1 Cantor基数理论<br>1.2 Lebesgue测度理论<br>1.2.1外测度<br>1.2.2可测集<br>1.2.3可测函数<br>1.2.4 Luzin可测函数结构定理<br>1.3 Lebesgue积分理论<br>1.3.1 Lebesgue积分概念及其性质<br>1.3.2 Lebesgue控制收敛定理<br>1.4习题<br><br>第2章  度量空间<br>2.1度量空间的概念和例子<br>2.2度量空间中的一些重要概念<br>2.3度量空间的极限与完备性<br>2.4度量空间的完备化<br>2.5紧性<br>2.5.1紧性概念<br>2.5.2 Ascoli—Arzela定理<br>2.6习题<br><br>第3章  线性空间和赋范线性空间<br>3.1线性空间<br>3.2赋范线性空间<br>3.3线性算子和线性泛函<br>3.3.1线性算子<br>3.3.2有界线性算子<br>3.3.3线性泛函<br>3.3.4有限维线性空间上的线性算子和线性泛函<br>3.4.对偶空间<br>3.5习题<br><br>第4章  Banach空间理论基础<br>4.1 Zorn引理<br>4.2 Hahn-Banach定理<br>4.3伴随算子<br>4.3.1伴随算子的概念<br>4.3.2线性算子与其伴随算子之间的关系<br>4.4自反空间<br>4.5共鸣定理<br>4.6弱收敛<br>4.6.1赋范线性空间中的序列<br>4.6.2有界线性算子序列<br>4.6.3有界线性泛函序列<br>4.7紧算子与全连续算子<br>4.7.1紧算子与全连续算子的概念.<br>4.7.2紧算子与其伴随算子之间的关系<br>4.8开映射定理<br>4.9闭图像定理<br>4.10习题<br><br>第5章  不动点定理及其应用<br>5.1 Banach压缩映像原理及其应用.<br>5.1.1 Banach压缩映像原理.<br>5.1.2线性代数方程组解的存在唯一性定理.<br>5.1.3微分方程解的存在唯一陛定理<br>5.1.4积分方程解的存在唯一性定理<br>5.1.5关于压缩型算子的比较<br>5.2 Brouwer不动点定理及其应用<br>5.2.1 Brouwer不动点定理<br>5.2.2代数学基本定理<br>5.3 Schauder不动点定理及其应用<br>5.3.1 Schauder不动点定理<br>5.3.2微分方程解的存在性定理<br>5.4 Krasnoselskii不动点定理<br>5.5习题<br><br>第6章  内积空间<br>6.1内积空间的概念<br>6.2直和.<br>6.3规范正交集<br>6.4完全规范正交集<br>6.5泛函表示<br>6.6 Hilbert伴随算子<br>6.6.1 Hilbert伴随算子的概念<br>6.6.2伴随算子与Hilbert伴随算子之间的联系和区别<br>6.7有界线性算子类<br>6.8习题<br><br>第7章  线性算子谱理论基础<br>7.1特征根和特征向量<br>7.2有界线性算子的谱<br>7.3有界Hermite线性算子的谱<br>7.4 Riesz—Schaud理论<br>7.5紧Hermite算子的谱性质及特征展开<br>7.6习题<br><br>第8章  非线性算子理论基础<br>8.1 Nemetskii算子<br>8.2 Holder不等式和Minkowski不等式<br>8.3 Urysohn算子<br>8.4 Banach空间中的微积分学<br>8.4.1积分学<br>8.4.2微分学<br>8.4.3 Fr6chet微分学<br>8.4.4 Gateaux微分学<br>8.5隐函数定理和反函数定理<br>8.6 Banach空间中微分方程的Cauchy问题<br>8.6.1 Granwall-Bellman不等式<br>8.6.2 Cauchy-Picard解的存在唯一性定理<br>8.6.3解的整体存在性定理<br>8.7习题<br><br>第9章  上下解方法及其应用<br>9.1锥理论和半序方法<br>9.1.1锥理论<br>9.1.2增算子和上下解方法<br>9.2一阶微分方程的Cauchy问题<br>9.3微分方程的周期边值问题<br>9.3.1一阶微分方程的周期边值问题<br>9.3.2二阶微分方程的周期边值问题<br>9.4二阶微分方程的两点边值问题<br>9.5拟上下解方法及其应用<br>9.6 Volterra积分一微分方程<br>9.6.1一阶Volterra积分一微分方程的Cauchy问题<br>9.6.2二阶Volterra积分一微分方程的周期边值问题<br>9.7泛函微分方程解的存在唯一性<br>9.7.1有限时滞情形<br>9.7.2无限时滞情形<br>9：8习题.<br><br>第10章  拓扑度理论及其应用<br>10.1 Brouwer度<br>10.1.1 C2映像的Brouwer度定义<br>10.1.2连续映像的Brouwer度定义<br>10.2 Brouwer度的性质<br>10.2.1 Brouwer度的基本性质<br>10.2.2 Brouwer度的简化定理与乘积公式<br>10.2.3 Borsuk定理<br>10.2.4 Brouwer度的应用举例<br>10.3 Leray—Schauder度<br>10.3.1 Leray—Schauder度的建立<br>10.3.2 Leray Schauder度的性质<br>10.3.3孤立零点的指数<br>10.3.4 Borsuk定理的推广<br>10.4不动点定理<br>10.5习题<br>参考文献<br>术语索引<br>符号意义（有特殊说明的除外）