MEL(E; E

On donne aussi :

(1.9) RERD SD)

Ces applications définissent :

(1.10) K@M eL£(D,8E; D:@E'),

(application produit tensoriel des applications À et M), de la façon suivante : en considère D,@E; si T=S@e, SED,, e€E, on pose: K@M(T)=(K:S)@(M:e), élément de D:@EÆ', et ceci définit une application continue de D,2E dans D,2F", done qui se prolonge par continuité en une application linéaire continue de D',@Æ

dans D'@Œ'; c’est l'application (1.10).