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

note-math

let 映射

[permutation] 以下等价

  • 到自身的双射 , 叫做置换
  • 排列
  • 阶置换. 数量 . 通常记为

[combination] 以下等价

  • 中选取子集 with
  • 选取子集 with
划分

  • 选取置换 with
    另一个置换 给出相同的划分 if

    定义这种相同的划分的置换的 [quotient] , 划分 的逆像

商集 的基数计算

记为

所有 组合 <==> 所有 在 中选取子集 with

是从 个中可重复选 次的数量

用归纳法计算或者直接观察, 可得

[binom-expansion]

vs Newton 二项式

[multi-combination] 类似地, 以下等价

  • 重组合. 选取 with
  • 划分 with and
  • 选取置换, 且 quotient

总数量 , 即从 个中可重复选 次的数量

可以这样理解. 重复 次选取 , 数量 <==> 映射 的数量

的映射被划分为输出 个 , 满足

划分 , 分别输出 个 , 其数量就对应多重组合

what is ?

Example 数量 10, 分组数量 4.

star & bar 模型

★ ★ ★ | ★ ★ | | ★ ★ ★ ★ ★

个位置选取 个作为 bar, 将 个 ★ 分成 组. 数量

[dimension-of-symmetric-tensor] 也得到对称张量空间 的维数是 , 基

重复数量 会有用于例如计算 归一化

[conjugate-class-of-permutation-is-cycle] conjugate-class of <==> 相同划分的 cycle

cycle := 置换 with

置换的 分解

张量空间的 分解, irreducible represenation