Hello everyone, I had a question I was hoping I could get some help with. Let be a smooth manifold and let be vector fields. Let be the flow of . So in my notation I have and for a smooth function then . Let , so that pointwise.
In a proof in my course there is a statement
Why can we just take limits inside? It is not obvious to me that the map is smooth.
Thanks for any help.