>>341
ありがとうございました．杉浦光夫の解析入門シリーズを厳密かつ完全無欠な本であるかのように言う人が多くいるので，もしかしたら，Wが連結でなくても議論が成り立つ
のではないかと心配だったんです．