Of course, sorry, I forgot...
Hm, but the domain of f is not simply R^n, but the set of functions on R^n? So this is an infinitely dimensional vector space with all its complications like
- What´s meant by "eukidean norm" here (probably ||g|| = sqrt(integral(g^2)))
- Norms on infinite...