m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「微分インフラとはカルタン微分計算系」の続きです。カルタン微分計算系が満たすべき等式は、https://planetmath.org/cartancalculus に従うとして、それらの等式を載せる土台がまだハッキリしません。どの程度抽象的にすべきか？ どのような下部構造を要求すべきか？ の方針がまだ分からないので、カルタン微分計算系のとりあえずのバージョンを定義します。内容： 整数階付きベクトル空間の圏 カルタン微分計算系 整数階付きベクトル空間の圏ベクトル空間の係数体〈スカラー体 | 基礎体〉はRに固定して、以下、係数体には言及しません。有限次元とは限らないベクトル空間の圏をVectとしま… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2020%2F05%2F19%2F141321" title="カルタン微分計算系（とりあえず） - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%20%5BX%2C%20Y%5D%20%3A%3D%20X%5Ccirc%20Y%20%5Cpm%20Y%5Ccirc%20X Hatena Blog https://hatena.blog 2020-05-19 14:13:21 rich https://m-hiyama.hatenablog.com/entry/2020/05/19/141321 1.0 100%