Sigma-algebra

Í stærðfræði er σ-algebra (borið fram "sigma algebra") mengjaalgebra að viðbættu því skilyrði að sammengi teljanlega margra mengja í algebrunni eru einnig í algebrunni. Hugmyndin um σ-algebrur er notuð til að skilgreina mál og málrúm sem eru viðfangsefni málfræðinar sem er mikilvæg meðal annars vegna þess hún er undirstaða líkindafræðinar og grundvöllurinn að Lebesgue heildum sem eru mun almennari en hin klassísku Riemann heildi.

Hugmyndin.

Í tilraun til þess að skilgreina mælikvarða fyrir mengi, það er að segja úthluta hverju hlutmengi fasta tölu sem gefur til kynna stærð þess (lengd eða rúmmál til dæmis), komust menn að því að sumum mengjum var ekki hægt gefa stærð öðruvísi en að tapa einhverjum af þeim eiginleikum sem við viljum að mælikvarði hafi, svo sem að summa stærða tveggja sundurlægra mengja sé jöfn stærð sammengis þeirra, að eiginlegt hlutmengi mengis sé minna að stærð en mengið allt, við viljum að summa partanna sé jöfn heildinni o.s.frv. Dæmigert mengi hins vegar, eins og bilið [0,1] sem við hugsum okkur að hafi lengdina einn, inniheldur óendanlega marga punkta sem hafa lengdina núll, summa þeirra formula_1 er ekki skilgreind stærð hins vegar. Það eru líka jafnmargir punktar í bilunum [0,1] og [0,2] (höfum gagntæka vörpun formula_2 milli mengjana), en við segjum samt að bilið [0,2] sé tvöfalt lengra en [0,1]. Vandamálið er þó ekki bundið við óendanleikan því jafnvel þótt við skiptum menginu upp í endanlega marga parta getum við lent í vandræðum samanber Banach–Tarski þversögnina. Ef mál er skilgreint sem vörpun frá mengi yfir á útvíkkaða jákvæða rauntalnaásin er vel þekkt að ekkert mál á veldamengi rauntalna uppfyllir öll þau skilyrði sem við viljum að mælikvarði hafi (sjá Vitali mengi). Þetta leiddi til þess að menn takmörkuðu sig við ákveðna tegund mengja sem kölluð eru mælanleg mengi, mengi sem varðveita þá eiginleika sem við viljum að mál hafi. Hlutmengi σ-algebru varðveita þessa eiginleika.

Formleg skilgreining.

Látum "X" vera mengi og P("X") vera veldamengi þess. Hlutmengi er σ-algebra ef það uppfyllir eftirfarandi skilyrði:

Það leiðir af "1" og "2" að X er stak í Σ. Af "2" og "3" leiðir að teljanlega mörg sniðmengi eru í Σ, samanber reglur De Morgans. Mismengi tveggja mengja úr Σ er einnig í Σ. Af þessu sjáum við að Σ er baugur (inniheldur tómamengið og er lokað með tilliti til sammengja og mismengja), sér í lagi σ-baugur því hann inniheldur sammengi teljanlegra margra mengja úr baugnum og að lokum algebra vegna þess Σ inniheldur sjálft "X". Σ er líka svið og þess vegna stundum kallað σ-svið.

Eins og kom fram í inngangi eru σ-algebrur notaðar til að skilgreina málrúm, þrenndin ("X",Σ,μ) er málrúm, þar sem "X" er gefið mengi, Σ sigma algebra þess og μ er mál á Σ. Stök Σ eru sögð vera mælanleg. Þetta er ekki eina skilgreiningin sem hefur verið notuð í málfræði, upprunalega notaðist Kolmogorov við algebrur og Halmos notaði σ-bauga.

σ-algebrur eru stundum táknuð með stórum stöfum af Fraktur leturgerð. Því gæti formula_4 verið notað til að tákna (X,Σ). Stundum er notast við „skrifaða“ stafi í stað Σ, til dæmis væri formula_5 notað í stað formula_6. Þetta getur verið gagnlegt til þess að forðast misskilning þar sem að Σ er gjarnan notað sem summuvirki.

Dæmi.

Fyrir gefið mengi "X" er minnsta sigma algebran formula_7 og stærsta sigma algebran veldamengið P("X").

Í líkindafræði er formula_8 látið tákna mengi allra hugsanlegra útkoma úr einhverri aðgerð, til dæmis teningakasti. Þá er safn allra atburða, þ.e. hlutmengja í formula_8 σ-algebra. Þ.e., formula_8 er atburður, ef formula_11 er atburður er formula_12 atburður, og ef formula_13 eru atburðir er formula_14 einnig atburður.

Á Evklíðska rúminu formula_15 er til önnur mikilvæg σ-algebra: fjölskylda allra Lebesgue-mælanlegra mengja. Það inniheldur fleiri mengi en Borel algebran á formula_15 og er mjög mikilvægt í tegurfræði.