Une copule est une fonction de répartition, notée C, définie sur [0,1]d dont les marges sont uniformes sur [0,1]. Une caractérisation est alors que C(u1,...,ud)=0 si une des composantes ui est nulle, C(1,...,1,ui,1,...,1)=ui, et C est d- croissante.
En dimension 2, C(0,v)=C(u,0)=0 pour tout u et v, C(u,1)=u et C(1,v)=v, pour tout u et v, et enfin, la propriété de 2 croissante se traduit par C(u1,v1)−C(u1,v2)−C(u2,v1)+C(u2,v2)≥0.
L'interprétation de cette notion de croissance se fait en notant que si (U,V) admet pour fonction de répartition C, Pr(u1<U<u2,v1<V<v2)=C(u1,v1)−C(u1,v2)−C(u2,v1)+C(u2,v2)≥0, la mesure Pr étant nécessairement positive.
Le théorème de Sklar dit que si C est une copule, et si F1,...,Fd sont des fonctions de répartition (univariées), alors F(x1,...,xd)=C(F1(x1),...,Fd(xd)) est une fonction de répartition de dimension d, dont les marges sont précisément F1,...,Fd.
Et réciproquement, si F est une fonction de répartition en dimension d, il existe une copule C telle que F(x1,...,xd)=C(F1(x1),...,Fd(xd)), où les Fi sont les lois marginales de F.
Si ces lois marginales sont toutes continues, la copule C est alors unique, et donnée par la relation C(u1,...,ud)=F(F1−1(u1),...,Fd−1(ud)). Dans ce cas, on pourra alors parler de la copule associée à un vecteur aléatoire (X1,...,Xd).
La copule d'un vecteur aléatoire (X1,...,Xd) est alors la fonction de répartition du vecteur aléatoire (F1(X1),...,Fd(Xd)), que l'on notera parfois (U1,...,Ud).