Definition:Profile/Less Player

From ProofWiki
Jump to navigation Jump to search


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.

Let $x = \left\langle{x_i}\right\rangle_{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} := \left\langle{x_j}\right\rangle_{j \mathop \in N \setminus \left\{ {i}\right\} }$

Thus the profile $x = \left\langle{x_i}\right\rangle_{i \mathop \in N}$ can be denoted:

$\left\langle{x_{-i}, x_i}\right\rangle$

for some $x_i$ for $i \in N$.