Agent Skills
› parcadei/Continuous-Claude-v3
› rudin-real-complex-analysis
rudin-real-complex-analysis
GitHub辅助解决鲁丁《实分析与复分析》相关数学问题，涵盖测度论、泛函分析及复分析等研究生级别内容。提供决策树指导解题思路，并集成RAG检索、SymPy符号计算及Z3验证工具以支持理论推导与计算。
Trigger Scenarios
需要解决实分析或复分析的学术难题
涉及勒贝格积分、留数定理或泛函分析的理论推导
使用工具验证数学命题或进行符号计算
Install
npx skills add parcadei/Continuous-Claude-v3 --skill rudin-real-complex-analysis -g -y
SKILL.md
Frontmatter
{
"name": "rudin-real-complex-analysis",
"description": "Problem-solving with Rudin's Real and Complex Analysis textbook",
"allowed-tools": [
"Bash",
"Read"
]
}
Rudin's Real and Complex Analysis
Reference skill for Walter Rudin's "Real and Complex Analysis" (3rd Edition) - a graduate-level text covering measure theory, integration, functional analysis, and complex analysis.
When to Use
Use this skill when working on:
- Measure theory and Lebesgue integration
- Lp spaces and functional analysis
- Complex analysis (analytic functions, contour integration, residues)
- Connections between real and complex analysis
Topics Covered
Real Analysis
- Limits and continuity in metric spaces
- Convergence of sequences and series
- Differentiation and integration techniques
- Metric spaces and topology
Complex Analysis
- Analytic functions and Cauchy-Riemann equations
- Contour integration and Cauchy's theorem
- Residue theorem and applications
- Conformal mappings
- Power series representations
Topology
- Topological spaces
- Compactness and connectedness
- Metric space topology
Algebra
- Rings and ideals (in context of function spaces)
Decision Tree
-
Measure/Integration Problem?
- Use Lebesgue dominated convergence
- Check Fatou's lemma for liminf/limsup
- Apply Fubini-Tonelli for iterated integrals
-
Complex Analysis Problem?
- Check analyticity via Cauchy-Riemann
- For integrals: residue theorem
- For mappings: Schwarz lemma, conformal properties
-
Functional Analysis?
- Riesz representation for duals
- Hahn-Banach for extensions
- Open mapping/closed graph theorems
Tool Commands
Query Rudin Content
uv run python scripts/ragie_query.py --query "YOUR_TOPIC measure integration" --partition math-textbooks --top-k 5
SymPy for Symbolic Computation
uv run python scripts/sympy_compute.py integrate "exp(-x**2)" --var x --bounds "0,oo"
Z3 for Verification
uv run python scripts/z3_solve.py prove "forall x, |f(x)| <= M implies bounded"
Key Theorems Reference
| Theorem | Chapter | Use Case |
|---|---|---|
| Dominated Convergence | Ch 1 | Interchange limit and integral |
| Riesz Representation | Ch 2 | Identify dual spaces |
| Cauchy's Theorem | Ch 10 | Contour integrals = 0 for analytic |
| Residue Theorem | Ch 10 | Evaluate real integrals |
| Open Mapping | Ch 5 | Surjective bounded linear maps |
Cognitive Tools Reference
See .claude/skills/math-mode/SKILL.md for full tool documentation.
Version History
- d07ff4b Current 2026-08-20 12:49
