多項式の部分集合をイデアルに取る イデアルの要素多項式の零点集合が代数多様体V 例えば、という１つの多項式は、を零点集合とする 別の多項式の零点集合もである この零点集合を代数多様体 V とする Vからスタートして、Vのすべての点で零を取るすべての関…

空間を考えて、その空間上の関数を考えることがある という部分空間を考えて、その空間上の関数を考えることもよいだろう 今上の関数のすべてを対象にしつつ、同一視することで「つぶす」ことで同値類を取り、おのおのの同値類が、上の関数を代表しているよ…