Definition:Profile

From ProofWiki
Jump to navigation Jump to search

Definition

Let $G$ be a game.

Let $N$ be the set of players of $G$.

Let $V$ be a variable defining some aspect of each of the players.


The family of values of $V$ is referred to as a profile, denoted:

$\family {x_i}_{i \mathop \in N}$


If the fact that $i \in N$ is understood, then $\family {x_i}$ can be used.


Profile less one Player

Let $x = \family {x_i}_{i \mathop \in N}$ be a profile of $V$.

Then $x_{-i}$ is used to denote $x$ for all players except for $i$:

$x_{-i} := \family {x_j}_{j \mathop \in N \setminus \set i}$


Sources