The exponential law for spaces of test functions and diffeomorphism groups

Andreas Kriegl, Peter W. Michor, Armin Rainer

We prove the exponential law $\mathcal{A}(E\times F,G)\cong \mathcal{A}(E,\mathcal{A}(F,G))$ (bornological isomorphism) for the following classes $\mathcal{A}$ of test functions: $\…