aibės funkcija

áibės fùnkcija, tokia funkcija, kuri yra aibės X kurios nors poaibių šeimos A atvaizdis φ intervale (–∞;+∞]. Be to, bent viena to atvaizdžio reikšmė turi būti baigtinė. Jeigu iš to, kad E_i ∈ A, $\mathrm{\bigcup }_{i=1}^n{E}_i$ ∈ A, E_i ∩ E_j = ∅, i ≠ j, išplaukia lygybė $(\mathrm{\bigcup }_{i=1}^n{E}_i)=\sum _{i=1}^n\phi (E_i)$, tai aibės funkcija φ yra vadinama adityviąja, baigiai adityvia, skaičiai adityvia (σ adityviąja), atitinkamai, kai n = 2, n ∈ N, n ∈ N ∪ {+∞}.

3045