Soient $f,g$ deux fonctions de $L^1(\R)$. Soit $A:=\{x\in R \mid f(x) > g(x)\}$. Alors $A = \bigcup_{n\in \N} A_n$ où $A_n:=\{x\in \R \mid f(x)-g(x) \geq 2^{-n}\}$ et $\mu(A_n)\leq 2^n \int_{A_n} f(x)-g(x)dx$ par l'inégalité de Markov/Bienaymé-Tchebychev.
Si $\int_B f = \int_B g$ pour toute partie mesurable $B$ (ce qui est le cas si $f$ et $g$ sont des densités de V.A. égales en loi), alors $\mu(A_n)=0$. Donc $\mu(A)=0$. Donc $f\leq g$ pp.
En changeant l'inégalité par symétrie, $f \geq g $ pp et donc $f=g$ pp.
Une fonction est un ensemble $f$ de couples tel que pour tous $x,y,z$, si $(x,y)\in f$ et $(x,z)\in f$ alors $y = z$.
Il y a deux manières de répondre à cette question :
avoir fait en sorte que la densité d'une variable à densité soit un objet bien défini, dans ce cas, la réponse est évidemment "oui".
considérer qu'une variable à densité a plein plein de densités, mais dans ce cas-là, la question n'a aucun sens, car pour $X,Y$ à densité, on ne peut pas parler de "leurs" fonctions densités respectives.
Réponses
Cordialement.
Si $\int_B f = \int_B g$ pour toute partie mesurable $B$ (ce qui est le cas si $f$ et $g$ sont des densités de V.A. égales en loi), alors $\mu(A_n)=0$. Donc $\mu(A)=0$. Donc $f\leq g$ pp.
En changeant l'inégalité par symétrie, $f \geq g $ pp et donc $f=g$ pp.
Pensez vous, pour $u,v\in \C^*$, qu'on a l'implication : $$u = v \Longrightarrow \ln(u) = \ln(v) \quad ?$$