<?xml version="1.0" encoding="UTF-8" standalone="yes"?><oembed><version><![CDATA[1.0]]></version><provider_name><![CDATA[Azimuth]]></provider_name><provider_url><![CDATA[https://johncarlosbaez.wordpress.com]]></provider_url><author_name><![CDATA[John Baez]]></author_name><author_url><![CDATA[https://johncarlosbaez.wordpress.com/author/johncarlosbaez/]]></author_url><title><![CDATA[Game Theory (Part&nbsp;12)]]></title><type><![CDATA[link]]></type><html><![CDATA[<p>Suppose we have a 2-player normal form game.  As usual, we assume:</p>
<p>&bull; Player A has some set of choices <img src='https://s0.wp.com/latex.php?latex=i+%3D+1%2C+%5Cdots%2C+m.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='i = 1, &#92;dots, m.' title='i = 1, &#92;dots, m.' class='latex' /></p>
<p>&bull;  Player B has some set of choices <img src='https://s0.wp.com/latex.php?latex=j+%3D+1%2C+%5Cdots%2C+n.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='j = 1, &#92;dots, n.' title='j = 1, &#92;dots, n.' class='latex' />  </p>
<p>&bull; If player A makes choice <img src='https://s0.wp.com/latex.php?latex=i&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='i' title='i' class='latex' /> and player B makes choice <img src='https://s0.wp.com/latex.php?latex=j%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='j,' title='j,' class='latex' /> the payoff to player A is <img src='https://s0.wp.com/latex.php?latex=A_%7Bij%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='A_{ij}' title='A_{ij}' class='latex' /> and the payoff to player B is <img src='https://s0.wp.com/latex.php?latex=B_%7Bij%7D.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='B_{ij}.' title='B_{ij}.' class='latex' /></p>
<p>Earlier we studied &#8216;pure strategies&#8217;, where the players make the same choice each time.  Now we&#8217;ll study &#8216;mixed strategies&#8217;, where the players make their choices randomly.  I want to show you that there&#8217;s always a Nash equilibrium when we allow mixed strategies&mdash;even in games like rock, paper, scissors that don&#8217;t have a Nash equilibrium with pure strategies!  </p>
<p>But to do this, we need to <i>define</i> Nash equilibria for mixed strategies.  And before that, we need to define mixed strategies!</p>
<p>First let&#8217;s make up a name for the set of player A&#8217;s choices:</p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=X+%3D+%5C%7B+1%2C+%5Cdots%2C+m+%5C%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='X = &#92;{ 1, &#92;dots, m &#92;}' title='X = &#92;{ 1, &#92;dots, m &#92;}' class='latex' />
</div>
<p>and a name for the set of player B&#8217;s choices:</p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=Y+%3D+%5C%7B1%2C+%5Cdots%2C+n+%5C%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='Y = &#92;{1, &#92;dots, n &#92;} ' title='Y = &#92;{1, &#92;dots, n &#92;} ' class='latex' />
</div>
<p><b>Definition 1.</b>  A <b>mixed strategy for player A</b> is a probability distribution <img src='https://s0.wp.com/latex.php?latex=p&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p' title='p' class='latex' /> on the set of their choices, <img src='https://s0.wp.com/latex.php?latex=X.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='X.' title='X.' class='latex' />   A <b>mixed strategy for player B</b> is a probability distribution <img src='https://s0.wp.com/latex.php?latex=q&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='q' title='q' class='latex' /> on the set of their choices, <img src='https://s0.wp.com/latex.php?latex=Y.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='Y.' title='Y.' class='latex' /></p>
<p>Let&#8217;s recall exactly what this means, since you&#8217;ll need to know!  Player A has a probability <img src='https://s0.wp.com/latex.php?latex=p_i&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p_i' title='p_i' class='latex' /> of making any choice <img src='https://s0.wp.com/latex.php?latex=i+%3D+1%2C+%5Cdots%2C+m&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='i = 1, &#92;dots, m' title='i = 1, &#92;dots, m' class='latex' />, and these probabilities obey</p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=0+%5Cle+p_i+%5Cle+1+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='0 &#92;le p_i &#92;le 1 ' title='0 &#92;le p_i &#92;le 1 ' class='latex' />
</div>
<p>and </p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Csum_%7Bi+%5Cin+X%7D+p_i+%3D+1+%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ &#92;sum_{i &#92;in X} p_i = 1 } ' title='&#92;displaystyle{ &#92;sum_{i &#92;in X} p_i = 1 } ' class='latex' />
</div>
<p>Similarly, the probability that player B makes the choice <img src='https://s0.wp.com/latex.php?latex=j+%3D+1%2C+%5Cdots%2C+n&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='j = 1, &#92;dots, n' title='j = 1, &#92;dots, n' class='latex' /> is <img src='https://s0.wp.com/latex.php?latex=q_j%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='q_j,' title='q_j,' class='latex' /> and these probabilities obey</p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=0+%5Cle+q_j+%5Cle+1+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='0 &#92;le q_j &#92;le 1 ' title='0 &#92;le q_j &#92;le 1 ' class='latex' />
</div>
<p>and </p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Csum_%7Bj+%5Cin+Y%7D+q_j+%3D+1+%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ &#92;sum_{j &#92;in Y} q_j = 1 } ' title='&#92;displaystyle{ &#92;sum_{j &#92;in Y} q_j = 1 } ' class='latex' />
</div>
<p>In our earlier discussions of probability, we would call <img src='https://s0.wp.com/latex.php?latex=X&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='X' title='X' class='latex' /> and <img src='https://s0.wp.com/latex.php?latex=Y&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='Y' title='Y' class='latex' /> sets of <b>events</b>.  An event is anything that can happen.  But now the thing that can happen is that a player makes a certain choice in the game!  So, now we&#8217;re calling <img src='https://s0.wp.com/latex.php?latex=X&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='X' title='X' class='latex' /> and <img src='https://s0.wp.com/latex.php?latex=Y&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='Y' title='Y' class='latex' /> sets of <b>choices</b>.  But you can also think of these choices as events.</p>
<h3> The expected payoff </h3>
<p>Now let&#8217;s work out the expected value of the payoff to each player.  To do this, we&#8217;ll assume:</p>
<p>1)  Player A uses mixed strategy <img src='https://s0.wp.com/latex.php?latex=p.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p.' title='p.' class='latex' /><br />
2)  Player B uses mixed strategy <img src='https://s0.wp.com/latex.php?latex=q.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='q.' title='q.' class='latex' /><br />
3)  Player A and player B&#8217;s choices are independent.</p>
<p>If you forget what &#8216;independent&#8217; means, look at <a href="https://johncarlosbaez.wordpress.com/2013/01/28/game-theory-part-8/">Part 8</a>.  The basic idea is player A&#8217;s choice doesn&#8217;t affect player B&#8217;s choice, and vice versa.  After all, this is a &#8216;simultaneous game&#8217;, where each player makes their choice not knowing what the other has done.  </p>
<p>But mathematically, the point is that we must assume the player&#8217;s choices are independent to know the probability of player A making choice <img src='https://s0.wp.com/latex.php?latex=i&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='i' title='i' class='latex' /> <i>and</i> player B making choice <img src='https://s0.wp.com/latex.php?latex=j&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='j' title='j' class='latex' /> is the product</p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=p_i+%5C%2C+q_j+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p_i &#92;, q_j ' title='p_i &#92;, q_j ' class='latex' />
</div>
<p>Knowing this, we can work out the expected value of the payoff to player A.   Here it is:</p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Csum_%7Bi+%5Cin+X%2C+j+%5Cin+Y%7D+A_%7Bi+j%7D+%5C%2C+p_i+%5C%2C+q_j+%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ &#92;sum_{i &#92;in X, j &#92;in Y} A_{i j} &#92;, p_i &#92;, q_j }' title='&#92;displaystyle{ &#92;sum_{i &#92;in X, j &#92;in Y} A_{i j} &#92;, p_i &#92;, q_j }' class='latex' />
</div>
<p>I hope you see why.  The probability that player A makes choice <img src='https://s0.wp.com/latex.php?latex=i&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='i' title='i' class='latex' /> and player B makes choice <img src='https://s0.wp.com/latex.php?latex=j&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='j' title='j' class='latex' /> is <img src='https://s0.wp.com/latex.php?latex=p_i+q_j.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p_i q_j.' title='p_i q_j.' class='latex' />  The payoff to player A when this happens is <img src='https://s0.wp.com/latex.php?latex=A_%7Bij%7D.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='A_{ij}.' title='A_{ij}.' class='latex' />  We multiply these and sum over all the possible choices for both players.  That&#8217;s how expected values work!</p>
<p>Similarly, the expected value of the payoff for player B is</p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Csum_%7Bi+%5Cin+X%2C+j+%5Cin+Y%7D+B_%7Bi+j%7D+%5C%2C+p_i+%5C%2C+q_j+%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ &#92;sum_{i &#92;in X, j &#92;in Y} B_{i j} &#92;, p_i &#92;, q_j }' title='&#92;displaystyle{ &#92;sum_{i &#92;in X, j &#92;in Y} B_{i j} &#92;, p_i &#92;, q_j }' class='latex' />
</div>
<h3> More details </h3>
<p>If you&#8217;re in the mood, I can make this more formal.  Remember that <img src='https://s0.wp.com/latex.php?latex=X+%5Ctimes+Y&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='X &#92;times Y' title='X &#92;times Y' class='latex' /> is the set of all ordered pairs <img src='https://s0.wp.com/latex.php?latex=%28i%2Cj%29&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='(i,j)' title='(i,j)' class='latex' /> where <img src='https://s0.wp.com/latex.php?latex=i+%5Cin+X&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='i &#92;in X' title='i &#92;in X' class='latex' /> and <img src='https://s0.wp.com/latex.php?latex=j+%5Cin+Y.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='j &#92;in Y.' title='j &#92;in Y.' class='latex' />  A pair <img src='https://s0.wp.com/latex.php?latex=%28i%2Cj%29&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='(i,j)' title='(i,j)' class='latex' /> is an event where player A makes choice <img src='https://s0.wp.com/latex.php?latex=i&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='i' title='i' class='latex' /> and player B makes choice <img src='https://s0.wp.com/latex.php?latex=j.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='j.' title='j.' class='latex' /> </p>
<p>A&#8217;s payoff is a function on this set <img src='https://s0.wp.com/latex.php?latex=X+%5Ctimes+Y.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='X &#92;times Y.' title='X &#92;times Y.' class='latex' />  Namely, if player A makes choice <img src='https://s0.wp.com/latex.php?latex=i&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='i' title='i' class='latex' /> and player B makes choice <img src='https://s0.wp.com/latex.php?latex=j%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='j,' title='j,' class='latex' /> A&#8217;s payoff is <img src='https://s0.wp.com/latex.php?latex=A_%7Bij%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='A_{ij}' title='A_{ij}' class='latex' />. There&#8217;s also a probability distribution on <img src='https://s0.wp.com/latex.php?latex=X+%5Ctimes+Y.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='X &#92;times Y.' title='X &#92;times Y.' class='latex' />  Namely, the probability of the event <img src='https://s0.wp.com/latex.php?latex=%28i%2Cj%29&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='(i,j)' title='(i,j)' class='latex' /> is <img src='https://s0.wp.com/latex.php?latex=p_i+%5C%2C+q_j.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p_i &#92;, q_j.' title='p_i &#92;, q_j.' class='latex' />   So, the expected value of the payoff with respect to this probability distribution is </p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Csum_%7B%28i%2Cj%29+%5Cin+X+%5Ctimes+Y%7D+A_%7Bi+j%7D+%5C%2C+p_i+%5C%2C+q_j+%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ &#92;sum_{(i,j) &#92;in X &#92;times Y} A_{i j} &#92;, p_i &#92;, q_j }' title='&#92;displaystyle{ &#92;sum_{(i,j) &#92;in X &#92;times Y} A_{i j} &#92;, p_i &#92;, q_j }' class='latex' />
</div>
<p>But this is equal to what we&#8217;ve seen already:</p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Csum_%7Bi+%5Cin+X%2C+j+%5Cin+Y%7D+A_%7Bi+j%7D+%5C%2C+p_i+%5C%2C+q_j+%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ &#92;sum_{i &#92;in X, j &#92;in Y} A_{i j} &#92;, p_i &#92;, q_j }' title='&#92;displaystyle{ &#92;sum_{i &#92;in X, j &#92;in Y} A_{i j} &#92;, p_i &#92;, q_j }' class='latex' />
</div>
<h3> Matrix multiplication and the dot product </h3>
<p>It looks like all of the students in this class have studied some linear algebra.  So, I&#8217;ll assume you know how to:</p>
<p>&bull; <a href="http://en.wikipedia.org/wiki/Dot_product#Algebraic_definition">take the dot product of vectors to get a number</a>, </p>
<p>and</p>
<p>&bull; <a href="http://mathinsight.org/matrix_vector_multiplication">multiply a vector by a matrix to get a new vector</a>.</p>
<p>Click on the links if you want to review these concepts. They will let us write our formulas for expected payoffs much more efficiently!</p>
<p>Here&#8217;s how.  First, we think of the probability distribution <img src='https://s0.wp.com/latex.php?latex=p&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p' title='p' class='latex' /> as a vector in <img src='https://s0.wp.com/latex.php?latex=%5Cmathbb%7BR%7D%5Em%3B&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;mathbb{R}^m;' title='&#92;mathbb{R}^m;' class='latex' /> that is, a list of <img src='https://s0.wp.com/latex.php?latex=m&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='m' title='m' class='latex' /> numbers:</p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=p+%3D+%28p_1%2C+%5Cdots%2C+p_m%29+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p = (p_1, &#92;dots, p_m) ' title='p = (p_1, &#92;dots, p_m) ' class='latex' />
</div>
<p>Second, we think of the probability distribution <img src='https://s0.wp.com/latex.php?latex=q&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='q' title='q' class='latex' /> as a vector in <img src='https://s0.wp.com/latex.php?latex=%5Cmathbb%7BR%7D%5En%3A&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;mathbb{R}^n:' title='&#92;mathbb{R}^n:' class='latex' /></p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=q+%3D+%28q_1%2C+%5Cdots%2C+q_n%29+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='q = (q_1, &#92;dots, q_n) ' title='q = (q_1, &#92;dots, q_n) ' class='latex' />
</div>
<p>Third, we think of <img src='https://s0.wp.com/latex.php?latex=A&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='A' title='A' class='latex' /> and <img src='https://s0.wp.com/latex.php?latex=B&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='B' title='B' class='latex' /> as <img src='https://s0.wp.com/latex.php?latex=m+%5Ctimes+n&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='m &#92;times n' title='m &#92;times n' class='latex' /> matrices, since that&#8217;s what they are:</p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=A+%3D+%5Cleft%28+%5Cbegin%7Barray%7D%7Bcccc%7D+A_%7B11%7D+%26+A_%7B12%7D+%26+%5Ccdots+%26+A_%7B1n%7D+%5C%5C+A_%7B21%7D+%26+A_%7B22%7D+%26+%5Ccdots+%26+A_%7B2n%7D+%5C%5C+%5Cvdots+%26+%5Cvdots+%26+%5Cddots+%26+%5Cvdots+%5C%5C+A_%7Bm1%7D+%26+A_%7Bm2%7D+%26+%5Ccdots+%26+A_%7Bmn%7D+%5Cend%7Barray%7D+%5Cright%29+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='A = &#92;left( &#92;begin{array}{cccc} A_{11} &amp; A_{12} &amp; &#92;cdots &amp; A_{1n} &#92;&#92; A_{21} &amp; A_{22} &amp; &#92;cdots &amp; A_{2n} &#92;&#92; &#92;vdots &amp; &#92;vdots &amp; &#92;ddots &amp; &#92;vdots &#92;&#92; A_{m1} &amp; A_{m2} &amp; &#92;cdots &amp; A_{mn} &#92;end{array} &#92;right) ' title='A = &#92;left( &#92;begin{array}{cccc} A_{11} &amp; A_{12} &amp; &#92;cdots &amp; A_{1n} &#92;&#92; A_{21} &amp; A_{22} &amp; &#92;cdots &amp; A_{2n} &#92;&#92; &#92;vdots &amp; &#92;vdots &amp; &#92;ddots &amp; &#92;vdots &#92;&#92; A_{m1} &amp; A_{m2} &amp; &#92;cdots &amp; A_{mn} &#92;end{array} &#92;right) ' class='latex' />
</div>
<p>&nbsp; </p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=B+%3D+%5Cleft%28+%5Cbegin%7Barray%7D%7Bcccc%7D+B_%7B11%7D+%26+B_%7B12%7D+%26+%5Ccdots+%26+B_%7B1n%7D+%5C%5C+B_%7B21%7D+%26+B_%7B22%7D+%26+%5Ccdots+%26+B_%7B2n%7D+%5C%5C+%5Cvdots+%26+%5Cvdots+%26+%5Cddots+%26+%5Cvdots+%5C%5C+B_%7Bm1%7D+%26+B_%7Bm2%7D+%26+%5Ccdots+%26+B_%7Bmn%7D+%5Cend%7Barray%7D+%5Cright%29+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='B = &#92;left( &#92;begin{array}{cccc} B_{11} &amp; B_{12} &amp; &#92;cdots &amp; B_{1n} &#92;&#92; B_{21} &amp; B_{22} &amp; &#92;cdots &amp; B_{2n} &#92;&#92; &#92;vdots &amp; &#92;vdots &amp; &#92;ddots &amp; &#92;vdots &#92;&#92; B_{m1} &amp; B_{m2} &amp; &#92;cdots &amp; B_{mn} &#92;end{array} &#92;right) ' title='B = &#92;left( &#92;begin{array}{cccc} B_{11} &amp; B_{12} &amp; &#92;cdots &amp; B_{1n} &#92;&#92; B_{21} &amp; B_{22} &amp; &#92;cdots &amp; B_{2n} &#92;&#92; &#92;vdots &amp; &#92;vdots &amp; &#92;ddots &amp; &#92;vdots &#92;&#92; B_{m1} &amp; B_{m2} &amp; &#92;cdots &amp; B_{mn} &#92;end{array} &#92;right) ' class='latex' />
</div>
<p>Here&#8217;s the cool part:</p>
<p><b>Theorem.</b>  If  A has mixed strategy <img src='https://s0.wp.com/latex.php?latex=p&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p' title='p' class='latex' /> and B has mixed strategy <img src='https://s0.wp.com/latex.php?latex=q%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='q,' title='q,' class='latex' /> then the expected value of A&#8217;s payoff is </p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=p+%5Ccdot+A+q+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p &#92;cdot A q ' title='p &#92;cdot A q ' class='latex' />
</div>
<p>and the expected value of B&#8217;s payoff is </p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=p+%5Ccdot+B+q+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p &#92;cdot B q ' title='p &#92;cdot B q ' class='latex' />
</div>
<p><b>Proof.</b>  We&#8217;ll only prove the first one, since the second works just the same way.  By definition, <img src='https://s0.wp.com/latex.php?latex=A+q&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='A q' title='A q' class='latex' /> is a vector in <img src='https://s0.wp.com/latex.php?latex=%5Cmathbb%7BR%7D%5Em&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;mathbb{R}^m' title='&#92;mathbb{R}^m' class='latex' /> with components</p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%28Aq%29_i+%3D+%5Csum_%7Bj+%3D+1%7D%5En+A_%7Bij%7D+q_j+%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ (Aq)_i = &#92;sum_{j = 1}^n A_{ij} q_j }' title='&#92;displaystyle{ (Aq)_i = &#92;sum_{j = 1}^n A_{ij} q_j }' class='latex' />
</div>
<p>Also by definition, the dot product of <img src='https://s0.wp.com/latex.php?latex=p&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p' title='p' class='latex' /> with <img src='https://s0.wp.com/latex.php?latex=Aq&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='Aq' title='Aq' class='latex' /> is the number</p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=%5Cbegin%7Barray%7D%7Bccl%7D+p+%5Ccdot+Aq+%26%3D%26+%5Cdisplaystyle%7B+%5Csum_%7Bi+%3D+1%7D%5Em+p_i+%5C%2C+%28Aq%29_i%7D+%5C%5C+%5C%5C+%26%3D%26+%5Cdisplaystyle%7B+%5Csum_%7Bi+%3D+1%7D%5Em+%5Csum_%7Bj+%3D+1%7D%5En+p_i+%5C%2C+A_%7Bij%7D+%5C%2C+q_j+%7D+%5Cend%7Barray%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;begin{array}{ccl} p &#92;cdot Aq &amp;=&amp; &#92;displaystyle{ &#92;sum_{i = 1}^m p_i &#92;, (Aq)_i} &#92;&#92; &#92;&#92; &amp;=&amp; &#92;displaystyle{ &#92;sum_{i = 1}^m &#92;sum_{j = 1}^n p_i &#92;, A_{ij} &#92;, q_j } &#92;end{array} ' title='&#92;begin{array}{ccl} p &#92;cdot Aq &amp;=&amp; &#92;displaystyle{ &#92;sum_{i = 1}^m p_i &#92;, (Aq)_i} &#92;&#92; &#92;&#92; &amp;=&amp; &#92;displaystyle{ &#92;sum_{i = 1}^m &#92;sum_{j = 1}^n p_i &#92;, A_{ij} &#92;, q_j } &#92;end{array} ' class='latex' />
</div>
<p>But this agrees with our earlier formula for the expected value of A&#8217;s payoff, namely</p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Csum_%7Bi+%5Cin+X%2C+j+%5Cin+Y%7D+A_%7Bi+j%7D+%5C%2C+p_i+%5C%2C+q_j++%3D+%5Csum_%7Bi+%3D+1%7D%5Em+%5Csum_%7Bj+%3D+1%7D%5En+A_%7Bi+j%7D+%5C%2C+p_i+%5C%2C+q_j+%7D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ &#92;sum_{i &#92;in X, j &#92;in Y} A_{i j} &#92;, p_i &#92;, q_j  = &#92;sum_{i = 1}^m &#92;sum_{j = 1}^n A_{i j} &#92;, p_i &#92;, q_j }  ' title='&#92;displaystyle{ &#92;sum_{i &#92;in X, j &#92;in Y} A_{i j} &#92;, p_i &#92;, q_j  = &#92;sum_{i = 1}^m &#92;sum_{j = 1}^n A_{i j} &#92;, p_i &#92;, q_j }  ' class='latex' />
</div>
<p>So, we&#8217;re done!   &#9608;</p>
<p>It&#8217;s not just quicker to write </p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=p+%5Ccdot+A+q+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p &#92;cdot A q ' title='p &#92;cdot A q ' class='latex' />
</div>
<p>than</p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Csum_%7Bi+%5Cin+X%2C+j+%5Cin+Y%7D+A_%7Bi+j%7D+%5C%2C+p_i+%5C%2C+q_j+%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ &#92;sum_{i &#92;in X, j &#92;in Y} A_{i j} &#92;, p_i &#92;, q_j } ' title='&#92;displaystyle{ &#92;sum_{i &#92;in X, j &#92;in Y} A_{i j} &#92;, p_i &#92;, q_j } ' class='latex' />
</div>
<p>It will also let us use tools from linear algebra to study games!</p>
<h3> Nash equilibria </h3>
<p>We&#8217;ll have to look at examples to understand this stuff better, but let me charge ahead and define &#8216;Nash equilibria&#8217; for mixed strategies.  The idea is similar to the idea we&#8217;ve already seen.  A pair of mixed strategies, one for A and one for B, is a Nash equilibrium if neither player can improve the expected value of their payoff by unilaterally changing their mixed strategy.</p>
<p>Let&#8217;s make that precise.  <a href="https://johncarlosbaez.wordpress.com/2013/01/17/game-theory-part-3/">As before</a>, the definition of Nash equilibrium involves two conditions:</p>
<p><b>Definition.</b> Given a 2-player normal form game, a pair of mixed strategies <img src='https://s0.wp.com/latex.php?latex=%28p%2Cq%29%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='(p,q),' title='(p,q),' class='latex' /> one for player A and one for player B, is a <b>Nash equilibrium</b> if:</p>
<p>1) For all mixed strategies <img src='https://s0.wp.com/latex.php?latex=p%27&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p&#039;' title='p&#039;' class='latex' /> for player A, <img src='https://s0.wp.com/latex.php?latex=p%27+%5Ccdot+A+q+%5Cle+p+%5Ccdot+A+q.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p&#039; &#92;cdot A q &#92;le p &#92;cdot A q.' title='p&#039; &#92;cdot A q &#92;le p &#92;cdot A q.' class='latex' /></p>
<p>2) For all mixed strategies <img src='https://s0.wp.com/latex.php?latex=q%27&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='q&#039;' title='q&#039;' class='latex' /> for player B, <img src='https://s0.wp.com/latex.php?latex=p+%5Ccdot+B+q%27+%5Cle+p+%5Ccdot+B+q.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p &#92;cdot B q&#039; &#92;le p &#92;cdot B q.' title='p &#92;cdot B q&#039; &#92;le p &#92;cdot B q.' class='latex' /></p>
<p>Condition 1) says that player A can’t improve their payoff by switching their mixed strategy from <img src='https://s0.wp.com/latex.php?latex=p&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p' title='p' class='latex' /> to any other mixed strategy <img src='https://s0.wp.com/latex.php?latex=p%27.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p&#039;.' title='p&#039;.' class='latex' /> Condition 2) says that player B can’t improve their payoff by switching their mixed strategy from <img src='https://s0.wp.com/latex.php?latex=q&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='q' title='q' class='latex' /> to any other mixed strategy <img src='https://s0.wp.com/latex.php?latex=q%27.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='q&#039;.' title='q&#039;.' class='latex' /></p>
<p>Now, one of our goals is to prove this big wonderful theorem:</p>
<p><b>Theorem.</b>  For any 2-player normal form game, there exists a pair of mixed strategies <img src='https://s0.wp.com/latex.php?latex=%28p%2Cq%29%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='(p,q),' title='(p,q),' class='latex' /> one for player A and one for player B, that is a Nash equilibrium.</p>
<p>For zero-sum games this was proved by John von Neumann.  Later John Nash proved a version for nonzero-sum games, and even games with more than two players.  These are famously smart mathematicians, so you should not expect the proof to be extremely easy.  We will need to work!</p>
<p>But next time we&#8217;ll start by looking at examples, to get our feet on the ground and start getting some intuition for these new ideas.</p>
]]></html></oembed>