Funkcja addytywna zbioru

Szablon:Inne znaczenia Szablon:Spis treści Funkcja addytywna zbioru – funkcja określona na pewnej rodzinie zbiorów o wartościach w rozszerzonym zbiorze liczb rzeczywistych, której wartość dla sumy dwu zbiorów rozłącznych jest sumą wartości dla każdego z tych zbiorów. Z pojęciem addytywności blisko związane są pojęcia podaddytywności, σ-addytywności oraz σ-podaddytywności (funkcje dwóch ostatnich rodzajów definiuje się zwykle na σ-ciałach lub σ-pierścieniach zbiorów).

Definicje

Niech $𝒜$ będzie rodziną zbiorów oraz niech $f:𝒜\to ℝ\cup \{-\mathrm{\infty },+\mathrm{\infty }\}.$ O funkcji $f$ mówi się, że jest

• addytywna, jeśli

$f(A\cup B)=f(A)+f(B)$ dla wszystkich zbiorów rozłącznych $A,B\in 𝒜,$ dla których $A\cup B\in 𝒜.$

• podaddytywna lub subaddytywna, jeśli

$f(A\cup B)⩽f(A)+f(B)$ dla wszystkich zbiorów $A,B\in 𝒜,$ dla których $A\cup B\in 𝒜.$

• skończenie addytywna jeśli

$f\left(\bigcup _{k=0}^n{A}_k\right)=\sum _{k=0}^{n}f(A_k)$ dla wszystkich parami rozłącznych zbiorów $A_0,A_1,\dots ,A_n\in 𝒜,$ dla których $A_0\cup A_1\cup \dots \cup A_n\in 𝒜.$

• skończenie podaddytywna lub skończenie subaddytywna, jeśli

$f\left(\bigcup _{k=0}^n{A}_k\right)⩽\sum _{k=0}^{n}f(A_k)$ dla wszystkich zbiorów $A_0,A_1,\dots ,A_n\in 𝒜,$ dla których $A_0\cup A_1\cup \dots \cup A_n\in 𝒜.$

• przeliczalnie addytywna lub σ-addytywna jeśli

$f\left(\bigcup _{k=0}^{\mathrm{\infty }}{A}_k\right)=\sum _{k=0}^{\mathrm{\infty }}f(A_k)$ dla wszystkich parami rozłącznych zbiorów $A_0,A_1,A_2,\dots \in 𝒜,$ dla których $\bigcup _{k=0}^{\mathrm{\infty }}{A}_k\in 𝒜.$

• przeliczalnie podaddytywna, przeliczalnie subaddytywna, σ-podaddytywna lub σ-subaddytywna, jeśli

$f\left(\bigcup _{k=0}^{\mathrm{\infty }}{A}_k\right)⩽\sum _{k=0}^{\mathrm{\infty }}f(A_k)$ dla wszystkich zbiorów $A_0,A_1,A_2,\dots \in 𝒜,$ dla których $\bigcup _{k=0}^{\mathrm{\infty }}{A}_k\in 𝒜.$

Powyższe funkcje mają częstokroć swoje dodatkowe nazwy wynikłe z ich zastosowań:

• funkcje skończenie addytywne: miary skończenie addytywne,
• funkcje przeliczalnie addytywne: miary (przeliczalnie addytywne).

Powyższe definicje rozszerza się czasem na funkcje o wartościach w pewnej strukturze algebraicznej wyposażonej w działanie dodawania (jak np. grupa abelowa, przestrzeń liniowa), w szczególności: zbiorze liczb rzeczywistych, zespolonych, czy ich rozszerzeniach, które spełniają warunki analogiczne do powyższych. Addytywne funkcje zbiorów o wartościach w przestrzeniach liniowo-topologicznych nazywa się miarami wektorowymi.

Własności

W przypadku, gdy $𝒜$ jest (co najmniej) pierścieniem zbiorów, wymaganie należenia sumy danych zbiorów do rodziny w definicji funkcji skończenie (pod)addytywnych jest spełnione automatycznie, podobnie ma się rzecz, gdy $𝒜$ jest σ-pierścieniem zbiorów i funkcji przeliczalnie (pod)addytywnych. Ponadto definicje (pod)addytywności i skończonej (pod)addytywności pokrywają się wtedy na mocy zasady indukcji matematycznej (nie jest tak w ogólności, tzn. dla półpierścieni zbiorów).

Jeśli powyższe funkcje przyjmują wartości w $ℝ\cup \{-\mathrm{\infty },+\mathrm{\infty }\},$ to zakłada się, że wszystkie sumy (szeregi) po prawych stronach definicji mają być dobrze określone, tzn. nie występują tam jednocześnie składniki $-\mathrm{\infty }$ i $+\mathrm{\infty }.$

Jeśli $\varnothing \in 𝒜,$ to zwykle przyjmuje się, iż $f(\varnothing )=0,$ co nazywa się żargonowo znikaniem na zbiorze pustym, wówczas przeliczalne warianty (sub)addytywności pociągają za sobą skończone. Jeżeli funkcja addytywna przyjmuje wartości rzeczywiste (skończone), zespolone bądź wektorowe, to znikanie na zbiorze pustym wynika w istocie z jej addytywności. W przypadku funkcji o wartościach w rozszerzonym zbiorze liczb rzeczywistych jest to równoważne warunkowi, by $f(\varnothing )\ne \pm \mathrm{\infty },$ bądź by $f$ nie była tożsamościowo równa $\pm \mathrm{\infty }.$

Przykłady

• Wahanie miary wektorowej jest funkcją addytywną.
• Dowolna podmiara jest funkcją podaddytywną.
• Każda miara (np. wahanie σ-addytywnej miary wektorowej) jest funkcją σ-addytywną.
• Dowolna miara zewnętrzna jest funkcją σ-podaddytywną.

Rozszerzanie

Szablon:Osobny artykuł Okazuje się, że premiary (przeliczalnie addytywne funkcje zbiorów znikające na zbiorze pustym) można rozszerzyć w dość naturalny sposób do miar zewnętrznych, które są zdefiniowane dla wszystkich podzbiorów przestrzeni $X.$ Dokładniej, jeżeli ${\mu }_0$ jest premiarą określoną na pierścieniu podzbiorów przestrzeni $X,$ to funkcja zbiorów ${\mu }^{*}$ określona wzorem

${\mu }^{*}(S)=\inf \{\sum _{i=1}^{\mathrm{\infty }}{\mu }_0(S_i):S_i\in X,S\subseteq \bigcup _{i=1}^{\mathrm{\infty }}{S}_i\}$

jest miarą zewnętrzną na $X$ (zob. metoda I konstrukcji miary zewnętrznej).

Zobacz też

• ścisła addytywność miar wektorowych