Differentiable vector-valued functions from Euclidean space: Difference between revisions

Revision as of 00:17, 15 February 2021

Revision as of 00:18, 15 February 2021

Line 109:

Furthermore, its restriction

:<math>I_{\infty}\big\vert_{C_c^{\infty}\left(\Omega \times \Delta\right)} : C_c^\infty(\Omega \times \Delta) \to C_c^\infty\left(\Delta; C_c^\infty(\Omega)\right)</math>

is an isomorphism of TVSs when(where <math>C_c^\infty\left(\Omega \times \Delta\right)</math> has its canonical LF topology).

}}