Maßtheorie
Definitionen und Beispiele
Inhalt
Eine Funktion  , die jeder Menge A aus dem Mengensystem  mit  über  einen Wert  zuordnet, der in  ist, heißt Inhalt, falls für diese Abbildung  gilt:
- Die leere Menge hat den Wert null:
 .
- Die Funktion ist endlich additiv. Sind also A1
, A2
, ..., An
endlich viele paarweise disjunkte Mengen aus
 und  dann gilt
 .
Eigenschaften
im Halbring
Falls  ein Halbring ist, dann gilt:
- Jeder Inhalt
 ist monoton, es gilt folglich:
 für  
- Jeder Inhalt
 ist subadditiv, es gilt also:
 für A, B aus  mit  
- Fortsetzbarkeit: Man kann zu jedem Inhalt
 auf  einen Inhalt  auf dem von  erzeugten Ring  konstruieren, indem man  definiert durch:
 %3a%3d+%5csum_%7bj%3d1%7d%5e%7bm%7d+%5cmu+(A_j)&s=125&f=ffffff)
- Aufgrund der Eigenschaften eines Halbringes gibt es für alle
 Mengen  mit  . Die Fortsetzung  ist eindeutig.
im Ring
Falls  ein Ring ist, dann gilt:
- Subtraktivität: für
 mit  gilt  +%3d+%5cmu+(A)+-+%5cmu+(B).&s=125&f=ffffff)
-
 %2b%5cmu(A%5ccap+B)%3d+%5cmu(A)%2b%5cmu(B)&s=125&f=ffffff)
- Subadditivität:
 +%5cRightarrow+%5cmu%5cleft(%5cbigcup_%7bi%3d1%7d%5en+A_i%5cright)%5cleq+%5csum_%7bi%3d1%7d%5en+%5cmu(A_i)&s=125&f=ffffff)
-
 -Superadditivität: Seien  paarweise disjunkt mit  . Dann folgt aus der Additivität und Monotonie  %5cleq+%5cmu%5cleft(%5cbigcup_%7bi%3d1%7d%5e%5cinfty+A_i%5cright)&s=125&f=ffffff)
- Falls
 endlich ist, also für alle  gilt, dann gilt die Siebformel von Poincaré und Sylvester:
 +%3d+%5csum_%7bk%3d1%7d%5en(-1)%5e%7bk%2b1%7d%5c!%5c!%5csum_%5catop%7bI%5csubseteq%5c%7b1%2c%5cdots+%2cn%5c%7d%2c%7d%7b+%7cI%7c%3dk%7d%5c!%5c!%5c!%5c!%5cmu%5cleft(%5cbigcap_%7bi%5cin+I%7dA_i%5cright)&s=125&f=ffffff)
mit  für  .
Nullmenge
Eine Menge A aus  heißt Nullmenge, wenn  gilt.
Copyright- und Lizenzinformationen: Diese Seite basiert auf dem Artikel
Maßtheorie
aus der freien Enzyklοpädιe Wιkιpedιa
und steht unter der Lizenz
Creative Commons CC-BY-SA 3.0 Unported (Kurzfassung).
Liste der Autoren Anbieterkennzeichnung |