第一章 预备知识 | 第1-15页 |
·引言 | 第9页 |
·S_((p))~k的构造 | 第9-10页 |
·单连通的CW空间Y的p-局部化空间Y_((p))的性质 | 第10-11页 |
·几个常用映射 | 第11-12页 |
·θ和q_i | 第11-12页 |
·本文常常省略对应法则的映射 | 第12页 |
·一些重要结论 | 第12-13页 |
·π_m(S_((p))~k) | 第12-13页 |
·π_m(S~k(?)_p~r e~(k+1)) | 第13页 |
·[S~m(?)_p~r e~(m+1),S_((p))~k] | 第13页 |
·[S~m(?)_p~r e~(m+1),S~k(?)_p~t e~(k+1)] | 第13页 |
·1.4重要结论的证明 | 第13-15页 |
·1.4.2的证明 | 第13-14页 |
·1.4.3的证明 | 第14页 |
·1.4.4的证明 | 第14-15页 |
第二章 映射锥 | 第15-18页 |
·引理2.1 | 第15-16页 |
·引理2.2 | 第16页 |
·引理2.3 | 第16-18页 |
第三章 A_(p,n,2p-3)多面体的伦型 | 第18-22页 |
·A_(p,n,i)多面体的定义 | 第18页 |
·定理3.2 | 第18页 |
·引理3.3 | 第18-19页 |
·引理3.4 | 第19-20页 |
·定理3.2的证明 | 第20-22页 |
第四章 A_(p,n,4p-5)多面体的映射锥表示 | 第22-26页 |
·定理4.1 | 第22-23页 |
·定理4.1的证明 | 第23-26页 |
第五章 A_(p,n,i)基本多面体的定义 | 第26-27页 |
·A_(p,n,i)基本多面体的定义 | 第26页 |
·推论5.2 | 第26-27页 |
第六章 空间的相关矩阵 | 第27-51页 |
·,<>的构造 | 第27-29页 |
·(X,K(?)_fC(?))的相关矩阵Ⅰ,Ⅱ | 第29页 |
·一些注 | 第29-30页 |
·(?)_m,g_m的定义 | 第30-35页 |
·命题6.5 | 第35-36页 |
·命题6.5的证明 | 第36-40页 |
·定理6.6 | 第40-41页 |
·定理6.8 | 第41-45页 |
·引理6.9 | 第45-46页 |
·引进一些记号 | 第46-47页 |
·注记 | 第47页 |
·定理6.11的证明要点 | 第47-48页 |
·6.7的证明要点 | 第48-51页 |
第七章 应用 | 第51-85页 |
·概述 | 第51页 |
·较复杂的几个例子 | 第51-58页 |
·(?)(0,K~0,A~1)的同伦分类 | 第58-71页 |
·(?)(1,K~0,A~1)的同伦分类 | 第71-72页 |
·(?)(2,K~0,A~1)的同伦分类 | 第72-73页 |
·(?)(0,K~0,A~1,K~1)的同伦分类 | 第73-80页 |
·(?)(1,K~0,A~1,K~1)的同伦分类 | 第80-85页 |
附录A 部分计算机代码(Mathematica code) | 第85-119页 |
A.1 相关矩阵合并函数 | 第85-86页 |
A.2 若干预处理程序 | 第86-87页 |
A.3 整数按q分解 | 第87-88页 |
A.4 化分块J为标准形 | 第88-90页 |
A.5 化矩阵(元素取自Z/p)为标准形 | 第90-91页 |
A.6 有理标准形的处理 | 第91-94页 |
A.7 将矩阵恢复的递归程序(十分关键!) | 第94-95页 |
A.8 创建相关矩阵对象 | 第95-96页 |
A.9 数据输入 | 第96页 |
A.10 输入验证 | 第96-99页 |
A.11 相关矩阵对象的显示 | 第99-101页 |
A.12 化为标准形(核心代码) | 第101-119页 |
附录B 致谢 | 第119-120页 |
附录C 攻读硕士期间发表的论文 | 第120-121页 |
学位论文独创性声明 | 第121页 |
学位论文使用授权声明 | 第121页 |