最近忙しかったからね。空気になりたい凡人です。
実は学術ブログの方最近更新できてませんでした。理由はもちろんお分かりですね。前期まとめのせいです。（事前に準備してなかった自分が悪いのだが...）そろそろ復活できそうだわははははは。とりあえず連載シリーズを完結させてから、新しいことに手を出してみよう。
現場からは以上です。
今日のやつ 位相群の基本近傍系
位相群Gに対して1_{G}の基本近傍系は特定の形に定まる。これは、完備化の頭にあったのだが全然理解できなかった。しかし、黄色雪江にその解決策があった。単純に世紀部分群より構成できるだけである。
