Σ-άλγεβρα

σ-άλγεβρα (σίγμα άλγεβρα) είναι μια άλγεβρα συνόλων (σύνολο από σύνολα στο οποίο μπορούμε να κάνουμε πράξεις μεταξύ των συνόλων) που είναι κλειστή ως προς τη συμπλήρωση και τις αριθμήσιμες ενώσεις των μελών της.

Η σ-άλγεβρα είναι πολύ χρήσιμο εργαλείο στα στοχαστικά μαθηματικά, κυρίως διότι αριθμήσιμες (το πολύ) το πλήθος συνολοθεωρητικές πράξεις μεταξύ συνόλων που ανήκουν στην ίδια σ-άλγεβρα δίνουν σύνολα που ανήκουν και αυτά στην ίδια σ-άλγεβρα.
Οι σ-άλγεβρες είναι η βάση για τον ορισμό του χώρου των μαζών και των πιθανοτήτων.

Οι σ-άλγεβρες είναι αναγκαίες για την κατασκευή του μέτρου και του ολοκληρώματος κατά Λεμπέγκ.

 Τεχνικός Ορισμός 

Έστω Ω ένα σύνολο. Τότε η σ-άλγεβρα  είναι μια μη κενή συλλογή υποσυνόλων του Ω έτσι ώστε:

1) Το Ω ανήκει στο 

2) Αν το σύνολο Α ανήκει στο , τότε, και το συμπληρωματικό του Α ανήκει στο 

3) Αν έχουμε μια ακολουθία συνόλων {, όπου n=1,2,...} στο  τότε η ένωση των  ανηκει επισης στο .

Από τον ορισμό προκύπτει ότι σε κάθε σ-άλγεβρα ανήκει το Ω και το κενό σύνολο. Επίσης καθε σ-άλγεβρα είναι ένα σύστημα Ντύνκιν.

 Παραδείγματα 

 Στη θεωρία πιθανοτήτων, αν Ω είναι το σύνολο όλων των πιθανών ενδεχομένων, σ-άλγεβρα  κάθε συλλογή από υποσύνολα του Ω που ικανοποιεί τα τρία αξιώματα που δόθηκαν παραπάνω.
 Για κάθε σύνολο  το  είναι η μικρότερη και το δυναμοσύνολο  η μεγαλύτερη σ-άλγεβρα.
 Η σ-άλγεβρα των υποσυνόλων κατά Μπορέλ των πραγματικών αριθμών περιέχει, μεταξύ άλλων,Για παράδειγμα, για κάθε ένα διάστημα (a,b) που περιέχει πρέπει αναγκαστικά να περιέχει και το συμπλήρωμα του. και όλα τα διαστήματα.

 Παραγόμενη σ-άλγεβρα 

Μια σ-άλγεβρα F είναι παραγόμενη από μια κλάση C όταν είναι η μικρότερη σ-άλγεβρα που την περιέχει. Συγκεκριμένα ορίζεται ως η τομή όλων των σ-αλγεβρών που περιέχουν την C.

 σ-άλγεβρα Μπορέλ 

σ-άλγεβρα Μπορέλ είναι μια σ-άλγεβρα η οποία είναι παραγόμενη από συλλογή τοπολογικών διαστημάτων.

Τυπικός ορισμός: σ-άλγεβρα Μπορέλ ή αλλιώς Μπορελιανή άλγεβρα είναι η παραγόμενη σ-άλγεβρα από την κλάση Pn όπου Pn={(a1,b1]x...x(an,bn]: ai<bi για κάθε i=1,2,...,n}U{κενό σύνολο}. 

Η μπορελιανή άλγεβρα χωράει τεράστιο αριθμό υποσυνόλων του  γι' αυτό και μας είναι εξαιρετικά χρήσιμη.

 Σημειώσεις - Παραπομπές 

Κατηγορία:Θεωρία συνόλων
Κατηγορία:Θεωρία μέτρου
Κατηγορία:Συνδυαστική
Κατηγορία:Άλγεβρα Μπουλ