1. notice
  3. English
  4. 1. feature
  6. logic-topic
  7. 2. logic
  8. 3. set-theory
  9. 4. map
  10. 5. order
  11. 6. combinatorics
  13. calculus
  14. 7. real-numbers
  15. 8. limit-sequence
  16. 9. ℝ^n
  17. 10. Euclidean-space
  18. 11. Minkowski-space
  19. 12. polynomial
  20. 13. analytic-Euclidean
  21. 14. analytic-Minkowski
  22. 15. analytic-struct-operation
  23. 16. ordinary-differential-equation
  24. 17. volume
  25. 18. integral
  26. 19. divergence
  27. 20. limit-net
  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-action
  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
  69. 56. feature
  71. 逻辑
  72. 57. 逻辑
  73. 58. 集合论
  74. 59. 映射
  75. 60. 序
  76. 61. 组合
  78. 微积分
  79. 62. 实数
  80. 63. 数列极限
  81. 64. ℝ^n
  82. 65. Euclidean 空间
  83. 66. Minkowski 空间
  84. 67. 多项式
  85. 68. 解析 (Euclidean)
  86. 69. 解析 (Minkowski)
  87. 70. 解析 struct 的操作
  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

[sectional-curvature]

根据 symmetry-of-curvature,

截面曲率是二次型 (可能退化) 限制在 方向空间 i.e. 限制在单位长度

curvature 可以恢复自 sectional-curvature. Proof 不需要非退化, 对称双线性可以恢复自二次型 quadratic-form

Prop

[constant-sectional-curvature] <==>

i.e. 曲率只有纯量部分且纯量曲率是常值

Proof

constant-sectional-curvature <==>

<==> 是零二次型

<==>

正交分解给出 with

[constant-sectional-curvature-imply-Einstein-metric]

Proof trace-free Ricci-curvature = 0

[constant-sectional-curvature-low-dimension]

  • ==> constant-sectional-curvature = Einstein-metric = constant-scalar-curvature

  • ==> constant-sectional-curvature = Einstein-metric Proof 三维 + (Einstein <==> )

[quadratic-manifold] :=

where

[quadratic-manifold-is-constant-sectional-curvature] 二次型流形 有 constant-sectional-curvature

Proof

使用子流形技术. 子流形 上的点 在 有切空间与法空间

点的子流形测地线坐标 + 法空间作为流形 坐标

在此坐标在 点的 coordinate-frame orthonormal

拆开 tangent, normal,

曲率的 metric-dual

==>

的曲率是零

==>

二次型流形 co-dimension 1, 法空间 dimension 1, 法向场 with 单位法向场

所以

在 普通坐标在 点 且

==>

==>

宇宙常数

二次型流形中的 Lorentz 流形 有 "静态坐标", i.e. 在静态坐标中 metric 将是静态形式

  • 静态坐标 :=

分解到半径 + 双曲线 + 球面

坐标 with

metric 将是

  • 静态坐标 :=

分解到半径 + 球面 + 球面

坐标 with

metric 将是

的时间轴的行为存在 like. 而且存在 closed time-like geodesicm, 从而不 causal

"单叶双曲面" 的时间轴的行为是 like, 空间存在 like. 存在 closed space-like geodesic

可以 "时间切片" 化为 . 是 的微分同胚

metric

"可视化" 的例子: 中的 or , 单叶双曲面

虽然 类时测地线总是闭合的, 表现为椭圆, 但类时非测地线可以无限长度, 例如可以不断逼近类光测地线

类光测地线表现为 "抛物线" …