Of the many mathematical concepts that I don’t understand, one of the more important ones is the convolution of functions. It is defined in the following way:
Our guiding principle should be that we want to make an abelian group action (although inverses are not always present, at least when talking about integrable functions).
However, perhaps the reason why we thought of this action in the first place was that we wanted smooth functions out of just integrable functions. For instance, given any integrable function , if is a smooth compactly supported function, will be smooth (provided we can bring the derivatives under the integral sign, which is related to the Dominated Convergence Theorem).
However, why have this complicated definition? Why not just consider the function ? Clearly, if is smooth, so is this one.
One of the reasons why we perhaps want the more complicated definition of is that there does not exist a function such that for all functions . Hence, there cannot exist an identity element for the set of integrable functions on the real line. Also, this definition is clearly not commutative. I’d be interested in knowing your thoughts about what other purposes convolution serves, that this simple definition does not.