Direct sum of Banach spaces