3 ms·
This is basically correct, the theory of distributions can be presented in terms of linear functionals. A functional is a map that takes a function and returns
by johnbcoughlin 4y ago
This is basically correct, the theory of distributions can be presented in terms of linear functionals. A functional is a map that takes a function and returns a scalar. I'm not sure how to encode linearity in your type system though...
- thrown_22 4y ago>I'm not sure how to encode linearity in your type system though... You don't really, the same way that a regular function R->R has no specific type information that tells you ti's linear or not, e.g. both x and sin(x^2) have the same type.