物理学中的几何方法PDF电子书下载

第1章 集合论基础 1

1.1 集合的基础 1

1.2 集合的运算 3

1.3 映射 4

1.4 关系、次序关系、等价关系和分类 7

参考文献 11

第2章 群论基础 12

2.1 群的定义 12

2.2 子群和陪集 14

2.3 共轭与共轭类 16

2.4 不变子群与商群 18

2.5 同态与同构 19

2.6 同态的序列 21

2.7 直积群 22

2.8 自由群 23

参考文献 24

第3章 代数系和数系 25

3.1 代数系的概念 25

3.2 自然数及其性质 26

3.3 整数整域 27

3.4 域和有理数域 28

3.5 Cauchy数列和实数域 29

3.6 复数域和代数基本定理 30

3.7 超复数数系 31

3.8 四元数系Q（R） 32

3.9 八元数系Ω和十六元数系Γ 33

3.10 向量空间 35

3.11 域上的代数 36

3.12 例子：谐振子的能级 37

参考文献 38

第4章 向量空间的理论 40

4.1 向量空间中的一些基础理论 40

4.2 商空间 42

4.3 线性映射 43

4.4 对偶空间 44

4.5 不变子空间 46

4.6 Euclid空间 48

4.7 酉空间 49

4.8 模与模的一些基本理论 51

参考文献 51

第5章 群表示论概要 53

5.1 群表示的概念 53

5.2 可约表示和完全可约表示 55

5.3 酉表示 57

5.4 矩阵的张量积与张量积空间中的变换 57

5.5 群表示论中的一些重要定理 59

5.6 正则表示 66

5.7 量子力学和群论 68

参考文献 70

第6章 张量的概念 71

6.1 SO（2）群及其向量 71

6.2 SO（2）群的张量 73

6.3 SO（3）群的张量 74

6.4 惯性张量 76

6.5 O（3）群的张量 78

6.6 齐次Lorentz群L 80

6.7 齐次Lorentz群L的张量及其结构 82

6.8 电磁场张量及Maxwell方程 83

6.9 4维不变量 85

参考文献 87

第7章 线性群的张量 88

7.1 向量空间中基的变换和GL（n，K）群 88

7.2 协变向量 90

7.3 GL（n，K）群的张 92

7.4 线性张量的运算 94

7.5 张量分量的变换和张量的缩并 95

7.6 正交群的张量 97

7.7 张量代数J （V） 98

7.8 2阶反对称协变张量空间 98

7.9 协变张量的反称化 99

7.10 外积（反称积） 101

7.11 Λr（V）的构造 102

7.12 外代数 103

参考文献 104

第8章 O（3）群、SO（3）群和SU（2）群及其应用 105

8.1 道路连通性问题 105

8.2 SO（3）群的道路连通性 107

8.3 单连通的SU（2）群 108

8.4 SU（2）与SO（3）的2—1同态 109

8.5 四元数和有限转动的合成 112

8.6 SU（2）群和旋量 112

8.7 矩阵的指数函数及其性质 115

8.8 U（n）群及其Lie（李）代数 116

8.9 ？u （2）的几何意义 118

8.10 A1型Lie（李）代数 118

8.11 A1型代数的Bose子算符实现 119

8.12 Lie（李）代数及其表示的一般概念 120

8.13 A1型Lie（李）代数的有限维既约表示的完全系 122

8.14 表示ρj的权以及ρj？ρj′的约化 124

8.15 Clebsch-Gordan系数 126

8.16 既约张量算子 127

8.17 Wigner-Eckart定理和选择定则 127

8.18 SO（3）群的有限维既约表示的完全系 129

8.19 O（3）群的有限维既约表示的完全系 131

8.20 单电子原子多极矩跃迁的选择定则 132

参考文献 133

第9章 曲线坐标和张量分析 135

9.1 曲线坐标 135

9.2 曲线坐标下的基本度量形式 137

9.3 把张量的概念进一步扩展 138

9.4 曲线坐标下的向量和张量 141

9.5 曲线坐标系的基本方程 143

9.6 协变微分 145

9.7 梯度、散度和旋度作为协变导数 148

9.8 Newton方程在曲线坐标下的形式 152

9.9 仿射空间和Riemann空间 154

9.10 Minkowski几何 156

9.11 Riemann空间中的张量分析 159

