ΕΠΙΣΤΗΜΗ ΚΑΙ ΤΕΧΝΟΛΟΓΙΑ - ΔΙΑΚΡΙΣΕΙΣ, ΕΡΕΥΝΑ: 17 Ιουν 2026

Τετάρτη 17 Ιουνίου 2026

ισορροπία Nash

1. Πλήρης τυπική διατύπωση (ύφος σύγχρονου βιβλίου)

Ορισμός (Πεπερασμένο μη συνεργατικό παιχνίδι). Ένα πεπερασμένο μη συνεργατικό παιχνίδι σε στρατηγική μορφή αποτελείται από:

σύνολο παικτών

N={1,2,…,n},

για κάθε παίκτη $i \in N$ , ένα πεπερασμένο σύνολο καθαρών στρατηγικών

Ai={1,2,…,ki},

για κάθε παίκτη $i \in N$ , μια συνάρτηση απόδοσης

ui:A1×⋯×An→R.

Ο χώρος των μικτών στρατηγικών του παίκτη $i$ είναι το simplex

Δi={xi∈Rki:xi,j≥0, ∑j=1kixi,j=1}.

Ο συνολικός χώρος μικτών στρατηγικών είναι

Δ=Δ1×⋯×Δn.

Κάθε $x = (x_{1}, \dots, x_{n}) \in Δ$ ονομάζεται προφίλ μικτών στρατηγικών.

Ορισμός (Αναμενόμενη απόδοση). Η αναμενόμενη απόδοση του παίκτη $i$ υπό το προφίλ μικτών στρατηγικών $x \in Δ$ είναι

ui(x)=∑a∈A1×⋯×Anui(a) ∏j=1nxj,aj.

Ορισμός (Βέλτιστη απάντηση). Για δεδομένο προφίλ στρατηγικών των άλλων παικτών $x_{- i} \in Δ_{- i} : = \prod_{j \neq i} Δ_{j}$ , μια μικτή στρατηγική $y_{i} \in Δ_{i}$ λέγεται βέλτιστη απάντηση αν

ui(yi,x−i)≥ui(zi,x−i)για καˊθε zi∈Δi.

Το σύνολο όλων των βέλτιστων απαντήσεων του παίκτη $i$ στο $x_{- i}$ συμβολίζεται

Bi(x−i)⊆Δi.

Ορισμός (Ισορροπία Nash). Ένα προφίλ μικτών στρατηγικών $x^{\*} \in Δ$ λέγεται ισορροπία Nash αν για κάθε παίκτη $i \in N$ ,

xi\*∈Bi(x−i\*).

Θεώρημα (Nash, 1951 — ύπαρξη ισορροπίας). Κάθε πεπερασμένο μη συνεργατικό παιχνίδι σε στρατηγική μορφή έχει τουλάχιστον μία ισορροπία Nash σε μικτές στρατηγικές.

Απόδειξη (ύφος σύγχρονου βιβλίου, με Kakutani).

Δομή του χώρου. Ο χώρος $Δ = Δ_{1} \times \dots \times Δ_{n}$ είναι καρτεσιανό γινόμενο απλώνξων· άρα είναι μη κενό, συμπαγές και κυρτό υποσύνολο της $R^{m}$ για κατάλληλο $m$ .
Αντιστοιχία βέλτιστων αποκρίσεων. Ορίζουμε την αντιστοιχία

B:Δ⇉Δ,B(x)=B1(x−1)×⋯×Bn(x−n).

Μη κενές, συμπαγείς, κυρτές τιμές. Για κάθε $i$ και κάθε $x_{- i}$ , η συνάρτηση

Δi∋yi↦ui(yi,x−i)

είναι γραμμική, άρα συνεχής, πάνω σε συμπαγές, κυρτό σύνολο $Δ_{i}$ . Το σύνολο των μεγιστοποιητών $B_{i} (x_{- i})$ είναι μη κενό, συμπαγές και κυρτό. Επομένως, για κάθε $x \in Δ$ , το $B (x)$ είναι μη κενό, συμπαγές, κυρτό υποσύνολο της $Δ$ .

Άνω ημισυνέχεια / κλειστό γράφημα. Από τη συνέχεια των $u_{i}$ και τη γραμμικότητα ως προς τις μικτές στρατηγικές, η αντιστοιχία $B$ έχει κλειστό γράφημα, άρα είναι άνω ημισυνεχής.
Εφαρμογή Kakutani. Το θεώρημα σταθερού σημείου του Kakutani λέει: Αν $X$ είναι μη κενό, συμπαγές, κυρτό υποσύνολο της $R^{m}$ και $F : X ⇉ X$ είναι άνω ημισυνεχής αντιστοιχία με μη κενές, συμπαγείς, κυρτές τιμές, τότε υπάρχει $x^{\*} \in X$ τέτοιο ώστε

x\*∈F(x\*).

Εφαρμόζοντας το θεώρημα στο $X = Δ$ και $F = B$ , παίρνουμε ότι υπάρχει $x^{\*} \in Δ$ με

x\*∈B(x\*).

Χαρακτηρισμός ως ισορροπία Nash. Η σχέση $x^{\*} \in B (x^{\*})$ σημαίνει ότι για κάθε παίκτη $i$ ,

