Ανισότητες Μπονφερρόνι

Στην θεωρία πιθανοτήτων, οι ανισότητες Μπονφερρόνι (αναφέρονται και ως ανισότητες Bonferroni) είναι άνω και κάτω φράγματα για την πιθανότητα της ένωσης  γεγονότων. Για παράδειγμα, για , δίνουν τα εξής φράγματα για οποιαδήποτε γεγονότα , , :


Στην γενική περίπτωση για οποιαδήποτε  γεγονότα , για κάθε μονό  (με ), ισχύει ότι

και για κάθε ζυγό  (με ),

όπου ο συμβολισμός  σημαίνει το άθροισμα για όλες τις δυνατές ακολουθίες από  διαφορετικούς δείκτες  με τιμές στο σύνολο .

Για , λαμβάνουμε την ανισότητα Μπουλ και για  ισχύει ως ισότητα από την αρχή εγκλεισμού-αποκλεισμού.

Απόδειξη

Για οποιοδήποτε  και , η ανισότητα προκύπτει από την ανισότητα Μπουλ, καθώς
.

Ας υποθέσουμε ότι ισχύει για  και  και κάθε  και . Τότε θα αποδείξουμε ότι ισχύει για  και . Ξεκινάμε με το δεξί μέλος και απομονώνουμε τις ακολουθίες με , έτσι ώστε

Θα διαχωρίσουμε τις δύο περιπτώσεις για  μονό και ζυγό (αλλά θα δούμε ότι είναι πολύ παρόμοιες).

(Μονό ) Για μονά , το  είναι το δεξί μέλος της ανισότητας Μπονφερρόνι για το μονό  και για τα  γεγονότα . Επομένως από την επαγωγική υπόθεση
.
Για το , πάλι από την επαγωγική υπόθεση για το ζυγό  και για τα  γεγονότα ,ισχύει ότι

Επιστρέφοντας στην (), έχουμε ότι

χρησιμοποιώντας ότι  για  και .

(Ζυγό ) Αντίστοιχα, για ζυγά , οι ανισότητες για τα  και  είναι αντεστραμμένες, δηλαδή
 και . 
Επομένως, από την ()

Επομένως η ανισότητα ισχύει και για  και , άρα για όλα τα  από την μέθοδο της μαθηματικής επαγωγής.

Ειδικές περιπτώσεις

Για , 
,
.

Για ,
,
,
.

Για , 
,


Για γενικό  και , έχουμε την ανισότητα Μπουλ,

Για γενικό  και , έχουμε

Ιστορία
Οι ανισότητες αυτές αναφέρονται στην εργασία του Κάρολου Μπονφερρόνι το 1936 ως γενίκευση της ανισότητας Μπουλ, ενώ της είχε χρησιμοποιήσει νωρίτερα το 1935 σε μία εφαρμογή για ασφάλειες ζωής.

Δείτε επίσης
 Ανισότητα Μπουλ
 Ανισότητα Τσουνγκ-Έρντος

Παραπομπές

Κατηγορία:Ανισότητες
Κατηγορία:Θεωρία πιθανοτήτων