はるねがみ is a user on mathtod.online. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

はるねがみ @haru_negami@mathtod.online

今日(昨日)、$(1+\frac{1}{n})^n (n \rightarrow \infty)$ が収束することの証明の話になったんだけど、高校時代も学校の問題でやった記憶があって、一体なぜ証明できたのか覚えておらずもやっとした。

調べてみると高校の範囲では証明できないという説が多々見られた。収束に関する何らかの定理は証明せずに認めて使ったのかな?いやまさか高校のテキストってそんな感じだったっけ。。そもそもそんな問題はなかった??

数3Cはとても苦手で、その一因が極限や収束の扱いがふわっとしすぎていて、十分にロジックを言語化出来ていなかったことにあるんだけど $\epsilon - \delta$ 論法を知ってからは安心感ある。

500字てまだ書けるのかすごいな。字余り。

帰りの電車で、昨日解いた群論の問題の復習した。お友達になりつつある。

今日は黒田の関数解析のセミナーでヒルベルト空間の部分を少々。プロが来てくださったので、問題も丁寧に見ていただけてよかった!

直積と正規列、問題あと2ページというところまできた。。。

群論はとりあえず、ふんふーんと読める箇所(これまで復習してた箇所)読んだ。力尽きたので寝る。。

集中力には限りがあるから、新しいこと学ぶフェーズと気楽に読んで馴染ませるフェーズと交互に用意したら良さそうだなぁと思った。

完備性の証明とかは鼻歌歌いながら、ふんふんふ〜〜ん♫って出来るようにしたいなぁ〜。

あと今日は残りの時間で群論とかやる。

黒田の関数解析 $\S2$ が終わった…。やっぱりまとまった時間を取れると良い。。火曜日のセミナーで、今日やったところ定着させる。

こっちは、書いてる人(見てる人も?)少なそうなので、却って居心地良い感じする。

今日は諸々雑事を片付け、関数解析の問題をやった。関数解析面白すぎるぞ。明日は朝から仕事や勉強をするので早く寝る。

置換群まで終わって、直積と正規列の途中まで。ここで止めて帰る。今度のガロア群の授業で大事だから丁寧にやらねば。。

秋に千葉逸人先生が数学カフェにいらっしゃるので、それまでにせめて関数解析くらいは終わらせておきたいところである。。。

計算の待ち時間が結構あったので黒田の関数解析やって第一章が終わった。あと問題が残っている。。。関数解析めちゃ面白い。

今から群論の復習やる。

共謀罪強行採決で twitter ダウンしてるのかな。。

今日は思い切って仕事の終わりを1時間早めて、1時間群論した。さすがに準同型定理は終わって、置換群に入った。。。もっと群論とお友達になりたい。。。

$l^2$のこころを知りたいこのごろさ

#575
関数解析面白い。

移動中に群論復習やるも、今日はまだ準同型定理のところでまだ終わらず。。。やっぱり手を動かすので移動中は別の仕事に充てた方がいいよなぁという振り返り。

今日は、読まねばならない論文を優先した…。群論よ…。はよ寝て明日やろう。。。