The aim of this work is to lay foundations of differential calculus in infinite dimensions and to discuss those applications in infinite dimensional differential geometry and global analysis which do not involve Sobolev completions and fixed point theory.