Definition talk:Differentiable Mapping/Function With Values in Normed Space

From ProofWiki
Jump to navigation Jump to search

Good point, I wasn't sure whether to turn this into the general Fr├ęchet derivative and call it "Functions Between Normed Spaces" or that would be "too much of an upgrade" of the current page; hence why I settled for real domains first. But I'll gladly change this to functions between arbitrary normed spaces --FvomEnde (talk) 12:13, 4 December 2022 (UTC)

I think this is a good special case to separate out because of its close resemblance to the "usual" derivative. Definitely deserves its own page imo. Caliburn (talk) 12:42, 4 December 2022 (UTC)
Yes, the separate page is OK. The page name could be more specific. But it is not so urgent to resolve. --Usagiop (talk) 13:35, 4 December 2022 (UTC)