Théories spectrales, IV, p. 341
Soient n et m des entiers, et soient U⊂Rn et V⊂Rm des ouverts. a) Il existe une unique application linéaire injective de u de D(U)⊗D(V) dans D(U×V) telle que u(φ⊗ψ) est la fonction (x,y)↦φ(x)ψ(y) pour tout (φ,ψ)∈D(U)×D(V). De plus, l’image de u est dense dans D(U×V). On identifie l’espace D(U)⊗D(V) à un sous-espace de D(U×V) à l’aide de l’application u.
b) Pour toutes les distributions f sur U et g sur V, il existe une unique distribution f⊗g sur U×V telle que ⟨f⊗g,φ⊗ψ⟩=⟨f,φ⟩⟨g,ψ⟩ pour tout (φ,ψ)∈D(U)×D(V).
c) Soient f∈D(U) et g∈D(V). Pour tout η∈D(U×V) et tout x∈U, notons ηx l’application y↦η(x,y). On a ηx∈D(V) et l’application φ qui à x∈U associe ⟨f,ηx⟩ appartient à D(U) et vérifie
⟨f⊗g,η⟩=⟨f,φ⟩
Rien.
Rien.