9:30起床。ご飯を食べて食休みして10:30からアティマク10章1節を読む。完備化の最初のところ。位相群に関する補題が昔読んだ時は微妙にしっくりこなかったけどようやくしっくりきた。完備化された位相群が完備なことを示すのに使う証明でsnake lemmaを用いて…

9:30起床。ご飯を食べて部活の幹部会議に出る。なんやかんやもうそろそろ引き継ぎになる。結局幹部代になってもまともに走れなかったので本当にどうしようもない。大学陸上、上手くいかなかったなぁ。 その後、トゥーの『An Introduction to Manifolds』を読…