本文へ移動
cccskills
無料GitHub で公開

rudin-real-complex-analysis

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

インストール方法を見る

含まれるファイル(1)

  • SKILL.md2.5 KB

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

レビュー

まだレビューはありません。使ってみた感想をお寄せください。

同じリポジトリのスキル

概要と使いどころ

Agent Context Isolation

日本語の概要は準備中です。原文の説明を表示しています。

parcadei/Continuous-Claude-v33,9432026年1月27日 更新

Agent Orchestration Rules

日本語の概要は準備中です。原文の説明を表示しています。

parcadei/Continuous-Claude-v33,9432026年1月27日 更新

Agentic Workflow Pattern

日本語の概要は準備中です。原文の説明を表示しています。

parcadei/Continuous-Claude-v33,9432026年1月27日 更新

Guide for integrating Agentica SDK with Claude Code CLI proxy

日本語の概要は準備中です。原文の説明を表示しています。

parcadei/Continuous-Claude-v33,9432026年1月27日 更新

Reference guide for Agentica multi-agent infrastructure APIs

日本語の概要は準備中です。原文の説明を表示しています。

parcadei/Continuous-Claude-v33,9432026年1月27日 更新

Write reliable prompts for Agentica/REPL agents that avoid LLM instruction ambiguity

日本語の概要は準備中です。原文の説明を表示しています。

parcadei/Continuous-Claude-v33,9432026年1月27日 更新

parcadei のスキルをすべて見る

このスキルの問題を報告する