math-skill 1.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (55) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +278 -0
  3. package/agents/math-critic.md +203 -0
  4. package/commands/abstraction.md +34 -0
  5. package/commands/algorithmic-thinking.md +34 -0
  6. package/commands/ask.md +21 -0
  7. package/commands/axiomatization.md +34 -0
  8. package/commands/causal-inference.md +34 -0
  9. package/commands/discrete-combinatorial.md +34 -0
  10. package/commands/game-theory.md +34 -0
  11. package/commands/induction-analogy.md +34 -0
  12. package/commands/information-theory.md +34 -0
  13. package/commands/logic-deduction.md +34 -0
  14. package/commands/modeling.md +37 -0
  15. package/commands/optimization.md +33 -0
  16. package/commands/probability-statistics.md +36 -0
  17. package/commands/symmetry-invariance.md +34 -0
  18. package/commands/topological-thinking.md +33 -0
  19. package/commands/transformation.md +33 -0
  20. package/docs/CLAUDE.md +187 -0
  21. package/docs/inspiration.md +113 -0
  22. package/knowledge-base/overview.md +230 -0
  23. package/package.json +60 -0
  24. package/skills/abstraction/SKILL.md +264 -0
  25. package/skills/abstraction/original-texts.md +175 -0
  26. package/skills/algorithmic-thinking/SKILL.md +371 -0
  27. package/skills/algorithmic-thinking/original-texts.md +256 -0
  28. package/skills/axiomatization/SKILL.md +213 -0
  29. package/skills/axiomatization/original-texts.md +160 -0
  30. package/skills/causal-inference/SKILL.md +374 -0
  31. package/skills/causal-inference/original-texts.md +167 -0
  32. package/skills/discrete-combinatorial/SKILL.md +286 -0
  33. package/skills/discrete-combinatorial/original-texts.md +185 -0
  34. package/skills/game-theory/SKILL.md +318 -0
  35. package/skills/game-theory/original-texts.md +131 -0
  36. package/skills/induction-analogy/SKILL.md +310 -0
  37. package/skills/induction-analogy/original-texts.md +154 -0
  38. package/skills/information-theory/SKILL.md +242 -0
  39. package/skills/information-theory/original-texts.md +127 -0
  40. package/skills/logic-deduction/SKILL.md +280 -0
  41. package/skills/logic-deduction/original-texts.md +173 -0
  42. package/skills/meta-selector/SKILL.md +188 -0
  43. package/skills/meta-selector/original-texts.md +105 -0
  44. package/skills/modeling/SKILL.md +318 -0
  45. package/skills/modeling/original-texts.md +165 -0
  46. package/skills/optimization/SKILL.md +292 -0
  47. package/skills/optimization/original-texts.md +168 -0
  48. package/skills/probability-statistics/SKILL.md +312 -0
  49. package/skills/probability-statistics/original-texts.md +193 -0
  50. package/skills/symmetry-invariance/SKILL.md +358 -0
  51. package/skills/symmetry-invariance/original-texts.md +221 -0
  52. package/skills/topological-thinking/SKILL.md +273 -0
  53. package/skills/topological-thinking/original-texts.md +164 -0
  54. package/skills/transformation/SKILL.md +264 -0
  55. package/skills/transformation/original-texts.md +216 -0
