多様体Mから多様体M'への微分可能な写像で、 「微分可能な写像」って？と言う事だけど何となくイメージはあるけど。この点は明日にして、ともかく滑らかな写像だ。それで、 M上のr次微分形式全体を とするとき線形写像 をM上の点pに対して次のような線形写像…