<p>Your observation about topology and order is somewhat inaccurate. First definition make use of partial order on $S_i$ while the second make use of topology on it, but both structures are almost always specified by the assumption, that $S_i$ is a sublattise of $R^n$ and so it is equipped with usual subspace topology and partial order. This is the first point in the definition in the material you have referred to. So this worries are misplaced.</p>

<p>However there is some indications (see, for example, chapter 4 in Supermodularity and Complimentarity by Topkis), that the requirement of upper-semicontinuity is stronger and implies the first one. I'm not ready to provide an accurate proof, however.</p>

CC BY-SA 3.0
2015-01-10T16:06:33.680Z
Thank you for your reminder. I checked the index of the book you mentioned, but didn't find the key word upper-semicontinuity.
Epicurus
CC BY-SA 3.0
2015-01-10T18:21:11.457Z
For example in that book in Lemma 4.2.2 and Theorem 4.2.1 impose an additional requiremen of upper semicontinuity on supermodular games which is, as I noted, a good indication of it being stronger requirement. And the fact, that it is sometimes defined that way suggest that upper semiconinuity is implied.
Nikita Toropov
CC BY-SA 3.0
2015-01-11T10:16:55.077Z
Thank you for your reference and comment. It seems to me there's some confusion in defining supermodular games. Because as far as "The set of Nash equilibria of a supermodular game is a complete lattice" goes a la Zhou Lin, upper- semicontinuity is encompassed in the definition of a supermodular game. But in the source you cited, upper-semicontinuity is introduced as an additional requirement to obtain the nice result by Zhou. But it eludes me why upper-semicontinuity plus other conditions, compactness and increasing difference implies a supermodular utility function.
Metta World Peace
CC BY-SA 3.0
2015-01-10T10:33:04.943Z
2015-01-10T10:33:04.943Z
Nikita Toropov
<p>One requirement for a supermodular game $(I, \mathbf S, \mathbf u)$ is usually presented in two ways (e.g. in <a href="http://www.myoops.org/twocw/mit/NR/rdonlyres/Economics/14-126Game-TheoryFall2002/29E08740-716A-4165-AC15-0B4978CC57DA/0/smod11.pdf">this note</a>):</p>

<blockquote>
  <p>For $i \in I$, $u_i$ is supermodular in $S_i$, when $s_{-i}$ is fixed, i.e. for $s_i, s_i' \in S_i$
  $$u_i(s_i \vee s_i', s_{-i})+u_i(s_i \wedge s_i', s_{-i}) \geq u_i(s_i , s_{-i})+u_i(s_i', s_{-i})$$</p>
</blockquote>

<p>Or</p>

<blockquote>
  <p>For $i \in I$, $u_i$ is upper-semicontinuous, i.e. for $\alpha \in \mathbb R$
  $$\{s_i \in S_i \mid u_i(s_i, s_{-i}) &lt; \alpha\} \text{ is open.}$$</p>
</blockquote>

<p>But they're obviously different. The former endows $S_i$ with an order structure, while the latter requires the equipment of a topology. How to understand this difference?</p>

<mathematical-economics><game-theory>
How to see that upper-semicontinuity and supermodularity are equivalent in a supermodular game context?
Epicurus
# How to see that upper-semicontinuity and supermodularity are equivalent in a supermodular game context?

(Asked by: username_0 on 2015-01-09)

One requirement for a supermodular game $(I, \mathbf S, \mathbf u)$ is usually presented in two ways (e.g. in [this note](http://www.myoops.org/twocw/mit/NR/rdonlyres/Economics/14-126Game-TheoryFall2002/29E08740-716A-4165-AC15-0B4978CC57DA/0/smod11.pdf)):

> For $i \in I$, $u\_i$ is supermodular in $S\_i$, when $s\_{-i}$ is fixed, i.e. for $s\_i, s\_i' \in S\_i$
> $$u\_i(s\_i \vee s\_i', s\_{-i})+u\_i(s\_i \wedge s\_i', s\_{-i}) \geq u\_i(s\_i , s\_{-i})+u\_i(s\_i', s\_{-i})$$

Or

> For $i \in I$, $u\_i$ is upper-semicontinuous, i.e. for $\alpha \in \mathbb R$
> $$\{s\_i \in S\_i \mid u\_i(s\_i, s\_{-i}) < \alpha\} \text{ is open.}$$

But they're obviously different. The former endows $S\_i$ with an order structure, while the latter requires the equipment of a topology. How to understand this difference?

**Tags:** mathematical-economics, game-theory


---

## 1 answers

### Answer by username_1 on 2015-01-10. Score: 4

Your observation about topology and order is somewhat inaccurate. First definition make use of partial order on $S\_i$ while the second make use of topology on it, but both structures are almost always specified by the assumption, that $S\_i$ is a sublattise of $R^n$ and so it is equipped with usual subspace topology and partial order. This is the first point in the definition in the material you have referred to. So this worries are misplaced.

However there is some indications (see, for example, chapter 4 in Supermodularity and Complimentarity by Topkis), that the requirement of upper-semicontinuity is stronger and implies the first one. I'm not ready to provide an accurate proof, however.

> **Comments:**
> **username_0**: Thank you for your reminder. I checked the index of the book you mentioned, but didn't find the key word upper-semicontinuity.  
> **username_1**: For example in that book in Lemma 4.2.2 and Theorem 4.2.1 impose an additional requiremen of upper semicontinuity on supermodular games which is, as I noted, a good indication of it being stronger requirement. And the fact, that it is sometimes defined that way suggest that upper semiconinuity is implied.  
> **username_2**: Thank you for your reference and comment. It seems to me there's some confusion in defining supermodular games. Because as far as "The set of Nash equilibria of a supermodular game is a complete lattice" goes a la Zhou Lin, upper- semicontinuity is encompassed in the definition of a supermodular game. But in the source you cited, upper-semicontinuity is introduced as an additional requirement to obtain the nice result by Zhou. But it eludes me why upper-semicontinuity plus other conditions, compactness and increasing difference implies a supermodular utility function.  

---

