Przestrzeń Loeba

W matematyce przestrzeń Loeba jest rodzajem przestrzeni miar wprowadzonej przez Loeba ( 1975 ) przy użyciu analizy niestandardowej .

Budowa

Konstrukcja Loeba zaczyna się od od wewnętrznej algebry zbiorów do niestandardowych liczb . Zdefiniuj ma być podana przez część standardową tak aby była skończenie addytywną mapą z do rozszerzonych liczb rzeczywistych . Nawet jeśli niestandardową , algebra nie musi być zwykłą { -algebra, ponieważ zwykle nie jest zamknięta w przeliczalnych związkach. Zamiast tego algebra sumą policzalnej rodziny elementów , to zbiór jest połączeniem skończonej liczby elementów rodziny, a więc w szczególności dowolnej skończenie addytywnej mapy (takiej jak ) z do rozszerzonych liczb rzeczywistych jest automatycznie policzalnie addytywne. Zdefiniuj jako wygenerowaną przez . Następnie przez twierdzenie o rozszerzeniu Carathéodory'ego miara on rozciąga się na policzalnie addytywną miarę na zwaną miarą Loeba

Linki zewnętrzne