← Back to context

Comment by skhunted

25 days ago

Don’t know if you are a mathematician or not but mathematically speaking “function” has a definition that is valid in all mathematical contexts. Functional clearly meets the criteria to be a function since being a function is part of the definition of being a functional.

The situation is worse than I thought. The term "function", as used in foundations of mathematics, includes functionals as a special case. By contrast, the term "function", as used in mathematical analysis, explicitly excludes functionals. The two definitions of the word "function" are both common, and directly contradict one another.

  • By contrast, the term "function", as used in mathematical analysis, explicitly excludes functionals. The two definitions of the word "function" are both common, and directly contradict each other.

    This is incorrect. In mathematics there is a single definition of function. There is no conflict or contradiction. In all cases a function is a subset of the cross product of two spaces that satisfies a certain condition.

    What changes from subject to subject is what the underlying spaces of interest are.

    • > What changes from subject to subject is what the underlying spaces of interest are.

      I'm not sure I understand what you mean here. I need some clarification. How does this have any bearing on whether functionals count as functions or not? What is the "underlying spaces of interest" in this example?

      In some trivial way, every mathematical object can be seen as a function. You can replace sets in axiomatic set theory with functions.

      16 replies →