Miara skończenie addytywna

Miara skończenie addytywna jest przykładem funkcji addytywnej zbioru. Wbrew nazwie, nie jest to miara w ścisłym sensie.

Definicja

Niech ${\mathcal {A}}$ będzie σ-ciałem podzbiorów zbioru $\Omega .$ Funkcję $\mu \colon {\mathcal {A}}\to [0,\infty ]$ nazywamy miarą skończenie addytywną, gdy:

• $\mu (\varnothing )=0,$
• $\mu (\bigcup \limits _{k=1}^{n}A_{k})=\sum _{k=1}^{n}\mu (A_{k})$

dla każdej rodziny zbiorów parami rozłącznych $A_{1},A_{2},\dots ,A_{n}\in {\mathcal {A}}.$

Miara a miara skończenie addytywna

Miara skończenie addytywna jest miarą, gdy dodatkowo spełnia warunek:

• $\mu (\bigcup \limits _{n=1}^{\infty }A_{n})=\sum _{n=1}^{\infty }\mu (A_{n})$

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

Zobacz też

• miara
• miara absolutnie ciągła
• miara Jordana
• miara wewnętrzna, miara zewnętrzna
• miary wzajemnie osobliwe