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

rudin-real-complex-analysis

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

インストール方法を見る

含まれるファイル(1)

  • SKILL.md2.6 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.

レビュー

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

同じリポジトリのスキル

概要と使いどころ

WCAG 2.2 AA compliance, ARIA patterns, keyboard navigation, screen reader optimization

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

vibeeval/vibecosystem5332026年8月9日 更新

axe-core integration, WCAG 2.2 AA checklist, keyboard navigation testing, screen reader testing, and ARIA pattern validation.

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

vibeeval/vibecosystem5332026年8月9日 更新

Steam-style achievement system with XP, levels, streaks, and skill trees. Gamifies the development workflow. 25 achievements across 5 categories.

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

vibeeval/vibecosystem5332026年8月9日 更新

Framework for measuring and tracking agent response quality over time. Detects regressions before they reach production. Use when evaluating agent changes, auditing quality, or establishing performance baselines.

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

vibeeval/vibecosystem5332026年8月9日 更新

Agent Context Isolation

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

vibeeval/vibecosystem5332026年8月9日 更新

Agent ve skill dosyalarinin yapisal dogrulamasi. Frontmatter kontrol, naming convention, zorunlu bolum kontrolu, tutarlilik denetimi. Yeni agent/skill eklendiginde veya mevcut dosyalar duzenlediginde otomatik calistirilir.

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

vibeeval/vibecosystem5332026年8月9日 更新

vibeeval のスキルをすべて見る

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