da killing_buddha » 20/02/2018, 14:47
Mi è stata fatta questa domanda ieri, in un momento in cui non avevo modo di pensarci, e ho deciso di postarla qui; del resto ho frainteso ciò che mi era stato chiesto. Ora edito il posto originale.
In ogni caso, la domanda precedente non era "posso trovare sempre una omotopia smooth a testimoniare che \(F\simeq g\)?" quanto piuttosto "è vero che tutte le omotopie tra cammini smooth sono della stessa liscezza dei suddetti cammini?"
La mia sensazione era "ovviamente no".
- "Everything in Mathematics that can be categorized, is trivial" (P. J. Freyd), which should be understood as: "category theory is good ideas rather than complicated techniques".
- "I always disliked Analysis" (P. J. Freyd)