9.12 Riemann曲率张量 162

9.13 Einstein场方程 164

9.14 短程线和力的几何化 166

参考文献 169

第10章 R3中的外微分形式及其应用 171

10.1 外微分形式和外积 171

10.2 向量代数与外积运算 173

10.3 外微分形式的外微分 173

10.4 外微分形式和向量场的微分运算 175

10.5 热力学中的Maxwell等式 176

10.6 Maxwell方程组的外微分形式 177

10.7 外微分形式的积分以及Stokes定理 178

10.8 Stokes定理、散度定理和Green定理 179

10.9 完全可积和Frobenius定理 182

10.10 闭形式和恰当形式及其应用 184

参考文献 186

第11章 拓扑空间 187

11.1 哥尼斯堡七桥问题 187

11.2 正多面体的Euler示性数 188

11.3 拓扑空间的引入 190

11.4 聚点、闭集和闭包 192

11.5 内点、外点和边界 193

11.6 邻域和邻域系 194

11.7 连续映射和同胚 195

11.8 特殊拓扑空间 196

11.9 拓扑空间的附加特性 199

参考文献 203

第12章 基本群 205

12.1 一个简单的例子 205

12.2 道路连通 206

12.3 闭道路和同伦 207

12.4 基本群 209

12.5 同伦映射和同伦型 211

12.6 Euclid单纯形、复形及三角剖分 214

12.7 基本群的计算定理 217

参考文献 218

第13章 高维同伦群和孤子 220

13.1 引言 220

13.2 高维同伦群的定义 221

13.3 相对同伦群 222

13.4 正合序列 223

13.5 拓扑不变量 224

参考文献 228

第14章 流形 230

14.1 流形的引入 230

14.2 流形的定义 232

14.3 可微映射 234

14.4 可微映射的秩以及浸入、浸没、嵌入和子流形 235

14.5 切向量和切向量空间 237

14.6 C∞映射的微分 240

14.7 协变向量 241

14.8 积流形 242

14.9 向量场及其对数量场的作用 243

14.10 向量场的交换子积 243

参考文献 244

第15章 外微分形式 246

15.1 切张量和张量场 246

15.2 反称积 248

15.3 外微分运算d 250

15.4 闭形式、恰当形式和Poincaré引理 251

15.5 映射f的推进f＊和拉回f＊ 252

15.6 向量场与微分形式的内积 254

15.7 Lie导数问题 255

15.8 向量空间V上的度规 259

15.9 度规向量空间上的和流形上的Hodge＊运算 260

15.10 余微分 264

15.11 向量值形式 266

参考文献 267

第16章 Lie（李）群和Lie（李）代数 269

16.1 Lie（李）群的定义 269

16.2 左不变向量场 270

16.3 Lie（李）群的Lie（李）代数 272

16.4 Lie（李）群和Lie（李）代数的同态 273

16.5 Lie（李）子群和Lie（李）子代数 274

16.6 单参数子群 274

16.7 指数映射 275

16.8 伴随表示 277

16.9 变换群 278

16.10 典型群 279

16.11 典型群的Lie（李）代数 281

16.12 Lie（李）群上的不变形式 283

16.13 通用覆盖群 284

16.14 爱尔兰根纲领 286

参考文献 286

第17章 纤维丛 288

17.1 引言 288

17.2 纤维丛 290

17.3 切丛和余切丛 294

17.4 张量丛 296

17.5 向量丛 298

17.6 主（纤维）丛 299

17.7 伴丛 300

参考文献 302

第18章 Hamilton力学的辛结构 304

18.1 位形空间、状态空间和相空间 304

18.2 辛形式和辛流形 305

18.3 Hamilton向量场和Hamilton正则方程 306

18.4 Lagrange力学 307

18.5 Poisson括号和辛变换 309

18.6 正则变换问题 311

18.7 H显含时间t时的切触流形 313

18.8 H显含时间t时的正则变换 314

18.9 H显含时间t时的Poisson括号 316

参考文献 316

第19章 Frobenius理论 318

19.1 引言 318

19.2 从微分几何角度看完全可积问题 320

19.3 流形上的全微分方程 322

19.4 对偶分布 323

19.5 有关流形上外代数的一些术语 324

19.6 Frobenius定理的微分形式表述 325

19.7 Frobenius定理在热力学中的应用和Carathédory的不可接近定理 327

