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. volume
  23. 16. integral
  24. 17. divergence
  25. 18. limit-net
  26. 19. topology
  27. 20. compact
  28. 21. connected
  29. 22. topology-struct-operation
  30. 23. exponential
  31. 24. angle
  33. geometry
  34. 25. manifold
  35. 26. metric
  36. 27. metric-connection
  37. 28. geodesic-derivative
  38. 29. curvature-of-metric
  39. 30. Einstein-metric
  40. 31. constant-sectional-curvature
  41. 32. simple-symmetric-space
  42. 33. principal-bundle
  43. 34. group
  44. 35. stereographic-projection
  45. 36. Hopf-bundle
  47. field-theory
  48. 37. point-particle-non-relativity
  49. 38. point-particle-relativity
  50. 39. scalar-field
  51. 40. scalar-field-current
  52. 41. scalar-field-non-relativity
  53. 42. projective-lightcone
  54. 43. spacetime-momentum-spinor-representation
  55. 44. Lorentz-group
  56. 45. spinor-field
  57. 46. spinor-field-current
  58. 47. electromagnetic-field
  59. 48. Laplacian-of-tensor-field
  60. 49. Einstein-metric
  61. 50. interaction
  62. 51. harmonic-oscillator-quantization
  63. 52. spinor-field-misc
  64. 53. reference
  66. 中文
  67. 54. notice
  69. 逻辑
  70. 55. 逻辑
  71. 56. 基础
  72. 57. 映射
  73. 58. 序
  74. 59. 组合
  76. 微积分
  77. 60. 实数
  78. 61. 数列极限
  79. 62. 可除代数
  80. 63. Euclidean 空间
  81. 64. Minkowski 空间
  82. 65. 多项式
  83. 66. 解析 (Euclidean)
  84. 67. 解析 struct 的操作
  85. 68. 常微分方程
  86. 69. 体积
  87. 70. 积分
  88. 71. 散度
  89. 72. 网极限
  90. 73. 拓扑
  91. 74. 紧致
  92. 75. 连通
  93. 76. 拓扑 struct 的操作
  94. 77. 指数函数
  95. 78. 角度
  97. 几何
  98. 79. 流形
  99. 80. 度规
  100. 81. 度规的联络
  101. 82. Levi-Civita 导数
  102. 83. 度规的曲率
  103. 84. Einstein 度规
  104. 85. 常截面曲率
  105. 86. simple-symmetric-space
  106. 87. 主丛
  107. 88. 群
  108. 89. 球极投影
  109. 90. Hopf 丛
  111. 场论
  112. 91. 非相对论点粒子
  113. 92. 相对论点粒子
  114. 93. 纯量场
  115. 94. 纯量场的守恒流
  116. 95. 非相对论纯量场
  117. 96. 光锥射影
  118. 97. 时空动量的自旋表示
  119. 98. Lorentz 群
  120. 99. 旋量场
  121. 100. 旋量场的守恒流
  122. 101. 电磁场
  123. 102. 张量场的 Laplacian
  124. 103. Einstein 度规
  125. 104. 相互作用
  126. 105. 谐振子量子化
  127. 106. 旋量场杂项
  128. 107. 参考

note-math

[complex-number] 复数.

加法和 相同. 乘法使用 or 和分配律

复数 or 的来源

  • 谐振子 ODE 的特征方程

  • 复数的另一种动机来自多项式的因子分解. 实多项式分解能够完全为 或 的形式的相乘, 而后者能在 中分解为 的形式, 特别地, . 于是为了方便, 可以选择使用复数.

    你仍然可以选择认为这只是一种代数方便, 不需要复数的几何

    但是在下面的 split complex 中却无法分解 为一阶多项式. 甚至 有四个根, 除了 , 多了两个根

Eaxmple [split-complex-number] 分裂复数.

加法和 相同. 乘法使用 or 和分配律

也参见 复数的直观解释, 了解单位复数乘法和 的旋转 的关系

[normed-division-algebra]

有二次型 , 有乘法 , 且单位 (二次型) 距离的元素 的乘法 也是单位距离的

将单位距离和 纯量乘法结合起来后, 这种性质可以表示为

  • 对应

by

  • 对应

by

null elements 没有乘法逆

[quaternion]

从 或 开始 , 加入新的虚数元

  • 定义其它虚数元

  • 不同虚数元反交换

  • 虚数元共轭取反 or

这使得

  • 虚数元乘法结合
  • 满足 norm 乘法

  • 如果是从 开始, , 于是
  • 如果是从 开始, , 于是

  • give

  • give

Eaxmple [octonion] 在 (其中 ) 中使用新的虚数元

定义其它虚数元

不同虚数元反交换

不同虚数元反结合 如果

虚数元共轭取反

这使得

  • norm 乘法

同理, 根据 和 给出 octonion for 或 split octonion for

  • give

  • give

从 和虚数元结合律得到的是另一种代数 , 不满足

[imaginary-automorphism] 新虚数元构造方法并不是无坐标的, 所以我们需要考虑虚数元的 automorphism with . 由于保持乘法, 所以自动保持距离

Example for it’s symmetric

Question (ref-21, p.35) (ref-22, p.85)

  • for
  • for .

as automorphism of 说明了, 没有额外的结构, 例如乘法 和 , 只有单纯的线性空间结构, 无法给出 之类的特殊群. (虽然据说所有 compact group 都能存在矩阵表示.)

[problem-of-quaternionic-linear]

尝试给 定义线性代数. 我们立刻遇到问题: 线性映射的一种定义是作为线性空间之间的同态, 但由于 非交换, 纯量乘法不能随便和同一边的矩阵乘法交换 , 从而 的矩阵乘法不是线性变换

所以, “线性结构” 定义为, 例如, 左边矩阵乘法作为线性映射 , 右边纯量乘法 , 使得线性映射是线性结构的同态 .