Miara (matematyka)


Miara – funkcja określająca „wielkości” mierzalnych podzbiorów ustalonego zbioru poprzez przypisanie im liczb nieujemnych bądź nieskończoności przy założeniu, że zbiór pusty ma miarę zero, a miara sumy zbiorów rozłącznych jest sumą ich miar.

Pojęcie miary wyrosło z ogólnego spojrzenia na zagadnienia długości, pola powierzchni czy objętości w pracach Lebesgue’a nad jego miarą.

Na danym zbiorze można określać różne miary.

Np. załóżmy, że mamy 10 odróżnialnych kostek do gry w różnych kolorach. Wtedy możemy zdefiniować miary:

(1) miara określająca liczby kostek o kolorze czerwonym w zadanych podzbiorach zbioru kostek,

(2) miara prawdopodobieństwa, np. określająca prawdopodobieństwo wyrzucenia podczas rzutu 10 kostek sumarycznej liczby oczek większej niż 30,

(3) miara Diraca określająca, czy dany podzbiór kostek posiada ustaloną kostkę

itp.

Głównym zastosowaniem miar jest definicja ogólnego pojęcia całki na zbiorach o strukturze bardziej skomplikowanej niż przedziały na prostej rzeczywistej. Całki tego typu wykorzystuje się w teorii prawdopodobieństwa i w różnych działach analizy matematycznej.

Czasem jest niemożliwe lub niepotrzebne przypisywanie miary wszystkim podzbiorom danego zbioru, dlatego w definicji miary bierze się pod uwagę zbiory należące do σ-ciała danego zbioru.

Własnościami miar zajmuje się teoria miary, będąca gałęzią analizy matematycznej. Teoria miary bada σ-ciała, miary, funkcje mierzalne oraz całki.

Spis treści

Definicja miary


Niech \({\displaystyle {\mathcal {F}}}\) będzie σ-ciałem podzbiorów zbioru \({\displaystyle \Omega .}\) Funkcję

\({\displaystyle \mu \colon {\mathcal {F}}\to [0,\infty ]}\)

nazywamy miarą, gdy

\({\displaystyle \mu (\varnothing )=0,}\)
\({\displaystyle \mu (\bigcup \limits _{n=1}^{\infty }A_{n})=\sum _{n=1}^{\infty }\mu (A_{n})}\)

dla każdej rodziny zbiorów parami rozłącznych \({\displaystyle A_{1},A_{2},A_{3},\ldots \in {\mathcal {F}}.}\)

Parę \({\displaystyle (\Omega ,{\mathcal {F}})}\) nazywamy przestrzenią mierzalną, natomiast trójkę \({\displaystyle (\Omega ,{\mathcal {F}},\mu )}\) – przestrzenią z miarą.

Miary, które spełniają warunek

\({\displaystyle \mu (\Omega )=1,}\)

nazywamy miarami probabilistycznymi. Miary tego rodzaju są zasadniczym pojęciem w nowoczesnej teorii prawdopodobieństwa.

Miara \({\displaystyle \mu }\) określona jest na zbiorach należących do σ-ciała \({\displaystyle {\mathcal {F}},}\) a nie na dowolnych podzbiorach przestrzeni \({\displaystyle \Omega }\) – w ten sposób unika się problemu z miarą na zbiorach niemierzalnych w \({\displaystyle \Omega ,}\) jak np. zbiór Vitalego.

Elementy σ-ciała \({\displaystyle {\mathcal {F}}}\) nazywa się zbiorami \({\displaystyle \mu }\)-mierzalnymi względem \({\displaystyle {\mathcal {F}}.}\)

Własności miary


Niech \({\displaystyle (\Omega ,{\mathcal {F}},\mu )}\) będzie przestrzenią z miarą oraz niech \({\displaystyle A_{1},A_{2},A_{3},\dots }\) ciągiem elementów w \({\displaystyle {\mathcal {F}}.}\)

