位相は自分で勉強した事が記憶に残ってるから授業で何やったか思い出せん
距離空間の開球で定義された位相って授業であったのかなー？
授業でT1,T2とかT4が距離空間にできるとかやってた記憶はあるんだが