lebesgue-measure

Umiejętność wspierająca pracę nad problemami z miary Lebesgue'a w teorii miary. Zawiera narzędzia do konstruowania miary zewnętrznej, weryfikacji kryterium Carathéodory'ego, analizy właściwości miary Lebesgue'a oraz zastosowania twierdzeń o regularności. Pozwala na obliczanie sum długości przedziałów, dowodzenie mierzalności zbiorów oraz upraszczanie wyrażeń dotyczących zbiorów Borela. Idealna dla studentów i badaczy zajmujących się teorią miary.

1. Zainstaluj umiejętność w swoim środowisku Claude, dodając ją do katalogu skills projektu Continuous-Claude.

2. 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.

3. 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.

4. 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.

5. 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.

6. 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.