1841899220

1841899220



Teoria miary z punktu widzenia teorii mnogości 39

zane z ogólnym problemem miary, jednakże zreferujemy je w tym miejscu, by w rozdziale drugim móc ukazać różnicę między sytuacją, gdy miara jest niezmiennicza, a obecną, gdy rzecz dotyczy miar na zbiorach bez żadnej struktury.

Klasyczny wynik Łosia i Marczewskiego [21] orzeka, iż jeśli na tr-ciele

podzbiorów X oki-eślona jest pewna miara m, a zbiór A c X nie należy do 9K, to miarę m można rozszerzyć na cr-ciało generowane przez 9Jłu{J.}. Twierdzenie to zostało poważnie wzmocnione przez Webera [43], który w szczególności wykazał, że jeśli zamiast zbioru {A} rozważyć dowolną rodzinę dobrze uporządkowaną przez inkluzję, to miarę nt można rozszerzyć na a-cialo generowane przez 9CRu.s/. Dodajmy, iż założenia o dobrym uporządkowaniu nie można osłabić, łatwo bowiem skonstruować miarę na pewnym <T-ciele 9JI i przeliczalny łańcuch zbiorów spoza TR, na który miary tej nie można rozszerzyć.

2. Miary niezmiennicze. W rozdziale niniejszym rozpatrywać będziemy miary na zbiorze X, z wyróżnioną grupą G bijekcji na X. Powiemy, że miara m określona na rr-eiele jest G-niezmiennicza, jeśli g(A) e9Jt i m(#(A)) = m(A) dla A e9K i g eG. W przypadku, gdy X jest grupą, a G jest grupą lewych przesunięć w X, miarę G-niezmienniczą na X nazywamy po prostu niezmienniczą.

Zaczniemy od rozważenia niezmienniczej wersji ogólnego problemu miary. Dla grup działających na siebie lewymi przesunięciami ma on rozwiązanie negatywne. Haraziśvili [10], a później niezależnie Erdós i Mauldin [6] udowodnili, że na żadnej grupie nie istnieje uniwersalna ff-skończona miara niezmiennicza. W związku z tym powstał problem, jaką rolę gra w tym twierdzeniu założenie o <r-skończoności. Zupełnie wyeliminować go nie można, wspomniana już bowiem miara znikająca na zbioracli przeliczalnych i przyjmująca wartość oo na nieprzeliczalnych jest oczywiście przesuwalna. Należy się więc ograniczyć do miar, dla których zbiory miary nieskończonej „składają się” (z bardzo wielu być może) zbiorów miary skończonej dodatniej. Trafna z tego punktu widzenia wydaje się następująca definicja: miara jest semiregularna, jeśli każdy zbiór miary dodatniej zawiera podzbiór miary skończonej dodatniej.

Kannan i Raju [17] postawili problem: czy istnieje uniwersalna semiregularna miara niezmiennicza na jakiejkolwiek grupie. Zagadnienie to zostało rozwiązane w pracy Pelca [30] w sposób następujący: miara taka może istnieć jedynie na grupie mocy nie mniejszej niż pierwsza liczba rzeczywiście mierzalna i istnieje na każdej grupie abelowej takiej mocy.

W związku z nieistnieniem uniwersalnych niezmienniczych miar (r-skończonych interesujące wydaje się pytanie o możliwość niezmienniczego rozszerzania takich miar. Haraziśyili [11] pokazał, że na grupie mldytywnej zbioru liczb rzeczywistych każdą c-skończoną miarę nie-



Wyszukiwarka

Podobne podstrony:
Teoria miary z punktu widzenia teorii mnogości 43 już przy okazji miar niezmienniczych. Obecnie wspo
Teoria miary z punktu widzenia teorii mnogości 35 rzalnych w sensie Lebesgue’a wskazują, że trzeba
Teoria miary z punktu widzenia teorii mnogości 37 czonych powyżej rezultatów Ulama wynika, że poszuk
Teoria miary z punktu widzenia teorii mnogości 41 padku quasi-miar. Nie tylko — o czym już wspomina
45 Teorie, miary z punktu widzenia teorii mnogości stanowią obecnie żywo rozwijający się fragment te
IMG 1103252345 Grupa Imię Nazwisko Punkty II. Wybierz zasadne I słuszne z punktu widzenia teor
etyka0001 II. Wybierz poprawne z punktu widzenia teorii etycznej stwierdzenia: 13. Etyka jako wiedza
IMAG0003 (2) Wybierz poprawne z punktu widzenia teorii etycznej stwierdzenia: 4. Etyka jako wiedza o
IMAG0095 (10) Wybierz poprawne z punktu widzenia teorii etycznej stwierdzenia: 13. Efektywność, Etyc
IMG 1103255019 Wybierz poprawne z punktu widzenia teorii etycznej stwierdzenia: 1. Etyka jako wiedz
naukowych, stanowi ono bowiem nowość zarówno z punktu widzenia teorii, jak i praktyki pedagogicznej.
Scan43 i System rozpoznania w organizacji punktu widzenia teorii organizacji i zarządzania można p

więcej podobnych podstron