Definition talk:Pointwise Addition of Real-Valued Functions

From ProofWiki
Jump to navigation Jump to search

In the interests of consolidating this idea with Definition:Pointwise Operation on Real-Valued Functions, do we rename this to be Definition:Pointwise Addition of Real-Valued Functions (and similarly with multiplication) or do we amend the links on that page to just be Definition:Pointwise Addition (and similarly with multiplication)? I can see arguments in favour of either. --prime mover (talk) 22:06, 5 October 2012 (UTC)

I would say that the "of real-valued functions" is a proper addition, since the concept of pointwise addition is broader than just RVF; e.g. other number codomains deserve this title as well. --Lord_Farin (talk) 08:11, 6 October 2012 (UTC)
Probably worth (in due course, when we come to need such definitions on other number codomains) putting a transclusion page together? This paradigm seems to be an adequate way to provide disambiguation of minutely-distintuished instances of a general definition. --prime mover (talk) 08:26, 6 October 2012 (UTC)
Yes, that'd be a good idea. --Lord_Farin (talk) 08:48, 6 October 2012 (UTC)