# Determinatezza

In teoria degli insiemi, una branca della matematica, la determinatezza è lo studio delle condizioni che permettono ad uno dei due giocatori di un gioco di avere una strategia vincente, e delle conseguenze dell'esistenza di tale strategia.

## Nozioni di base
### Giochi

Il primo tipo di giochi che andiamo a considerare è il gioco a due giocatori di informazione perfetta e lunghezza ω, nel quale i giocatori giocano numeri naturali.
In questo tipo di gioco consideriamo due giocatori, spesso chiamati I e II, che si alternano giocando numeri naturali, con I che inizia. Il gioco dura per sempre; o meglio, le giocate dei giocatori sono indicizzate dai numeri naturali. Quando il gioco è finito, una condizione predeterminata sancisce quale giocatore ha vinto. Questa condizione non deve essere necessariamente una regola; può semplicemente essere una lista (infinitamente lunga) che dice chi vince per ogni sequenza di gioco.
Più formalmente, possiamo considerare un sottoinsieme A di uno Spazio di Baire; ricordiamo che quest'ultimo consiste di tutte le ω-sequenze di numeri naturali. Nel gioco G$_A$, I sceglie un numero naturale a$_0$, poi II sceglie a$_1$, poi I sceglie a$_2$, e così via. I vince il gioco se e solo se
    $\langle a_{0},a_{1},a_{2},\ldots \rangle \in A$
altrimenti II vince. A è chiamato il payoff set di G$_A$.
Si assume che ogni giocatore possa vedere tutte le mosse precedenti alle sue, e che conosca la condizione vincente.

### Strategie

Informalmente, una strategia per un giocatore è un modo di giocare nel quale le sue scelte sono totalmente determinate dalle scelte precedenti. Di nuovo, tale strategia non deve essere necessariamente seguire una "regola", ma può semplicemente essere una lista di scelte.
Più formalmente una strategia per il giocatore I (per un gioco come spiegato nella precedente sottosezione) è una funzione che ha come argomento sequenze finite di numeri naturali, di lunghezza pari, e restituisce un numero naturale. Se σ è una tale strategia e <a$_0$,…,a$_{2n-1}$> è una sequenza di giocate, allora σ(<a$_0$,…,a$_{2n-1}$>) è la prossima giocata che I farà, se sta seguendo la strategia σ. Strategie per II sono sostanzialmente le stesse, sostituendo "dispari" al posto di "pari".
Notare che non abbiamo detto nulla, ancora, riguardo a quando considerare se una data strategia sia da considerare buona. Una strategia può indurre un giocatore a giocare mosse cattive, ma rimane una strategia. Di fatto non è necessario sempre conoscere la condizione vincente per un gioco, ma sapere quali strategie esistono per il gioco.

### Strategie vincenti

Una strategia si dice vincente se il giocatore che la segue vincerà sicuramente, qualunque siano le giocate dell'avversario. Per esempio se σ è una strategia per I, allora σ è una strategia vincente per I nel gioco G$_A$ se, per ogni sequenza di naturali <a$_1$,a$_3$,a$_5$,…> scelta da II, la sequenza di giocate $\langle \sigma (\langle \rangle ),a_{1},\sigma (\langle \sigma (\langle \rangle ),a_{1}\rangle ),a_{3},\ldots \rangle$ prodotte da σ, quando II gioca così, è un elemento di A.

### Giochi determinati

Un gioco (o una classe di giochi) è detto determinato se per ogni situazione di gioco esiste una strategia vincente per uno dei giocatori(non necessariamente lo stesso per ogni situazione). Notare che non possiamo avere una strategia vincente per entrambi i giocatori per lo stesso gioco, se ci fosse, le due strategie verrebbero giocate da entrambi l'uno contro l'altro. Ne risulterebbe, per ipotesi, una vittoria per entrambi i giocatori, che è impossibile.