最近、「リーマン面」の勉強が「微分形式」の章に差し掛かりました。接ベクトル空間という線形空間や、その双対空間が出てきてまさに線形代数になっています。そんなわけで線形代数の復習として、以下の事実を示したいと思います。斎藤毅先生の「線形代数の…