加载中…
Let L be an algebraic set and let g : R^(n+1) \times L --> R^(2n) (n is even) be a polynomial mapping such that for each l in L there is r(l)>0 such that the mapping g_l = g(.,l) restricted to the sphere S^n® is an immersion for every 0<r<(l), so that the intersection number I(g_l|S^n®) is defined. Then the function which maps l in L to I(g_l|S^n®) is algebraically constructible.

生成讲解博客的中文版本

生成AI智能校验的中文版本