direct sum of Banach spaces