smithery/parcadei

rudin-real-complex-analysis

Problem-solving with Rudin's Real and Complex Analysis textbook

Installation

$ npx skills add smithery/parcadei --skill rudin-real-complex-analysis

Similar popular skills

Related neighbors and high-traction skills in the same topics — useful to compare before installing.

Also in this package

Other skills from smithery/parcadei · top by installs.

npx skills add smithery/parcadei

Browse all from smithery/parcadei

More details

Agent compatibility

Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.

Claude Code Declared
Cursor Not declared
Codex Not declared
GitHub Copilot Not declared
Windsurf Not declared
Gemini CLI Not declared
Cline Not declared
OpenCode Not declared

Skill metadata

Parsed from SKILL.md frontmatter.

Allowed toolsBash, Read
Declared agents claude-code

Package contents

Files included with this skill beyond the listing page.

  • skill md SKILL.md 2,565 B
  • docs SUMMARY.md 98 B

History

  1. First recorded snapshot · 0 installs

SKILL.md

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

  1. Measure/Integration Problem?

- Use Lebesgue dominated convergence - Check Fatou's lemma for liminf/limsup - Apply Fubini-Tonelli for iterated integrals

  1. Complex Analysis Problem?

- Check analyticity via Cauchy-Riemann - For integrals: residue theorem - For mappings: Schwarz lemma, conformal properties

  1. 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.