<p>It is well-known that a function on an open set in <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {R}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation> is smooth if and only if it is arc-smooth, i.e., its composites with all smooth curves are smooth. In recent work, we extended this and related results (for instance a real analytic version) to suitable closed sets, notably, sets with Hölder boundary and fat subanalytic sets satisfying a necessary topological condition. In this paper, we prove that the resulting set-theoretic identities of function spaces are bornological isomorphisms with respect to their natural locally convex topologies. Extending the results to maps with values in convenient vector spaces, we obtain corresponding exponential laws. Additionally, we show analogous results for special ultradifferentiable Braun–Meise–Taylor classes.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On spaces of arc-smooth maps

  • Armin Rainer

摘要

It is well-known that a function on an open set in \(\mathbb {R}^d\) R d is smooth if and only if it is arc-smooth, i.e., its composites with all smooth curves are smooth. In recent work, we extended this and related results (for instance a real analytic version) to suitable closed sets, notably, sets with Hölder boundary and fat subanalytic sets satisfying a necessary topological condition. In this paper, we prove that the resulting set-theoretic identities of function spaces are bornological isomorphisms with respect to their natural locally convex topologies. Extending the results to maps with values in convenient vector spaces, we obtain corresponding exponential laws. Additionally, we show analogous results for special ultradifferentiable Braun–Meise–Taylor classes.