Bonjours à tous et merci d'avance de votre aide.
En lisant une démo de la linéarité de l'éspérance il y'a quelques chose qui m'échappe :

Pour montrer que E(X+Y) = E(X) + E(Y) et que si X et Y sont d'espérance finie alors X+ Y l'est on utilise le théorème de transfert sur f(x,y) = x + y. Mais on doit encore justifier la sommabilité de (z(P(X+Y=z)) avec z ∈ (X+Y)(Ω). Pour ce faire la démo dit :

Comme (X,Y)(Ω) ⊂ (X(Ω) x Y(Ω)) alors cette famille est sommable ssi
((x+y)P(X=x,Y=y)) avec x ∈ X(Ω) et y ∈ Y(Ω).

Je comprend que si cette dernière famille est sommables, alors cela justifie la sommabilité de la famille cherché mais je ne comprend que ce soit une équivalence. Quelqu'un pourrait il m'éclairer ?