\({\displaystyle \mu \left(\bigcup _{n=1}^{\infty }~A_{n}\right)\leqslant \sum _{n=1}^{\infty }~\mu (A_{n}).}\)
\({\displaystyle \mu (B\setminus A)=\mu (B)-\mu (A).}\)
\({\displaystyle \mu \left(\bigcup _{n=1}^{\infty }~A_{n}\right)=\lim _{n\to \infty }~\mu (A_{n}).}\)
\({\displaystyle \mu \left(\bigcap _{n=1}^{\infty }~A_{n}\right)=\lim _{n\to \infty }~\mu (A_{n}).}\)

Uwaga:

Powyższa własność jest fałszywa bez założenia o skończoności miary przynajmniej jednego zbioru \({\displaystyle A_{n}.}\) Istotnie, niech

\({\displaystyle A_{n}=[n,\infty )\subseteq \mathbb {R} ,}\)

wszystkie zbiory \({\displaystyle A_{i}}\) są miary nieskończonej, ale

\({\displaystyle \bigcap _{n=1}^{\infty }A_{n}=\varnothing .}\)

Przykłady


Do ważnych przykładów miar należą:

Także całki są miarami, np.

Do innych ważnych rodzajów zalicza się miary: ergodyczną, Eulera, Gaussa, Baire’a

Miary skończone i σ-skończone


Osobny artykuł: miara σ-skończona.

Jeśli \({\displaystyle (\Omega ,{\mathcal {F}},\mu )}\) jest przestrzenią z miarą \({\displaystyle \mu ,}\) to miarę \({\displaystyle \mu }\) nazywa się

  1. skończoną, gdy \({\displaystyle \mu (\Omega )<\infty }\)
  2. σ-skończoną (albo półskończoną), gdy możliwe jest przedstawienie przestrzeni \({\displaystyle \Omega }\) jako przeliczalnej sumy zbiorów miary skończonej, tzn. gdy istnieje ciąg zbiorów \({\displaystyle A_{n}\in {\mathcal {F}}\ (n\in \mathbb {N} )}\) takich, że
    • \({\displaystyle \mu (A_{n})<\infty ,}\)
    • \({\displaystyle \Omega =\bigcup _{n=1}^{\infty }A_{n}.}\)

Przykłady:

1) Miarą σ-skończoną jest np. miara Lebesgue’a. Istotnie,

\({\displaystyle \mathbb {R} =\bigcup _{n=1}^{\infty }[-n,n],}\)

gdzie każdy przedział postaci \({\displaystyle [-n,n]}\) jest oczywiście długości (miary) \({\displaystyle n-(-n)=2n.}\)

2) Nie jest miarą σ-skończoną miara liczącą \({\displaystyle \mu }\) określona na prostej rzeczywistej \({\displaystyle \mathbb {R} }\) następująco:

Istotnie, zbiór \({\displaystyle \mathbb {R} }\) jest nieprzeliczalny – żadnego zbioru nieprzeliczalnego nie da się przedstawić w postaci przeliczalnej sumy zbiorów skończonych.

Miary, które nie są σ-skończone, nazywa się patologicznymi.

Miary zupełne. Zbiory zaniedbywalne


Osobny artykuł: miara zupełna.

(1) Df. Miarę nazywa się zupełną, gdy każdy podzbiór zbioru miary zero jest mierzalny i w konsekwencji ma miarę = 0.

(2) Nie każda miara jest zupełna.

Np. Miara Lebesgue’a obcięta do σ-ciała borelowskich podzbiorów prostej nie jest zupełna, gdyż:

(3) Df. Zbiory miary zero nazywane są zbiorami zaniedbywalnymi.

(4) Tw. Carathéodory’ego

Każdą miarę można rozszerzyć do miary określonej na σ-ciele poszerzonym o zbiory zaniedbywalne, która jest zupełna (tzw. uzupełnienie miary).

Np. miara Lebesgue’a na rodzinie zbiorów mierzalnych w sensie Lebesgue’a jest uzupełnieniem miary Lebesgue’a na rodzinie zbiorów borelowskich.

Zbiory niemierzalne


Osobny artykuł: zbiór niemierzalny.

Pod pojęciem zbiorów niemierzalnych rozumie się najczęściej zbiory, które nie są mierzalne w sensie Lebesgue’a.

