Banach 空間(過去スレ008の550)は Frechet 空間であるから
>>619より樽型空間である。