Timeline for Exponential rule for Whitney-$\mathcal{C}^{\infty}$-topology
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 17, 2015 at 5:05 | comment | added | Pedro Lauridsen Ribeiro | @JochenWengenroth or perhaps a "convenient-calculus" tag... | |
| Jun 17, 2015 at 5:02 | comment | added | Pedro Lauridsen Ribeiro | @KathrinL. Igor's comment is still relevant. The graph topology on the space of continuous maps is the Whitney $C^0$ topology, and Peter Michor's argument works in the continuous case as well. | |
| Jun 16, 2015 at 20:45 | answer | added | Peter Michor | timeline score: 4 | |
| Jun 16, 2015 at 18:12 | answer | added | Tobias Diez | timeline score: 1 | |
| Jun 15, 2015 at 20:59 | comment | added | Jochen Wengenroth | Time to create an "Ask-Michor-tag". More seriously, Peter Michor, Andreas Kriegl, and collaborators did a lot on such questions for a big variety of function spaces. Look for "convenient calculus". | |
| Jun 15, 2015 at 12:57 | comment | added | Kathrin L. | The exercice deals with the continuous case. Hirsch denotes with $C_S$ the topology on the space of all continuous maps coming from considering graphs. | |
| Jun 15, 2015 at 12:38 | comment | added | Igor Khavkine | Ha! My attempt to look this up in an obvious place quickly ran into an obstacle. In Hirsch's Differential topology, Exr.2.4.2 (a starred exercise) is essentially identical to your question, without suggesting an answer: "Under what conditions is the natural map $C_S(X,C_S(Y,Z)) \to C_S(X\times Y, Z)$ a homeomorphism?" | |
| Jun 15, 2015 at 12:19 | history | asked | Kathrin L. | CC BY-SA 3.0 |