Ανεξαρτησία (Θεωρία πιθανοτήτων)

Στην θεωρία πιθανοτήτων, δύο γεγονότα $A$ και $B$ λέγονται ανεξάρτητα όταν γνωρίζοντας αν έγινε το ένα από τα δύο, δεν λαμβάνουμε πληροφορίες για το αν έγινε το άλλο. Διαφορετικά, λέγονται εξαρτημένα.

Για παράδειγμα, αν ρίξουμε ένα ζάρι δύο φορές και τα αποτελέσματα είναι $X_{1}$ και $X_{2}$, τα γεγονότα $\{X_{1}=6\}$ και $\{X_{2}=3\}$ είναι ανεξάρτητα, δηλαδή η γνώση του πρώτου αποτελέσματος δεν μας δίνει (παραπάνω) πληροφορία για το αν έγινε το άλλο.

Αντίθετα, αν διαλέξουμε δύο φύλλα από μία τράπουλα $X_{1}$ και $X_{2}$ το ένα κατόπιν του άλλου, τότε τα γεγονότα $\{X_{1}={\text{3♣}}\}$ και $\{X_{2}={\color {red}{\text{5♥}}}\}$ δεν είναι ανεξάρτητα, καθώς αν γνωρίζουμε ότι το πρώτο φύλλο είναι το ${\text{3♣}}$, τότε αυξάνονται οι πιθανότητες το δεύτερο φύλλο να είναι το ${\color {red}{\text{5♥}}}$. Αν επιστρέφαμε το πρώτο φύλλο στην τράπουλα προτού διαλέξουμε το δεύτερο φύλλο, τότε τα δύο γεγονότα θα ήταν ανεξάρτητα.

Ορισμός

Δύο γεγονότα $A,B\subseteq \Omega$ λέγονται ανεξάρτητα αν ισχύει ότι:

$\operatorname {P} (A\cap B)=\operatorname {P} (A)\cdot \operatorname {P} (B).$

Πιο γενικά, $n$ γεγονότα $A_{1},A_{2},\ldots ,A_{n}$ είναι ανεξάρτητα αν για κάθε $k\in [1,n]$ και κάθε $i_{1}<\ldots <i_{k}$ έχουμε ότι:

$\operatorname {P} (A_{i_{1}}\cap \ldots \cap A_{i_{k}})=\operatorname {P} (A_{i_{1}})\cdot \ldots \cdot \operatorname {P} (A_{i_{k}}).$

Αντίστοιχα, δύο τυχαίες μεταβλητές $X$ και $Y$ είναι ανεξάρτητες αν για κάθε $x,y\in \mathbb {R}$, τα γεγονότα $\{X\leq x\}$ και $\{Y\leq y\}$ είναι ανεξάρτητα. ή ισοδύναμα:

$F_{X,Y}(x,y)=F_{X}(x)\cdot F_{Y}(y).$

Αντίστοιχα, $n$ τυχαίες μεταβλητές $X_{1},\ldots ,X_{n}$ είναι ανεξάρτητες αν για κάθε $x_{1},\ldots ,x_{n}\in \mathbb {R}$:

$F_{X_{1},\ldots ,X_{n}}(x_{1},\ldots ,x_{n})=F_{X_{1}}(x_{1})\cdot \ldots \cdot F_{X_{n}}(x_{n}).$

Ιδιότητες

• Το γεγονός $A$ είναι ανεξάρτητο του εαυτού του, αν και μόνο αν $A=\Omega$ ή $A=\emptyset$.
• Αν οι τυχαίες μεταβλητές $X$ και $Y$ είναι ανεξάρτητες, τότε και οι $f(X)$ και $g(Y)$ είναι ανεξάρτητες, για οποιεσδήποτε συναρτήσεις $f$ και $g$.
• Έστω $X$ και $Y$ ανεξάρτητες μεταβλητές. Τότε,

$\operatorname {E} [XY]=\operatorname {E} [X]\cdot \operatorname {E} [Y],$

και για την συνδιακύμανσή τους, ισχύει ότι

$\operatorname {Cov} (X,Y)=0.$

• (Ταυτότητα Bienaymé) Έστω $n$ ανεξάρτητες τυχαίες μεταβλητές $X_{1},\ldots ,X_{n}$, τότε η διακύμανση του αθροίσματος τους είναι ίση με το άθροισμα των διακύμανσεών τους:

$\operatorname {Var} \left(\sum _{i=1}^{n}X_{i}\right)=\sum _{i=1}^{n}\operatorname {Var} (X_{i}).$

Δείτε επίσης

• Ασυσχετισία (Θεωρία πιθανοτήτων)