rudin-real-complex-analysis

Umiejętność wspierająca naukę zaawansowanej analizy matematycznej. Obejmuje teorię miary, całkę Lebesgue'a, przestrzenie funkcyjne, analizę zespoloną oraz topologię. Zawiera przewodnik decyzyjny do wyboru odpowiedniego podejścia dla problemów z całkowaniem, funkcjami analitycznymi, twierdzeniami o residuach i mapowaniami konforemnymi. Integruje się z narzędziami do obliczeń symbolicznych i weryfikacji formalnej.

1. Zainstaluj umiejętność w swoim środowisku Claude, dodając ją do katalogu skills. Upewnij się, że masz dostęp do narzędzi Bash i Read zgodnie z konfiguracją umiejętności.

2. Określ typ problemu, który chcesz rozwiązać: czy dotyczy teorii miary i całkowania, analizy zespolonej (funkcje analityczne, całki konturowe, residua), czy analizy funkcjonalnej (przestrzenie Lp, twierdzenia o reprezentacji).

3. Dla problemów związanych z całkowaniem i miarą użyj polecenia zapytania do zawartości Rudina, podając temat w formacie: uv run python scripts/ragie_query.py --query "TWÓJ_TEMAT measure integration" --partition math-textbooks --top-k 5. Zastąp TWÓJ_TEMAT konkretnym zagadnieniem, np. "dominated convergence" lub "Fatou's lemma".

4. Dla obliczeń symbolicznych i weryfikacji wyników zastosuj SymPy, uruchamiając polecenie: uv run python scripts/sympy_compute.py integrate "WYRAŻENIE" --var ZMIENNA --bounds "GRANICE". Na przykład dla całki Gaussa: uv run python scripts/sympy_compute.py integrate "exp(-x**2)" --var x --bounds "0,oo".

5. Jeśli pracujesz nad problemem wymagającym formalnej weryfikacji lub sprawdzenia warunków analityczności (takich jak równania Cauchy'ego-Riemanna), skorzystaj z narzędzia Z3 dostępnego w umiejętności do logicznego dowodzenia i walidacji.

6. Skonsultuj wbudowany przewodnik decyzyjny umiejętności: dla całek wybierz twierdzenie o zdominowanej zbieżności lub lemat Fatou, dla analizy zespolonej sprawdź analityczność i zastosuj twierdzenie o residuach, dla analizy funkcjonalnej użyj reprezentacji Riesza lub twierdzenia Hahna-Banacha.