1
$\begingroup$

In the book "a convenient setting for global analysis" they describe the order of an operational tangent vector on a convenient vector space.

http://www.mat.univie.ac.at/~michor/apbookh-ams.pdf

After which they prove that their exists those of order 2 and 3. After breaking my head on it for a bit I can't seem to wrap my head around the proof.

What is the second order vector they prove that exists in that case? I would already be quite happy with a concrete example.

$\endgroup$

1 Answer 1

5
$\begingroup$

Let $\alpha\in B(H)'$ be a bounded linear functional on the space of all bounded linear operators on Hilbert space which vanishes on the subspace of compact operators $K(H)\supset H\otimes H'$. Then $f\mapsto \alpha(d^2f(0))$ for $f\in C^\infty(H)$ is an operational tangent vector with this property, since it is a derivation: \begin{align} \alpha(d^2(f.g)(0) &= \alpha\Big(d^2f(0).g(0) + df(0)\otimes dg(0) + dg(0)\otimes df(0) + f(0)d^2g(0)\Big) \\& = \alpha\big(d^2f(0)\big).g(0) + 0 + 0 + f(0).\alpha\big(d^2g(0)\big) \end{align} So convince yourself that these linear functionals exist, by Hahn-Banach.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.