Normed and Banach spaces

Banach space: a complete normed vector space, the setting for analysis in infinite dimensions.

Analysis II already proved $(C[a,b], \|\cdot\|_\infty)$ is Banach and $(C[0,1], d_1)$ isn't.