Definition talk:Functional/Real

This seems very similar to a distribution. Is there a difference? --GFauxPas (talk) 13:34, 5 January 2017 (EST)
 * I believe distributions is a subset of functionals in a sense that they are linear and act on "test functions", but I am not yet educated in that area. --Julius (talk)

"Well-defined"
Well-defined-ness was only mentioned in the book by Hans Sagan, but not explained. I guess this was just a superfluous description, and could be deleted. However, if it is desirable to have something equivalent to well-defined mapping, then I at this moment I cannot help. --Julius (talk)

Domain of J
You are correct. My mistake.


 * Well-defined is redundant -- all mappings are "well-defined" in this context, or they are not mappings.


 * Removed the comment about "points", as it does not bring anything to the definition, and merged the rest of the "technical note" -- we prefer to keep that heading title for notes about how to craft the $\LaTeX$ and so on. --prime mover (talk) 14:29, 5 January 2017 (EST)

General definitions of functionals
You have asked if there are functionals mapping to spaces other than $\mathbb R$.

The answer is yes, and this is standard practice.

Definition of linear functional
 * A linear functional is a linear map from a vector space to its field of scalars.

Definition of continuous linear functional
 * A continuous linear functional is a linear map from a topological vector space to its topological field of scalars which is continuous.

More general definition
 * Given a commutative ring $R$ and an $R$-module $M$, a linear functional on $M$ is an $R$-linear map from $M$ to $R$.

Returning to the question at hand regarding (not necessarily linear) functionals, one may use the following definition:

Definition of functional
 * Given a commutative ring $R$ and an $R$-algebra $A$, a functional on $A$ is a map from $A$ to $R$.

Both the "more general definition" and the "definition of a functional" above are motivated by applications to $C^*$-algebras.


 * Thank you for the input. Clearly the definition has to be generalised, as I was focusing on its applications in Calculus of Variations, while the rest of contributors have been focusing on other fields. At the moment I am not planning to update the definition, at least not in the nearest future, since there is still some material left that I would like to cover, at least to some extent, but definitely it is needed. May I suggest a discussion regarding a specific page to be handled within the main discussion page of the given article? In this way any relevant information would be easily accessible without the need of auxiliary links. Julius (talk) 09:22, 19 April 2017 (EDT)


 * The above has been moved from there to here. --prime mover (talk) 10:24, 19 April 2017 (EDT)


 * Thanks for moving this to the right place, I didn't realize I was writing comments in the wrong place. While we are on this topic, another important concept is a continuous linear functional. I have added a standard definition to my comments above, in the section whose heading has been renamed to "General definitions of functionals". --M (talk) 6:36, 19 April 2017 (PST)