>>75
アホか。核型の定義を「弱めて」と書いてるので、
核型かつBanachな空間の話はしていない。

>C_c^\infty(any open set in R^n)とかは後者の範疇で、完備じゃな
いから

いやいや、それは完備。さすがにこれは基本中の基本だろ・・・
核型Frechet空間に、帰納極限なりdualとるなり、適当な操作を
施したらいくらでもFrechetでない完備核型空間なんて作れまんがな。