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

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