Rodzinę \({\displaystyle {\mathcal {L}}}\) zbiorów mierzalnych w sensie Lebesgue’a najczęściej opisuje się jako rodzinę tych podzbiorów prostej, które spełniają warunek Caratheodory’ego dla miary zewnętrznej Lebesgue’a. Naturalnym pytaniem matematyków było więc czy wszystkie podzbiory prostej są mierzalne w sensie Lebesgue’a? Okazuje się, że nie można udzielić odpowiedzi na to pytanie, używając tylko aksjomatyki Zermela-Fraenkla (bez aksjomatu wyboru). Zakładając aksjomat wyboru, można jednak udowodnić istnienie niemierzalnych podzbiorów prostej. Do takich zbiorów należą:

Aby udowodnić istnienie ostatnich dwóch zbiorów, należy założyć dodatkowo hipotezę continuum.

Tw. Każdy zbiór dodatniej miary Lebesgue’a zawiera podzbiór niemierzalny (przy założeniu aksjomatu wyboru).

Uogólnienia miary


Rozważa się miary, których wartości nie są ograniczone do nieujemnych liczb rzeczywistych i nieskończoności.

Jeżeli zachodzi potrzeba odróżnienia zwykłej miary przyjmującej wartości nieujemne od jednego z jej uogólnień, to używa się zwykle pojęcia „miara dodatnia”.

Przykłady miar uogólnionych:

Ważny wynik geometrii całkowej (twierdzenie Hadwigera) mówi, że przestrzeń funkcji niezmienniczych ze względu na przesunięcia, skończenie addytywnych, niekoniecznie nieujemnych zbiorów określona na skończonej sumie zwartych zbiorów wypukłych w \({\displaystyle \mathbb {R} ^{n}}\) składa się (z dokładnością do mnożenia skalarnego) z jednej „miary”, która jest „jednorodna stopnia \({\displaystyle k}\)” dla każdego \({\displaystyle k=0,1,2,\dots ,n}\) i kombinacji liniowych tych „miar”. „Jednorodna stopnia \({\displaystyle k}\)” oznacza, że skalowanie dowolnego zbioru przez dowolny współczynnik \({\displaystyle c>0}\) mnoży „miarę” zbioru przez \({\displaystyle c^{k}.}\) Jednorodną stopnia \({\displaystyle n}\) jest \({\displaystyle n}\)-wymiarowa objętość, jednorodną stopnia \({\displaystyle n-1}\) jest hiperpłaszczyzna, a jednorodną stopnia \({\displaystyle 1}\) jest tajemnicza funkcja nazywana „błędną szerokością” (przekorna nazwa), jednorodną stopnia zero jest charakterystyka Eulera.

Zobacz też


Pojęcia dotyczące miar:

Zobacz hasło miaraWikisłowniku

Bibliografia











Kategorie: Miary (teoria miary)




Informacje na dzień: 22.12.2020 11:19:09 CET

Źródło: Wikipedia (Autorzy [Historia])    Licencja: CC-BY-SA-3.0

Zmiany: Wszystkie zdjęcia i większość powiązanych z nimi elementów projektu zostały usunięte. Niektóre ikony zostały zastąpione przez FontAwesome-Icons. Niektóre szablony zostały usunięte (np. „Artykuł wymaga rozszerzenia) lub przypisane (np.„ Przypisy ”). Klasy CSS zostały usunięte lub zharmonizowane.
Usunięto linki do Wikipedii, które nie prowadzą do artykułu lub kategorii (takie jak „Redlinki”, „linki do strony edycji”, „linki do portali”). Każde łącze zewnętrzne ma dodatkową ikonę FontAwesome. Oprócz drobnych zmian w projekcie usunięto kontener multimediów, mapy, pola nawigacji, wersje mówione i geomikroformaty.

Proszę zanotować: Ponieważ podana treść jest automatycznie pobierana z Wikipedii w danym momencie, ręczna weryfikacja była i nie jest możliwa. Dlatego LinkFang.org nie gwarantuje dokładności i aktualności pozyskanych treści. Jeśli istnieją informacje, które są obecnie niepoprawne lub mają niedokładny wygląd, prosimy o Skontaktuj się z nami: e-mail.
Zobacz też: Znak firmowy wydawcy & Polityka prywatności.