סיגמא-אדיטיביות – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
AlleborgoBot (שיחה | תרומות)
מ רובוט מוסיף: it:Sigma additività
מלמד כץ (שיחה | תרומות)
קישור
שורה 1:
ב[[מתמטיקה]], '''סיגמא-אדיטיביות''' היא תכונה של [[פונקציה|פונקציות]] שהן חיבוריות בצורה [[בן מניה|בת מניה]]. אנו אומרים שפונקציה <math>\mu\,</math> המוגדרת מ[[תת קבוצה|תתי-קבוצות]] של <math>\mathcal A</math> אל מספרים הממשיים, כלומר <math>\mu: \mathcal {P}(A) \to \mathbb{R}</math> היא חיבורית (או אדיטיבית) אם לכל שתי קבוצות זרות <math>A,B\,</math> ב- <math>\mathcal A</math> מתקיים <math>\mu(A \cup B) = \mu(A) + \mu(B)</math>. או בקצרה <math>\mu( A \biguplus B) = \mu(A) + \mu(B)</math> סימן האיחוד <math>\biguplus </math> פירושו איחוד של [[קבוצות זרות]].
 
קל להכליל תכונה זו ב[[אינדוקציה]] לכל מספר סופי של קבוצות הזרות בזוגות: יהיו <math>\ A_1, A_2 , \cdots , A_n , \cdots \in \mathcal{A}</math> מספר [קבוצה בת מנייה|[בן- מנייה]] של קבוצות זרות בזוגות, כלומר: <math>\ \forall i \ne j : A_i \cap A_j = \emptyset</math> .
אנו אומרים שהפונקציה <math>\mu\,</math> היא '''סיגמא-אדיטיבית''' או "חיבורית באופן בן- מנייה" אם מתקיים <math>\textstyle \mu \left( \biguplus_{n=1}^{\infty}{A_n} \right) = \sum_{n=1}^{\infty}{\mu(A_n)} </math>.
 
כל פונקציה סיגמא-אדיטיבית היא בפרט אדיטיבית, אבל ההפך אינו נכון. (למשל, פונקציה המתאימה לכל קבוצה סופית של טבעיים את המספר אפס ולכל [[קבוצה אינסופית]] את המספר <math>\ 1</math> היא פונקציה אדיטיבית אשר אינה סיגמא-אדיטיבית.)