1.1 --- a/exercises/solutions/sol03.tex	Sun May 20 03:52:01 2012 +0200
     1.2 +++ b/exercises/solutions/sol03.tex	Sun May 20 22:57:21 2012 +0200
     1.3 @@ -49,9 +49,15 @@
     1.4  Wegen $\alpha_i'(a_i)=0$ und $\alpha_i'(b_i) = \alpha_i(b_i)$ f\"ur alle $i\in N$ und $b\in A\setminus B\cup C$ folgt
     1.5  \begin{align*}
     1.6  U_i(\alpha')&=\sum_{b\in A\setminus{B\cup C}}\left(\prod_{j\in N}\alpha_j(b_j)\right)u_i(b)+\sum_{b\in C}\left(\prod_{j\in N}\alpha_j'(b_j)\right)u_i(b)\\
     1.7 -&=U_i(\alpha)-\sum_{b\in B}\left(\prod_{j\in N}\alpha_j(b_j)\right)u_i(b)-\sum_{b\in C}\left(\prod_{j\in N}\alpha_j(b_j)\right)u_i(b)+\sum_{b\in C}\left(\prod_{j\in N}\alpha_j'(b_j)\right)u_i(b)
     1.8 +U_i(\alpha')&=U_i(\alpha)-\sum_{b\in B}\left(\prod_{j\in N}\alpha_j(b_j)\right)u_i(b)-\sum_{b\in C}\left(\prod_{j\in N}\alpha_j(b_j)\right)u_i(b)+\sum_{b\in C}\left(\prod_{j\in N}\alpha_j'(b_j)\right)u_i(b)
     1.9  \end{align*}
    1.10 -Wegen $B_i(a_{-i})=\{a_i\in A_i \mid u_i(a_{-1},a_i)\geq u_i(a_{-i},a_i')\text{ f\"ur alle } a_i'\in A_i\}$, $a_i'\in B_i(\alpha_{-i})$ und $a_i\notin B_i(\alpha_{-i})$ folgt, dass f\"ur alle $b \in B$ und $b'\in C$ gilt $u_i(b') > u_i(b)$. Zudem wurden bei der Verteilung $\alpha'$ die Wahrscheinlichkeiten aller $b'\in C$ mit den von $b\in B$ aufgestockt, d.h. f\"ur alle $b\in B$ und $b'\in C$ gilt $\alpha_i'(b')\cdot u_i(b') > \alpha_i(b)\cdot u_i(b)+\alpha_i(b')\cdot u_i(b')$. Somit folgt 
    1.11 +Wegen $B_i(a_{-i})=\{a_i\in A_i \mid u_i(a_{-1},a_i)\geq u_i(a_{-i},a_i')\text{ f\"ur alle } a_i'\in A_i\}$, $a_i'\in B_i(\alpha_{-i})$ und $a_i\notin B_i(\alpha_{-i})$ folgt, dass f\"ur alle $b \in B$ und $b'\in C$ gilt $u_i(b') > u_i(b)$. Zudem wurden bei der Verteilung $\alpha'$ die Wahrscheinlichkeiten aller $b'\in C$ mit den von $b\in B$ aufgestockt, d.h. f\"ur alle $b\in B$ und $b'\in C$ gilt
    1.12 +\begin{align*}
    1.13 +\alpha_i'(b')\cdot u_i(b')&=(\alpha_i(b')+\alpha_i(b))\cdot u_i(b')\\
    1.14 +\alpha_i'(b')\cdot u_i(b')&=\alpha_i(b')\cdot u_i(b')+\alpha_i(b)\cdot u_i(b')\\
    1.15 +\implies \alpha_i'(b')\cdot u_i(b')&> \alpha_i(b')\cdot u_i(b')+\alpha_i(b)\cdot u_i(b)
    1.16 +\end{align*}
    1.17 +Somit folgt 
    1.18  \[\sum_{b\in C}\left(\prod_{j\in N}\alpha_j'(b_j)\right)u_i(b)>\sum_{b\in B}\left(\prod_{j\in N}\alpha_j(b_j)\right)u_i(b)+\sum_{b\in C}\left(\prod_{j\in N}\alpha_j(b_j)\right)u_i(b)\]
    1.19  \[\implies U_i(\alpha') > U_i(\alpha)\]\qed
    1.20