广义相对论-学习记录1-第一章-历史回顾_二维负常曲率空间-CSDN博客

本文链接：https://blog.csdn.net/qq_41959720/article/details/120296825

第一章：历史回顾

广义相对论（General Relativity, GR），是一种用于描述引力的理论（引力理论），其数学基础为黎曼几何，但广义相对论并不等价于黎曼几何

爱因斯坦的广义相对论有三个前提，分别是：
1、非欧几何
2、牛顿引力
3、相对性原理

以上三个前提都是广义相对论的基础，在广义相对论中具有不可或缺的地位

1、非欧几何

欧氏几何： 欧几里得几何，是公理化体系。公理化体系是从逻辑推理所推导出的体系（换个词来说：假设）

欧氏几何的五条假设（特别简单且无需证明）：
1、任意两点之间可以连成一条直线
2、任何一个线段都可以无限延长变成一条直线
3、给定一个线段和一个固定点，则总是可以以点为圆心，线段为半径作一个圆
4、所有的直角都相等
5、如果两条直线与第三条直线相交，且相交的两个内角加起来小于180 $^\circ$ ，则两条直线必然相交（等价于三角形内角和=180 $^\circ$ ），如下图所示（第五条假设曾经被认为是多余的，但仍然是必不可少的）：

第五公设问题

早期，数学家高斯完全建立了一套新的几何体系，在这个几何体系中，第五条公设不成立，属于非欧几何

Gauss，Boylay，Lobachski建立了一个典型的非欧几何体系，名为“二维负常曲率空间”（马鞍面）。在此体系中，第五条公设不成立，而前四条则成立（在马鞍面上画一个三角形，其内角和小于180 $^\circ$ ）。此外，球面名为"二维正常曲率空间"，在球面上画一个三角形，其内角和大于 $180^\circ$

球面几何或马鞍面几何都属于非欧几何。判断一个几何是否属于欧氏几何，只需在面上画一个三角形，判断其内角和是否为 $180^\circ$ 即可

以上是二维的非欧几何

解析几何

笛卡尔发展解析几何

二维空间中两点间的距离 $(x_1,\ x_2)，(y_1,\ y_2) \rightarrow d(x,\ y)=[(x_1-y_1) + (x_2-y_2)]^2$

由此定义可以推导出欧氏几何的所有公理，该定义给出的几何就是欧氏几何

在非欧空间中，也可以定义两点距离。例如，“二维负常曲率空间”，可以定义为：每个点用实数对 $x_1,\ x_2)$ ，且要求 $x_1^2+x_2^2 < 1$ ，两点 $x_1,\ x_2),\ (y_1,\ y_2)$ 间距离为：

$\cosh\left[\dfrac{d(x,\ y)}{a}\right]\equiv \dfrac{1-x_1y_1-x_2y_2}{[(1-x_1^2-x_2^2)(1-y_1^2-y_2^2)]^{1/2}}$

其中， $a$ 为用于建立几何标度的基本长度

根据该定义发展出来的几何就是非欧几何

非欧几何的建立（高斯）：

任一二维曲面具有的性质：
1、内在性质：曲面上的蚂蚁
2、外在性质：把曲面镶嵌在高维空间中，十一个约束条件

高斯认为：
1、前者更根本
2、任一曲面上的几何，完全由两点间距距离的定义 $d(x,\ y)$ 来决定
3、理论上，两点间距离可以任意定义

Gauss的更重要的贡献：找到一类特殊的度规空间，这个度规空间：
1、足够宽泛，宽泛到足以描述日常中所有的二维曲面
2、足够狭窄，狭窄到可以发展出符合逻辑的几何学

高斯假设：在空间中任一足够小的区域内，能找到一个坐标系 $(\xi_1,\ \xi_2)$ ，使得相邻两点 $(\xi_1,\ \xi_2)$ 和 $(\xi_1+d\xi_1,\ \xi_2+d\xi_2)$ 间距离满足关系： $ds^2=d\xi_1^2+d\xi_2^2$ （笛卡尔坐标，是局域欧氏的）

欧氏几何： $(\xi_1,\ \xi_2)$ 足以描述整个空间
非欧几何： $(\xi_1,\ \xi_2)$ 不足以描述整个空间，而且一般 $(\xi_1,\ \xi_2)$ 只能描述一点的邻域

