Η **θεωρία πιθανοτήτων** (αγγλικά: *Probability Theory*) είναι μια αξιωματική μαθηματική θεωρία μέτρου. Πρόκειται δηλαδή για τον κλάδο των μαθηματικών ο οποίος ασχολείται με την ανάλυση τυχαίων φαινομένων. Κεντρικό ρόλο στη θεωρία πιθανοτήτων παίζει η έννοια της **πιθανότητας**, ενώ σημαντικές είναι οι τυχαίες μεταβλητές, οι συναρτήσεις κατανομής, οι στοχαστικές διαδικασίες και τα γεγονότα: μαθηματικές αφαιρέσεις μη ντετερμινιστικών συμβάντων τα οποία είτε συμβαίνουν μία φορά είτε εξελίσσονται με το πέρασμα του χρόνου. Η πιθανότητα εκφράζει την αβεβαιότητα του ανθρώπου για την εξέλιξη των φαινομένων. Το μέτρο δε της πιθανότητας ορίστηκε να είναι ένας θετικός αριθμός, μικρότερος ή ίσος του ένα. Αν και τα γεγονότα που μελετώνται από τη θεωρία πιθανοτήτων, όπως π.χ. η ρίψη ενός ζαριού ή το στρίψιμο ενός κέρματος, είναι τυχαία, όταν επαναλαμβάνονται πολλές φορές η αλληλουχία των τυχαίων γεγονότων παρουσιάζει ορισμένα στατιστικά μοτίβα τα οποία μπορούν να μελετηθούν και να προβλεφθούν. Δύο αντιπροσωπευτικά μαθηματικά αποτελέσματα που περιγράφουν τέτοια μοτίβα είναι ο νόμος των μεγάλων αριθμών και το θεώρημα κεντρικού ορίου.

Ως μαθηματικό θεμέλιο της στατιστικής, η θεωρία πιθανοτήτων είναι απαραίτητη σε πολλές δραστηριότητες που περιλαμβάνουν ανάλυση μεγάλων συνόλων δεδομένων. Μέθοδοι της θεωρίας πιθανοτήτων εφαρμόζονται και στην περιγραφή πολύπλοκων συστημάτων, όπως στη στατιστική μηχανική. Μία μεγάλη ανακάλυψη του εικοστού αιώνα ήταν η πιθανοκρατική φύση των φυσικών νόμων σε μοριάκο,ατομικό,υποατομικό επίπεδο, σύμφωνα με τα ευρήματα της κβαντομηχανικής.

Ιστορικό
--------

Έννοιες
-------

### Κλασική πιθανότητα

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

Ισχύουν οι κάτωθι ορισμοί:

* **Απλό ενδεχόμενο** ονομάζεται ένα δυνατό αποτέλεσμα ενός πειράματος τύχης και συνήθως συμβολίζεται με \,\omega .
* **Δειγματοχώρος** \Omega \, είναι το σύνολο όλων των απλών ενδεχομένων. Για ένα απλό ενδεχόμενο \,\omega  ισχύει \,\omega \in \Omega .
* **Γεγονός** A\, είναι ένα σύνολο δυνατών αποτελεσμάτων. Ένα γεγονός έχει ως στοιχεία απλά ενδεχόμενα και είναι υποσύνολο του \Omega ,\, A\subset \Omega \,. Το \Omega \, είναι το ίδιο ένα γεγονός και ονομαζεται *βέβαιο γεγονός*.

#### Παράδειγματα

Ρίψη ζαριού
Θεωρούμε ως πείραμα τύχης την ρίψη ενός ζαριού. Σε αυτή την περίπτωση έχουμε έξι απλά ενδεχόμενα. Έστω \,\omega \_{1} το ενδεχόμενο να φέρουμε 1 και αντιστοίχως τα \,\omega \_{i},i=2,\dots ,6. 
Ο δειγματοχώρος είναι ο \,\Omega =\{\omega \_{1},\omega \_{2},\omega \_{3},\omega \_{4},\omega \_{5},\omega \_{6}\} ή για λόγους απλότητας
\,\Omega =\{1,2,3,4,5,6\}.
Το γεγονός A\, να φέρουμε ζυγό αριθμό είναι (με τον απλοποιημένο συμβολισμό) \,A=\{2,4,6\}. 
Το γεγονός B\, να φέρουμε αριθμό μικρότερο ή ίσο του 2 είναι \,B=\{1,2\}.

Η κλασική πιθανότητα ορίζεται σε πειράματα τύχης, όπου το πλήθος των απλών ενδεχομένων είναι πεπερασμένο και όλα τα απλά ενδεχόμενα είναι ισοπίθανα. Σε αυτή την περίπτωση πιθανότητα ενός γεγονότος Α ονομάζεται το πηλίκο του πλήθους των ευνοϊκών αποτελεσμάτων ως προς το πλήθος των δυνατών αποτελεσμάτων.

