春休み(2021)10日目

2/21(月) 晴れ

10時位に起きた。明日のセミナーのためにここまで考えたことをまとめていた。昨日できたと思っていたやつを改めてちゃんと全部証明が回っているかどうかを考えないといけなくてそこに関してまとめることを目的としていた。

とりあえず読んでいた論文を書いて考えていたことをまとめ始めた。まとめてみると大体うまく行ってないなって気分になった。まあ割とそんなもんなんだろうか。あんまり自分で考えられている感じはしないけど。しかも昨日成り立っていると思っていたことが案の定うまくいっていなかった。やっぱり今までちゃんとあんまり書いてなかったところについてだった。ある写像単射性がわかると一つ解消される。かといってそれが言えても論文の方の行間があってそれが分かっていない。もしくは単射性がなくともある単項イデアルが閉であることがわかればいいんけど今入れている位相が結構なんの関連性もない位相だからうまく回っていない。ここらへんの解消を第一の目的にしたい。もしくは素イデアルの列に関してなにかないか。

割と時間かかって夜はバイトに行った。帰ってきてからはなんかのんびりしていた。おにやが復帰したしその配信を見てた。明日やることを改めて確認しつつ寝るのが遅くならないようにすることにする。