1. notice
  3. English
  5. logic_topic
  6. 1. logic
  7. 2. basic
  8. 3. map
  9. 4. order
  10. 5. combinatorics
  12. calculus
  13. 6. real_numbers
  14. 7. limit_sequence
  15. 8. division_algebra
  16. 9. Euclidean_space
  17. 10. Minkowski_space
  18. 11. polynomial
  19. 12. analytic_Euclidean
  20. 13. analytic_struct_operation
  21. 14. ordinary_differential_equation
  22. 15. convex_hull
  23. 16. volume
  24. 17. integral
  25. 18. divergence
  26. 19. limit_net
  27. 20. topology
  28. 21. compact
  29. 22. connected
  30. 23. topology_struct_operation
  31. 24. exponential
  32. 25. angle
  34. geometry
  35. 26. manifold
  36. 27. metric
  37. 28. metric_connection
  38. 29. geodesic_derivative
  39. 30. curvature_of_metric
  40. 31. Einstein_metric
  41. 32. constant_sectional_curvature
  42. 33. simple_symmetric_space
  43. 34. principal_bundle
  44. 35. group
  45. 36. stereographic_projection
  46. 37. Hopf_bundle
  48. field_theory
  49. 38. point_particle_non_relativity
  50. 39. point_particle_relativity
  51. 40. scalar_field
  52. 41. scalar_field_current
  53. 42. scalar_field_non_relativity
  54. 43. projective_lightcone
  55. 44. spacetime_momentum_spinor_representation
  56. 45. Lorentz_group
  57. 46. spinor_field
  58. 47. spinor_field_current
  59. 48. electromagnetic_field
  60. 49. Laplacian_of_tensor_field
  61. 50. Einstein_metric
  62. 51. interaction
  63. 52. harmonic_oscillator_quantization
  64. 53. spinor_field_misc
  65. 54. reference
  67. 中文
  68. 55. notice
  70. 逻辑
  71. 56. 逻辑
  72. 57. 基础
  73. 58. 映射
  74. 59. 序
  75. 60. 组合
  77. 微积分
  78. 61. 实数
  79. 62. 数列极限
  80. 63. 可除代数
  81. 64. Euclidean 空间
  82. 65. Minkowski 空间
  83. 66. 多项式
  84. 67. 解析 (Euclidean)
  85. 68. 解析 struct 的操作
  86. 69. 常微分方程
  87. 70. convex_hull
  88. 71. 体积
  89. 72. 积分
  90. 73. 散度
  91. 74. 网极限
  92. 75. 拓扑
  93. 76. 紧致
  94. 77. 连通
  95. 78. 拓扑 struct 的操作
  96. 79. 指数函数
  97. 80. 角度
  99. 几何
  100. 81. 流形
  101. 82. 度规
  102. 83. 度规的联络
  103. 84. Levi_Civita 导数
  104. 85. 度规的曲率
  105. 86. Einstein 度规
  106. 87. 常截面曲率
  107. 88. simple_symmetric_space
  108. 89. 主丛
  109. 90. 群
  110. 91. 球极投影
  111. 92. Hopf 丛
  113. 场论
  114. 93. 非相对论点粒子
  115. 94. 相对论点粒子
  116. 95. 纯量场
  117. 96. 纯量场的守恒流
  118. 97. 非相对论纯量场
  119. 98. 光锥射影
  120. 99. 时空动量的自旋表示
  121. 100. Lorentz 群
  122. 101. 旋量场
  123. 102. 旋量场的守恒流
  124. 103. 电磁场
  125. 104. 张量场的 Laplacian
  126. 105. Einstein 度规
  127. 106. 相互作用
  128. 107. 谐振子量子化
  129. 108. 旋量场杂项
  130. 109. 参考

note-math

cf. metric.typ

[geodesic]

测地线作为可能的 “最小长度路径”. 作用量

ODE 初值 . 测地线的定义不依赖于坐标选取

是 metric-volume-form 限制在 1 dimension path. 是 induced quadratic-form

Lagrange 方程是

对于路径的单位长度参数, , 方程变成

product-rule 展开 , where . 移项并使用 , 方程变成

或者写为

其中 是 [metric_connection] alias [Levi_Civita_connection] alias [Christoffel_symbols]

metric-connection 不是 tensor. metric-connection 的变换方式 [connection_transformations]

by 的定义中的 metric 的变换方式

[geodesic_exponential] …

[geodesic_coordinate]

测地线 or with 给出坐标

它是局部微分同胚 by at , by

  • ODE 的解解析地依赖于初值

在测地线坐标, 测地线方程是 . Proof 测地线是

在 点测地线坐标, 点联络是零,

Proof

ODE

初值 and

将 ODE 的解 代入 ODE 得到

从而在 点对所有方向 , ==> at

[Taylor_expansion_of_metric_in_geodesic_coordinate]

在测地线坐标, metric 的 Taylor 展开

  • 零阶项是标准 metric

  • 一阶项是零 i.e. 一阶微分是零

结合两者,

Proof

在 点测地线坐标

  • 0th. 对测地线坐标, 在 点 , 将测地线坐标里的原点的正交规范基 复制地映射到 点切空间 coordinate-frame

  • 1st.

[differenial_of_metric_vs_connection] Prop Proof 直接把 的 定义 代入式子

然后用 得到 点

在坐标中

也可以写为

对于逆矩阵, 有类似的

[differenial_of_metric_inverse_vs_connection] Prop

Proof 使用 以及

在坐标中

也可以写为