P(A)={\frac {\#A}{\#\Omega }}
Συνεχίζοντας το παραπάνω παράδειγμα έχουμε

P(A)={\frac {\#A}{\#\Omega }}={\frac {\#\{2,4,6\}}{\#\{1,2,3,4,5,6\}}}={\frac 36}=0,5
P(B)={\frac {\#B}{\#\Omega }}={\frac {\#\{1,2\}}{\#\{1,2,3,4,5,6\}}}={\frac 26}=0,333
Παράδοξο των γενεθλίων
Το παράδοξο των γενεθλίων ασχολείται με το ερώτημα: Σε μία ομάδα 23 ατόμων ποια είναι η πιθανότητα δύο από αυτά τα άτομα να έχουν την ίδια ημέρα γενέθλια;
Ενώ διαισθητικά θα περιμέναμε μια σχετικά μικρή πιθανότητα, αυτή αποδεικνύεται ότι είναι 50%.

### Μέτρο πιθανότητας

Η αξιωματική θεμελίωση των πιθανοτήτων προήλθε από τον Ρώσο μαθηματικό Αντρέι Κολμογκόροβ (*Andrey Kolmogorov*).

Έστω ένα σύνολο \Omega  και μία σ-άλγεβρά του {\mathcal {F}}.
Πιθανότητα P\, ονομάζεται η συνάρτηση P:{\mathcal {F}}\to \mathbb{R}  που ικανοποιεί:

1. P(A)\geq 0,\;\forall A\in {\mathcal {F}}
2. P(\Omega )=1\,
3. P(\cup \_{{i\in I}}A\_{i})=\sum \_{{i\in I}}P(A\_{i})\quad \forall \{A\_{i}\}\_{{i\in I}}\subset {\mathcal {F}},I\subset \mathbb{N} :A\_{i}\cap A\_{j}=\emptyset \;\forall i\neq j

Η πιθανότητα είναι ένα μέτρο στον (\Omega ,{\mathcal {F}}) με την ιδιότητα P(\Omega )=1\,.

Αν στην πιθανότητα P\, αντιστοιχεί μία συνάρτηση πυκνότητας πιθανότητας f, τότε η πιθανότητα του Α υπολογίζεται ως:

P(A)=\int \_{A}f(x)dx\;
Ισχύουν οι κάτωθι ιδιότητες:

* P(\Omega \backslash A)=1-P(A)
* P(\emptyset )=0
* P(A\cup B)=P(A)+P(B)-P(A\cap B).

### Δεσμευμένη πιθανότητα

Η πιθανότητα ότι ένα γεγονός E συμβαίνει *με δεδομένο* ότι έχει συμβεί ένα γεγονός F είναι η **δεσμευμένη πιθανότητα** του E **με δεδομένο** το F η οποία ορίζεται, μόνο αν το F δεν είναι αδύνατο γεγονός (P(F)>0), ως: 

P(E|F)={\frac {P(E\cap F)}{P(F)}} .
Αν η δεσμευμένη πιθανότητα του E με δεδομένο το F είναι ίδια με τη ("αδέσμευτη") πιθανότητα του E, τότε τα E και F είναι ανεξάρτητα γεγονότα και ισχύει P(E\cap F)=P(E)\cdot P(F). 

Η δεσμευμένη πιθανότητα P(\cdot |F)=:Q(\cdot ) ορίζει ένα μέτρο πιθανότητας στον (F,{\mathcal {F}}\_{F}), όπου {\mathcal {F}}\_{F}=\cup \_{{A\in {\mathcal {F}}}}(A\cap F), αφού ικανοποιεί τα αξιώματα του ορισμού.

Εξωτερικοί σύνδεσμοι
--------------------

* «Γρίφοι Πιθανοτήτων».

|  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| π • σ • ε
Περιοχές των μαθηματικών |
| --- |
|  |
| Περιοχές | 
* Αριθμητική
* Άλγεβρα (στοιχειώδης – γραμμική – πολυγραμμική – αφηρημένη)
* Γεωμετρία (Διακριτή γεωμετρία – Αλγεβρική γεωμετρία – Διαφορική γεωμετρία)
* Λογισμός
* Μαθηματική ανάλυση
* Θεωρία συνόλων
* Λογική
* Θεωρία κατηγοριών
* Θεωρία αριθμών
* Συνδυαστική
* Θεωρία γράφων
* Τοπολογία
* Θεωρία Lie
* Διαφορικές εξισώσεις/Δυναμικά συστήματα
* Μαθηματική φυσική
* Αριθμητική ανάλυση
* Θεωρία υπολογισμού
* Θεωρία πληροφορίας
* Πιθανότητες
* Μαθηματική στατιστική
* Βελτιστοποίηση
* Θεωρία ελέγχου
* Θεωρία παιγνίων
 |
|  |
| Διακρίσεις | 
* Καθαρά μαθηματικά
* Εφαρμοσμένα μαθηματικά
* Διακριτά μαθηματικά
* Υπολογιστικά μαθηματικά
 |
|  |
| 
Κατηγορία Κατηγορία |

 |