Miara Jordana
Z Wikipedii
 |
Niektóre informacje zawarte w artykule wymagają weryfikacji. Zajrzyj na stronę dyskusji, by dowiedzieć się, jakie informacje budzą wątpliwości. |
Miara Jordana – formalizacja pojęcia rozmiaru, czyli np. długości, pola danej figury, objętości bryły. Nosi ona nazwisko francuskiego matematyka Camille'a Jordana, który wprowadził ją pod koniec dziewiętnastego wieku. Obecnie częściej stosuje się miarę Lebesgue'a będącą uogólnieniem miary Jordana na szerszą klasę zbiorów.
Spis treści |
[edytuj] Miara Jordana dla sum prostokątów
Niech 
będzie przestrzenią kartezjańską. Niech C oznacza iloczyn ograniczonych przedziałów
,
które są domknięte z lewej i otwarte z prawej (przedziały półotwarte są wyborem technicznym; równie dobrze można użyć zbiorów domkniętych albo otwartych). Takie zbiory nazywać się będą n-wymiarowymi prostokątami lub po prostu prostokątami. Miarę Jordana takiego prostokąta definiuje się jako iloczyn długości przedziałów:
Niech S będzie skończoną sumą prostokątów,
-
(1)
, dla dowolnego 
.
Nie można zdefiniować miary Jordana S po prostu jako sumy miar poszczególnych prostokątów, ponieważ może się zdarzyć, że prostokąty będą się na siebie istotnie nakładać. Każdy taki zbiór S może jednak być zapisany jako suma innej skończonej rodziny prostokątów, które są wzajemnie rozłączne, i można zdefiniować miarę Jordana m(S) jako sumę miar tych rozłącznych prostokątów. Można pokazać, że taka definicja miary Jordana zbioru S jest niezależna od reprezentacji S za pomocą skończonej sumy rozłącznych prostokątów. Właśnie w celu dekompozycji na rozłączne zbiory korzysta się z założenia, że prostokąty złożone są z półotwartych przedziałów.
[edytuj] Rozszerzenie na inne zbiory
Należy zauważyć, że zbiór będący iloczynem domkniętych przedziałów,
![[a_1, b_1] \times [a_2, b_2] \times \cdots \times [a_n, b_n]](http://upload.wikimedia.org/math/8/1/6/816c3bccebcd311e478e0d589493ac43.png)
,
nie jest mierzalny za pomocą podanego wcześniej algorytmu. Krokiem kluczowym jest zdefiniowanie zbioru ograniczonego jako mierzalnego w sensie Jordana, jeżeli może być „dobrze przybliżony” przez sumy (1), dokładnie tak jak funkcja jest całkowalna w sensie Riemanna, jeśli może być dobrze przybliżona przez funkcje kawałkami stałe.
Formalnie dla zbioru B określa się jego wewnętrzną miarę Jordana jako
,
a jego miarę zewnętrzną jako
,
gdzie kres dolny i górny brane są po sumach prostokątów S. Mówi się, że zbiór B jest mierzalny w sensie Jordana, jeśli miara wewnętrzna B jest równa mierze zewnętrznej. Wspólna wartość tych dwóch miar nazywana jest wtedy po prostu miarą Jordana zbioru B.
Okazuje się, że wszystkie prostokąty (z brzegiem lub bez) jak również wszystkie kule, sympleksy itd. są mierzalne w sensie Jordana. Również dla dwóch funkcji ciągłych zbiór punktów między wykresami tych funkcji jest mierzalny w sensie Jordana o ile zbiór jest ograniczony i wspólna dziedzina tych funkcji jest mierzalna w sensie Jordana. Dowolna skończona suma lub iloczyn, jak również różnica dwóch zbiorów mierzalnych w sensie Jordana są mierzalne. Można udowodnić, że zbiór ograniczony jest mierzalny w sensie Jordana wtedy i tylko wtedy, jeśli jego brzeg jest mierzalny w sensie Jordana i jest miary zero Jordana.
[edytuj] Miara Lebesgue'a
Ostatnia wspomniana własność znacząco ogranicza typy zbiorów mierzalne w sensie Jordana. Przykładowo zbiór liczb wymiernych zawartych w przedziale [0,1] nie jest wtedy mierzalny w sensie Jordana, ponieważ jego brzegiem jest [0,1], który nie jest miary zero Jordana. Jednakże intuicyjnie zbiór liczb wymiernych jest „mały”, ponieważ jest przeliczalny i powinien mieć zerowy „rozmiar”. Jest to istotnie prawdą, ale tylko wtedy, jeśli miara Jordana zostanie zastąpiona miarą Lebesgue'a. Miara Lebesgue'a zbioru pokrywa się z jego miarą Jordana o ile zbiór ma miarę Jordana. Jednak miara Lebesgue'a zdefiniowana jest dla o wiele szerszej klasy zbiorów, jak np. zbioru liczb wymiernych wspomnianego wcześniej, a także dla zbiorów, które mogą być nieograniczone lub fraktali. Miara Lebesgue'a, w przeciwieństwie do miary Jordana, również jest prawdziwą miarą, tzn. każda przeliczalna suma zbiorów mierzalnych w sensie Lebesgue'a jest mierzalna w sensie Lebesgue'a, co nie jest prawdą, jeżeli słowo „Lebesgue'a” zastąpi się przez „Jordana”.
[edytuj] Źródła
- Emmanuele DiBenedetto: Real analysis. Basel, Szwajcaria: Birkhäuser, 2002. ISBN 0-8176-4231-5.
- Richard Courant, Fritz John: Introduction to Calculus and Analysis Volume II/1: rozdziały 1–4 (Classics in Mathematics). Berlin: Springer. ISBN 3-540-66569-2.
[edytuj] Linki zewnętrzne
- (en) Derwent, John; miara Jordana na MathWorld.
| Polacy są zadowoleni z życia |
|
Systematycznie wzrasta poziom zadowolenia Polaków ze swego życia, a głównym źródłem satysfakcji pozostają od lat sprawy osobiste - wynika z sondażu CBOS.
|
| Izrael będzie kontynuował operację mimo rezolucji ONZ |
|
Armia izraelska będzie kontynuować operację wojskową w Strefie Gazy mimo rezolucji Rady Bezpieczeństwa ONZ nawołującej do całkowite wstrzymanie działań zbrojnych.
|
| Orkiestra zagra po raz siedemnasty! |
|
Kiedy - w najbliższą niedzielę 11 stycznia. Gdzie - na krakowskim Rynku Głównym. Dlaczego - ponieważ początek roku bez Finału Wielkiej Orkiestry Świątecznej Pomocy to rzecz niewyobrażalna!
|
| Prezydent: Polska była europejskim imperium |
|
Trzeba zmienić postrzeganie historii Polski jako "historii ofiary" - mówił prezydent Lech Kaczyński podczas konferencji naukowej pt. "Polskie wyzwania: tożsamość".
|
| Katowice zagrają z Orkiestrą |
|
Druga niedziela w roku to już od 17 lat czas wielkiego narodowego zrywu charytatywnego pod sztandarem Wielkiej Orkiestry Świątecznej Pomocy. Śląski finał zagra pod katowickim Spodkiem.
|