Rudin's Real and Complex Analysis

SkillAI & models

Lets your agent solve problems from Rudin's Real and Complex Analysis textbook.

Available today. Use it from your connected AI after setup.

Connect ahel once, and every AI you use reads what you have installed.

Then ask your AI: use the Rudin's Real and Complex Analysis skill

About this capability

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

What this skill tells your AI

The instructions your AI receives, as published by parcadei/continuous-claude-v3 in .claude/skills/math/rudin-real-complex-analysis/SKILL.md and read by ahel’s review.

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
  2. Complex Analysis Problem?

    • Check analyticity via Cauchy-Riemann
    • For integrals: residue theorem
    • For mappings: Schwarz lemma, conformal properties
  3. 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

TheoremChapterUse Case
Dominated ConvergenceCh 1Interchange limit and integral
Riesz RepresentationCh 2Identify dual spaces
Cauchy's TheoremCh 10Contour integrals = 0 for analytic
Residue TheoremCh 10Evaluate real integrals
Open MappingCh 5Surjective bounded linear maps

Cognitive Tools Reference

See .claude/skills/math-mode/SKILL.md for full tool documentation.

Signals

GitHub stars
4k
Forks
300
Last commit
Jan 2026
Advanced
Catalog kind
skill
Gateway key
rudin-real-complex-analysis
Source
github.com/parcadei/continuous-claude-v3