19/02/13 17:17:45.39 Q3wR5xIZ.net
BottとTuの微分形式と代数トポロジーでは、
C={R^n上のC^∞関数全体}、R^n上の外積代数AをそれぞれR代数とみて、
R^nの微分形式全体をCテンソルA(R代数として)と定義しているのですが、
これの元が一意的にΣ Cの元*Aの元 というように書けるのはなぜですか？
19/02/13 17:17:45.39 Q3wR5xIZ.net
BottとTuの微分形式と代数トポロジーでは、
C={R^n上のC^∞関数全体}、R^n上の外積代数AをそれぞれR代数とみて、
R^nの微分形式全体をCテンソルA(R代数として)と定義しているのですが、
これの元が一意的にΣ Cの元*Aの元 というように書けるのはなぜですか？