2024-03-15から1日間の記事一覧

引き戻し/押し出しってなんやねん

前提とか を級多様体、とする。この写像はから派生した空間の元とから派生した空間の元との対応を誘導することがあって、側からへの誘導を押し出し、その逆を引き戻しとよぶ。の押し出しは、の引き戻しはのようにかく。 はとりあえず級を仮定しておく。微分…