Définition : Loi d'un couple de variables aléatoires
Soit $X_{1},\dots,X_{n}$ des variables aléatoires (discrètes, à densité ou non) de $(\Omega,\mathcal{A},\mathbb{P})$.
Théorème : Caractérisation de la loi d'un vecteur aléatoire discret
Soit $X_{1},\dots,X_{n}$ des variables aléatoires discrètes de $(\Omega,\mathcal{A},\mathbb{P})$. La connaissance de la répartition conjointe $F_{(X_{1},\dots,X_{n})}$ est équivalente à la la connaissance de l'ensemble :
$$\left\{ \left(x_{1},\dots,x_{n},\mathbb{P}(\left[X_{1}=x_{1}\right]\cap\dots\cap\left[X_{n}=x_{n}\right])\right)\mid x_{1}\in X_{1}(\Omega),\dots,x_{n}\in X_{n}(\Omega)\right\} $$
Exemple
On lance indéfiniment une pièce truquée de sorte que le côté pile apparaît à chaque lancer avec la probabilité $p\in\left]0,1\right[$.
Théorème (admis)
Si $(X_{1},\dots,X_{n})$ et $(Y_{1},\dots,Y_{n})$ sont deux vecteurs aléatoires de $(\Omega,\mathcal{A},\mathbb{P})$ admettant la même loi de probabilité alors, pour toute fonction $g\colon\R^{n}\to\R$ continue sur $\R^{n}$, les variables aléatoires $g(X_{1},\dots,X_{n})$ et $g(Y_{1},\dots,Y_{n})$ ont même loi de probabilité.