lebesgue-measure
Problem-solving strategies for lebesgue measure in measure theory
Installation
Pick a client and clone the repository into its skills directory.
Installation
About this skill
Problem-solving strategies for lebesgue measure in measure theory
How to use
Zainstaluj umiejętność w swoim środowisku Claude, dodając ją do katalogu skills projektu Continuous-Claude.
Zidentyfikuj typ problemu z miary Lebesgue'a, nad którym pracujesz: konstrukcja miary zewnętrznej, weryfikacja kryterium Carathéodory'ego, analiza właściwości translacyjnych lub zastosowanie twierdzeń o regularności.
Dla problemów związanych z miarą zewnętrzną użyj komendy obliczeniowej: uruchom skrypt sympy_compute.py z parametrem sum oraz zmienną n, aby obliczyć sumy długości przedziałów pokrywających zbiór.
Dla zadań wymagających dowodu mierzalności zbiorów zastosuj solver Z3, uruchamiając skrypt z poleceniem prove i formułą kryterium Carathéodory'ego, aby zweryfikować warunek mierzalności dla wszystkich zbiorów A.
W przypadku pracy ze zbiorami Borela i operacjami na zbiorach otwartych użyj funkcji simplify w sympy_compute.py, aby uprościć wyrażenia dotyczące przeliczalnych sum zbiorów otwartych.
Pamiętaj o kluczowych właściwościach: miara Lebesgue'a jest niezmiennicza względem translacji, sigma-addytywna na zbiorach mierzalnych, a dla przedziału [a,b] wynosi b minus a.