15 566
szerkesztés
„Σ-algebra” változatai közötti eltérés
a
Bot: 1 írásjel átmozgatva a <ref> elé. (Hibakód: 61)
(→Hivatkozások: Bot: <references /> cseréje {{források}}-ra) |
a (Bot: 1 írásjel átmozgatva a <ref> elé. (Hibakód: 61)) |
||
|
=== Összefüggés más struktúratípusokkal ===
A szigma-algebrához legközelebbi struktúrafajta a [[λ-rendszer]] fogalma. Ezek fogalmához úgy jutunk, hogy a szigma-zártság követelményét meggyengítjük, és csak a páronként diszjunkt unióra zártságot követeljük meg. Egy halmazcsalád pontosan akkor szigma-algebra, ha λ-rendszer és π-rendszer (azaz megszámlálható metszet-zárt) is egyben
Ha a 3. axióma helyett az a gyengébb követelményt állítjuk fel, hogy <big>''A''</big> véges sok tagjának egyesítésére legyen mindig csak feltétlenül zárt; akkor az [[halmaztest|egyszerű halmaztest]] fogalmát kapjuk. Ha viszont megerősítjük a 3. axiómát úgy, hogy nemcsak megszámlálható, de megszámlálhatatlanul végtelen családok egyesítésére való zártságát is megköveteljük; s egyúttal a 2. axiómát úgy gyengítjük meg, hogy a különbségre zártság helyett csak a metszetre való zártságot követeljük meg, a [[topologikus tér]] fogalmát kapjuk. Belátható, hogy ez tényleg gyengébb követelmény <ref>Pl. az Ψ = {1,2} halmazon az <big>''A''</big> = <nowiki>{∅, {1}, {1,2}}</nowiki> halmaz egy [[topologikus tér|topológiát]] alkot, zárt az uniójra és a metszetképzésre, de nem alkot σ-algebrát: az {1,2}\{1} = {2} halmaz nem tagja <big>''A''</big>-nak.</ref>
| |||