>>68
アホか。Frechetでない核型空間もあるわい。
核型の定義を少し弱めてBanachであることを回復させたのがGrothendieckだろ。