Tools for Infinite Dimensional Analysis