Is the normed vector space $\{0\}$ considered a Banach space? I am asking this question because Cartan's Differential Calculus implicitly assumes that the identity operator has norm 1 in Section 1.9.
However with the norm of $f$, defined as $$ \|f\| = \sup_{\|x\|\leq 1} \|f(x)\|,$$ the norm of the identity operator is $0$ for the trivial vector space.