Salut,

, c'est la même chose que , non?

Justement, j'en doute.
J'arrive à trouver une base de avec définie par .
Mais quand tu dis c'est la même chose, on parle d'isomorphisme entre les deux ?

Petite question aussi :
un élément s est dans signifie que s est une fonction de dans K telle que s soit mesurable avec c'est bien ça ?

oui c'est ça.

pour ton post de 12:55, je ne connais pas de définition si générale des , j'aurais dit une intégrale a priori à la place de la somme, je sais pas

Je crois que par définition où désigne la mesure de décompte sur .

merci,

enfin plutôt .

Oui, donc c'est bien ça ? Dire qu'un élément appartient à cette ensemble est équivalent à ce que j'annonce à 12:55, tu en pense quoi ?

je pense que c'est ça.

On a donc une base de qui est avec définie comme précédemment. On peut donc écrire pour tout élément s de : .

Comment montrer alors que ?

tu es sûr que c'est pas plutôt ?

pardon je voulais dire

En fait on exprime s dans deux bases :

où définie par .

Soit .
Il faut montrer que .

J'en suis pas encore à ce stade dans l'étude des espaces de Hilbert.