Grothendieck空間って核型空間とBanach空間の中間みたいなもん?
どういうとこで使うの?