编辑推荐
《黎曼几何》非常值得一读。
内容简介
The object of this book is to familiarize the reader with the basic language of and some fundamental theorems in Riemannian Geometry. To avoid referring to previous knowledge of differentiable manifolds, we include Chapter 0, which contains those concepts and results on differentiable manifolds which are used in an essential way in the rest of the book。
The first four chapters of the book present the basic concepts of Riemannian Geometry (Riemannian metrics, Riemannian connections, geodesics and curvature). A good part of the study of Riemannian Geometry consists of understanding the relationship between geodesics and curvature. Jacobi fields, an essential tool for this understanding, are introduced in Chapter 5. In Chapter 6 we introduce the second fundamental form associated with an isometric immersion, and prove a generalization of the Theorem Egregium of Gauss. This allows us to relate the notion of curvature in Riemannian manifolds to the classical concept of Gaussian curvature for surfaces。
内页插图
目录
Preface to the first edition
Preface to the second edition
Preface to the English edition
How to use this book
CHAPTER 0-DIFFERENTIABLE MANIFOLDS
1. Introduction
2. Differentiable manifolds;tangent space
3. Immersions and embeddings;examples
4. Other examples of manifolds,Orientation
5. Vector fields; brackets,Topology of manifolds
CHAPTER 1-RIEMANNIAN METRICS
1. Introduction
2. Riemannian Metrics
CHAPTER 2-AFFINE CONNECTIONS;RIEMANNIAN CONNECTIONS
1. Introduction
2. Affine connections
3. Riemannian connections
CHAPTER 3-GEODESICS;CONVEX NEIGHBORHOODS
1.Introduction
2.The geodesic flow
3.Minimizing properties ofgeodesics
4.Convex neighborhoods
CHAPTER 4-CURVATURE
1.Introduction
2.Curvature
3.Sectional curvature
4.Ricci curvature and 8calar curvature
5.Tensors 0n Riemannian manifoids
CHAPTER 5-JACOBI FIELDS
1.Introduction
2.The Jacobi equation
3.Conjugate points
CHAPTER 6-ISOMETRIC IMMERSl0NS
1.Introduction.
2.The second fundamental form
3.The fundarnental equations
CHAPTER 7-COMPLETE MANIFoLDS;HOPF-RINOW AND HADAMARD THEOREMS
1.Introduction.
2.Complete manifolds;Hopf-Rinow Theorem.
3.The Theorem of Hadamazd.
CHAPTER 8-SPACES 0F CONSTANT CURVATURE
1.Introduction
2.Theorem of Cartan on the determination ofthe metric by mebns of the curvature.
3.Hyperbolic space
4.Space forms
5.Isometries ofthe hyperbolic space;Theorem ofLiouville
CHAPTER 9一VARIATl0NS 0F ENERGY
1.Introduction.
2.Formulas for the first and second variations of enezgy
3.The theorems of Bonnet—Myers and of Synge-WeipJtein
CHAPTER 10-THE RAUCH COMPARISON THEOREM
1.Introduction
2.Ttle Theorem of Rauch.
3.Applications of the Index Lemma to immersions
4.Focal points and an extension of Rauch’s Theorem
CHAPTER 11—THE MORSE lNDEX THEOREM
1.Introduction
2.The Index Theorem
CHAPTER 12-THE FUNDAMENTAL GROUP OF MANIFOLDS 0F NEGATIVE CURVATURE
1.Introduction
2.Existence of closed geodesics
CHAPTER 13-THE SPHERE THEOREM
References
Index
前言/序言
拓扑学基础与现代几何学导论 第一章:集合论与逻辑基础 本章旨在为后续更深入的几何学研究奠定坚实的逻辑和集合论基础。我们将从最基本的集合概念、关系和函数出发,详细阐述皮亚诺公理下的自然数构造,以及康托尔的集合论,特别是良序原理和选择公理在数学证明中的角色。 1.1 集合的构造与运算: 集合的定义、外延性原理、子集、幂集、笛卡尔积。集合之间的关系:相等、包含、不交。 1.2 函数与映射: 单射、满射、双射的严格定义与性质。函数的复合、逆函数的存在性。 1.3 序关系与等价关系: 偏序集、全序集、良序集。等价关系的定义、等价类的划分性质。 1.4 逻辑推理与证明方法: 命题演算、谓词逻辑基础。直接证明、反证法、数学归纳法(包括强归纳法)的严谨应用。 第二章:拓扑空间导论 拓扑学的核心在于研究空间中“邻域”和“连续性”的概念,而无需依赖度量或距离。本章将引入拓扑空间的基本框架。 2.1 拓扑空间的定义: 拓扑结构的定义、开集、闭集、闭包、内部、边界的概念。 2.2 基与相对拓扑: 基(Basis)和子基(Subbasis)如何生成拓扑结构。子空间的相对拓扑的构造及其性质。 2.3 连续性与拓扑同胚: 连续映射的拓扑定义及其与开/闭集的等价描述。拓扑同胚(Homeomorphism)作为拓扑性质保持的等价关系。 2.4 重要的拓扑性质: 分离公理($T_0, T_1, T_2$(Hausdorff), $T_3, T_4$)。紧致性(Compactness)的定义及其在度量空间中的等价描述(Heine-Borel定理的拓扑推广)。连通性(Connectedness)与路径连通性(Path-Connectedness)的区分与联系。 2.5 积空间与商空间: 积拓扑的构造及其在分析多个维度时的重要性。商拓扑的构造,即由等价关系导出的拓扑结构。 第三章:度量空间 度量空间是拓扑学的一个特例,其中引入了距离的概念,使得我们可以讨论收敛性、完备性和维度等更具分析性的结构。 3.1 度量空间的定义与实例: 欧几里得度量、离散度量、切比雪夫度量等常见度量函数的性质。 3.2 开球与闭球: 由度量诱导的开集和闭集。度量空间中的拓扑性质与度量性质的关系。 3.3 收敛性与完备性: 序列的收敛性定义。柯西序列的概念。完备度量空间(如$mathbb{R}^n$)的重要性及其在不动点定理(如Banach不动点定理)中的应用。 3.4 连续性与等距映射: 度量空间之间的连续函数与等距映射(Isometry)的定义。 第四章:流形初步 流形是现代几何学和拓扑学的核心研究对象,它局部看起来像欧几里得空间,但整体结构可能非常复杂。 4.1 欧几里得空间 $mathbb{R}^n$ 的基础性质: 线性代数回顾、开集、紧集、凸集。 4.2 拓扑流形的定义: $n$ 维拓扑流形的严格定义:豪斯多夫性、第二可数性、局部欧几里得性。 4.3 坐标图与图册: 坐标变换、图册的最小性要求。导航员(Navigators)和坐标系的选择。 4.4 局部结构: 流形上的开集、子流形(Submanifolds)的概念介绍。嵌入定理的初步讨论。 第五章:微分拓扑入门 本章将引入微分结构,从而从研究流形的拓扑性质转向研究其光滑结构。 5.1 光滑映射的定义: $mathcal{C}^k$ 级映射和光滑映射($mathcal{C}^infty$)。在局部坐标系下对光滑性的检验。 5.2 常微分方程与流: 向量场在流形上的定义。向量场的局部积分曲线。常微分方程解的存在性与唯一性定理在流形上的应用。 5.3 浸入与淹没: 浸入(Immersion)与淹没(Submersion)的定义及其在微分几何中的关键作用(如常值函数的水平集)。 5.4 逆函数定理与隐函数定理: 在流形背景下,对这些关键定理的精确表述和应用,它们是理解流形局部结构的基础工具。 第六章:微分形式与张量代数基础 理解流形上的分析和几何,必须依赖张量和微分形式的概念。 6.1 向量空间上的张量: 张量的定义(共变、反变、混合)。张量积的性质。 6.2 线性函数空间与对偶空间: 余向量(Covectors)和线性函数空间。 6.3 外代数与微分形式: 外积(Wedge Product)的定义。$Lambda^k(V^)$ 空间,即 $k$ 阶微分形式空间。 6.4 流形上的微分形式: 在局部坐标系下,微分形式的构造。向量场与微分形式的收缩运算(内积)。 6.5 外微分(Exterior Differentiation): 外微分算子 $d$ 的定义及其在局部坐标系下的表达。$d^2 = 0$ 的性质。 第七章:积分与拓扑联系 本章连接了微分形式和拓扑学,引入了积分理论的拓扑视角。 7.1 对流形的积分: $n$ 维流形上的体积形式(或密度)。使用局部坐标系下的积分的定义。 7.2 Stokes 定理的推广: 从微积分中的格林公式、高斯公式和斯托克斯定理,推广到一般流形上的积分恒等式: $$int_{partial M} omega = int_{M} domega$$ 本定理是微分几何和拓扑学的核心统一工具。 7.3 De Rham 上同调简介: 闭形式($domega = 0$)和恰当形式($omega = deta$)的概念。De Rham 上同调群 $H^k_{dR}(M)$ 作为衡量流形拓扑结构(如“洞”)的代数不变量的初步介绍。 第八章:向量丛与切丛 向量丛是描述流形上局部向量空间集合的结构,是构建更复杂几何结构(如度量)的前提。 8.1 向量丛的定义: 总空间、基空间、纤维、投影映射。局部平凡性。 8.2 切丛(Tangent Bundle): 切丛 $TM$ 的严格构造,作为所有点的切空间的并集。切向量场的定义。 8.3 向量丛上的截面与光滑性: 向量场作为切丛的光滑截面。 8.4 矢量丛的同构: 两个向量丛是否等价。 第九章:线性连接与测地线 本章开始探讨流形上“直线”和“曲率”的概念,为引入黎曼几何做铺垫。 9.1 仿射联络 (Affine Connection): 联络的定义(斜率的线性化)。平行移动的概念。 9.2 协变导数: 沿着曲线的向量场的方向导数。协变导数的定义与性质。 9.3 测地线方程: 协变导数为零的曲线——测地线的定义。测地线方程的微分形式表达。 9.4 挠率与曲率: 联络的挠率张量(Torsion)的定义。联络的曲率张量(Curvature Tensor)的定义,用于衡量平行移动路径依赖性。 第十章:欧几里得几何回顾与度量空间 为了理解什么是“弯曲”,我们首先需要精确理解“平坦”的空间结构。 10.1 欧几里得空间 $mathbb{R}^n$ 的内在结构: 内积(Dot Product)的代数定义。由内积诱导的长度、角度和正交性。 10.2 欧几里得空间上的几何概念: 欧几里得空间中的测地线(直线)。 10.3 经典几何的重述: 欧几里得几何与双曲几何(作为非欧几里得几何的典型代表)的初步对比,强调“平行公理”的差异如何导致不同的全局几何性质。 总结 本书系统地构建了从最基础的拓扑结构到微分流形及其局部线性结构的理论框架,重点讨论了光滑性、微分形式的微积分工具以及联络的概念。这些是理解任何关于曲率和度量的几何理论(如广义相对论、微分拓扑中的特征类理论)的必要前置知识。