Démonstration: a) Supposons le marché viable et complet et soitune v.a.r.
; il existe une stratégie admissible
telle que
; comme
est autofinancée , on peut écrire (cf. la remarque 4.2.1)
Siet
sont deux probabilités sous lesquelles
est une martingale, on aura
, ce qui entraine évidemment
b) Inversement , supposons le marché viable et non complet ; il exite alors une v.a.non simulable ; reprenant les notations du corollaire 4.2.2, cela signifie que
est un sous espace vectoriel strict de
que nous munirons maitenant du produit scalaire
; d'après ce que l'on sait des espaces euclidiens, il existe dans
un vecteur
non nul (i.e. une v.a.r. non nulle) orthogonal à
; cela entraine en particulier, puisque
est orthogonale aux constantes,
. Définissons alors
par l'égalité
oùest un réel
assez grand pour que
; il est alors facile de voir que
est une probabilité différente de
; de plus, quelque soit la suite prévisible
à valeurs dans
,
Il résulte alors du lemme 3.3.4 que () est une martingale sous
.