松坂の集合位相入門 岩波でよいだろう