Evolution Processes and the Feynman-Kac Formula
Brian Jefferies
Let J be the linear map J : [s]o H [s]r, s e sim(S). Here [f]o denotes the image of f e C" (sim(S), G) in L'(sim(S), G) by the quotient map. The definition of J makes sense because, as we have just seen, a G-null function is necessarily T-null.