>>373
>>374
有限次元の線型空間にどのように位相を入れるかが問題にはなるが