L’interface est localisée ; les présentations et documents des Skills sont traduits automatiquement par IA dans votre langue. Le code, les commandes, chemins et termes techniques restent en version originale, et le document de l’auteur fait foi.
Explorer les Skills
Données et recherche · SKILL.md

rudin-real-complex-analysis

rudin-real-complex-analysis

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

Independent GitHub snapshot · Automated classification · Original documentation governs

Documentation de la Skill

GitHub

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

  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.

Skills enregistrées