kara1216_mathのなつやすみのにっき

私のなつやすみのにっきです。主に数学の話(読んだ数学書の進捗報告)をします(時々アニメと陸上の話もする)

はるやすみ(ごじゅうよんにちめ)

11:00起床。ご飯を食べてのんびりしてたら12:00。そこから、環と加群ホモロジー代数的理論を読む。一章の§2,3のところ。行列環の特徴付けとかの証明、昔読んだときは追えば正しいことはわかるけどなんでこんなの思いつくんだ?ってなってたけど今みたらめちゃくちゃ自然だった。B2の夏よりは成長してて嬉しいわね。
他にも、体上の行列環が単純環なこととか、逆系と逆極限の導入などを見た。可換環だと、自明なイデアルしか存在しない⇔体である なので単純環とかは非可換特有だななんて思いながら見てた。これも昔は不自然に感じた証明が自然に感じられた。逆系、逆極限は関手の言葉を用いないで定義していたけど、少しまどろっこしく感じたり逆極限の″一意性“が米田からすぐにいえないので見通しが悪く感じる。(勿論、圏の言葉で定式化し直せばいい話だし、別に圏の言葉じゃなくてもやってることは本質的に変わらないけど、やっぱり見通しが悪い。)ここら辺はやっぱり圏の言葉がよく出来てるなぁって思った。
この春でやりたかったけどちゃんとやれなかったのは圏論ホモロジー入門、なのでB3の前期や夏休みでやっていきたい。

 15:00~はエヴァの旧劇を2周目してた。最後のゆいさんのセリフ、1周目は流してたけど今はなんかすごい引っかかっている。言語化できなくてもどかしいけど、なんか引っかかっている。後はエンディングは本当に美しさみたいなものを感じる。終わった世界に取り残された2人と、それでもシンジ君を拒絶(受け入れてもいる?)アスカの2人。望みさえすれば再び生命が形作る云々とかも、これは始まりでもあるんだなみたいな。
まああんまり頭が整理できていないのでよくわからないことを言ってるかも知れないけど。他者って何だろう?ってお気持ちになりますね。知らんけど。

17:30~18:30はぼーっとしてた。頭の中で補完シーンがぐるぐるしてたら気づいたら時間が経っていた。あら不思議。
その後はご飯を食べて、部の新歓の一環のzoomでの学習アドバイス会に野次馬として参加してたら、20:00~のバイトを完全に忘れていて、電話が塾長から来たので急いで向かった。本当に申し訳ございません、しかいえなかった。某同期を社不っていじれなくなってしまった…。

終わった後は、明日の「フーリエ解析入門」の準備。今回は総復習会なので今までやったことを全部振り返る。話す準備の資料を用意してたらそこそこな量になってしまった。これ、時間内に終わるのか?まあ気合で何とか終わらせる。
改めてまとめの資料作りをしたので一貫した流れみたいなのが自分の頭の中に作れた気がする。細部は忘れていても大まかな道みたいなのが見えるように作ったつもりなので頑張って喋りたい。

明日は走って、フーリエ解析入門読んで、会計のお仕事をする。

はるやすみ(ごじゅうさんにちめ)

9:00起床。「環と加群ホモロジー代数的理論」ゼミが10:00~だと思ってたら、12:00~だった。誰も来ないなって待ってたけど、あの時間何だったんだ…
気を取り直して暇な時間、昨日の夜の続きでコンパクト性のいくつかの特徴付けについて感覚的な理解をしたかったので色々具体例を見たりごちゃごちゃいじり回していたけど、まだ完全に腑に落ちない。コンパクトって何だろう?

12:00~系の同期と「環と加群ホモロジー代数的理論」を読む。初回なので知識の確認と、進行のイメージとか色々やりつつ冒頭から順に進めた。言い出しっぺなので初回の発表者をやった。とりあえず、詰まるところはなかったのでセーフ。(ほんまか?)そんなこんなでしばらくの間よろしくお願いします。ゆっくりで良いので1冊しっかりと読み切りたいですね。

ご飯を食べて、桂代数3 2.6(巡回クンマー拡大)の復習をする。体の拡大の一般論を学ぶモチベが最近湧いてきているので、ここのあたりの復習はそこそこちゃんとやりたい。 

