Bourbaki marks this one as harder than the rest.
令X为X上连续实值函数的局部连通拓扑空间、C(X)空间以及d整数≥0。令 F∈C(X)[T] 为次数 d 的一元多项式,系数为 C(X):
F=Td+Td−1f1+⋯+fd,fi∈C(X)
认同 F 与函数放在 R×X 上,通过放置
F(t,x)=td+td−1f1(x)+⋯+fd(x)如果t∈R,x∈X。
令 Δ∈C(X) 为多项式 F 的判别式(代数,第 IV, §1, no. 10)。
如果U是X的开子集,则用(t,x)的ZU集合表示,并且t∈R和x∈U,使得F(t,x)=0;这是 R×U 的闭子集。
a) 证明投影 pr2:ZU→U 是正确的(一般拓扑,第I, §10 章)。
b) 假设 U 是连通的并且 Δ(x)=0 对于所有x∈U。证明ZU→U是次数≤d的U(一般拓扑,第XI)的覆盖,并且R×U-- ZU的连通分量的数是≤d+1。
c) 设X′为集合 / 点 / X,其中Δ为=0。假设X′在X中是稠密的。用 X′(分别为 R×X-- ZX)的连通分量的 A(分别为 B)集合表示。表明
卡(B)≤(d+ 1)卡(A)(使用b))。
d) 假设X已连接,并且d≥1。表明
卡(B)≤1+d卡(A)。