19.8 极大积分流形 329

参考文献 329

第20章 同调群 331

20.1 无向单形和有向单形 331

20.2 单纯复合形和链 332

20.3 有关Abel群的一些理论 335

20.4 单纯复合形K的q维同调群 336

20.5 同调群的性质 338

20.6 同调群例 341

20.7 相对同调群 344

20.8 正合序列和Kunneth公式 345

20.9 奇异同调群 350

20.10 流形的剖分 352

参考文献 353

第21章 流形上的积分理论 355

21.1 Euclid空间Rn中的积分 355

21.2 向量空间的定向 357

21.3 流形的定向 358

21.4 诱导定向 359

21.5 Rn中的n次形式的积分 361

21.6 形式在链上的积分 362

21.7 定向流形上的积分 363

21.8 带边流形上的Stokes定理 368

21.9 微分形式作为多重线性映射观点下的积分 370

21.10 应用：力学中的不变积分 371

参考文献 371

第22章 De Rham上同调群 375

22.1 流形上的de Rham上同调群 375

22.2 de Rham上同调群的例子 377

22.3 有紧致支集的de Rham上同调群 381

22.4 de Rham定理 382

22.5 映射度和环绕数 385

22.6 Laplace-Beltrami算子的另一些性质 386

22.7 Hodge分解定理及其在上同调群理论中的应用 388

22.8 Poincaré对偶性 390

22.9 上积 392

22.10 参考文献 393

第23章 Gauss-Bonnet定理、流形上的向量场和数量场以及Morse理论 394

23.1 曲线和曲面上曲线的曲率、挠率和活动标架系 394

23.2 曲面的曲率 397

23.3 Gauss-Bonnet定理 398

23.4 从Gauss-Bonnet定理看闭曲面的Euler示性数 400

23.5 曲面的亏格和紧致曲面的分类 401

23.6 曲面上的向量场 404

23.7 奇点的指数以及Poincaré定理 405

23.8 Morse理论的一个例子 408

23.9 Morse不等式 409

参考文献 411

第24章 仿射联络空间和Riemann流形 412

24.1 引言 412

24.2 仿射联络 414

24.3 张量的协变微分 416

24.4 仿射联络的挠率与曲率 419

24.5 无挠率仿射联络空间L 0 n上的几何 420

24.6 Riemann度量 422

24.7 Riemann流形的基本定理 424

24.8 Riernann流形中的体积元 428

24.9 公理化方法 430

24.10 其他 435

参考文献 436

第25章 应用：电动力学 438

25.1 向量场的势和上同调理论 439

25.2 真空中Maxwell方程组的回顾 441

25.3 规范场Aμ 443

25.4 Minkowski流形及其上的电磁场张量 445

25.5 U（1）丛和主丛 448

25.6 主丛上的联络形式和曲率形式 451

25.7 U（1）丛上的联络与电磁场 454

25.8 A—B效应与微分几何 455

25.9 含自由磁荷和磁流的Maxwell方程组 457

25.10 从电荷守恒定律推出Maxwell方程组的数学形式 460

参考文献 462

附录 Young氏图形及其在对称群和典型群表示论中的应用 464

1 对称群Sn与它的分类结构 464

2 Sn的不可约表示 467

3 诱导表示与Sn单纯特征标的 Frobenius公式 469

4 Sn的不可约表示ρ[λ]的维数d[λ]与标准盘 471

5 Sn的单纯特征标与允许图形 472

6 Sn的分歧律 475

7 一般线性群GL（V）的张量表示及其约化 477

8 GL（m，C）不可约张量表示σ[λ]的维数mN[λ]与标准指数图形 479

9 GL（m，C）的分歧律 481

10 GL（m，C）的不可约特征标公式与不可约表示的维数公式 483

11 联系Sn的单纯特征标x[λ]（a）与GL（m，C）的不可约特征标φ[λ]（ε1，…，εm）的Frobe-nius经典公式 486

12 GL（m，C）不可约张量表示的张量积的算子约化法 487

13 Sn不可约表示的外积与相应的Young台的外积运算 491

14 群GL（m，R），SL（m，C），SL（m，R），U（m），SU（m）的表示 495

15 群O（m）的表示 499

16 群Sp （m，C）的表示 504

参考文献 505

编辑手记 508