その後は、zoomで上のやつをやったのでビデオを録画していたので、そいつを共有するために色々頑張ってた。機械音痴の極みなので何回も失敗してなかなか大変だったけどとりあえず共有出来たので一安心。この辺りの能力が1㎜もないの、将来苦労するんだろうなって思ってる。

夜は睡眠不足と疲れで何もせずにぼーっとしていた。pixiv漁ったりTwitterぼけーっと眺めていた。一個下の代の系所属結果が発表されてた。今年は数学系はとても人気だったので、数学系に入られた方は系所属点がみんな高そうですごいなぁ(小並)ってなっていた。ただこの制度だと、数学しか出来ない人はなかなか厳しいものがあるのでもう少し定員を変えるなりして欲しいけど急にはそういう事は出来ないからなぁ…
昨今の情報系(くくりが雑でごめんなさい)ブームとかもそうだけど定員が急に増やせないのがなかなかね。私はこの年だったら100%落ちているので運が良かったなって思う。

明日は多分チズケに行ったりふらふらしながら過ごす。

はるやすみ(ごじゅうさんにちめ)

7:30起床。今日は朝から昼間で部活のビラ配り。こんな天気でビラなんて配るもんじゃないだろ…
その後は飯を食って人から受け取るものがあったのでしばらく大学をふらふらしてた。ものを受け取って帰宅。14:00~16:00まで昼寝。気づいたら一日半分終わってるのですが…
そのまま17:20まで桂代数3の復習。円分拡大とか、traceとnorm、有限体のあれこれとか。円分多項式の既約性とか割と主張としては面白いなと。ここら辺を勉強してると代数的整数論とかに興味が湧いてくる。
17:20~18:40同期とzoomで「フーリエ解析入門」を読む。ようやく有限アーベル群上のフーリエ解析まで話し終えた。何とか春休みでやろうとした部分はこれで終わった。次回は総復習して締めたいとおもう。つたない説明を一生懸命聞いてくれて様々な質問をしてくれた同期には改めて感謝したい。おかげさまでこっちの勉強にもなりましたね。
ご飯を食べて休んだ後、少し明日やる「環と加群ホモロジー代数的理論」を読んで、その後は斎藤先生の「集合と位相」8.1の復習をしていた。8.1ではultra filterの極限の存在を用いて位相空間のコンパクト性を特徴付けることでチコノフの定理を簡潔に示している。これを読んで、春休みにfilterを用いた位相空間論を勉強するかーとか言ってたのに完全に忘れてましたね。カスすぎる。
こういう勉強、カリキュラムとかにはないし直接的な利益が見えにくいので長期休暇にこそやるべきだったなと反省している。
にしても相変わらず綺麗な理論構成だなと。

明日は系の同期と「環と加群ホモロジー代数的理論」を読んで、それから走るなり数学するなり適当に過ごす。

はるやすみ(ごじゅういちにちめ)

8:00起床。もはや日にちがあってるのかわからない。10:00~済美山で4継練。思ったより走れてたけど、バトンの調子は少しいまいちだった。最後の120もそこそこ疲れてる中でとりあえず13台で入れたのでまあよし。
その後は、幹部会議。新歓の仕事がそこそこ増えてきて春だなぁって感じ。
終わった後は同期とスマブラと遊び大全をずっとやっていたら夜になってた。久しぶりのスマブラだったけどめちゃくちゃ楽しいわね、これ。
まあ下手何ですけど。たまにやると本当に楽しいんだよなこの手のゲーム。
というわけで一日終わり。まあ一日くらいええやろ、知らんけど。

はるやすみ(ごじゅうにちめ)

10:30起床。ご飯を食べて、のんびりしてたら11:30になってた。そこから大学へ向かう。11:45大学着。知らなかったけど、大学では卒業式をしていた。なんとか文系教養を取り切ってちゃんと卒業式に参加したいですね。

 桜が綺麗だななんて思いながら散歩した後、12:10~からチズケにいく。環と加群ホモロジー代数的理論を頭からまた読み始めた。B3からこの本を輪講することになったので言いだしっぺなのでちゃんと準備しないとってなっている。どれくらいのペースかはわからないけど、B3の春休みまでには通読したいですね。

 その後は近所の知るカフェでアティマクを読んでいた。無料で飲み物がもらえるのはありがたいですね。(フルーツジュースと抹茶ラテを飲んでいた。)分数イデアルの辺りを読んでいた。イデアル類群とか話だけ昔聞いたことあるけどこんな定義だったんだってなってた。分数イデアルの可逆性で環の特徴づけをしているのがホーンってなった。そこから完備化の章を読んだけど、位相群よくわからんってなったので一旦終了。その後は家に帰って、環と加群ホモロジー代数的理論の続きを読んだ。いくつか演習問題を解いて、その後は別の本で違う形で定義されていたものをこの本の定義と同値か確かめたりしていた。

