なつやすみ2020(その8)
おはようございます. 夏休みが終わったので珍しく朝に起きたしぐまです.
夏休み終わって悲しいんですが,授業自体は楽しそうなので±0みたいな感じです. 最後の週でしたが,新しいPCが届いたことと移行原理のPDFを書き終えることができたので,結構内容があって良かったです.
第8週
09/25
移行原理のPDFを進めた. 教科書開かずにŁośの定理の証明考えてたらギャップ *1 があって,「ゼミしてたときこんな詰まったっけ?」と思って教科書開いたら教科書自体の扱いが雑だった(は?). 「たぶん成り立ってるだろ!」ってゼミ中に話してた命題 *2 使ったら示せたので,その証明も書いた.
バイトに行った. 幾何学教えるの難しくないか??? 見えたら終わり系の問題を見えるようにする方法が分からん. たぶん個々の事実が身体にしみ込んでれば分かるようになると思うので,そうなるような指導を目指したい.
09/26
雪江代数1ゼミに参加した. 今日は演習を解く日だったので,代数演習でボコボコにされた経験が活きた. こういう機会があると忘れてたことや勘が取り戻せて助かる.
強くてニューゲームをやり過ぎても良くないので,暇になった時間は移行原理のPDFを書き進めていた. Łośの定理の証明の原子論理式に関する部分が書き終わった.
新しいPCが届いた!! 充電コードを見逃してサポートセンターに電話を掛ける迷惑行為を行ったが,それ以外は特に問題なさそう. と思ったらTeX Liveのインストールの際にノートンが悪さして上手く行かなかった. 当然(La)TeXの方が大切なので,ノートン君には消えてもらった. 情弱だから...と思ってノートンとWindowsのセットアップに2000円払って代行してもらったのに,やることがいきなりアンインストールだから情弱はダメ. 試しに3Dゲーム動かしてみたら,ウパーの表面くらいヌルヌル動いて感動した. 最低設定でPCを扇子で仰ぎながらゲームしてた時代は終わり!!
09/27
サークルの冊子を配った. ちょっとごたごたがあったけど,何とか解決したので良かった. 段ボール運んだので帰宅してから何もせずに寝た.
この前読んだゴールデンカムイが面白かったので,ネットで読めなかった21~23巻を買って読んだ. シリアスとギャグが短い間隔で混ざってるので,話の重さの割にガーっと読める. 続き楽しみ~!
09/28
バイトに行った. Langlayの問題の解法がどんな事してるのか,数年越しにようやく分かった. 「新しいPC楽し~!!」とか言ってたら徹夜してしまった.
09/29
中村超準解析ゼミをした. その後に用事があったので短くなったのは残念だったが,中間値の定理の証明とかが面白かった.
中間値の定理
を 上の連続関数とし,, とする. このとき, となる が存在する.
証明: を超無限大自然数とし,区間 を 等分した点 全体を とする. このとき, は -有限集合ゆえ,(有限集合の場合と同じように) となる の内,最大のもの が存在する. そして, を の標準部分とすると,連続性と上記から
が成り立つため, である.
このように,特別な無限集合は有限集合のように扱うことができるため,極限( など)に関する操作が普段の代数的な操作に落とし込める. そうした方が証明が簡明になると思う(個人の感想).
09/30
親に誘われて映画『TENET』を見に行った. 久しぶりに映画館で映画見たので新鮮だった. たぶんもう一回見ないと正確な評価ができない作品だった.
10/01
実は夏休みは昨日終わっているが,木曜に授業がないため夏休み延長戦になっている.
夏休みに終わらせたかった移行原理のPDFをようやく書き終えた *3. 書きたかったことや埋めるべきだった行間は大分埋まったので満足. ただ,時間の都合で演習の解答が付けられなかったのが残念(後で付けようと思ってます).