2日に一度午前はのびてる

それは外出のせいなのだ。空気になりたい凡人です。

基本的に2日に一度のペースで外出する必要があります。大学なり買い物なりで。そんでその次の日は大体午前中はのびてます。これ原因を考えると、たぶん他者と会話するから、まてゃ他者の声が聞こえてくるからなんじゃないかと思い始めた。昔から音に敏感だから気にしなくても他者の会話やちょっとした雑音で頭がつかれるんだろう。これは気質だから死ぬまでこうなんだろうか...

現場からは以上です。

 

今日のやつ 環と等濃な集合から環を構成する

環Rと同じ濃度を持つ集合Xは、集合として同型なので双射が存在し、逆写像を利用することで元の環Rの構造からX上に環構造を作ることができる。これは、有限生成加群や自由加群の基底にも一般化される。