Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2020
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2002.11339 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911835041562624 |
|---|---|
| author | Shimakawa, Kazuhisa |
| author_facet | Shimakawa, Kazuhisa |
| contents | By utilizing the idea of Colombeau's generalized function, we introduce a notion of asymptotic map between arbitrary diffeological spaces. The category consisting of diffeological spaces and asymptotic maps is enriched over the category of diffeological spaces, and inherits completeness and cocompleteness. In particular, the set of asymptotic functions on a Euclidean open set include Schwartz distributions and form a Colombeau type smooth differential algebra over Robinson's field of asymptotic numbers. To illustrate the usefulness of our machinery, we show that homotopy extension property can be established for smooth relative cell complexes if we exploit asymptotic maps instead of smooth ones. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2002_11339 |
| institution | arXiv |
| publishDate | 2020 |
| record_format | arxiv |
| spellingShingle | Generalized maps between diffeological spaces Shimakawa, Kazuhisa Algebraic Topology 54C35, 46T30, 58D15 By utilizing the idea of Colombeau's generalized function, we introduce a notion of asymptotic map between arbitrary diffeological spaces. The category consisting of diffeological spaces and asymptotic maps is enriched over the category of diffeological spaces, and inherits completeness and cocompleteness. In particular, the set of asymptotic functions on a Euclidean open set include Schwartz distributions and form a Colombeau type smooth differential algebra over Robinson's field of asymptotic numbers. To illustrate the usefulness of our machinery, we show that homotopy extension property can be established for smooth relative cell complexes if we exploit asymptotic maps instead of smooth ones. |
| title | Generalized maps between diffeological spaces |
| topic | Algebraic Topology 54C35, 46T30, 58D15 |
| url | https://arxiv.org/abs/2002.11339 |