@@ -0,0 +1,264 @@
1
+ ---
2
+ name: transformation
3
+ description: |
4
+ 触发条件:
5
+ 科研模式:数学推导、方程求解、信号处理等问题在当前表示下难以处理,需要通过数学变换将其转化为更简单的等价问题。
6
+ 生活模式:日常问题解决中换个角度思考,将看似棘手的问题从不同视角重新审视,使困难消失或变得可解。
7
+ English:
8
+ Research mode: Trigger for mathematical derivation, equation solving, signal processing — when a problem is intractable in its current representation and needs mathematical transformation into an equivalent simpler problem.
9
+ Life mode: Trigger for daily problem-solving, changing perspective, reframing problems — viewing a seemingly thorny problem from a different angle so the difficulty vanishes or becomes tractable.
10
+ ---
11
+
12
+ # 🔄 变换思想 / Transformation Thinking
13
+
14
+ > "复杂问题→等价简单问题,关键是找到合适的变换和逆变换。"
15
+ > "Complex problem → equivalent simple problem; the key is finding the right transformation and its inverse."
16
+ >
17
+ > "变换的精髓不是改变问题本身,而是改变我们看问题的视角。"
18
+ > "The essence of transformation is not changing the problem itself, but changing our perspective on the problem."
19
+ >
20
+ > —— 傅里叶变换、拉普拉斯变换、坐标变换 / Fourier Transform, Laplace Transform, Coordinate Transformation
21
+
22
+ ## 核心原则 / Core Principle
23
+
24
+ **同一个问题可以有不同的表示方式。选择一个好的表示(或变换),可以让困难的问题变得简单。变换的精髓不是改变问题本身,而是改变我们看问题的视角。**
25
+
26
+ **The same problem can be represented in different ways. Choosing a good representation (or transformation) can make a difficult problem simple. The essence of transformation is not changing the problem itself, but changing our perspective on the problem.**
27
+
28
+ > **数学形式化 / Mathematical Formalization**(科研模式参考 / Research Mode Reference)
29
+ >
30
+ > 设变换 T: D₁ → D₂,T 有用当且仅当三个条件同时成立:
31
+ > 1. T 可计算:对 D₁ 中元素 x,T(x) 可以显式求出
32
+ > 2. 简化性:问题在 D₂ 中比在 D₁ 中更容易处理(如微分→乘法、卷积→乘法)
33
+ > 3. T⁻¹ 存在:可以从 D₂ 的解恢复 D₁ 的原解
34
+ >
35
+ > Let T: D₁ → D₂. T is useful iff three conditions hold simultaneously:
36
+ > 1. T is computable: for x ∈ D₁, T(x) can be explicitly obtained
37
+ > 2. Simplification: the problem is easier in D₂ (e.g., differentiation → multiplication, convolution → multiplication)
38
+ > 3. T⁻¹ exists: the original solution in D₁ can be recovered from D₂
39
+ >
40
+ > 核心追问:**T⁻¹ 在什么条件下存在?** 这是变换思想最本质的数学问题——存在性决定等价性,收敛域决定有效性。
41
+ >
42
+ > Key question: **Under what conditions does T⁻¹ exist?** This is the most essential mathematical question of transformation — existence determines equivalence, convergence domain determines validity.
43
+ >
44
+ > 变换的核心性质:
45
+ > - **等价性**:变换前后的问题是等价的(信息不丢失),要求 T⁻¹ 存在 / **Equivalence**: the problem before and after transform is equivalent (no information loss), requiring T⁻¹ to exist
46
+ > - **简化性**:变换后的问题更容易处理 / **Simplification**: the problem is easier to handle after transform
47
+ > - **可逆性**:T⁻¹ 存在且可计算时,变换是等价的而非近似的 / **Invertibility**: when T⁻¹ exists and is computable, the transform is equivalent rather than approximate
48
+
49
+ ## 不适用场景 / When NOT to Use
50
+
51
+ - **问题已经足够简单**——不需要变换 `[通用]` / The problem is already simple enough — no transformation needed `[General]`
52
+ - **变换会丢失关键信息**(如不可逆变换且丢失的信息正是关心的)——需要选择保信息的变换 `[科研]` / Transformation loses critical information — choose an information-preserving transform `[Research]`
53
+ - **只需要定性理解**——变换通常是定量工具 `[科研]` / Only qualitative understanding is needed — transformation is typically a quantitative tool `[Research]`
54
+ - **收敛条件不满足**——强行变换会产生无意义结果 `[科研]` / Convergence conditions are not met — forcing a transform yields meaningless results `[Research]`
55
+ - **换视角变成逃避现实**——不是所有问题换个角度就能解决,切换视角的前提是新视角确实能简化问题 `[生活]` / Perspective-switching becomes escapism — not all problems become easier from a different angle; the premise is that the new perspective genuinely simplifies `[Life]`
56
+ - **新视角的结论回不到原问题**——视角切换必须可逆,否则你只是在另一个世界里自嗨 `[生活]` / Conclusions from the new perspective can't translate back — perspective switching must be reversible, otherwise you're just wandering in another world `[Life]`
57
+
58
+ ## 何时使用 / When to Use
59
+
60
+ ### 科研触发条件 / Research Triggers
61
+
62
+ - 一个问题在当前形式下难以分析或求解 / A problem is hard to analyze or solve in its current form
63
+ - 想要揭示数据的隐藏结构(如周期信号→频谱) / Revealing hidden structure in data (e.g., periodic signal → frequency spectrum)
64
+ - 需要将复杂运算简化为简单运算(如卷积→乘法) / Simplifying complex operations (e.g., convolution → multiplication)
65
+ - 需要将非线性问题线性化 / Linearizing nonlinear problems
66
+ - 需要解耦耦合变量 / Decoupling coupled variables
67
+
68
+ ### 生活触发条件 / Life Triggers
69
+
70
+ - 当前视角下问题显得无解或过于复杂,直觉告诉你换个角度看会不同 / The problem seems unsolvable or overly complex from the current angle, and intuition suggests a different perspective could help
71
+ - 反复尝试同一方法失败,需要跳出思维惯性 / Repeated failures with the same approach — need to break out of thinking inertia
72
+ - 问题包含了多个相互纠缠的要素,换个视角可能让纠缠变清晰 / Multiple intertwined factors in the problem — a different perspective may untangle them
73
+ - 需要把短期困扰放到长期视野中理解 / Need to understand a short-term difficulty in a long-term perspective
74
+
75
+ ## 方法流程 / Method
76
+
77
+ ### 第一步:分析当前表示的困难 / Step 1: Analyze Difficulty in Current Representation
78
+
79
+ #### 科研模式 / Research Mode
80
+
81
+ 为什么当前形式难以处理?/ Why is the current form hard to handle?
82
+ - 运算复杂?(如微分方程直接求解困难)/ Complex operations? (e.g., solving differential equations directly)
83
+ - 结构不清晰?(如时域看不出周期性)/ Unclear structure? (e.g., periodicity invisible in time domain)
84
+ - 变量耦合?(如多变量相互依赖)/ Coupled variables? (e.g., mutual dependencies among variables)
85
+
86
+ #### 生活模式 / Life Mode
87
+
88
+ 当前视角下问题的困难在哪?是什么让你觉得棘手——是太复杂、太模糊、还是方向不对?/ What is the difficulty in the current perspective? What makes it feel tricky — is it too complex, too vague, or is the direction wrong?
89
+
90
+ #### 共通要点 / Common Insight
91
+
92
+ 明确"困难在哪里"是选择变换的前提。不诊断困难就选变换,是盲目操作。/ Identifying "where the difficulty lies" is the prerequisite for choosing a transformation. Choosing a transform without diagnosing the difficulty is blind operation.
93
+
94
+ ### 第二步:选择变换 / Step 2: Choose the Transformation
95
+
96
+ #### 科研模式 / Research Mode
97
+
98
+ 根据困难类型选择变换,每种变换必须检查其公式、域映射、收敛条件与简化效果。/ Choose based on difficulty type; for each transform, check formula, domain mapping, convergence conditions, and simplification effect.
99
+
100
+ | 变换 / Transform | 公式 / Formula | 域映射 / Domain Mapping | 收敛/有效性条件 / Convergence/Validity | 简化效果 / Simplification |
101
+ |---|---|---|---|---|
102
+ | 傅里叶变换 Fourier | F(ω) = ∫₋∞⁺∞ f(t)e⁻ⁱωᵗdt | t ∈ ℝ → ω ∈ ℝ | Dirichlet条件:f绝对可积、有限极值点数、有限间断点数 | 微分→乘法,卷积→乘法 |
103
+ | 拉普拉斯变换 Laplace | F(s) = ∫₀⁺∞ f(t)e⁻ˢᵗdt | t ∈ [0,∞) → s ∈ ℂ, Re(s)>α | ∃α: ∫₀⁺∞ |f(t)|e⁻αᵗdt < ∞ (Re(s)>α 时收敛) | 常系数ODE→代数方程,含初值 |
104
+ | Z变换 Z-transform | F(z) = Σₙ₌₀⁺∞ f[n]z⁻ⁿ | n ∈ ℕ → z ∈ ℂ, |z|>R | ∃R: Σ|f[n]|R⁻ⁿ < ∞ (|z|>R 时收敛) | 差分方程→代数方程 |
105
+ | 生成函数 Generating | G(x) = Σₙ₌₀⁺∞ aₙxⁿ | n ∈ ℕ → x ∈ ℝ, |x|<ρ | ∃ρ: Σ|aₙ|ρⁿ收敛 (|x|<ρ时) | 递推关系→微分方程 |
106
+ | Legendre变换 Legendre | f*(p) = supₓ(px − f(x)) | x → p = f'(x) | f凸且可微时 p↔x 一一对应 | 凸优化→对偶问题,Lagrange力学→Hamilton力学 |
107
+ | 小波变换 Wavelet | W(a,b) = ∫ f(t)ψₐᵇ(t)dt, ψₐᵇ=(1/√a)ψ((t−b)/a) | t ∈ ℝ → (a,b) ∈ ℝ⁺×ℝ | f ∈ L²(ℝ), ψ容许:∫|Ψ(ω)|²/|ω|dω<∞ | 时频局部化,多尺度分析 |
108
+
109
+ #### 生活模式 / Life Mode
110
+
111
+ 有没有一个完全不同的视角让问题变得简单?常见的视角切换:/ Is there a completely different perspective that makes the problem simple? Common perspective switches:
112
+
113
+ - **时间→频率**(看趋势而非细节)/ **Time → Frequency**: see trends rather than details
114
+ - **局部→整体**(看大图而非细节)/ **Local → Global**: see the big picture rather than details
115
+ - **过程→结果**(看终点而非路径)/ **Process → Outcome**: see the destination rather than the path
116
+ - **表面→本质**(看结构而非外观)/ **Surface → Essence**: see structure rather than appearance
117
+
118
+ #### 共通要点 / Common Insight
119
+
120
+ 变换的选择必须针对第一步诊断的困难。不同困难对应不同变换。/ The transformation must target the difficulty diagnosed in Step 1. Different difficulties correspond to different transformations.
121
+
122
+ ### 第三步:执行变换 / Step 3: Apply the Transformation
123
+
124
+ #### 科研模式 / Research Mode
125
+
126
+ 将问题变换到新的表示空间,严格按公式执行。/ Transform the problem to the new representation space, executing strictly by formula.
127
+
128
+ #### 生活模式 / Life Mode
129
+
130
+ 在新视角下重新描述你的问题——同一个问题用不同语言讲述时,困难可能消失了。/ Redescribe your problem under the new perspective — when the same problem is told in a different language, the difficulty may vanish.
131
+
132
+ #### 共通要点 / Common Insight
133
+
134
+ 变换/视角切换不是逃避问题,而是用一种更有效的语言重新表达同一个问题。/ Transformation/perspective-switching is not escaping the problem but re-expressing the same problem in a more effective language.
135
+
136
+ ### 第四步:验证收敛与域条件 / Step 4: Verify Convergence and Domain Conditions
137
+
138
+ #### 科研模式 / Research Mode
139
+
140
+ **在应用变换结果之前,必须验证收敛条件是否满足。** / **Before applying transform results, convergence conditions must be verified.**
141
+
142
+ - 傅里叶变换:检查 f(t) 是否满足 Dirichlet 条件(绝对可积 ∫|f(t)|dt < ∞,有限极值点,有限间断点);不满足则 F(ω) 无意义
143
+ - 拉普拉斯变换:确定收敛域 Re(s) > α;所有运算必须在收敛域内进行,F(s) 在收敛域外无定义
144
+ - Z变换:确定收敛域 |z| > R;逆变换依赖收敛域的选择
145
+ - 生成函数:确定收敛半径 ρ;|x| < ρ 时级数才有意义
146
+ - 小波变换:验证母小波 ψ 的容许条件 ∫|Ψ(ω)|²/|ω|dω < ∞
147
+
148
+ #### 生活模式 / Life Mode
149
+
150
+ 这个新视角在什么条件下才有效?不是所有问题换个角度就能解决——确认你的问题满足视角切换的前提。/ Under what conditions is this new perspective valid? Not all problems become solvable by changing angle — confirm your problem satisfies the prerequisites for perspective switching.
151
+
152
+ #### 共通要点 / Common Insight
153
+
154
+ 任何变换/视角切换都有适用条件。跳过这一步是最大的错误来源。/ Any transformation/perspective switch has applicability conditions. Skipping this step is the biggest source of error.
155
+
156
+ ### 第五步:在变换空间求解 / Step 5: Solve in the Transformed Space
157
+
158
+ #### 科研模式 / Research Mode
159
+
160
+ 在新表示下,问题往往变得更简单。所有运算必须在变换的有效域内进行。/ In the new representation, the problem is often simpler. All operations must stay within the transform's valid domain.
161
+
162
+ #### 生活模式 / Life Mode
163
+
164
+ 在新视角下分析——原来难以看到的模式、结构、解决方案可能变得一目了然。/ Analyze under the new perspective — patterns, structures, and solutions that were hard to see may become immediately clear.
165
+
166
+ #### 共通要点 / Common Insight
167
+
168
+ 变换空间/新视角的价值在于让原本隐蔽的结构变得可见。/ The value of the transformed space / new perspective is making previously hidden structures visible.
169
+
170
+ ### 第六步:逆变换回原空间 / Step 6: Inverse Transform Back
171
+
172
+ #### 科研模式 / Research Mode
173
+
174
+ 将解逆变换回原问题的语言。逆变换的存在性需要条件:/ Translate the solution back via inverse transform. Inverse existence requires conditions:
175
+
176
+ - 傅里叶逆变换:f(t) = (1/2π)∫₋∞⁺∞ F(ω)eⁱωᵗdω,需要 F(ω) 绝对可积
177
+ - 拉普拉斯逆变换:f(t) = (1/2πi)∫ᵧ₋ⁱ∞ᵧ₊ⁱ∞ F(s)eˢᵗds (Bromwich积分),γ > α 确保积分路径在收敛域右侧
178
+ - Z逆变换:f[n] = (1/2πi)∮ F(z)zⁿ⁻¹dz,围道必须在收敛域内
179
+ - 生成函数逆映射:aₙ = G⁽ⁿ⁾(0)/n!(泰勒展开系数),或 [xⁿ]G(x)
180
+
181
+ #### 生活模式 / Life Mode
182
+
183
+ 把新视角的结论翻译回原来的问题语言——确保换角度看问题不是逃避,而是真的找到了解决路径。/ Translate conclusions from the new perspective back into the original problem's language — ensure that perspective-switching is not escapism but a genuine solution path.
184
+
185
+ #### 共通要点 / Common Insight
186
+
187
+ 变换只是手段,最终答案必须在原空间。逆变换/翻译回原问题这一步不可省略。/ Transformation is only a tool; the final answer must be in the original space. The inverse transform / translation-back step cannot be omitted.
188
+
189
+ ### 第七步:验证等价性 / Step 7: Verify Equivalence
190
+
191
+ #### 科研模式 / Research Mode
192
+
193
+ 确认变换过程没有丢失关键信息,逆变换的结果确实是原问题的解。检查:/ Confirm no critical information was lost, and the inverse result is indeed the solution. Check:
194
+ - 逆变换是否在收敛域内执行 / Was inverse executed within convergence domain?
195
+ - 原函数是否满足变换的前置条件 / Does the original function satisfy transform prerequisites?
196
+ - 边界条件/初值条件是否被正确编码 / Were boundary/initial conditions correctly encoded?
197
+
198
+ #### 生活模式 / Life Mode
199
+
200
+ 验证切换视角没有丢失关键信息——新视角的结论回到原问题时,是否真的解决了原问题?/ Verify that perspective-switching did not lose critical information — when the conclusion from the new perspective returns to the original problem, does it genuinely solve it?
201
+
202
+ #### 共通要点 / Common Insight
203
+
204
+ 等价性是变换思想的底线。变换/视角切换必须是可验证的等价操作,而非近似或逃避。/ Equivalence is the baseline of transformation thinking. A transformation / perspective switch must be a verifiable equivalent operation, not an approximation or escapism.
205
+
206
+ ## 常见错误 / Common Errors
207
+
208
+ | 错误 / Error | 批评 / Critique | 正确做法 / Correct Approach |
209
+ |---|---|---|
210
+ | 选择不合适的变换 `[科研]` / Choosing an unsuitable transform `[Research]` | 变换没有简化问题,反而增加复杂度 / Transform adds complexity instead of simplifying | 根据问题特征选择变换 / Choose transform based on problem characteristics |
211
+ | 使用不可逆变换且丢失信息 `[科研]` / Using irreversible transform that loses information `[Research]` | 变换后无法回到原问题 / Cannot return to original problem after transform | 检查变换是否可逆,或确认丢失的信息不重要 / Verify invertibility or confirm lost info is irrelevant |
212
+ | 忘记逆变换 `[通用]` / Forgetting the inverse transform `[General]` | 在新空间得到解后忘记变回来 / Solution in new space not translated back | 变换只是手段,最终答案必须在原空间 / Transform is a tool; final answer must be in original space |
213
+ | 变换后忽略定义域变化 `[科研]` / Ignoring domain changes after transform `[Research]` | 变换可能改变定义域或引入奇异点 / Transform may change domain or introduce singularities | 检查变换后的定义域和边界条件 / Check transformed domain and boundary conditions |
214
+ | 把变换当魔法 `[通用]` / Treating transform as magic `[General]` | 变换只是换了表示,没有改变问题本质 / Transform only changes representation, not the problem itself | 变换是工具,理解力才是核心 / Transform is a tool; understanding is fundamental |
215
+ | 对不可积函数用傅里叶变换 `[科研]` / Applying Fourier transform to non-integrable functions `[Research]` | ∫|f(t)|dt = ∞ 时 F(ω) 可能不存在或无意义 / F(ω) may not exist or be meaningless when ∫|f(t)|dt = ∞ | 先检查 Dirichlet 条件,不满足时考虑广义函数或Laplace / Check Dirichlet conditions first; if unsatisfied, use generalized functions or Laplace |
216
+ | 忽略Laplace收敛域 `[科研]` / Ignoring Laplace convergence domain `[Research]` | F(s)仅在Re(s)>α有定义,域外运算无意义 / F(s) is defined only for Re(s)>α; operations outside are meaningless | 明确收敛域,所有运算限制在Re(s)>α内 / Specify convergence domain; restrict all operations to Re(s)>α |
217
+ | 假设所有变换可逆 `[科研]` / Assuming all transforms are invertible `[Research]` | 部分变换在特定条件下不可逆(如非凸函数的Legendre变换) / Some transforms are non-invertible under certain conditions | 验证可逆条件后再执行逆变换 / Verify invertibility conditions before applying inverse |
218
+ | 忽略离散变换(DFT/FFT) `[科研]` / Ignoring discrete transforms (DFT/FFT) `[Research]` | 连续变换不适用于离散数据,强行使用引入误差 / Continuous transforms unsuitable for discrete data; forced use introduces error | 对离散数据使用DFT: X[k]=Σx[n]e⁻ⁱ2πkn/N / Use DFT for discrete data |
219
+ | 换视角变成逃避现实 `[生活]` / Perspective-switching becomes escapism `[Life]` | 不是换个角度看就能解决所有问题,逃避不等于变换 / Not all problems are solved by changing perspective; escapism ≠ transformation | 确认新视角确实简化了问题,而非回避了问题 / Confirm the new perspective genuinely simplifies, rather than avoids, the problem |
220
+ | 新视角的结论回不到原问题 `[生活]` / Conclusions from new perspective can't translate back `[Life]` | 在新视角里找到了"答案"但无法落实到原问题的行动中 / Found an "answer" in the new perspective but can't translate it into actions for the original problem | 确保视角切换是可逆的——必须能翻译回原问题的语言 / Ensure perspective switch is reversible — must be able to translate back into the original problem's language |
221
+ | 强行套用不适用的视角 `[生活]` / Forcing an inapplicable perspective `[Life]` | 不是所有视角切换都有效,前提条件不满足时换视角毫无意义 / Not all perspective switches are effective; when prerequisites fail, switching is meaningless | 先验证新视角的适用条件(第四步不可跳过) / Verify applicability conditions of the new perspective first (Step 4 cannot be skipped) |
222
+
223
+ ## 操作规程 / Operating Procedure
224
+
225
+ 当本 skill 被触发时,首先判断模式:/ When this skill is triggered, first determine the mode:
226
+
227
+ - **科研模式**:涉及数学推导、方程求解、信号处理等定量问题 → 使用科研模式输出格式 / **Research Mode**: involves mathematical derivation, equation solving, signal processing, etc. → use Research output format
228
+ - **生活模式**:涉及日常问题解决、视角切换、困难重构等定性问题 → 使用生活模式输出格式 / **Life Mode**: involves daily problem-solving, perspective switching, difficulty reframing, etc. → use Life output format
229
+
230
+ ---
231
+
232
+ ### 科研模式输出格式 / Research Mode Output Format
233
+
234
+ 1. **当前表示的困难**:描述为什么当前形式难以处理 `[困难]: [描述]`
235
+ 2. **变换选择**:`[变换]: [选择] 因为 [理由],公式为 [公式],收敛条件为 [条件],预期简化效果是 [效果]`
236
+ 3. **变换执行**:描述变换后的问题形式
237
+ 4. **收敛与域条件验证**:`[验证]: [条件是否满足,收敛域是什么]`
238
+ 5. **变换空间中的求解**:在新表示下的解法
239
+ 6. **逆变换**:将解翻译回原空间,注明逆变换条件
240
+ 7. **等价性验证**:验证变换是否可逆、是否丢失信息、收敛域是否正确
241
+
242
+ **输出必须包含以上 7 项,不得只输出分析性文字而不给出结论。每项必须含具体数学内容,不得仅写概述。**
243
+
244
+ ---
245
+
246
+ ### 生活模式输出格式 / Life Mode Output Format
247
+
248
+ 1. **[当前困难]: [描述]** — 当前视角下问题的核心困难是什么 / What is the core difficulty under the current perspective
249
+ 2. **[新视角]: [切换方向]** — 选择一个不同的视角(时间→频率、局部→整体、表面→本质等) / Choose a different perspective (time→frequency, local→global, surface→essence, etc.)
250
+ 3. **[新视角下的分析]: [洞察]** — 在新视角下问题呈现什么新特征 / What new features does the problem reveal under the new perspective
251
+ 4. **[视角有效性]: [条件]** — 这个新视角在什么条件下才有效 / Under what conditions is this new perspective valid
252
+ 5. **[回到原问题]: [翻译]** — 把新视角的结论翻译回原问题语言 / Translate conclusions from the new perspective back into the original problem's language
253
+ 6. **[行动建议]: [具体步骤]** — 明确写出"接下来我将……" / Explicitly write out "Next I will..."
254
+
255
+ **输出必须包含以上 6 项,不得只输出感悟性文字而不给出行动建议。每项必须含具体内容,不得仅写抽象原则。**
256
+
257
+ ## 与其他 skill 的关系 / Relations to Other Skills
258
+
259
+ - **抽象化思想**:变换也是一种抽象——在新的结构中表示同一个对象
260
+ - **对称与不变性**:变换下保持不变的性质就是对变换的对称性
261
+ - **优化思想**:变换到对偶空间有时使优化更容易
262
+ - **建模思想**:变换常常是模型求解的关键步骤
263
+ - **算法思想**:FFT将DFT的O(N²)复杂度降为O(N log N),是变换思想在计算效率上的体现
264
+ - **信息论思想**:编码即变换——信源编码将信息变换为高效表示,信道编码变换为抗干扰表示
@@ -0,0 +1,216 @@
1
+ # 数学出处与经典文献 / Mathematical Sources and Classic Texts
2
+
3
+ ## 傅里叶变换 / Fourier Transform (1822)
4
+
5
+ > "任何周期函数都可以表示为正弦函数和余弦函数的无穷级数。"
6
+ > "Any periodic function can be expressed as an infinite series of sine and cosine functions."
7
+
8
+ 傅里叶级数:f(x) = a₀/2 + Σ[aₙcos(nx) + bₙsin(nx)]
9
+
10
+ 傅里叶变换:F(ω) = ∫f(t)e^(-iωt)dt
11
+
12
+ **核心思想**:时域中的复杂信号在频域中可能很简单。变换的力量在于改变了问题的表示方式。
13
+
14
+ **变换的魔术效果**:
15
+ - 时域中的卷积 = 频域中的乘法
16
+ - 时域中的微分 = 频域中的乘法(乘以 iω)
17
+ - 这使得微分方程可以转化为代数方程
18
+
19
+ **出处**:Joseph Fourier, *Théorie analytique de la chaleur* (1822) — 最初为热传导问题而发展,其影响远远超出了热力学。
20
+
21
+ ## 快速傅里叶变换 / FFT — Cooley-Tukey Algorithm (1965)
22
+
23
+ > O(n log n) vs O(n²):从此,傅里叶变换从理论工具变为工程现实。
24
+ > O(n log n) vs O(n²): Fourier transform went from theoretical tool to engineering reality.
25
+
26
+ **核心思想**:利用分治策略将离散傅里叶变换(DFT)的复杂度从 O(n²) 降低到 O(n log n)。对于 n = 10⁶ 的数据,加速约 10⁶/log(10⁶) ≈ 50000 倍。
27
+
28
+ **历史背景**:Cooley & Tukey (1965) 的论文使 FFT 广为人知,但相同思想可追溯至 Gauss (1805)。被广泛认为是 **20世纪最重要的数值算法** / the most important numerical algorithm of the 20th century。
29
+
30
+ **应用**:信号处理、图像压缩(JPEG)、频谱分析、大整数乘法、偏微分方程数值解。
31
+
32
+ ## 拉普拉斯变换 / Laplace Transform (1780s)
33
+
34
+ > L{f(t)} = ∫₀^∞ f(t)e^(-st)dt
35
+
36
+ **核心思想**:将微分方程转化为代数方程,求解后再逆变换回来。与傅里叶变换相比,拉普拉斯变换能处理不收敛的函数(通过引入收敛因子 e^(-st))。
37
+
38
+ **出处**:Laplace 在 1780s 发展此变换用于概率论,后由 Heaviside 系统应用于电路分析。
39
+
40
+ ## 小波变换 / Wavelet Transform — Morlet (1980s), Daubechies (1988)
41
+
42
+ > 傅里叶变换告诉你"有什么频率",小波变换还告诉你"什么时候有"。
43
+ > Fourier tells you "what frequencies exist"; wavelets also tell you "when they exist."
44
+
45
+ **核心思想**:傅里叶变换只有频率分辨率没有时间分辨率;小波变换通过可缩放、可平移的基函数实现 **时频局部化** / time-frequency localization。
46
+
47
+ **历史**:Morlet (1982) 在地震信号分析中提出连续小波变换;Daubechies (1988) 构造了紧支撑正交小波基,使离散小波变换成为现实。
48
+
49
+ **数学意义**:小波基不是单一的三角函数族,而是由一个母小波 ψ 通过缩放和平移生成:ψ_{a,b}(t) = |a|^(-1/2) ψ((t-b)/a)。多分辨率分析(MRA)提供了统一的数学框架。
50
+
51
+ ## 勒让德变换 / Legendre Transform
52
+
53
+ > 凸分析中的对偶变换:将一个凸函数的描述从"值"转为"斜率"。
54
+ > The duality transform in convex analysis: describes a convex function by its slopes instead of its values.
55
+
56
+ f*(p) = sup_x [px - f(x)]
57
+
58
+ **核心思想**:对于凸函数,"函数值"和"导数(斜率)"携带相同信息——它们是对偶描述。这是数学中 **对偶性** / duality 的核心实例。
59
+
60
+ **物理中的双重角色**:
61
+ - **热力学**:熵 S ↔ 自由能 F(通过温度 T 对偶);内能 ↔ 吉布斯能
62
+ - **力学**:拉格朗日量 L(v,q) ↔ 哈密顿量 H(p,q)(通过 v ↔ p 对偶)
63
+ - **优化**:原问题 ↔ 对偶问题(拉格朗日对偶)
64
+
65
+ **出处**:Legendre (1787) 在最小曲面问题中引入;此后成为凸分析和变分学的基石。
66
+
67
+ ## 生成函数 / Generating Functions — Euler (1748), Laplace
68
+
69
+ > 将序列编码为幂级数的系数,卷积运算变成乘法运算。
70
+ > Encode a sequence as coefficients of a power series; convolution becomes multiplication.
71
+
72
+ G(x) = Σ aₙxⁿ
73
+
74
+ **核心思想**:一个无穷序列 {a₀, a₁, a₂, ...} 被压缩为一个函数 G(x)。序列的递推关系变成函数的微分方程;两个序列的卷积变成两个函数的乘积。
75
+
76
+ **经典应用**:
77
+ - **组合计数**:Euler 用生成函数解决分割数问题; partitions of integers
78
+ - **概率论**:矩生成函数 M(t) = E[e^(tX)],特征函数 φ(t) = E[e^(itX)]
79
+ - **数论**:Riemann ζ 函数本质上是素数分布的生成函数
80
+ - **递推求解**:斐波那契递推 → 生成函数 → 闭式解
81
+
82
+ **出处**:Euler, *Introductio in analysin infinitorum* (1748);Laplace 在概率论中系统使用。
83
+
84
+ ## 保角映射 / Conformal Mapping — Riemann Mapping Theorem (1851)
85
+
86
+ > 任何单连通区域都可以保角映射到单位圆盘。
87
+ > Any simply connected domain can be conformally mapped onto the unit disk.
88
+
89
+ **核心思想**:保角映射保持角度和局部形状,但可以扭曲大小和全局形状。在复解析函数 f(z) 下,无穷小圆仍为圆,只是缩放和旋转。
90
+
91
+ **数学基础**:Riemann 映射定理 (1851) — 复分析中最深刻的结果之一,保证了映射的存在性。
92
+
93
+ **应用**:
94
+ - **2D 边值问题**:将复杂边界区域映射为简单区域(圆/半平面),在那里求解后映射回来
95
+ - **流体力学**:势流问题的经典解法
96
+ - **空气动力学**:翼型设计(Joukowski 变换 z → z + 1/z)
97
+ - **静电学**:复杂几何下的电势计算
98
+
99
+ ## Z变换 / Z-Transform — Discrete Counterpart of Laplace
100
+
101
+ > X(z) = Σ x[n]z^(-n) — 采样世界中的拉普拉斯变换。
102
+ > X(z) = Σ x[n]z^(-n) — the Laplace transform for the sampled world.
103
+
104
+ **核心思想**:拉普拉斯变换处理连续时间信号 s = σ + iω;Z变换处理离散时间信号 z = re^(iω)。令 z = e^(sT) 即可联系两者。
105
+
106
+ **数字信号处理中的核心地位**:
107
+ - 系统稳定性判断:单位圆 |z| = 1 对应频率轴,极点在圆内 = 稳定
108
+ - 数字滤波器设计:FIR / IIR 滤波器的传递函数直接用 Z 变换表示
109
+ - 差分方程 → 代数方程(与拉普拉斯变换将微分方程 → 代数方程完全类比)
110
+
111
+ **历史**:1947年由 Hurewicz 等人在采样数据控制系统中引入;名称 "Z-transform" 由 Ragazzini & Zadeh (1952) 给出。
112
+
113
+ ## Plancherel 定理 / Parseval 定理 — Transforms Preserve Information
114
+
115
+ > ∫|f(t)|²dt = ∫|F(ω)|²dω — 能量在时域和频域中守恒。
116
+ > Energy is conserved between time domain and frequency domain.
117
+
118
+ **核心思想**:好的变换不丢失信息——变换前后,总能量(L² 范数的平方)完全相等。这意味着变换是 **等距映射** / isometry。
119
+
120
+ **Parseval 定理** (1799):傅里叶级数形式 — Σ|aₙ|² + Σ|bₙ|² = (1/π)∫|f(x)|²dx
121
+
122
+ **Plancherel 定理** (1910):傅里叶变换形式 — ∫|f|² = ∫|F|²,给出变换在 L² 空间上的酉性 / unitarity。
123
+
124
+ **哲学含义**:可逆变换保证信息守恒——我们可以自由切换视角而不丢失任何东西。这是变换思想中 "可逆性" 的数学基础。
125
+
126
+ ## Mellin 变换 / Mellin Transform — Scaling Analysis
127
+
128
+ > M{f}(s) = ∫₀^∞ f(t)t^(s-1)dt — 尺度变换下的傅里叶变换。
129
+ > The Fourier transform under scaling changes.
130
+
131
+ **核心思想**:令 t = e^(-x),Mellin 变换就变成傅里叶变换。它天然地与 **缩放** / scaling 运算对偶——函数 f(at) 在 Mellin 空间中仅乘以 a^(-s)。
132
+
133
+ **核心应用**:
134
+ - **解析数论**:Riemann ζ 函数的 Mellin 变换表示是素数计数函数的桥梁
135
+ - **渐近分析**:Mellin 变换方法可提取函数的渐近展开(主项+修正项)
136
+ - **分形与自相似性**:自相似函数在 Mellin 空间中有特别简单的表示
137
+
138
+ **出处**:Hjalmar Mellin (1904) 系统发展;更早可追溯至 Euler 对 ζ 函数的研究。
139
+
140
+ ## Radon 变换 / Radon Transform (1917) — Mathematical Basis of CT Scanning
141
+
142
+ > 将函数沿直线积分,得到其"投影";逆变换从投影重建原函数。
143
+ > Integrate a function along lines to get "projections"; inverse transform reconstructs the original from projections.
144
+
145
+ R{f}(θ, s) = ∫ f(x·nθ + tnθ⊥)dt (沿方向 θ 的线积分)
146
+
147
+ **核心思想**:一个物体的所有方向的投影包含了足够的信息来完全重建该物体。这是 **层析成像** / tomography 的数学基础。
148
+
149
+ **历史与应用**:
150
+ - **Radon** (1917):纯数学论文,证明了逆变换的存在性和唯一性
151
+ - **Cormack** (1963-64):独立重新发现,应用于医学成像
152
+ - **Hounsfield** (1971):发明 CT 扫描仪,两人共获 1979 年诺贝尔医学奖
153
+ - **地震学**:反射地震数据的速度重建
154
+
155
+ ## 坐标变换 / Coordinate Transformation
156
+
157
+ **极坐标**:(x, y) → (r, θ),适用于旋转对称问题
158
+ **球坐标**:(x, y, z) → (r, θ, φ),适用于球对称问题
159
+ **傅里叶空间**:时间信号 → 频率表示
160
+
161
+ **核心思想**:选择合适的坐标系,可以让复杂的问题变得简单。
162
+
163
+ ## 对角化 / Diagonalization (线性代数)
164
+
165
+ > 对于一个可对角化的矩阵 A,存在可逆矩阵 P 使得 P⁻¹AP = D(对角矩阵)。
166
+
167
+ **核心思想**:在特征向量基下,线性变换变得最简单——每个坐标方向独立缩放。
168
+
169
+ ## Jordan 标准形 / Jordan Normal Form — Non-Diagonalizable Matrices
170
+
171
+ > 不可对角化的矩阵怎么办?Jordan 标准形是最接近对角化的形式。
172
+ > What if a matrix cannot be diagonalized? Jordan form is the closest thing to diagonal.
173
+
174
+ A = PJP⁻¹, J = diag(J₁, J₂, ...), Jₖ = λₖI + Nₖ(λₖ 为特征值,Nₖ 为幂零矩阵)
175
+
176
+ **核心思想**:当矩阵没有足够的独立特征向量(几何重数 < 代数重数)时,Jordan 块引入了"近似特征向量"——广义特征向量链。幂零部分 Nₖ 使得迭代 Aⁿ 的行为可以被精确计算。
177
+
178
+ **出处**:Camille Jordan (1870), *Traité des substitutions et des équations algéraiques*。
179
+
180
+ **应用**:线性 ODE 系统的解(特别是有重根的情况)、矩阵指数 e^(At) 的计算、线性递推的显式解。
181
+
182
+ ## 特征值理论与谱理论 / Eigenvalue Theory & Spectral Theory — Mathematical Heart of Transformation
183
+
184
+ > 特征值是变换的"DNA"——它们决定了变换的本质行为。
185
+ > Eigenvalues are the "DNA" of a transformation — they determine its essential behavior.
186
+
187
+ Av = λv
188
+
189
+ **谱定理** (Hilbert, 1909-1912):自伴算子有实谱,且可以被谱分解——连续维度的"对角化"。
190
+
191
+ **核心思想**:
192
+ - **有限维**:矩阵的特征值决定稳定性(|λ|<1 收敛)、振荡性(λ 虚部)、增长率(λ 实部)
193
+ - **无限维**:谱理论将特征值推广到 Hilbert 空间上的自伴算子,量子力学中可观测量 = 自伴算子,其谱 = 可能的测量值
194
+ - **稳定性分析**:所有动力系统的稳定性归结为谱的位置
195
+
196
+ **关键定理**:
197
+ - **Gershgorin 圆定理** (1931):特征值的几何定位
198
+ - **Courant-Fischer 极小-极大定理**:特征值的变分刻画
199
+ - **Weyl 不等式**:矩阵扰动下谱的连续性
200
+
201
+ ## 变换的哲学含义
202
+
203
+ > "换一个角度看问题,问题可能就解决了。"
204
+
205
+ 变换思想的深层含义:
206
+ - **表示的相对性**:同一个对象在不同表示下有不同面貌
207
+ - **变换的不变性**:有些东西在变换下保持不变(这就是对称性)
208
+ - **表示的选择**:好的表示让问题简单,坏的表示让问题复杂
209
+ - **可逆性**:理想情况下,变换不丢失信息——我们可以自由切换视角(Plancherel 定理的保证)
210
+
211
+ ## 日常生活中的"变换"
212
+
213
+ - **时间视角变换**:当前的困难,放在 10 年的尺度上看可能微不足道
214
+ - **角色视角变换**:站在对方的角度看问题(本质是坐标变换)
215
+ - **尺度变换**:宏观和微观视角可能揭示不同的规律(Mellin 变换的直觉)
216
+ - **领域变换**:一个问题在一个领域无解,换到另一个领域可能有现成方案(傅里叶:微分→代数;Legendre:力学→力学对偶)