Théorème de Parthasarathy

En mathématiques et plus précisément en théorie des jeux, le théorème de Parthasarathy est un théorème découvert par le mathématicien indien Thiruvenkatachari Parthasarathy.

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne cite pas suffisamment ses sources (décembre 2016).

Cet article est une ébauche concernant les mathématiques.

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cette section ou cet article est une traduction incomplète (décembre 2018).

Dans l'étude des jeux sur le carré unité^[Quoi ?], ce théorème est une généralisation du théorème du minimax de von Neumann.

Texte à traduire

Portion de texte anglais à traduire en français

Texte anglais à traduire :
It states that a particular class of games has a mixed value, provided that at least one of the players has a strategy that is restricted to absolutely continuous distributions with respect to the mesure de Lebesgue (in other words, one of the players is forbidden to use une stratégie pure).

Terminology: $X$ and $Y$ stand for the intervalle unité $[0, 1]$ ; $ℳ_{X}$ is the set of mesures de probabilité on $X$ ; $A_{X} \subset ℳ_{X}$ est le sous-ensemble de celles qui sont absolument continues ( $ℳ_{Y}$ et $A_{Y}$ sont définis de même).

Theorem

Suppose that $k (x, y)$ is bounded on the unit square $0 \leq x, y \leq 1$ ; further suppose that $k (x, y)$ is continue except possibly on a finite number of curves of the form $y = ϕ_{k} (x)$ (with $k = 1, 2, \dots, n$ ) where the $ϕ_{k} (x)$ are continuous functions.

Further suppose

k (μ, λ) = \int_{y = 0}^{1} \int_{x = 0}^{1} k (x, y) d μ (x) d λ (y) = \int_{x = 0}^{1} \int_{y = 0}^{1} k (x, y) d λ (y) d μ (x) .

Then

max_{μ \in ℳ_{X}} inf_{λ \in A_{Y}} k (μ, λ) = inf_{λ \in A_{Y}} max_{μ \in ℳ_{X}} k (μ, λ) .

This is equivalent to the statement that the game induced by $k (\cdot, \cdot)$ has a value. Note that the player $Y$ is forbidden from using a pure strategy.

Parthasarathy goes on to exhibit a game in which

max_{μ \in ℳ_{X}} inf_{λ \in ℳ_{Y}} k (μ, λ) \neq inf_{λ \in ℳ_{Y}} max_{μ \in ℳ_{X}} k (μ, λ)

which thus has no value.

Traduction du texte anglais :
Ce théorème affirme qu'une classe particulière de jeux a des valeurs mixtes, ce qui fournit qu'au moins un des joueurs possèdent une stratégie restreinte aux distributions absolument continues pour la mesure de Lebesgue (en d'autres termes, l'un des joueurs ne peut utiliser de stratégie pure).

Terminologiquement parlant : Soit X=Y= [0;1] ; $ℳ_{X}$ l'ensemble des mesures de probabilité sur X et $A_{X} \subset ℳ_{X}$ le sous ensemble de celles absolument continues ( $ℳ_{Y}$ et $A_{Y}$ étant définis similairement)

Théorème

Supposons que k(.,.) soit bornée sur le carré unité $0 \leq x, y \leq 1$ ; supposons de plus que k soit continue sauf éventuellement en un nombre quelconque mais fini de points d'une courbe de la forme $y = ϕ_{k} (x)$ (avec $k = 1, 2, \dots, n$ ) où $ϕ_{k}$ est une fonction continue.

Enfin supposons que

k (μ, λ) = \int_{y = 0}^{1} \int_{x = 0}^{1} k (x, y) d μ (x) d λ (y) = \int_{x = 0}^{1} \int_{y = 0}^{1} k (x, y) d λ (y) d μ (x) .

Alors

max_{μ \in ℳ_{X}} inf_{λ \in A_{Y}} k (μ, λ) = inf_{λ \in A_{Y}} max_{μ \in ℳ_{X}} k (μ, λ) .

Ce qui est équivalent à l'affirmation que le jeu induit par k( . , . ) a une valeur. Notons que le joueur Y est interdit d'utiliser une stratégie pure.

Parthasarathy parvient à exhiber un jeu dans lequel

max_{μ \in ℳ_{X}} inf_{λ \in ℳ_{Y}} k (μ, λ) \neq inf_{λ \in ℳ_{Y}} max_{μ \in ℳ_{X}} k (μ, λ)

qui n'a alors pas de valeurs.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Parthasarathy's theorem » (voir la liste des auteurs).
(en) T. Parthasarathy, « On Games over the unit square », SIAM J. Appl. Math., vol. 19, n^o 2,‎ 1970, p. 473-476 (DOI 10.1137/0119047)

Portail des mathématiques