En Teoría de los juegos de Fudenberg y Tirole, definen el conjunto de estrategias racionalizables de la siguiente manera.
Definición 2.3 en FT : Set $\tilde{\Sigma}_{i}^{0}=\Sigma_{i}$ donde $\Sigma_{i}$ es el espacio de estrategias mixtas para el jugador $i$ . Para cada $i$ , defina recursivamente $$\tilde{\Sigma}_{i}^{n}=\{\sigma_{i}\in \tilde{\Sigma}_{i}^{n-1}|\exists \sigma_{-i} \in \times_{j\not=i} \text{convex hull} \,\left(\tilde{\Sigma}_{j}^{n-1}\right) s.t \,\,u_{i}(\sigma_{i},\sigma_{-i})\geq u_{i}(\sigma_{i}',\sigma_{-i}) \,\,\forall \sigma_{i}'\in \tilde{\Sigma}_{i}^{n-1}\}$$ Las estrategias racionalizables para el jugador $i$ son $R_{i}=\cap_{n=0}^{\infty}\tilde{\Sigma}_{i}^{n}$
El casco convexo de un conjunto $X$ es el conjunto convexo más pequeño que contiene $X$
Mi pregunta es: ¿por qué necesitamos el operador de casco convexo en la definición?
Creo que $\tilde{\Sigma}_{i}^{n}$ es el conjunto de estrategias que sobreviven al $n-1$ rondas de eliminación de estrategias de nunca-más-respuesta, no sé por qué necesitamos la convexidad aquí.