夜はバイト。何故か絶対値の概念が分かりにくいらしい。もう自分がやった頃のことは覚えていないので、自分がどうだったのか?とか何も覚えていない。そんなに難しい話はしていないつもりだけど…。場合分けとかの必要性もピンときていないみたい。困ったわね。

明日は走って、幹部会議とかやった後桂代数3の復習と複素解析をやる。

はるやすみ(よんじゅうきゅうにちめ)

8:30起床。眠いなーとか言ってたら何もせずに10:00になっていた。不思議。とりあえず、ご飯を食べて藤崎「体とガロア理論」で桂代数3に載ってない内容をパラパラ見ていた。

その後はご飯を食べて、昼寝していた。2時間ほど。起きた後、高橋礼司複素解析の一致の定理の辺りとか最大値の原理とかを読み、そのまま、複素射影直線が複素平面のコンパクト化になっていることを用いた代数学の基本定理の証明とか、局所コンパクト⇔コンパクト化できるとかの証明を久しぶりに読んでいた。少し複素解析をやった後なので、初めて読んだときにはfactにして流したところとかを詰めて読めたので良かった。複素解析も本当はもっとちゃんと勉強しないとってずっと言ってる。まあB3の間に少しずつやるかーって思ってる。

夜はバイト。たまたま教えた範囲が恒等式(今日、TLである恒等式の解法が色々話題になってました。僕は特に触れていないですけど。)だったので、余計なことを言いそうだったけど混乱させると良くないので我慢した。
帰ってきた後は、ゆるキャン△まで「加群十話」にのんびり目を通していた。ジョルダン標準形は存在の証明は何だかんだ単因子論が一番スッキリしてると感じる。ユークリッド整域くらいなら導入もわりかし初等的なので、一般固有空間の議論より簡単なのでは?って思ってる。

夜はゆるキャン△を見ていた。夜ご飯がカロリーメイトだったので、見ててめちゃくちゃお腹が空いた。ワイもご飯を美味しそうに食べる美少女になりたかった…。

明日は、夜にバイトがある以外何もない。朝起きられたら、チズケに行こうかしら。

はるやすみ(よんじゅうはちにちめ)

 8:00起床。10:00から済美山で練習。150×2×2をした。全部17.5くらいで入るつもりだったけど最初の2本は17.32,17,03と少し出し過ぎた。結局疲れてしまい、3本目は17.7、4本目は途中で足をつって離脱。まあ通常運転ではあるけど、こんなことなら、1本目か2本目で全開で上げて16.6くらいで入ってしまえば良かった。少し不完全燃焼感がある。ここ数日でようやく調子は上向いているので、着実に伸ばしていきたい。

 その後は同期とフーリエ解析入門をよむ。前回の続きで有限アーベル群の指標や双対群を調べるパート。ついでにそこで出てきた線形代数をやった。(正規変換は対角化可能とか、自己準同型f、gが可換⇔f、gは同時対角化可換など。ついでに表現行列とか対角化とはなんぞやとかも同期が忘れていたので復習をその場でした。)
線形代数パートが長くなったので本自体はそこまで進まなかった。次回で有限アーベル群上のフーリエ解析の理論を一通り終える。最後に春休みでやったことを総確認するパート的な物を作って終わりたい。

 その後はゆるキャン△の1期を見直したりのんびりしたりしていた。環と加群ホモロジー代数的理論はエネルギー切れで読んでいない。土曜辺りによむと思う。というか読まないと。
ホモロジーで思い出したけど、結局ホモロジー入門を読む余裕はなかった。まあ、これも夏休みと同じで色々手を出して、結局3~4冊に落ち着く。ホモロジー入門はB3の間で少しずつ読みます。