A unifying pair of Cournot-Nash equilibrium existence results (Q697935)

Let \(\Gamma= (S_t, A_t, U_t)\) be a pseudogame with the measure space \((T,{\mathcal T},\mu)\). It is assumed that: 2.1 \((T,{\mathcal T},\mu)\) is a separable complete measure space. 2.1.1 \(S\) is a completely regular Suslin space. 2.1.2 (i) For every \(t\in T\) the set \(S_t\subset S\) is nonempty and comapct. (ii) \(\text{gph\,}\Sigma\in {\mathcal T}\times{\mathcal B}(S)\). 2.1.3 (ii) For every \((t,\delta)\in T\times{\mathcal B}_\Sigma\) the set \(A_t(\delta)\subset S_t\) is nonempty and closed. (ii) For every \(t\in T\) the multifunction \(A_t: {\mathcal B}_\Sigma\to 2^{S_t}\) is (narrowly) upper semicontinuous. (iii) For every \(\delta\in{\mathcal B}_\Sigma\) the graph of the multifunction \(t\to A_t(\delta)\) belongs to \({\mathcal T}\times{\mathcal B}(S)\). 2.1.4 (i) For every \(t\in T\) the function \(U_t: S_t\times{\mathcal B}_\Sigma\to (-\infty,+\infty]\) is upper semicontinuous. (ii) Fore every \(\delta\in{\mathcal B}_\Sigma\) the function \((t,s)\to U_t(s,\delta)\) is \(({\mathcal T}\times{\mathcal B}(S))\cap \text{gph\,}\Sigma\)-measurable. 2.1.5 For every \(t\in T\) the function \(\delta\to \sup_{s\in A_t(\delta)} U_t(s,\delta)\) is (narrowly) lower semi-continuous on \({\mathcal B}_\Sigma\). The author proved on mixed equilibrium existence result: Theorem. Under Assumption 2.1 and Assumptions 2.1.1--2.1.5 there is a mixed Cournot-Nash equilibrium for the above pseudogame \(\Gamma\). That is, there exists a mixed action profile \(\delta_*\in{\mathcal B}_\Sigma\) such that \[ \delta_*(t)(\text{argmax}_{s\in A_t(\delta_*)} U_t(s,\delta_*))=1,\quad\text{for }\mu\text{-a.e. }t\text{ in }T. \]