- Source: Graph continuous function
In mathematics, and in particular the study of game theory, a function is graph continuous if it exhibits the following properties. The concept was originally defined by Partha Dasgupta and Eric Maskin in 1986 and is a version of continuity that finds application in the study of continuous games.
Notation and preliminaries
Consider a game with
N
{\displaystyle N}
agents with agent
i
{\displaystyle i}
having strategy
A
i
⊆
R
{\displaystyle A_{i}\subseteq \mathbb {R} }
; write
a
{\displaystyle \mathbf {a} }
for an N-tuple of actions (i.e.
a
∈
∏
j
=
1
N
A
j
{\displaystyle \mathbf {a} \in \prod _{j=1}^{N}A_{j}}
) and
a
−
i
=
(
a
1
,
a
2
,
…
,
a
i
−
1
,
a
i
+
1
,
…
,
a
N
)
{\displaystyle \mathbf {a} _{-i}=(a_{1},a_{2},\ldots ,a_{i-1},a_{i+1},\ldots ,a_{N})}
as the vector of all agents' actions apart from agent
i
{\displaystyle i}
.
Let
U
i
:
A
i
⟶
R
{\displaystyle U_{i}:A_{i}\longrightarrow \mathbb {R} }
be the payoff function for agent
i
{\displaystyle i}
.
A game is defined as
[
(
A
i
,
U
i
)
;
i
=
1
,
…
,
N
]
{\displaystyle [(A_{i},U_{i});i=1,\ldots ,N]}
.
Definition
Function
U
i
:
A
⟶
R
{\displaystyle U_{i}:A\longrightarrow \mathbb {R} }
is graph continuous if for all
a
∈
A
{\displaystyle \mathbf {a} \in A}
there exists a function
F
i
:
A
−
i
⟶
A
i
{\displaystyle F_{i}:A_{-i}\longrightarrow A_{i}}
such that
U
i
(
F
i
(
a
−
i
)
,
a
−
i
)
{\displaystyle U_{i}(F_{i}(\mathbf {a} _{-i}),\mathbf {a} _{-i})}
is continuous at
a
−
i
{\displaystyle \mathbf {a} _{-i}}
.
Dasgupta and Maskin named this property "graph continuity" because, if one plots a graph of a player's payoff as a function of his own strategy (keeping the other players' strategies fixed), then a graph-continuous payoff function will result in this graph changing continuously as one varies the strategies of the other players.
The property is interesting in view of the following theorem.
If, for
1
≤
i
≤
N
{\displaystyle 1\leq i\leq N}
,
A
i
⊆
R
m
{\displaystyle A_{i}\subseteq \mathbb {R} ^{m}}
is non-empty, convex, and compact; and if
U
i
:
A
⟶
R
{\displaystyle U_{i}:A\longrightarrow \mathbb {R} }
is quasi-concave in
a
i
{\displaystyle a_{i}}
, upper semi-continuous in
a
{\displaystyle \mathbf {a} }
, and graph continuous, then the game
[
(
A
i
,
U
i
)
;
i
=
1
,
…
,
N
]
{\displaystyle [(A_{i},U_{i});i=1,\ldots ,N]}
possesses a pure strategy Nash equilibrium.
References
Partha Dasgupta and Eric Maskin 1986. "The existence of equilibrium in discontinuous economic games, I: theory". The Review of Economic Studies, 53(1):1–26
Kata Kunci Pencarian:
- Fungsi Weierstrass
- Graph continuous function
- Graph of a function
- Differentiable function
- Continuous function
- Uniform continuity
- Closed graph theorem
- Lipschitz continuity
- Homeomorphism
- Piecewise linear function
- Cantor function
