banach-spaces
Strategie rozwiązywania zadań z przestrzeni Banacha w analizie funkcjonalnej
Instalacja
Wybierz klienta i sklonuj repozytorium do odpowiedniego katalogu skilli.
Instalacja
O skillu
Umiejętność wspierająca pracę nad problemami z przestrzeni Banacha w analizie funkcjonalnej. Zawiera strategie decyzyjne do weryfikacji zupełności przestrzeni, stosowania twierdzeń Hahna-Banacha, twierdzenia o otwartym odwzorowaniu, twierdzenia o grafie zamkniętym oraz zasady jednostajnej ograniczoności. Narzędzie wykorzystuje solver Z3 do dowodzenia właściwości matematycznych oraz SymPy do obliczeń norm.
Jak używać
Zainstaluj umiejętność w swoim środowisku Claude, dodając katalog banach-spaces do folderu skills agenta.
Zidentyfikuj typ problemu, który rozwiązujesz: weryfikacja zupełności przestrzeni Banacha, rozszerzanie funkcjonałów liniowych, badanie otwartości odwzorowań, analiza zamkniętości grafu operatora lub ograniczoność rodzin operatorów.
Dla weryfikacji zupełności uruchom komendę z3_solve.py z argumentem "cauchy_sequence implies convergent", aby sprawdzić, czy każdy ciąg Cauchy'ego zbiega w danej przestrzeni.
Jeśli pracujesz z operatorami surjektywnymi, użyj komendy z3_solve.py z argumentem "T_surjective_bounded implies T_open" do wykazania otwartości odwzorowania.
W przypadku analizy grafu operatora zastosuj komendę z3_solve.py z argumentem "graph_closed implies T_bounded" do udowodnienia ograniczoności na podstawie zamkniętości grafu.
Do obliczeń norm wektorów użyj skryptu sympy_compute.py z poleceniem "simplify" i wyrażeniem zawierającym normę, np. "norm(alphax + betay)".