以球面为例， $(x,\ y)$ 不能描述整个球面，但一般总能找到另外一个坐标系来描述整个曲面 $x_1,\ x_2)$

在新坐标系下，两点间距离 $x_1,\ x_2)$ ， $x_1+dx_1,\ x_2+dx_2)$ 怎样定义？

在一般的坐标系下， $ds^2=d\xi_1^2+d\xi_2^2$ ，现在要变换坐标系 $(\xi_1,\ \xi_2)\rightarrow (x_1,\ x_2)$ ：

$ds^2=d\xi_1^2+d\xi_2^2=g_{11}dx_1^2+2g_{12}dx_1dx_2+g_{22}dx_2^2$ (1)

其中：

$g_{11}=\left(\dfrac{\partial\xi_1}{\partial x_1}\right)^2+\left(\dfrac{\partial\xi_2}{\partial x_1}\right)^2$

$g_{12}=\dfrac{\partial\xi_1}{\partial x_1}\dfrac{\partial\xi_1}{\partial x_2}+\dfrac{\partial\xi_2}{\partial x_1}\dfrac{\partial\xi_2}{\partial x_2}$

$g_{22}=\left(\dfrac{\partial\xi_1}{\partial x_2}\right)^2+\left(\dfrac{\partial\xi_2}{\partial x_2}\right)^2$

作业1：证明上述等式(1)

$ds^2=g_{11}dx_1^2+2g_{12}dx_1dx_2+g_{22}dx_2^2$

$g_{ij}$ 即度规张量

说明：

1、度规 $g_{ij}$ 与坐标系的选择有关

举例：欧氏空间中， $(x_1,\ x_2)\rightarrow ds^2=dx_1^2+dx_2^2\rightarrow g_{11}=g_{22}=1,\ g_{12}=g_{21}=0$

极坐标中， $(r,\ \theta)\rightarrow ds^2=dr^2+r^2d\theta^2\rightarrow g_{11}=1,\ g_{22}=r^2,\ g_{12}=g_{21}=0$

描述一个曲面，一般有无数种坐标系（坐标的定义很随意，没有任何限制），因此度规有无数个，从度规无法判断一个曲面是非欧的还是欧氏的（是不是只有能够表示为 $g_{11}=g_{22}=1,\ g_{12}=g_{21}=0$ 这样的度规，才能叫做欧氏曲面？）

2、Gauss希望找到一个量，它足以描述曲面的性质，但又不依赖于坐标系的定义，此即高斯曲率（唯一的）：

$\begin{aligned}K=&\dfrac{1}{2g}\left[2\dfrac{\partial^2g_{12}}{\partial x_1\partial x_2}-\dfrac{\partial^2 g_{11}}{\partial x_2^2}-\dfrac{\partial^2 g_{22}}{\partial x_1^2}\right]\\ &-\dfrac{g_{22}}{4g^2}\left[\left(\dfrac{\partial g_{11}}{\partial x_1}\right)\left(2\dfrac{\partial g_{12}}{\partial x_2}-\dfrac{\partial g_{22}}{\partial x_1}\right)-\left(\dfrac{\partial g_{11}}{\partial x_2}\right)^2\right]\\ &+\dfrac{g_{12}}{4g^2}\left[\left(\dfrac{\partial g_{11}}{\partial x_1}\right)\left(\dfrac{\partial g_{22}}{\partial x_2}\right)-2\left(\dfrac{\partial g_{11}}{\partial x_2}\right)\left(\dfrac{\partial g_{22}}{\partial x_1}\right)+\right.\\ &\left.\left(2\dfrac{\partial g_{12}}{\partial x_1}-\dfrac{\partial g_{11}}{\partial x_2}\right)\left(2\dfrac{\partial g_{12}}{\partial x_2}-\dfrac{\partial g_{22}}{\partial x_1}\right)\right]\\ &-\dfrac{g_{11}}{4g^2}\left[\left(\dfrac{\partial g_{22}}{\partial x_2}\right)\left(2\dfrac{\partial g_{12}}{\partial x_1}-\dfrac{\partial g_{11}}{\partial x_2}\right)-\left(\dfrac{\partial g_{22}}{\partial x_1}\right)^2\right]\end{aligned}$