xi\*∈Bi(x−i\*),

δηλαδή η στρατηγική $x_{i}^{\*}$ είναι βέλτιστη απάντηση στο $x_{- i}^{\*}$ . Άρα το $x^{\*}$ είναι ισορροπία Nash.

$□$

2. Ίδιο περιεχόμενο, σε ύφος «αυστηρού μαθηματικού άρθρου»

Τίτλος: Ύπαρξη ισορροπίας σε πεπερασμένα μη συνεργατικά παιχνίδια (ανακατασκευή Nash–Kakutani).

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

2.1. Ορισμοί και σημειογραφία

Έστω $N = {1, \dots, n}$ το σύνολο των παικτών. Για κάθε $i \in N$ , έστω $A_{i} = {1, \dots, k_{i}}$ το πεπερασμένο σύνολο καθαρών στρατηγικών του. Θέτουμε

A=A1×⋯×An.

Για κάθε $i \in N$ , η συνάρτηση απόδοσης

ui:A→R

επεκτείνεται γραμμικά στον χώρο των μικτών στρατηγικών, όπως παρακάτω.

Ορίζουμε τον χώρο μικτών στρατηγικών του παίκτη $i$ ως

Δi={xi∈Rki:xi,j≥0, ∑j=1kixi,j=1}.

Ο συνολικός χώρος μικτών στρατηγικών είναι

Δ=Δ1×⋯×Δn.

Για $x = (x_{1}, \dots, x_{n}) \in Δ$ , η αναμενόμενη απόδοση του παίκτη $i$ ορίζεται ως

ui(x)=∑a∈Aui(a) ∏j=1nxj,aj.

2.2. Βέλτιστες αποκρίσεις και αντιστοιχία

Για κάθε $i \in N$ και κάθε $x_{- i} \in Δ_{- i} : = \prod_{j \neq i} Δ_{j}$ , ορίζουμε το σύνολο βέλτιστων αποκρίσεων του παίκτη $i$ ως

Bi(x−i)={yi∈Δi:ui(yi,x−i)≥ui(zi,x−i) για καˊθε zi∈Δi}.

Ορίζουμε την αντιστοιχία

B:Δ⇉Δ,B(x)=B1(x−1)×⋯×Bn(x−n).

2.3. Βασικές ιδιότητες της αντιστοιχίας $B$

Λήμμα 1. Για κάθε $x \in Δ$ , το $B (x)$ είναι μη κενό, συμπαγές και κυρτό υποσύνολο της $Δ$ .

Απόδειξη. Για κάθε $i$ , η συνάρτηση

Δi∋yi↦ui(yi,x−i)

είναι γραμμική, άρα συνεχής, σε συμπαγές, κυρτό σύνολο $Δ_{i}$ . Επομένως, το σύνολο των μεγιστοποιητών $B_{i} (x_{- i})$ είναι μη κενό, συμπαγές και κυρτό. Το καρτεσιανό γινόμενο

B(x)=∏i=1nBi(x−i)

κληρονομεί αυτές τις ιδιότητες. $□$

Λήμμα 2. Η αντιστοιχία $B$ έχει κλειστό γράφημα, άρα είναι άνω ημισυνεχής.

Σκίτσο απόδειξης. Θεωρούμε ακολουθίες $x^{k} \to x$ στο $Δ$ και $y^{k} \to y$ στο $Δ$ με $y^{k} \in B (x^{k})$ για κάθε $k$ . Για κάθε παίκτη $i$ , ισχύει

ui(yik,x−ik)≥ui(zi,x−ik)για καˊθε zi∈Δi.

Περνώντας στο όριο και χρησιμοποιώντας τη συνέχεια των $u_{i}$ , παίρνουμε

ui(yi,x−i)≥ui(zi,x−i)για καˊθε zi∈Δi,

άρα $y_{i} \in B_{i} (x_{- i})$ για κάθε $i$ , δηλαδή $y \in B (x)$ . Έτσι το γράφημα του $B$ είναι κλειστό. $□$

2.4. Εφαρμογή του θεωρήματος Kakutani

Το θεώρημα σταθερού σημείου του Kakutani εφαρμόζεται στο $Δ$ και στην αντιστοιχία $B$ , διότι:

$Δ$ είναι μη κενό, συμπαγές, κυρτό υποσύνολο της $R^{m}$ ,
η $B$ είναι άνω ημισυνεχής,
για κάθε $x \in Δ$ , το $B (x)$ είναι μη κενό, συμπαγές, κυρτό.

Άρα υπάρχει $x^{\*} \in Δ$ τέτοιο ώστε

x\*∈B(x\*).

2.5. Χαρακτηρισμός του σταθερού σημείου ως ισορροπίας Nash

Από τον ορισμό του $B$ , η σχέση $x^{\*} \in B (x^{\*})$ σημαίνει ότι για κάθε παίκτη $i$ ,

xi\*∈Bi(x−i\*),

δηλαδή η στρατηγική $x_{i}^{\*}$ είναι βέλτιστη απάντηση στο $x_{- i}^{\*}$ . Επομένως, το $x^{\*}$ είναι ισορροπία Nash.