導入
3次元空間ではベクトル積分として、線積分、面積分、体積分がある。
これらを繋げる公式として、ストークスの定理=、ガウスの定理=がある。これらを覚えるのは結構大変で、複雑な図形か成分計算の説明が一般的で理解するのも苦労が多い。
また、これらの置換積分を正しく扱うには、外積代数と微分形式を使う必要がある。しかし、これまた表記の問題で、通常のベクトル計算との橋渡しが上手くいかない。
そこで、猫式では積分から微分形式の表記を改善し、上記の積分と公式を含め、1次元のスカラから次元のベ積分と置換積分公式を統一的に記述する。さらに、一般的に積分の基本定理と呼ばれる公式を置換積分として纏めて扱う。
目次