banach-spaces
Problem-solving strategies for banach spaces in functional analysis
Installation
Pick a client and clone the repository into its skills directory.
Installation
About this skill
Problem-solving strategies for banach spaces in functional analysis
How to use
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)".