Bonjour :
Soit
 $)
et
 $)
deux espaces mesurables.
Alors
 $)
est un espace mesurable , avec

est la tribu produit tensoriel de

et

sur l'espace produit :

.
Or, j'ai pas encore bien saisi cette notion de tribu produit tensoriel, est ce que quelqu'un peut bien me l'expliquer ...?
Notre prof de theorie de la mesure nous a dit l'année passé qu'il faut eviter de croire que les éléments de la tribu produit tensoriel

sont les éléments

avec

et

.
La définition d'une tribu produit tensoriel

est la tribu engendré par les projections

et

 \hspace{10cm} \longrightarrow p(x_{1},x_{2}) = x_{2} $)
C'est à dire la plus petite tribu contenant ... "les projections

et

" ... ? ça doit contenir des ensembles et non pas des projections ... c'est là ou réside mon problème ?!
Est ce que vous pouvez m'expliquer ce point là ?!
Merci infiniment !!