4
Rappelons que deux probabilit´es d´efinies sur un mˆeme espace mesurable Pet
Qsont ´equivalentes si elles admettent les mˆemes n´egligeables. Dans le cas d’un
espace probabilis´e fini et avec la condition que Pcharge tous les singletons, Qest
´equivalente `a Psi Qsatisfait ´egalement cette propri´et´e.
Dans la suite, on notera E∗l’esp´erance relative `a la probabilit´e P∗.
D´emonstration : On commence par supposer qu’il existe P∗´equivalente `a Psous
laquelle les prix actualis´es sont des martingales. Soit φune strat´egie admissible de
valeur initiale nulle; montrons que φn’est pas une strat´egie d’arbitrage. D’apr`es la
Proposition 2.3, ( ˜
Vn(φ))n=0..N est une martingale sous P∗. Par cons´equent,
E∗h˜
VN(φ)i=E∗h˜
V0(φ)i= 0.
Mais comme P∗charge tous les singletons, et ˜
VN(φ)≥0, on en d´eduit que cette
variable est nulle, ce qu’il fallait d´emontrer.
R´eciproquement, supposons que le march´e est viable. On va utiliser un th´eor`eme
de s´eparation pour d´efinir P∗puis utiliser le point 4. de la Proposition 2.2 pour
d´emontrer que, sous P∗, les prix actualis´es des actifs sont des martingales.
Lemme 2.1. Soit Fun sous espace-vectoriel de Rm(m≥1) et soit Kun convexe
compact de Rmdisjoint de F. Il existe une forme lin´eaire ξsur Rmtelle que
F⊂Kerξet ξ(x)>0pour tout x∈K.
Pour appliquer ce lemme, on remarque tout d’abord que l’ensemble des appli-
cations de Ω dans Rpeut-ˆetre identifi´e `a Rmavec m= card Ω et que l’ensemble
des variables r´eelles FN-mesurables en constitue un sous-espace que nous notons
E(ici, avec l’hypoth`ese F=P(Ω), toutes les applications sont mesurables et donc
E=Rm).
On d´efinit
F={˜
VN(φ)/ φ strat´egie autofinanc´ee de valeur initiale nulle}.
Fest bien un sous espace vectoriel de Ecar ˜
VNest lin´eaire et l’ensemble des
strat´egies autofinanc´ees de valeur initiale nulle forme un espace vectoriel (F=
Im ˜
VN). Enfin, on pose
K=(X∈E,X≥0 et X
ω∈Ω
X(ω) = 1).
D’apr`es la Proposition 2.1, F⊂Kcet on peut appliquer le Lemme 2.1. La forme
lin´eaire ξdu lemme peut ˆetre identifi´ee `a un vecteur (ξω)ω∈Ωde Rm. Du fait que
ξest strictement positive sur K, on d´eduit que ξω>0 pour tout ω∈Ω. En effet,
pour tout X∈E,
ξ(X) = hξ, XiRm=X
ω∈Ω
ξωX(ω).
Si enfin on applique cette relation aux Xde Kqui sont de la forme
X(ω) = ½1 si ω=ω0
0 sinon
pour tout ω0∈Ω, on obtient bien ξω0>0 pour tout ω0∈Ω d`es que l’on suppose
ξ > 0 sur K.