2020-11-10から1日間の記事一覧

3Q41日目

11/10(火) 晴れ 9時ごろに起きてぼんやりと過ごした。どうも昨日くらいから疲れた感じがあるので今日は極力体を休めていた。授業はしっかり受けたけど。 幾何学は向きづけを微分形式で考えるために体積要素を考えて必要十分性を確認した。代数は正規拡大につ…

3Q40日目

11/9(月) 晴れ 9時ごろに起きて教養卒論まで数学をした。昨日示した随伴性を使ってテンソルがsymmetric algebraの中に入ると直和になることを示した。というか米田の補題が有用すぎる。射のほうが考えやすいという気持ちがちょっとわかってきた。 教養卒論は…